About the Execution of ITS-LoLa for ASLink-PT-02a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.870 | 3600000.00 | 3619179.00 | 9905.80 | 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-158987787100029.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-02a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787100029
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 279K 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-02a-UpperBounds-00
FORMULA_NAME ASLink-PT-02a-UpperBounds-01
FORMULA_NAME ASLink-PT-02a-UpperBounds-02
FORMULA_NAME ASLink-PT-02a-UpperBounds-03
FORMULA_NAME ASLink-PT-02a-UpperBounds-04
FORMULA_NAME ASLink-PT-02a-UpperBounds-05
FORMULA_NAME ASLink-PT-02a-UpperBounds-06
FORMULA_NAME ASLink-PT-02a-UpperBounds-07
FORMULA_NAME ASLink-PT-02a-UpperBounds-08
FORMULA_NAME ASLink-PT-02a-UpperBounds-09
FORMULA_NAME ASLink-PT-02a-UpperBounds-10
FORMULA_NAME ASLink-PT-02a-UpperBounds-11
FORMULA_NAME ASLink-PT-02a-UpperBounds-12
FORMULA_NAME ASLink-PT-02a-UpperBounds-13
FORMULA_NAME ASLink-PT-02a-UpperBounds-14
FORMULA_NAME ASLink-PT-02a-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1591147315043
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 01:21:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 01:21:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 01:21:57] [INFO ] Load time of PNML (sax parser for PT used): 248 ms
[2020-06-03 01:21:57] [INFO ] Transformed 626 places.
[2020-06-03 01:21:57] [INFO ] Transformed 1008 transitions.
[2020-06-03 01:21:57] [INFO ] Found NUPN structural information;
[2020-06-03 01:21:57] [INFO ] Parsed PT model containing 626 places and 1008 transitions in 361 ms.
Ensure Unique test removed 10 transitions
Reduce redundant transitions removed 10 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 56 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2020-06-03 01:21:58] [INFO ] Flatten gal took : 283 ms
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 998 rows 626 cols
[2020-06-03 01:21:58] [INFO ] Computed 118 place invariants in 78 ms
Support contains 16 out of 626 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 626/626 places, 998/998 transitions.
Ensure Unique test removed 8 places
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Iterating post reduction 0 with 60 rules applied. Total rules applied 60 place count 614 transition count 950
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 1 with 48 rules applied. Total rules applied 108 place count 566 transition count 950
Performed 47 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 47 Pre rules applied. Total rules applied 108 place count 566 transition count 903
Deduced a syphon composed of 47 places in 3 ms
Ensure Unique test removed 18 places
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 2 with 112 rules applied. Total rules applied 220 place count 501 transition count 903
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 221 place count 501 transition count 902
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 222 place count 500 transition count 902
Symmetric choice reduction at 4 with 5 rule applications. Total rules 227 place count 500 transition count 902
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 23 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 237 place count 495 transition count 879
Ensure Unique test removed 1 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 4 with 7 rules applied. Total rules applied 244 place count 493 transition count 874
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 247 place count 490 transition count 874
Symmetric choice reduction at 6 with 1 rule applications. Total rules 248 place count 490 transition count 874
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 250 place count 489 transition count 866
Symmetric choice reduction at 6 with 1 rule applications. Total rules 251 place count 489 transition count 866
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 253 place count 488 transition count 858
Symmetric choice reduction at 6 with 1 rule applications. Total rules 254 place count 488 transition count 858
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 256 place count 487 transition count 850
Symmetric choice reduction at 6 with 1 rule applications. Total rules 257 place count 487 transition count 850
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 259 place count 486 transition count 842
Symmetric choice reduction at 6 with 1 rule applications. Total rules 260 place count 486 transition count 842
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 262 place count 485 transition count 834
Symmetric choice reduction at 6 with 1 rule applications. Total rules 263 place count 485 transition count 834
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 265 place count 484 transition count 826
Symmetric choice reduction at 6 with 1 rule applications. Total rules 266 place count 484 transition count 826
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 268 place count 483 transition count 818
Symmetric choice reduction at 6 with 1 rule applications. Total rules 269 place count 483 transition count 818
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 271 place count 482 transition count 810
Symmetric choice reduction at 6 with 1 rule applications. Total rules 272 place count 482 transition count 810
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 274 place count 481 transition count 802
Symmetric choice reduction at 6 with 1 rule applications. Total rules 275 place count 481 transition count 802
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 277 place count 480 transition count 794
Symmetric choice reduction at 6 with 1 rule applications. Total rules 278 place count 480 transition count 794
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 280 place count 479 transition count 786
Symmetric choice reduction at 6 with 1 rule applications. Total rules 281 place count 479 transition count 786
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 283 place count 478 transition count 778
Symmetric choice reduction at 6 with 1 rule applications. Total rules 284 place count 478 transition count 778
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 286 place count 477 transition count 770
Symmetric choice reduction at 6 with 1 rule applications. Total rules 287 place count 477 transition count 770
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 289 place count 476 transition count 762
Symmetric choice reduction at 6 with 1 rule applications. Total rules 290 place count 476 transition count 762
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 292 place count 475 transition count 754
Symmetric choice reduction at 6 with 1 rule applications. Total rules 293 place count 475 transition count 754
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 295 place count 474 transition count 746
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Deduced a syphon composed of 14 places in 3 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 6 with 28 rules applied. Total rules applied 323 place count 460 transition count 732
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 6 with 1 rules applied. Total rules applied 324 place count 460 transition count 731
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 325 place count 459 transition count 731
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 7 with 2 rules applied. Total rules applied 327 place count 459 transition count 731
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 7 with 2 rules applied. Total rules applied 329 place count 459 transition count 731
Applied a total of 329 rules in 708 ms. Remains 459 /626 variables (removed 167) and now considering 731/998 (removed 267) transitions.
Finished structural reductions, in 1 iterations. Remains : 459/626 places, 731/998 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 731 rows 459 cols
[2020-06-03 01:21:59] [INFO ] Computed 86 place invariants in 54 ms
Support contains 16 out of 459 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 459/459 places, 731/731 transitions.
Applied a total of 0 rules in 29 ms. Remains 459 /459 variables (removed 0) and now considering 731/731 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 459/459 places, 731/731 transitions.
Starting structural reductions, iteration 0 : 459/459 places, 731/731 transitions.
Applied a total of 0 rules in 33 ms. Remains 459 /459 variables (removed 0) and now considering 731/731 (removed 0) transitions.
// Phase 1: matrix 731 rows 459 cols
[2020-06-03 01:21:59] [INFO ] Computed 86 place invariants in 50 ms
[2020-06-03 01:22:01] [INFO ] Implicit Places using invariants in 1760 ms returned [1, 19, 20, 22, 32, 50, 68, 148, 161, 164, 165, 166, 184, 202, 238, 287, 292, 303, 304, 305, 307, 325, 327, 330, 348, 349, 350, 351, 363, 369, 375, 381, 387, 393, 399, 405, 411, 417, 423]
Discarding 39 places :
Implicit Place search using SMT only with invariants took 1767 ms to find 39 implicit places.
[2020-06-03 01:22:01] [INFO ] Redundant transitions in 80 ms returned []
// Phase 1: matrix 731 rows 420 cols
[2020-06-03 01:22:01] [INFO ] Computed 47 place invariants in 34 ms
[2020-06-03 01:22:03] [INFO ] Dead Transitions using invariants and state equation in 1894 ms returned []
Starting structural reductions, iteration 1 : 420/459 places, 731/731 transitions.
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Iterating post reduction 0 with 49 rules applied. Total rules applied 49 place count 420 transition count 682
Reduce places removed 49 places and 0 transitions.
Iterating post reduction 1 with 49 rules applied. Total rules applied 98 place count 371 transition count 682
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 15 Pre rules applied. Total rules applied 98 place count 371 transition count 667
Deduced a syphon composed of 15 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 2 with 31 rules applied. Total rules applied 129 place count 355 transition count 667
Discarding 7 places :
Implicit places reduction removed 7 places
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 2 with 17 rules applied. Total rules applied 146 place count 348 transition count 657
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 156 place count 338 transition count 657
Symmetric choice reduction at 4 with 14 rule applications. Total rules 170 place count 338 transition count 657
Deduced a syphon composed of 14 places in 2 ms
Reduce places removed 14 places and 14 transitions.
Iterating global reduction 4 with 28 rules applied. Total rules applied 198 place count 324 transition count 643
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 201 place count 324 transition count 640
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 201 place count 324 transition count 639
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 203 place count 323 transition count 639
Symmetric choice reduction at 5 with 3 rule applications. Total rules 206 place count 323 transition count 639
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 212 place count 320 transition count 636
Symmetric choice reduction at 5 with 1 rule applications. Total rules 213 place count 320 transition count 636
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 215 place count 319 transition count 635
Symmetric choice reduction at 5 with 1 rule applications. Total rules 216 place count 319 transition count 635
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 218 place count 318 transition count 634
Performed 30 Post agglomeration using F-continuation condition.Transition count delta: 30
Deduced a syphon composed of 30 places in 2 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 5 with 60 rules applied. Total rules applied 278 place count 288 transition count 604
Symmetric choice reduction at 5 with 1 rule applications. Total rules 279 place count 288 transition count 604
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 281 place count 287 transition count 603
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 282 place count 287 transition count 602
Free-agglomeration rule applied 2 times.
Iterating global reduction 6 with 2 rules applied. Total rules applied 284 place count 287 transition count 600
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 286 place count 285 transition count 600
Free-agglomeration rule (complex) applied 10 times.
Iterating global reduction 7 with 10 rules applied. Total rules applied 296 place count 285 transition count 590
Ensure Unique test removed 1 places
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 7 with 11 rules applied. Total rules applied 307 place count 274 transition count 590
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 8 with 7 rules applied. Total rules applied 314 place count 274 transition count 590
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 315 place count 274 transition count 590
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 316 place count 274 transition count 589
Applied a total of 316 rules in 248 ms. Remains 274 /420 variables (removed 146) and now considering 589/731 (removed 142) transitions.
// Phase 1: matrix 589 rows 274 cols
[2020-06-03 01:22:03] [INFO ] Computed 38 place invariants in 11 ms
[2020-06-03 01:22:04] [INFO ] Implicit Places using invariants in 568 ms returned [91, 97, 100, 102, 106, 113, 114, 168, 203, 209]
Discarding 10 places :
Implicit Place search using SMT only with invariants took 570 ms to find 10 implicit places.
Starting structural reductions, iteration 2 : 264/459 places, 589/731 transitions.
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 264 transition count 589
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 9 place count 261 transition count 586
Symmetric choice reduction at 0 with 1 rule applications. Total rules 10 place count 261 transition count 586
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 12 place count 260 transition count 585
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 16 place count 258 transition count 583
Free-agglomeration rule applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 19 place count 258 transition count 580
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 22 place count 255 transition count 580
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 23 place count 255 transition count 579
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 24 place count 254 transition count 579
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 25 place count 254 transition count 579
Applied a total of 25 rules in 51 ms. Remains 254 /264 variables (removed 10) and now considering 579/589 (removed 10) transitions.
// Phase 1: matrix 579 rows 254 cols
[2020-06-03 01:22:04] [INFO ] Computed 28 place invariants in 6 ms
[2020-06-03 01:22:04] [INFO ] Implicit Places using invariants in 626 ms returned []
// Phase 1: matrix 579 rows 254 cols
[2020-06-03 01:22:04] [INFO ] Computed 28 place invariants in 7 ms
[2020-06-03 01:22:05] [INFO ] State equation strengthened by 4 read => feed constraints.
[2020-06-03 01:22:07] [INFO ] Implicit Places using invariants and state equation in 2350 ms returned []
Implicit Place search using SMT with State Equation took 2978 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 254/459 places, 579/731 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 579 rows 254 cols
[2020-06-03 01:22:07] [INFO ] Computed 28 place invariants in 11 ms
Support contains 16 out of 254 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 254/254 places, 579/579 transitions.
Applied a total of 0 rules in 11 ms. Remains 254 /254 variables (removed 0) and now considering 579/579 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 254/254 places, 579/579 transitions.
Starting structural reductions, iteration 0 : 254/254 places, 579/579 transitions.
Applied a total of 0 rules in 10 ms. Remains 254 /254 variables (removed 0) and now considering 579/579 (removed 0) transitions.
// Phase 1: matrix 579 rows 254 cols
[2020-06-03 01:22:07] [INFO ] Computed 28 place invariants in 6 ms
[2020-06-03 01:22:07] [INFO ] Implicit Places using invariants in 533 ms returned []
// Phase 1: matrix 579 rows 254 cols
[2020-06-03 01:22:07] [INFO ] Computed 28 place invariants in 7 ms
[2020-06-03 01:22:08] [INFO ] State equation strengthened by 4 read => feed constraints.
[2020-06-03 01:22:09] [INFO ] Implicit Places using invariants and state equation in 2043 ms returned []
Implicit Place search using SMT with State Equation took 2579 ms to find 0 implicit places.
[2020-06-03 01:22:10] [INFO ] Redundant transitions in 132 ms returned []
// Phase 1: matrix 579 rows 254 cols
[2020-06-03 01:22:10] [INFO ] Computed 28 place invariants in 9 ms
[2020-06-03 01:22:11] [INFO ] Dead Transitions using invariants and state equation in 1151 ms returned []
Finished structural reductions, in 1 iterations. Remains : 254/254 places, 579/579 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 254 transition count 578
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 253 transition count 578
Applied a total of 2 rules in 17 ms. Remains 253 /254 variables (removed 1) and now considering 578/579 (removed 1) transitions.
// Phase 1: matrix 578 rows 253 cols
[2020-06-03 01:22:11] [INFO ] Computed 28 place invariants in 5 ms
[2020-06-03 01:22:11] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-03 01:22:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 10 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-02a @ 3570 seconds
FORMULA ASLink-PT-02a-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02a-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02a-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02a-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02a-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02a-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02a-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02a-UpperBounds-13 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-02a
{
"exit":
{
"memory": 21276,
"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(p158)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown 1 unknown unknown "
},
"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: 833/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8128
lola: finding significant places
lola: 254 places, 579 transitions, 226 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(p232) : MAX(p100) : MAX(p158) : MAX(p86) : MAX(p245) : MAX(p80) : MAX(p63) : MAX(p91) : MAX(p60) : MAX(p163) : MAX(p171) : MAX(p79) : MAX(p117) : MAX(p200) : MAX(p147) : MAX(p93)
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(p232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p232)
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(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100)
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: 37 markings, 36 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
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: 455728 markings, 570753 edges, 91146 markings/sec, 30 secs
lola: 910001 markings, 1137162 edges, 90855 markings/sec, 35 secs
lola: 1359687 markings, 1703452 edges, 89937 markings/sec, 40 secs
lola: 1808814 markings, 2269181 edges, 89825 markings/sec, 45 secs
lola: 2257838 markings, 2835036 edges, 89805 markings/sec, 50 secs
lola: 2705275 markings, 3397525 edges, 89487 markings/sec, 55 secs
lola: 3150862 markings, 3962539 edges, 89117 markings/sec, 60 secs
lola: 3596579 markings, 4525384 edges, 89143 markings/sec, 65 secs
lola: 4044138 markings, 5092060 edges, 89512 markings/sec, 70 secs
lola: 4458779 markings, 5613283 edges, 82928 markings/sec, 75 secs
lola: 4901319 markings, 6171399 edges, 88508 markings/sec, 80 secs
lola: 5348336 markings, 6735935 edges, 89403 markings/sec, 85 secs
lola: 5795660 markings, 7300461 edges, 89465 markings/sec, 90 secs
lola: 6238595 markings, 7858790 edges, 88587 markings/sec, 95 secs
lola: 6682877 markings, 8417048 edges, 88856 markings/sec, 100 secs
lola: 7127258 markings, 8981923 edges, 88876 markings/sec, 105 secs
lola: 7571316 markings, 9543401 edges, 88812 markings/sec, 110 secs
lola: 8018858 markings, 10110732 edges, 89508 markings/sec, 115 secs
lola: 8463831 markings, 10660070 edges, 88995 markings/sec, 120 secs
lola: 8906953 markings, 11218155 edges, 88624 markings/sec, 125 secs
lola: 9352164 markings, 11776909 edges, 89042 markings/sec, 130 secs
lola: 9794913 markings, 12339211 edges, 88550 markings/sec, 135 secs
lola: 10238735 markings, 12900284 edges, 88764 markings/sec, 140 secs
lola: 10683844 markings, 13461919 edges, 89022 markings/sec, 145 secs
lola: 11123237 markings, 14016575 edges, 87879 markings/sec, 150 secs
lola: 11563967 markings, 14572385 edges, 88146 markings/sec, 155 secs
lola: 12004904 markings, 15131698 edges, 88187 markings/sec, 160 secs
lola: 12445762 markings, 15692192 edges, 88172 markings/sec, 165 secs
lola: 12887575 markings, 16251078 edges, 88363 markings/sec, 170 secs
lola: 13326073 markings, 16804452 edges, 87700 markings/sec, 175 secs
lola: 13771077 markings, 17363964 edges, 89001 markings/sec, 180 secs
lola: 14210014 markings, 17919293 edges, 87787 markings/sec, 185 secs
lola: 14649448 markings, 18475502 edges, 87887 markings/sec, 190 secs
lola: 15089284 markings, 19033030 edges, 87967 markings/sec, 195 secs
lola: 15525432 markings, 19583860 edges, 87230 markings/sec, 200 secs
lola: 15965217 markings, 20139030 edges, 87957 markings/sec, 205 secs
lola: 16406371 markings, 20693453 edges, 88231 markings/sec, 210 secs
lola: 16846008 markings, 21248942 edges, 87927 markings/sec, 215 secs
lola: 17287862 markings, 21796809 edges, 88371 markings/sec, 220 secs
lola: 17731694 markings, 22354636 edges, 88766 markings/sec, 225 secs
lola: 18171594 markings, 22907927 edges, 87980 markings/sec, 230 secs
lola: 18607792 markings, 23459474 edges, 87240 markings/sec, 235 secs
lola: 19045310 markings, 24013623 edges, 87504 markings/sec, 240 secs
lola: 19486528 markings, 24567108 edges, 88244 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 965092 KB
lola: time consumption: 257 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 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p86)
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: 25625 markings, 33258 edges
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p245)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p245)
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: 78 markings, 77 edges
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p80)
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: 105 markings, 104 edges
lola: ========================================
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63)
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: 44 markings, 43 edges
lola: ========================================
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 586426 markings, 696224 edges, 117285 markings/sec, 30 secs
lola: 1167831 markings, 1386549 edges, 116281 markings/sec, 35 secs
lola: 1746849 markings, 2074013 edges, 115804 markings/sec, 40 secs
lola: 2325718 markings, 2761381 edges, 115774 markings/sec, 45 secs
lola: 2902361 markings, 3446054 edges, 115329 markings/sec, 50 secs
lola: 3478250 markings, 4129803 edges, 115178 markings/sec, 55 secs
lola: 4055665 markings, 4815424 edges, 115483 markings/sec, 60 secs
lola: 4630801 markings, 5498262 edges, 115027 markings/sec, 65 secs
lola: 5204606 markings, 6179590 edges, 114761 markings/sec, 70 secs
lola: 5779325 markings, 6862018 edges, 114944 markings/sec, 75 secs
lola: 6352936 markings, 7543050 edges, 114722 markings/sec, 80 secs
lola: 6925232 markings, 8222564 edges, 114459 markings/sec, 85 secs
lola: 7499442 markings, 8904323 edges, 114842 markings/sec, 90 secs
lola: 8073985 markings, 9586517 edges, 114909 markings/sec, 95 secs
lola: 8646642 markings, 10266479 edges, 114531 markings/sec, 100 secs
lola: 9219041 markings, 10946145 edges, 114480 markings/sec, 105 secs
lola: 9789785 markings, 11623775 edges, 114149 markings/sec, 110 secs
lola: 10361561 markings, 12302672 edges, 114355 markings/sec, 115 secs
lola: 10901134 markings, 12943309 edges, 107915 markings/sec, 120 secs
lola: 11476041 markings, 13626001 edges, 114981 markings/sec, 125 secs
lola: 12049506 markings, 14306853 edges, 114693 markings/sec, 130 secs
lola: 12622198 markings, 14986847 edges, 114538 markings/sec, 135 secs
lola: 13196367 markings, 15668543 edges, 114834 markings/sec, 140 secs
lola: 13769020 markings, 16348572 edges, 114531 markings/sec, 145 secs
lola: 14340336 markings, 17026857 edges, 114263 markings/sec, 150 secs
lola: 14917650 markings, 17712322 edges, 115463 markings/sec, 155 secs
lola: 15492526 markings, 18394955 edges, 114975 markings/sec, 160 secs
lola: 16066398 markings, 19076268 edges, 114774 markings/sec, 165 secs
lola: 16639824 markings, 19757111 edges, 114685 markings/sec, 170 secs
lola: 17211409 markings, 20435807 edges, 114317 markings/sec, 175 secs
lola: 17782481 markings, 21113857 edges, 114214 markings/sec, 180 secs
lola: 18355739 markings, 21794490 edges, 114652 markings/sec, 185 secs
lola: 18928188 markings, 22474210 edges, 114490 markings/sec, 190 secs
lola: 19499156 markings, 23152159 edges, 114194 markings/sec, 195 secs
lola: 20070505 markings, 23830619 edges, 114270 markings/sec, 200 secs
lola: 20640455 markings, 24507315 edges, 113990 markings/sec, 205 secs
lola: 21211023 markings, 25184701 edges, 114114 markings/sec, 210 secs
lola: 21783205 markings, 25864099 edges, 114436 markings/sec, 215 secs
lola: 22355581 markings, 26543741 edges, 114475 markings/sec, 220 secs
lola: 22928014 markings, 27223362 edges, 114487 markings/sec, 225 secs
lola: 23501047 markings, 27903802 edges, 114607 markings/sec, 230 secs
lola: 24074315 markings, 28584422 edges, 114654 markings/sec, 235 secs
lola: 24644271 markings, 29261130 edges, 113991 markings/sec, 240 secs
lola: 25213190 markings, 29936669 edges, 113784 markings/sec, 245 secs
lola: 25784772 markings, 30615304 edges, 114316 markings/sec, 250 secs
lola: 26354991 markings, 31292407 edges, 114044 markings/sec, 255 secs
lola: 26923448 markings, 31967320 edges, 113691 markings/sec, 260 secs
lola: 27493935 markings, 32644713 edges, 114097 markings/sec, 265 secs
lola: 28062460 markings, 33319707 edges, 113705 markings/sec, 270 secs
lola: 28630675 markings, 33994391 edges, 113643 markings/sec, 275 secs
lola: 29204107 markings, 34675267 edges, 114686 markings/sec, 280 secs
lola: 29777534 markings, 35356100 edges, 114685 markings/sec, 285 secs
lola: 30348366 markings, 36033914 edges, 114166 markings/sec, 290 secs
lola: 30920115 markings, 36712757 edges, 114350 markings/sec, 295 secs
lola: 31490955 markings, 37390616 edges, 114168 markings/sec, 300 secs
lola: 32062200 markings, 38068819 edges, 114249 markings/sec, 305 secs
lola: 32632580 markings, 38746014 edges, 114076 markings/sec, 310 secs
lola: 33203044 markings, 39423379 edges, 114093 markings/sec, 315 secs
lola: 33772252 markings, 40099186 edges, 113842 markings/sec, 320 secs
lola: 34339979 markings, 40773341 edges, 113545 markings/sec, 325 secs
lola: 34908752 markings, 41448717 edges, 113755 markings/sec, 330 secs
lola: 35475941 markings, 42122078 edges, 113438 markings/sec, 335 secs
lola: 36044315 markings, 42796948 edges, 113675 markings/sec, 340 secs
lola: 36616117 markings, 43475895 edges, 114360 markings/sec, 345 secs
lola: 37187112 markings, 44153910 edges, 114199 markings/sec, 350 secs
lola: 37755361 markings, 44828569 edges, 113650 markings/sec, 355 secs
lola: 38325229 markings, 45505204 edges, 113974 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1758140 KB
lola: time consumption: 626 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 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p60)
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: 428955 markings, 728560 edges, 85791 markings/sec, 30 secs
lola: 852426 markings, 1445520 edges, 84694 markings/sec, 35 secs
lola: 1277168 markings, 2125969 edges, 84948 markings/sec, 40 secs
lola: 1701199 markings, 2823706 edges, 84806 markings/sec, 45 secs
lola: 2119486 markings, 3549106 edges, 83657 markings/sec, 50 secs
lola: 2535007 markings, 4268214 edges, 83104 markings/sec, 55 secs
lola: 2949175 markings, 4975651 edges, 82834 markings/sec, 60 secs
lola: 3374657 markings, 5634936 edges, 85096 markings/sec, 65 secs
lola: 3794857 markings, 6352247 edges, 84040 markings/sec, 70 secs
lola: 4210937 markings, 7073641 edges, 83216 markings/sec, 75 secs
lola: 4626232 markings, 7793326 edges, 83059 markings/sec, 80 secs
lola: 5047899 markings, 8473531 edges, 84333 markings/sec, 85 secs
lola: 5468245 markings, 9150389 edges, 84069 markings/sec, 90 secs
lola: 5883578 markings, 9873677 edges, 83067 markings/sec, 95 secs
lola: 6296201 markings, 10588441 edges, 82525 markings/sec, 100 secs
lola: 6705404 markings, 11297200 edges, 81841 markings/sec, 105 secs
lola: 7131314 markings, 11940955 edges, 85182 markings/sec, 110 secs
lola: 7544924 markings, 12653406 edges, 82722 markings/sec, 115 secs
lola: 7961189 markings, 13376159 edges, 83253 markings/sec, 120 secs
lola: 8376005 markings, 14094050 edges, 82963 markings/sec, 125 secs
lola: 8788512 markings, 14782920 edges, 82501 markings/sec, 130 secs
lola: 9212084 markings, 15446838 edges, 84714 markings/sec, 135 secs
lola: 9626731 markings, 16159027 edges, 82929 markings/sec, 140 secs
lola: 10035553 markings, 16871656 edges, 81764 markings/sec, 145 secs
lola: 10443654 markings, 17571848 edges, 81620 markings/sec, 150 secs
lola: 10866762 markings, 18225493 edges, 84622 markings/sec, 155 secs
lola: 11281891 markings, 18941450 edges, 83026 markings/sec, 160 secs
lola: 11695792 markings, 19647605 edges, 82780 markings/sec, 165 secs
lola: 12105787 markings, 20354705 edges, 81999 markings/sec, 170 secs
lola: 12532474 markings, 21015343 edges, 85337 markings/sec, 175 secs
lola: 12949734 markings, 21729583 edges, 83452 markings/sec, 180 secs
lola: 13362814 markings, 22447029 edges, 82616 markings/sec, 185 secs
lola: 13777265 markings, 23139041 edges, 82890 markings/sec, 190 secs
lola: 14199895 markings, 23793292 edges, 84526 markings/sec, 195 secs
lola: 14611622 markings, 24504676 edges, 82345 markings/sec, 200 secs
lola: 15017621 markings, 25211709 edges, 81200 markings/sec, 205 secs
lola: 15422885 markings, 25914120 edges, 81053 markings/sec, 210 secs
lola: 15839967 markings, 26556745 edges, 83416 markings/sec, 215 secs
lola: 16250829 markings, 27253171 edges, 82172 markings/sec, 220 secs
lola: 16663745 markings, 27963309 edges, 82583 markings/sec, 225 secs
lola: 17072084 markings, 28670378 edges, 81668 markings/sec, 230 secs
lola: 17485372 markings, 29336868 edges, 82658 markings/sec, 235 secs
lola: 17899258 markings, 30016659 edges, 82777 markings/sec, 240 secs
lola: 18307678 markings, 30726948 edges, 81684 markings/sec, 245 secs
lola: 18718723 markings, 31430545 edges, 82209 markings/sec, 250 secs
lola: 19126340 markings, 32113675 edges, 81523 markings/sec, 255 secs
lola: 19542597 markings, 32768565 edges, 83251 markings/sec, 260 secs
lola: 19949287 markings, 33479122 edges, 81338 markings/sec, 265 secs
lola: 20355070 markings, 34182384 edges, 81157 markings/sec, 270 secs
lola: 20760939 markings, 34872888 edges, 81174 markings/sec, 275 secs
lola: 21180688 markings, 35519853 edges, 83950 markings/sec, 280 secs
lola: 21588487 markings, 36226695 edges, 81560 markings/sec, 285 secs
lola: 21993949 markings, 36932423 edges, 81092 markings/sec, 290 secs
lola: 22397799 markings, 37631638 edges, 80770 markings/sec, 295 secs
lola: 22815286 markings, 38265390 edges, 83497 markings/sec, 300 secs
lola: 23223870 markings, 38967852 edges, 81717 markings/sec, 305 secs
lola: 23626250 markings, 39669318 edges, 80476 markings/sec, 310 secs
lola: 24030119 markings, 40369241 edges, 80774 markings/sec, 315 secs
lola: 24439250 markings, 41026327 edges, 81826 markings/sec, 320 secs
lola: 24847980 markings, 41702994 edges, 81746 markings/sec, 325 secs
lola: 25259965 markings, 42406840 edges, 82397 markings/sec, 330 secs
lola: 25664971 markings, 43108853 edges, 81001 markings/sec, 335 secs
lola: 26075893 markings, 43768679 edges, 82184 markings/sec, 340 secs
lola: 26487520 markings, 44449030 edges, 82325 markings/sec, 345 secs
lola: 26892991 markings, 45152655 edges, 81094 markings/sec, 350 secs
lola: 27299162 markings, 45844969 edges, 81234 markings/sec, 355 secs
lola: 27709791 markings, 46490145 edges, 82126 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1325808 KB
lola: time consumption: 994 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 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p163)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p163)
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: 464429 markings, 581661 edges, 92886 markings/sec, 30 secs
lola: 926452 markings, 1158357 edges, 92405 markings/sec, 35 secs
lola: 1384080 markings, 1734852 edges, 91526 markings/sec, 40 secs
lola: 1840787 markings, 2309544 edges, 91341 markings/sec, 45 secs
lola: 2296856 markings, 2884044 edges, 91214 markings/sec, 50 secs
lola: 2753325 markings, 3458402 edges, 91294 markings/sec, 55 secs
lola: 3205885 markings, 4031794 edges, 90512 markings/sec, 60 secs
lola: 3661193 markings, 4608224 edges, 91062 markings/sec, 65 secs
lola: 4118986 markings, 5187004 edges, 91559 markings/sec, 70 secs
lola: 4572596 markings, 5756189 edges, 90722 markings/sec, 75 secs
lola: 5023975 markings, 6327051 edges, 90276 markings/sec, 80 secs
lola: 5478877 markings, 6900340 edges, 90980 markings/sec, 85 secs
lola: 5929214 markings, 7470335 edges, 90067 markings/sec, 90 secs
lola: 6379468 markings, 8037760 edges, 90051 markings/sec, 95 secs
lola: 6831826 markings, 8606790 edges, 90472 markings/sec, 100 secs
lola: 7280336 markings, 9174593 edges, 89702 markings/sec, 105 secs
lola: 7734510 markings, 9750817 edges, 90835 markings/sec, 110 secs
lola: 8187694 markings, 10310150 edges, 90637 markings/sec, 115 secs
lola: 8634089 markings, 10874795 edges, 89279 markings/sec, 120 secs
lola: 9086509 markings, 11441669 edges, 90484 markings/sec, 125 secs
lola: 9540341 markings, 12015204 edges, 90766 markings/sec, 130 secs
lola: 9990404 markings, 12587007 edges, 90013 markings/sec, 135 secs
lola: 10425771 markings, 13136283 edges, 87073 markings/sec, 140 secs
lola: 10879429 markings, 13709115 edges, 90732 markings/sec, 145 secs
lola: 11329000 markings, 14276384 edges, 89914 markings/sec, 150 secs
lola: 11778721 markings, 14845444 edges, 89944 markings/sec, 155 secs
lola: 12229818 markings, 15417363 edges, 90219 markings/sec, 160 secs
lola: 12681689 markings, 15989943 edges, 90374 markings/sec, 165 secs
lola: 13130806 markings, 16558160 edges, 89823 markings/sec, 170 secs
lola: 13585103 markings, 17130682 edges, 90859 markings/sec, 175 secs
lola: 14038086 markings, 17701713 edges, 90597 markings/sec, 180 secs
lola: 14490635 markings, 18275332 edges, 90510 markings/sec, 185 secs
lola: 14940683 markings, 18846081 edges, 90010 markings/sec, 190 secs
lola: 15392040 markings, 19414141 edges, 90271 markings/sec, 195 secs
lola: 15847680 markings, 19990038 edges, 91128 markings/sec, 200 secs
lola: 16300458 markings, 20557888 edges, 90556 markings/sec, 205 secs
lola: 16755021 markings, 21133094 edges, 90913 markings/sec, 210 secs
lola: 17208263 markings, 21696649 edges, 90648 markings/sec, 215 secs
lola: 17666803 markings, 22274422 edges, 91708 markings/sec, 220 secs
lola: 18119970 markings, 22843144 edges, 90633 markings/sec, 225 secs
lola: 18569564 markings, 23411202 edges, 89919 markings/sec, 230 secs
lola: 19017923 markings, 23978742 edges, 89672 markings/sec, 235 secs
lola: 19469706 markings, 24545812 edges, 90357 markings/sec, 240 secs
lola: 19918641 markings, 25114899 edges, 89787 markings/sec, 245 secs
lola: 20365943 markings, 25676294 edges, 89460 markings/sec, 250 secs
lola: 20812946 markings, 26242410 edges, 89401 markings/sec, 255 secs
lola: 21257953 markings, 26804280 edges, 89001 markings/sec, 260 secs
lola: 21708622 markings, 27375992 edges, 90134 markings/sec, 265 secs
lola: 22155802 markings, 27927179 edges, 89436 markings/sec, 270 secs
lola: 22600643 markings, 28490983 edges, 88968 markings/sec, 275 secs
lola: 23043301 markings, 29049806 edges, 88532 markings/sec, 280 secs
lola: 23490649 markings, 29610751 edges, 89470 markings/sec, 285 secs
lola: 23937031 markings, 30175625 edges, 89276 markings/sec, 290 secs
lola: 24390063 markings, 30739921 edges, 90606 markings/sec, 295 secs
lola: 24846553 markings, 31311050 edges, 91298 markings/sec, 300 secs
lola: 25298955 markings, 31882458 edges, 90480 markings/sec, 305 secs
lola: 25745129 markings, 32445558 edges, 89235 markings/sec, 310 secs
lola: 26186101 markings, 33006029 edges, 88194 markings/sec, 315 secs
lola: 26634100 markings, 33569307 edges, 89600 markings/sec, 320 secs
lola: 27085441 markings, 34137689 edges, 90268 markings/sec, 325 secs
lola: 27531613 markings, 34701531 edges, 89234 markings/sec, 330 secs
lola: 27976872 markings, 35263621 edges, 89052 markings/sec, 335 secs
lola: 28421902 markings, 35826654 edges, 89006 markings/sec, 340 secs
lola: 28867111 markings, 36392681 edges, 89042 markings/sec, 345 secs
lola: 29313554 markings, 36957415 edges, 89289 markings/sec, 350 secs
lola: 29764909 markings, 37527550 edges, 90271 markings/sec, 355 secs
lola: 30210194 markings, 38089544 edges, 89057 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1474512 KB
lola: time consumption: 1362 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 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p171)
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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 11 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p79)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 550004 markings, 715100 edges, 110001 markings/sec, 30 secs
lola: 1094086 markings, 1428285 edges, 108816 markings/sec, 35 secs
lola: 1632681 markings, 2130532 edges, 107719 markings/sec, 40 secs
lola: 2172057 markings, 2836223 edges, 107875 markings/sec, 45 secs
lola: 2711878 markings, 3543263 edges, 107964 markings/sec, 50 secs
lola: 3246290 markings, 4240552 edges, 106882 markings/sec, 55 secs
lola: 3783177 markings, 4942541 edges, 107377 markings/sec, 60 secs
lola: 4318045 markings, 5643163 edges, 106974 markings/sec, 65 secs
lola: 4848021 markings, 6333962 edges, 105995 markings/sec, 70 secs
lola: 5384452 markings, 7038519 edges, 107286 markings/sec, 75 secs
lola: 5919149 markings, 7736194 edges, 106939 markings/sec, 80 secs
lola: 6453851 markings, 8434888 edges, 106940 markings/sec, 85 secs
lola: 6986357 markings, 9132878 edges, 106501 markings/sec, 90 secs
lola: 7519212 markings, 9827542 edges, 106571 markings/sec, 95 secs
lola: 8047859 markings, 10520360 edges, 105729 markings/sec, 100 secs
lola: 8576921 markings, 11211931 edges, 105812 markings/sec, 105 secs
lola: 9104845 markings, 11902090 edges, 105585 markings/sec, 110 secs
lola: 9636189 markings, 12597874 edges, 106269 markings/sec, 115 secs
lola: 10168472 markings, 13291912 edges, 106457 markings/sec, 120 secs
lola: 10703047 markings, 13992530 edges, 106915 markings/sec, 125 secs
lola: 11229463 markings, 14680377 edges, 105283 markings/sec, 130 secs
lola: 11754366 markings, 15366422 edges, 104981 markings/sec, 135 secs
lola: 12283673 markings, 16059557 edges, 105861 markings/sec, 140 secs
lola: 12807854 markings, 16743057 edges, 104836 markings/sec, 145 secs
lola: 13341750 markings, 17443919 edges, 106779 markings/sec, 150 secs
lola: 13870327 markings, 18133206 edges, 105715 markings/sec, 155 secs
lola: 14399600 markings, 18825206 edges, 105855 markings/sec, 160 secs
lola: 14925638 markings, 19513927 edges, 105208 markings/sec, 165 secs
lola: 15449878 markings, 20199270 edges, 104848 markings/sec, 170 secs
lola: 15974914 markings, 20886999 edges, 105007 markings/sec, 175 secs
lola: 16495300 markings, 21564875 edges, 104077 markings/sec, 180 secs
lola: 17023937 markings, 22258836 edges, 105727 markings/sec, 185 secs
lola: 17542309 markings, 22934174 edges, 103674 markings/sec, 190 secs
lola: 18068270 markings, 23624483 edges, 105192 markings/sec, 195 secs
lola: 18586701 markings, 24300308 edges, 103686 markings/sec, 200 secs
lola: 19113170 markings, 24989894 edges, 105294 markings/sec, 205 secs
lola: 19639912 markings, 25678551 edges, 105348 markings/sec, 210 secs
lola: 20164720 markings, 26364522 edges, 104962 markings/sec, 215 secs
lola: 20688788 markings, 27050770 edges, 104814 markings/sec, 220 secs
lola: 21209467 markings, 27729492 edges, 104136 markings/sec, 225 secs
lola: 21736669 markings, 28421497 edges, 105440 markings/sec, 230 secs
lola: 22255496 markings, 29097220 edges, 103765 markings/sec, 235 secs
lola: 22779124 markings, 29785301 edges, 104726 markings/sec, 240 secs
lola: 23296370 markings, 30458553 edges, 103449 markings/sec, 245 secs
lola: 23822045 markings, 31148548 edges, 105135 markings/sec, 250 secs
lola: 24343476 markings, 31828538 edges, 104286 markings/sec, 255 secs
lola: 24866195 markings, 32513015 edges, 104544 markings/sec, 260 secs
lola: 25386863 markings, 33193271 edges, 104134 markings/sec, 265 secs
lola: 25907142 markings, 33873164 edges, 104056 markings/sec, 270 secs
lola: 26434864 markings, 34564420 edges, 105544 markings/sec, 275 secs
lola: 26958489 markings, 35248406 edges, 104725 markings/sec, 280 secs
lola: 27479520 markings, 35930878 edges, 104206 markings/sec, 285 secs
lola: 27996457 markings, 36604419 edges, 103387 markings/sec, 290 secs
lola: 28526042 markings, 37299719 edges, 105917 markings/sec, 295 secs
lola: 29051497 markings, 37984650 edges, 105091 markings/sec, 300 secs
lola: 29580843 markings, 38679310 edges, 105869 markings/sec, 305 secs
lola: 30106420 markings, 39364908 edges, 105115 markings/sec, 310 secs
lola: 30626779 markings, 40045064 edges, 104072 markings/sec, 315 secs
lola: 31148703 markings, 40728563 edges, 104385 markings/sec, 320 secs
lola: 31670266 markings, 41410111 edges, 104313 markings/sec, 325 secs
lola: 32188841 markings, 42088693 edges, 103715 markings/sec, 330 secs
lola: 32708673 markings, 42768097 edges, 103966 markings/sec, 335 secs
lola: 33234474 markings, 43456596 edges, 105160 markings/sec, 340 secs
lola: 33757992 markings, 44138740 edges, 104704 markings/sec, 345 secs
lola: 34286021 markings, 44832473 edges, 105606 markings/sec, 350 secs
lola: 34802509 markings, 45504874 edges, 103298 markings/sec, 355 secs
lola: 35321185 markings, 46185889 edges, 103735 markings/sec, 360 secs
lola: 35838620 markings, 46859988 edges, 103487 markings/sec, 365 secs
lola: 36358404 markings, 47541784 edges, 103957 markings/sec, 370 secs
lola: 36873414 markings, 48213278 edges, 103002 markings/sec, 375 secs
lola: 37391033 markings, 48892128 edges, 103524 markings/sec, 380 secs
lola: 37911678 markings, 49571037 edges, 104129 markings/sec, 385 secs
lola: 38436687 markings, 50259043 edges, 105002 markings/sec, 390 secs
lola: 38959199 markings, 50941422 edges, 104502 markings/sec, 395 secs
lola: 39479670 markings, 51621608 edges, 104094 markings/sec, 400 secs
lola: 39999678 markings, 52302710 edges, 104002 markings/sec, 405 secs
lola: 40521935 markings, 52985128 edges, 104451 markings/sec, 410 secs
lola: 41044923 markings, 53669569 edges, 104598 markings/sec, 415 secs
lola: 41568270 markings, 54351927 edges, 104669 markings/sec, 420 secs
lola: 42095803 markings, 55044496 edges, 105507 markings/sec, 425 secs
lola: 42618921 markings, 55726019 edges, 104624 markings/sec, 430 secs
lola: 43147664 markings, 56420145 edges, 105749 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: memory consumption: 2136000 KB
lola: time consumption: 1803 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 12 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p117)
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: 443006 markings, 616321 edges, 88601 markings/sec, 30 secs
lola: 883396 markings, 1224805 edges, 88078 markings/sec, 35 secs
lola: 1320302 markings, 1833828 edges, 87381 markings/sec, 40 secs
lola: 1757387 markings, 2438096 edges, 87417 markings/sec, 45 secs
lola: 2192074 markings, 3044579 edges, 86937 markings/sec, 50 secs
lola: 2627837 markings, 3647312 edges, 87153 markings/sec, 55 secs
lola: 3062555 markings, 4250025 edges, 86944 markings/sec, 60 secs
lola: 3495316 markings, 4853092 edges, 86552 markings/sec, 65 secs
lola: 3931333 markings, 5456197 edges, 87203 markings/sec, 70 secs
lola: 4365029 markings, 6058494 edges, 86739 markings/sec, 75 secs
lola: 4797395 markings, 6660100 edges, 86473 markings/sec, 80 secs
lola: 5230964 markings, 7260365 edges, 86714 markings/sec, 85 secs
lola: 5664706 markings, 7861449 edges, 86748 markings/sec, 90 secs
lola: 6095533 markings, 8462171 edges, 86165 markings/sec, 95 secs
lola: 6527539 markings, 9060725 edges, 86401 markings/sec, 100 secs
lola: 6959943 markings, 9659435 edges, 86481 markings/sec, 105 secs
lola: 7393659 markings, 10262338 edges, 86743 markings/sec, 110 secs
lola: 7826733 markings, 10864368 edges, 86615 markings/sec, 115 secs
lola: 8258746 markings, 11462580 edges, 86403 markings/sec, 120 secs
lola: 8691654 markings, 12062568 edges, 86582 markings/sec, 125 secs
lola: 9121499 markings, 12661235 edges, 85969 markings/sec, 130 secs
lola: 9552297 markings, 13259233 edges, 86160 markings/sec, 135 secs
lola: 9982503 markings, 13855458 edges, 86041 markings/sec, 140 secs
lola: 10414028 markings, 14453056 edges, 86305 markings/sec, 145 secs
lola: 10827070 markings, 15028524 edges, 82608 markings/sec, 150 secs
lola: 11259058 markings, 15626966 edges, 86398 markings/sec, 155 secs
lola: 11689538 markings, 16223195 edges, 86096 markings/sec, 160 secs
lola: 12120024 markings, 16822155 edges, 86097 markings/sec, 165 secs
lola: 12549255 markings, 17419690 edges, 85846 markings/sec, 170 secs
lola: 12979784 markings, 18016182 edges, 86106 markings/sec, 175 secs
lola: 13409268 markings, 18611352 edges, 85897 markings/sec, 180 secs
lola: 13841413 markings, 19209703 edges, 86429 markings/sec, 185 secs
lola: 14272336 markings, 19809855 edges, 86185 markings/sec, 190 secs
lola: 14704390 markings, 20410045 edges, 86411 markings/sec, 195 secs
lola: 15136722 markings, 21008773 edges, 86466 markings/sec, 200 secs
lola: 15568182 markings, 21606143 edges, 86292 markings/sec, 205 secs
lola: 15996653 markings, 22202452 edges, 85694 markings/sec, 210 secs
lola: 16425656 markings, 22799678 edges, 85801 markings/sec, 215 secs
lola: 16854206 markings, 23394076 edges, 85710 markings/sec, 220 secs
lola: 17286508 markings, 23992686 edges, 86460 markings/sec, 225 secs
lola: 17700196 markings, 24568388 edges, 82738 markings/sec, 230 secs
lola: 18130528 markings, 25165342 edges, 86066 markings/sec, 235 secs
lola: 18559420 markings, 25759803 edges, 85778 markings/sec, 240 secs
lola: 18988886 markings, 26355058 edges, 85893 markings/sec, 245 secs
lola: 19418085 markings, 26949766 edges, 85840 markings/sec, 250 secs
lola: 19846127 markings, 27544631 edges, 85608 markings/sec, 255 secs
lola: 20273085 markings, 28138098 edges, 85392 markings/sec, 260 secs
lola: 20702700 markings, 28736016 edges, 85923 markings/sec, 265 secs
lola: 21133374 markings, 29332659 edges, 86135 markings/sec, 270 secs
lola: 21562610 markings, 29927576 edges, 85847 markings/sec, 275 secs
lola: 21989842 markings, 30520153 edges, 85446 markings/sec, 280 secs
lola: 22419118 markings, 31114955 edges, 85855 markings/sec, 285 secs
lola: 22846536 markings, 31708776 edges, 85484 markings/sec, 290 secs
lola: 23274083 markings, 32303309 edges, 85509 markings/sec, 295 secs
lola: 23700756 markings, 32896305 edges, 85335 markings/sec, 300 secs
lola: 24129663 markings, 33492138 edges, 85781 markings/sec, 305 secs
lola: 24558052 markings, 34086097 edges, 85678 markings/sec, 310 secs
lola: 24987226 markings, 34680892 edges, 85835 markings/sec, 315 secs
lola: 25415475 markings, 35274741 edges, 85650 markings/sec, 320 secs
lola: 25844800 markings, 35869595 edges, 85865 markings/sec, 325 secs
lola: 26271285 markings, 36461717 edges, 85297 markings/sec, 330 secs
lola: 26696862 markings, 37052671 edges, 85115 markings/sec, 335 secs
lola: 27122111 markings, 37643034 edges, 85050 markings/sec, 340 secs
lola: 27551910 markings, 38241749 edges, 85960 markings/sec, 345 secs
lola: 27982362 markings, 38839000 edges, 86090 markings/sec, 350 secs
lola: 28411197 markings, 39433500 edges, 85767 markings/sec, 355 secs
lola: 28840343 markings, 40028373 edges, 85829 markings/sec, 360 secs
lola: 29269632 markings, 40623213 edges, 85858 markings/sec, 365 secs
lola: 29698074 markings, 41218322 edges, 85688 markings/sec, 370 secs
lola: 30125545 markings, 41812700 edges, 85494 markings/sec, 375 secs
lola: 30552411 markings, 42406077 edges, 85373 markings/sec, 380 secs
lola: 30982425 markings, 43003043 edges, 86003 markings/sec, 385 secs
lola: 31411526 markings, 43597879 edges, 85820 markings/sec, 390 secs
lola: 31839089 markings, 44190762 edges, 85513 markings/sec, 395 secs
lola: 32265127 markings, 44781966 edges, 85208 markings/sec, 400 secs
lola: 32694307 markings, 45376661 edges, 85836 markings/sec, 405 secs
lola: 33120821 markings, 45968304 edges, 85303 markings/sec, 410 secs
lola: 33548188 markings, 46561855 edges, 85473 markings/sec, 415 secs
lola: 33973071 markings, 47151569 edges, 84977 markings/sec, 420 secs
lola: 34402401 markings, 47749292 edges, 85866 markings/sec, 425 secs
lola: 34831266 markings, 48345388 edges, 85773 markings/sec, 430 secs
lola: 35259627 markings, 48939273 edges, 85672 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: memory consumption: 2366472 KB
lola: time consumption: 2244 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 13 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p200)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 14 will run for 663 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p147)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p147)
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: 1179 markings, 1224 edges, 236 markings/sec, 25 secs
lola: 437864 markings, 578456 edges, 87337 markings/sec, 30 secs
lola: 873453 markings, 1154341 edges, 87118 markings/sec, 35 secs
lola: 1307588 markings, 1722351 edges, 86827 markings/sec, 40 secs
lola: 1738833 markings, 2291388 edges, 86249 markings/sec, 45 secs
lola: 2125079 markings, 2791860 edges, 77249 markings/sec, 50 secs
lola: 2518868 markings, 3309906 edges, 78758 markings/sec, 55 secs
lola: 2947472 markings, 3874679 edges, 85721 markings/sec, 60 secs
lola: 3359518 markings, 4411799 edges, 82409 markings/sec, 65 secs
lola: 3774708 markings, 4964669 edges, 83038 markings/sec, 70 secs
lola: 4192388 markings, 5500856 edges, 83536 markings/sec, 75 secs
lola: 4610604 markings, 6051794 edges, 83643 markings/sec, 80 secs
lola: 5034014 markings, 6609772 edges, 84682 markings/sec, 85 secs
lola: 5466979 markings, 7174246 edges, 86593 markings/sec, 90 secs
lola: 5879792 markings, 7722261 edges, 82563 markings/sec, 95 secs
lola: 6302730 markings, 8267727 edges, 84588 markings/sec, 100 secs
lola: 6723815 markings, 8829411 edges, 84217 markings/sec, 105 secs
lola: 7141854 markings, 9370112 edges, 83608 markings/sec, 110 secs
lola: 7544147 markings, 9896720 edges, 80459 markings/sec, 115 secs
lola: 7966259 markings, 10457412 edges, 84422 markings/sec, 120 secs
lola: 8390994 markings, 11004496 edges, 84947 markings/sec, 125 secs
lola: 8810066 markings, 11563724 edges, 83814 markings/sec, 130 secs
lola: 9236923 markings, 12115090 edges, 85371 markings/sec, 135 secs
lola: 9667618 markings, 12680344 edges, 86139 markings/sec, 140 secs
lola: 10094699 markings, 13243826 edges, 85416 markings/sec, 145 secs
lola: 10499406 markings, 13770911 edges, 80941 markings/sec, 150 secs
lola: 10920265 markings, 14331903 edges, 84172 markings/sec, 155 secs
lola: 11342926 markings, 14874102 edges, 84532 markings/sec, 160 secs
lola: 11772032 markings, 15438564 edges, 85821 markings/sec, 165 secs
lola: 12189557 markings, 15989368 edges, 83505 markings/sec, 170 secs
lola: 12586948 markings, 16506976 edges, 79478 markings/sec, 175 secs
lola: 13011136 markings, 17072476 edges, 84838 markings/sec, 180 secs
lola: 13435832 markings, 17617177 edges, 84939 markings/sec, 185 secs
lola: 13862583 markings, 18178772 edges, 85350 markings/sec, 190 secs
lola: 14290821 markings, 18742771 edges, 85648 markings/sec, 195 secs
lola: 14718870 markings, 19301043 edges, 85610 markings/sec, 200 secs
lola: 15141493 markings, 19860805 edges, 84525 markings/sec, 205 secs
lola: 15570048 markings, 20417007 edges, 85711 markings/sec, 210 secs
lola: 15991082 markings, 20978102 edges, 84207 markings/sec, 215 secs
lola: 16403367 markings, 21507946 edges, 82457 markings/sec, 220 secs
lola: 16826942 markings, 22064291 edges, 84715 markings/sec, 225 secs
lola: 17250469 markings, 22623694 edges, 84705 markings/sec, 230 secs
lola: 17674858 markings, 23175868 edges, 84878 markings/sec, 235 secs
lola: 18097939 markings, 23738797 edges, 84616 markings/sec, 240 secs
lola: 18521646 markings, 24282528 edges, 84741 markings/sec, 245 secs
lola: 18946424 markings, 24844054 edges, 84956 markings/sec, 250 secs
lola: 19373127 markings, 25402983 edges, 85341 markings/sec, 255 secs
lola: 19800414 markings, 25961602 edges, 85457 markings/sec, 260 secs
lola: 20226127 markings, 26524518 edges, 85143 markings/sec, 265 secs
lola: 20650685 markings, 27076716 edges, 84912 markings/sec, 270 secs
lola: 21069988 markings, 27635622 edges, 83861 markings/sec, 275 secs
lola: 21492963 markings, 28178007 edges, 84595 markings/sec, 280 secs
lola: 21867914 markings, 28671596 edges, 74990 markings/sec, 285 secs
lola: 22250062 markings, 29181374 edges, 76430 markings/sec, 290 secs
lola: 22671849 markings, 29724156 edges, 84357 markings/sec, 295 secs
lola: 23081133 markings, 30261784 edges, 81857 markings/sec, 300 secs
lola: 23498345 markings, 30814310 edges, 83442 markings/sec, 305 secs
lola: 23913687 markings, 31352866 edges, 83068 markings/sec, 310 secs
lola: 24329935 markings, 31906702 edges, 83250 markings/sec, 315 secs
lola: 24752465 markings, 32452257 edges, 84506 markings/sec, 320 secs
lola: 25168112 markings, 32997537 edges, 83129 markings/sec, 325 secs
lola: 25580669 markings, 33544608 edges, 82511 markings/sec, 330 secs
lola: 25994133 markings, 34076347 edges, 82693 markings/sec, 335 secs
lola: 26414474 markings, 34638476 edges, 84068 markings/sec, 340 secs
lola: 26834582 markings, 35182719 edges, 84022 markings/sec, 345 secs
lola: 27251437 markings, 35728110 edges, 83371 markings/sec, 350 secs
lola: 27676623 markings, 36290926 edges, 85037 markings/sec, 355 secs
lola: 28098675 markings, 36838673 edges, 84410 markings/sec, 360 secs
lola: 28522548 markings, 37403476 edges, 84775 markings/sec, 365 secs
lola: 28951948 markings, 37954971 edges, 85880 markings/sec, 370 secs
lola: 29374976 markings, 38511447 edges, 84606 markings/sec, 375 secs
lola: 29800430 markings, 39072264 edges, 85091 markings/sec, 380 secs
lola: 30226551 markings, 39627672 edges, 85224 markings/sec, 385 secs
lola: 30647603 markings, 40186506 edges, 84210 markings/sec, 390 secs
lola: 31072175 markings, 40735533 edges, 84914 markings/sec, 395 secs
lola: 31496678 markings, 41301136 edges, 84901 markings/sec, 400 secs
lola: 31924767 markings, 41852221 edges, 85618 markings/sec, 405 secs
lola: 32347250 markings, 42407792 edges, 84497 markings/sec, 410 secs
lola: 32766129 markings, 42960749 edges, 83776 markings/sec, 415 secs
lola: 33191197 markings, 43513911 edges, 85014 markings/sec, 420 secs
lola: 33615287 markings, 44078026 edges, 84818 markings/sec, 425 secs
lola: 34044246 markings, 44628377 edges, 85792 markings/sec, 430 secs
lola: 34470928 markings, 45198500 edges, 85336 markings/sec, 435 secs
lola: 34899757 markings, 45752499 edges, 85766 markings/sec, 440 secs
lola: 35327160 markings, 46313406 edges, 85481 markings/sec, 445 secs
lola: 35755199 markings, 46878263 edges, 85608 markings/sec, 450 secs
lola: 36183663 markings, 47435920 edges, 85693 markings/sec, 455 secs
lola: 36607935 markings, 47999714 edges, 84854 markings/sec, 460 secs
lola: 37030832 markings, 48542896 edges, 84579 markings/sec, 465 secs
lola: 37451363 markings, 49102921 edges, 84106 markings/sec, 470 secs
lola: 37874809 markings, 49653797 edges, 84689 markings/sec, 475 secs
lola: 38306543 markings, 50218467 edges, 86347 markings/sec, 480 secs
lola: 38737474 markings, 50787435 edges, 86186 markings/sec, 485 secs
lola: 39167553 markings, 51347072 edges, 86016 markings/sec, 490 secs
lola: 39594508 markings, 51914118 edges, 85391 markings/sec, 495 secs
lola: 40021134 markings, 52463308 edges, 85325 markings/sec, 500 secs
lola: 40446993 markings, 53032337 edges, 85172 markings/sec, 505 secs
lola: 40875113 markings, 53583945 edges, 85624 markings/sec, 510 secs
lola: 41299798 markings, 54142245 edges, 84937 markings/sec, 515 secs
lola: 41725411 markings, 54703637 edges, 85123 markings/sec, 520 secs
lola: 42151333 markings, 55258103 edges, 85184 markings/sec, 525 secs
lola: 42575137 markings, 55821308 edges, 84761 markings/sec, 530 secs
lola: 43001677 markings, 56368969 edges, 85308 markings/sec, 535 secs
lola: 43426015 markings, 56936512 edges, 84868 markings/sec, 540 secs
lola: 43852408 markings, 57487121 edges, 85279 markings/sec, 545 secs
lola: 44277530 markings, 58045105 edges, 85024 markings/sec, 550 secs
lola: 44701343 markings, 58604902 edges, 84763 markings/sec, 555 secs
lola: 45125813 markings, 59157109 edges, 84894 markings/sec, 560 secs
lola: 45550124 markings, 59721564 edges, 84862 markings/sec, 565 secs
lola: 45974600 markings, 60266376 edges, 84895 markings/sec, 570 secs
lola: 46398411 markings, 60825852 edges, 84762 markings/sec, 575 secs
lola: 46822168 markings, 61382685 edges, 84751 markings/sec, 580 secs
lola: 47245156 markings, 61934737 edges, 84598 markings/sec, 585 secs
lola: 47670201 markings, 62497359 edges, 85009 markings/sec, 590 secs
lola: 48099427 markings, 63054898 edges, 85845 markings/sec, 595 secs
lola: 48522968 markings, 63619497 edges, 84708 markings/sec, 600 secs
lola: 48947513 markings, 64163731 edges, 84909 markings/sec, 605 secs
lola: 49371024 markings, 64721294 edges, 84702 markings/sec, 610 secs
lola: 49795163 markings, 65280197 edges, 84828 markings/sec, 615 secs
lola: 50221374 markings, 65835704 edges, 85242 markings/sec, 620 secs
lola: 50644996 markings, 66397696 edges, 84724 markings/sec, 625 secs
lola: 51068342 markings, 66945707 edges, 84669 markings/sec, 630 secs
lola: 51492150 markings, 67510107 edges, 84762 markings/sec, 635 secs
lola: 51917364 markings, 68057456 edges, 85043 markings/sec, 640 secs
lola: 52342086 markings, 68615881 edges, 84944 markings/sec, 645 secs
lola: 52767059 markings, 69176347 edges, 84995 markings/sec, 650 secs
lola: 53191639 markings, 69729190 edges, 84916 markings/sec, 655 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2514132 KB
lola: time consumption: 2907 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 15 will run for 663 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93)
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: 511382 markings, 778172 edges, 102276 markings/sec, 30 secs
lola: 1011717 markings, 1549877 edges, 100067 markings/sec, 35 secs
lola: 1503015 markings, 2317986 edges, 98260 markings/sec, 40 secs
lola: 1992884 markings, 3079371 edges, 97974 markings/sec, 45 secs
lola: 2485943 markings, 3840985 edges, 98612 markings/sec, 50 secs
lola: 2970701 markings, 4598996 edges, 96952 markings/sec, 55 secs
lola: 3452669 markings, 5361145 edges, 96394 markings/sec, 60 secs
lola: 3935811 markings, 6119387 edges, 96628 markings/sec, 65 secs
lola: 4425996 markings, 6875933 edges, 98037 markings/sec, 70 secs
lola: 4909065 markings, 7630544 edges, 96614 markings/sec, 75 secs
lola: 5394210 markings, 8389448 edges, 97029 markings/sec, 80 secs
lola: 5876873 markings, 9143467 edges, 96533 markings/sec, 85 secs
lola: 6367038 markings, 9898486 edges, 98033 markings/sec, 90 secs
lola: 6848561 markings, 10650634 edges, 96305 markings/sec, 95 secs
lola: 7333828 markings, 11409250 edges, 97053 markings/sec, 100 secs
lola: 7818041 markings, 12165503 edges, 96843 markings/sec, 105 secs
lola: 8308080 markings, 12919454 edges, 98008 markings/sec, 110 secs
lola: 8787981 markings, 13669025 edges, 95980 markings/sec, 115 secs
lola: 9268787 markings, 14420492 edges, 96161 markings/sec, 120 secs
lola: 9749793 markings, 15172258 edges, 96201 markings/sec, 125 secs
lola: 10239682 markings, 15922255 edges, 97978 markings/sec, 130 secs
lola: 10718878 markings, 16671965 edges, 95839 markings/sec, 135 secs
lola: 11201076 markings, 17425314 edges, 96440 markings/sec, 140 secs
lola: 11680538 markings, 18173224 edges, 95892 markings/sec, 145 secs
lola: 12171863 markings, 18921868 edges, 98265 markings/sec, 150 secs
lola: 12650766 markings, 19671055 edges, 95781 markings/sec, 155 secs
lola: 13128780 markings, 20419025 edges, 95603 markings/sec, 160 secs
lola: 13606922 markings, 21165050 edges, 95628 markings/sec, 165 secs
lola: 14091707 markings, 21914168 edges, 96957 markings/sec, 170 secs
lola: 14580101 markings, 22666113 edges, 97679 markings/sec, 175 secs
lola: 15062738 markings, 23421426 edges, 96527 markings/sec, 180 secs
lola: 15545695 markings, 24176236 edges, 96591 markings/sec, 185 secs
lola: 16025834 markings, 24926478 edges, 96028 markings/sec, 190 secs
lola: 16514557 markings, 25679658 edges, 97745 markings/sec, 195 secs
lola: 16994010 markings, 26430305 edges, 95891 markings/sec, 200 secs
lola: 17474641 markings, 27180006 edges, 96126 markings/sec, 205 secs
lola: 17954280 markings, 27929223 edges, 95928 markings/sec, 210 secs
lola: 18440590 markings, 28679121 edges, 97262 markings/sec, 215 secs
lola: 18922526 markings, 29432407 edges, 96387 markings/sec, 220 secs
lola: 19403262 markings, 30181143 edges, 96147 markings/sec, 225 secs
lola: 19880329 markings, 30928713 edges, 95413 markings/sec, 230 secs
lola: 20367163 markings, 31677238 edges, 97367 markings/sec, 235 secs
lola: 20824783 markings, 32393192 edges, 91524 markings/sec, 240 secs
lola: 21302150 markings, 33139457 edges, 95473 markings/sec, 245 secs
lola: 21779709 markings, 33884796 edges, 95512 markings/sec, 250 secs
lola: 22267437 markings, 34635238 edges, 97546 markings/sec, 255 secs
lola: 22744981 markings, 35380357 edges, 95509 markings/sec, 260 secs
lola: 23222806 markings, 36127659 edges, 95565 markings/sec, 265 secs
lola: 23700956 markings, 36873983 edges, 95630 markings/sec, 270 secs
lola: 24188723 markings, 37622465 edges, 97553 markings/sec, 275 secs
lola: 24665959 markings, 38366075 edges, 95447 markings/sec, 280 secs
lola: 25141356 markings, 39111713 edges, 95079 markings/sec, 285 secs
lola: 25619861 markings, 39856069 edges, 95701 markings/sec, 290 secs
lola: 26109084 markings, 40603810 edges, 97845 markings/sec, 295 secs
lola: 26586339 markings, 41350797 edges, 95451 markings/sec, 300 secs
lola: 27063056 markings, 42095018 edges, 95343 markings/sec, 305 secs
lola: 27538747 markings, 42836364 edges, 95138 markings/sec, 310 secs
lola: 28020804 markings, 43582790 edges, 96411 markings/sec, 315 secs
lola: 28501689 markings, 44324697 edges, 96177 markings/sec, 320 secs
lola: 28977860 markings, 45069040 edges, 95234 markings/sec, 325 secs
lola: 29452629 markings, 45809945 edges, 94954 markings/sec, 330 secs
lola: 29931615 markings, 46560463 edges, 95797 markings/sec, 335 secs
lola: 30420764 markings, 47312148 edges, 97830 markings/sec, 340 secs
lola: 30898980 markings, 48061583 edges, 95643 markings/sec, 345 secs
lola: 31377956 markings, 48807835 edges, 95795 markings/sec, 350 secs
lola: 31857434 markings, 49557389 edges, 95896 markings/sec, 355 secs
lola: 32343570 markings, 50307226 edges, 97227 markings/sec, 360 secs
lola: 32827218 markings, 51061999 edges, 96730 markings/sec, 365 secs
lola: 33307440 markings, 51812882 edges, 96044 markings/sec, 370 secs
lola: 33790981 markings, 52567336 edges, 96708 markings/sec, 375 secs
lola: 34273928 markings, 53311540 edges, 96589 markings/sec, 380 secs
lola: 34751356 markings, 54056670 edges, 95486 markings/sec, 385 secs
lola: 35226628 markings, 54799207 edges, 95054 markings/sec, 390 secs
lola: 35703063 markings, 55544215 edges, 95287 markings/sec, 395 secs
lola: 36182484 markings, 56282140 edges, 95884 markings/sec, 400 secs
lola: 36658171 markings, 57023741 edges, 95137 markings/sec, 405 secs
lola: 37131545 markings, 57763644 edges, 94675 markings/sec, 410 secs
lola: 37611518 markings, 58513950 edges, 95995 markings/sec, 415 secs
lola: 38093773 markings, 59253038 edges, 96451 markings/sec, 420 secs
lola: 38570436 markings, 59998491 edges, 95333 markings/sec, 425 secs
lola: 39047220 markings, 60742146 edges, 95357 markings/sec, 430 secs
lola: 39523491 markings, 61485332 edges, 95254 markings/sec, 435 secs
lola: 40004203 markings, 62221359 edges, 96142 markings/sec, 440 secs
lola: 40478061 markings, 62959420 edges, 94772 markings/sec, 445 secs
lola: 40950102 markings, 63697914 edges, 94408 markings/sec, 450 secs
lola: 41428601 markings, 64445197 edges, 95700 markings/sec, 455 secs
lola: 41908649 markings, 65186953 edges, 96010 markings/sec, 460 secs
lola: 42388557 markings, 65928558 edges, 95982 markings/sec, 465 secs
lola: 42862534 markings, 66668000 edges, 94795 markings/sec, 470 secs
lola: 43336785 markings, 67408747 edges, 94850 markings/sec, 475 secs
lola: 43811572 markings, 68150977 edges, 94957 markings/sec, 480 secs
lola: 44289263 markings, 68888589 edges, 95538 markings/sec, 485 secs
lola: 44761238 markings, 69626070 edges, 94395 markings/sec, 490 secs
lola: 45240513 markings, 70374275 edges, 95855 markings/sec, 495 secs
lola: 45719514 markings, 71121871 edges, 95800 markings/sec, 500 secs
lola: 46204679 markings, 71870863 edges, 97033 markings/sec, 505 secs
lola: 46684950 markings, 72620247 edges, 96054 markings/sec, 510 secs
lola: 47160807 markings, 73364270 edges, 95171 markings/sec, 515 secs
lola: 47634588 markings, 74103005 edges, 94756 markings/sec, 520 secs
lola: 48111955 markings, 74840429 edges, 95473 markings/sec, 525 secs
lola: 48586843 markings, 75582886 edges, 94978 markings/sec, 530 secs
lola: 49063349 markings, 76324866 edges, 95301 markings/sec, 535 secs
lola: 49537471 markings, 77066990 edges, 94824 markings/sec, 540 secs
lola: 50017212 markings, 77805277 edges, 95948 markings/sec, 545 secs
lola: 50491740 markings, 78546137 edges, 94906 markings/sec, 550 secs
lola: 50966263 markings, 79286594 edges, 94905 markings/sec, 555 secs
lola: 51438097 markings, 80023498 edges, 94367 markings/sec, 560 secs
lola: 51914440 markings, 80755819 edges, 95269 markings/sec, 565 secs
lola: 52386450 markings, 81492373 edges, 94402 markings/sec, 570 secs
lola: 52863650 markings, 82238552 edges, 95440 markings/sec, 575 secs
lola: 53339967 markings, 82981626 edges, 95263 markings/sec, 580 secs
lola: 53822374 markings, 83718598 edges, 96481 markings/sec, 585 secs
lola: 54293979 markings, 84456770 edges, 94321 markings/sec, 590 secs
lola: 54769722 markings, 85197201 edges, 95149 markings/sec, 595 secs
lola: 55241184 markings, 85934968 edges, 94292 markings/sec, 600 secs
lola: 55717356 markings, 86671658 edges, 95234 markings/sec, 605 secs
lola: 56194815 markings, 87407132 edges, 95492 markings/sec, 610 secs
lola: 56667308 markings, 88146834 edges, 94499 markings/sec, 615 secs
lola: 57140732 markings, 88886540 edges, 94685 markings/sec, 620 secs
lola: 57614974 markings, 89625247 edges, 94848 markings/sec, 625 secs
lola: 58089316 markings, 90359288 edges, 94868 markings/sec, 630 secs
lola: 58561886 markings, 91098289 edges, 94514 markings/sec, 635 secs
lola: 59036665 markings, 91837597 edges, 94956 markings/sec, 640 secs
lola: 59507076 markings, 92573602 edges, 94082 markings/sec, 645 secs
lola: 59981017 markings, 93307466 edges, 94788 markings/sec, 650 secs
lola: 60460609 markings, 94053071 edges, 95918 markings/sec, 655 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2821044 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: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
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: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 21276 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: memory consumption: 21276 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown 1 unknown unknown 1 unknown unknown
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-02a"
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-02a, 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-158987787100029"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-02a.tgz
mv ASLink-PT-02a 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 ;