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.r168-smll-158987806800461.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 CloudOpsManagement-PT-10240by05120, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806800461
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17K 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 CloudOpsManagement-PT-10240by05120-UpperBounds-00
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-01
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-02
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-03
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-04
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-05
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-06
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-07
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-08
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-09
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-10
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-11
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-12
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-13
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-14
FORMULA_NAME CloudOpsManagement-PT-10240by05120-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591378424602

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 17:33:47] [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-05 17:33:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 17:33:47] [INFO ] Load time of PNML (sax parser for PT used): 56 ms
[2020-06-05 17:33:47] [INFO ] Transformed 27 places.
[2020-06-05 17:33:47] [INFO ] Transformed 29 transitions.
[2020-06-05 17:33:47] [INFO ] Parsed PT model containing 27 places and 29 transitions in 136 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 21 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-05 17:33:48] [INFO ] Flatten gal took : 54 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 29 rows 27 cols
[2020-06-05 17:33:48] [INFO ] Computed 11 place invariants in 7 ms
Support contains 11 out of 27 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27/27 places, 29/29 transitions.
Graph (trivial) has 3 edges and 27 vertex of which 2 / 27 are part of one of the 1 SCC in 5 ms
Free SCC test removed 1 places
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 4 place count 26 transition count 26
Applied a total of 4 rules in 31 ms. Remains 26 /27 variables (removed 1) and now considering 26/29 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 26/27 places, 26/29 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 26 rows 26 cols
[2020-06-05 17:33:48] [INFO ] Computed 11 place invariants in 2 ms
Support contains 11 out of 26 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 26/26 places, 26/26 transitions.
Applied a total of 0 rules in 7 ms. Remains 26 /26 variables (removed 0) and now considering 26/26 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 26/26 places, 26/26 transitions.
Starting structural reductions, iteration 0 : 26/26 places, 26/26 transitions.
Applied a total of 0 rules in 5 ms. Remains 26 /26 variables (removed 0) and now considering 26/26 (removed 0) transitions.
// Phase 1: matrix 26 rows 26 cols
[2020-06-05 17:33:48] [INFO ] Computed 11 place invariants in 2 ms
[2020-06-05 17:33:48] [INFO ] Implicit Places using invariants in 177 ms returned [11, 16, 22]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 185 ms to find 3 implicit places.
[2020-06-05 17:33:48] [INFO ] Redundant transitions in 1 ms returned []
// Phase 1: matrix 26 rows 23 cols
[2020-06-05 17:33:48] [INFO ] Computed 8 place invariants in 2 ms
[2020-06-05 17:33:48] [INFO ] Dead Transitions using invariants and state equation in 84 ms returned []
Starting structural reductions, iteration 1 : 23/26 places, 26/26 transitions.
Applied a total of 0 rules in 13 ms. Remains 23 /23 variables (removed 0) and now considering 26/26 (removed 0) transitions.
[2020-06-05 17:33:48] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 26 rows 23 cols
[2020-06-05 17:33:48] [INFO ] Computed 8 place invariants in 1 ms
[2020-06-05 17:33:48] [INFO ] Dead Transitions using invariants and state equation in 70 ms returned []
Finished structural reductions, in 2 iterations. Remains : 23/26 places, 26/26 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 26 rows 23 cols
[2020-06-05 17:33:48] [INFO ] Computed 8 place invariants in 2 ms
Support contains 11 out of 23 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 23/23 places, 26/26 transitions.
Applied a total of 0 rules in 2 ms. Remains 23 /23 variables (removed 0) and now considering 26/26 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 23/23 places, 26/26 transitions.
Starting structural reductions, iteration 0 : 23/23 places, 26/26 transitions.
Applied a total of 0 rules in 2 ms. Remains 23 /23 variables (removed 0) and now considering 26/26 (removed 0) transitions.
// Phase 1: matrix 26 rows 23 cols
[2020-06-05 17:33:48] [INFO ] Computed 8 place invariants in 0 ms
[2020-06-05 17:33:48] [INFO ] Implicit Places using invariants in 32 ms returned []
// Phase 1: matrix 26 rows 23 cols
[2020-06-05 17:33:48] [INFO ] Computed 8 place invariants in 1 ms
[2020-06-05 17:33:48] [INFO ] State equation strengthened by 2 read => feed constraints.
[2020-06-05 17:33:48] [INFO ] Implicit Places using invariants and state equation in 55 ms returned []
Implicit Place search using SMT with State Equation took 89 ms to find 0 implicit places.
[2020-06-05 17:33:48] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 26 rows 23 cols
[2020-06-05 17:33:48] [INFO ] Computed 8 place invariants in 0 ms
[2020-06-05 17:33:48] [INFO ] Dead Transitions using invariants and state equation in 54 ms returned []
Finished structural reductions, in 1 iterations. Remains : 23/23 places, 26/26 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 2 ms. Remains 23 /23 variables (removed 0) and now considering 26/26 (removed 0) transitions.
// Phase 1: matrix 26 rows 23 cols
[2020-06-05 17:33:48] [INFO ] Computed 8 place invariants in 0 ms
[2020-06-05 17:33:48] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2020-06-05 17:33:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ CloudOpsManagement-PT-10240by05120 @ 3570 seconds

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-01 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-03 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-05 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-06 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-07 20480 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-09 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-10 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-11 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-12 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-13 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-14 5120 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-15 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-02 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-04 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-10240by05120-UpperBounds-08 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 545
rslt: Output for UpperBounds @ CloudOpsManagement-PT-10240by05120

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 17:33:50 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 223
},
"exit":
{
"localtimelimitreached": false
},
"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(p0)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 239
},
"exit":
{
"localtimelimitreached": false
},
"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(p10)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 258
},
"exit":
{
"localtimelimitreached": false
},
"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(p1)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 5120,
"markings": 5121,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 284
},
"exit":
{
"localtimelimitreached": false
},
"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(p15)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 61426,
"markings": 35835,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 316
},
"exit":
{
"localtimelimitreached": false
},
"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(p8)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 263541582,
"markings": 131798963,
"produced_by": "search",
"value": 20480
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 328
},
"exit":
{
"localtimelimitreached": false
},
"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(p19)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 497042,
"markings": 266462,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 382
},
"exit":
{
"localtimelimitreached": false
},
"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(p10)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 459
},
"exit":
{
"localtimelimitreached": false
},
"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(p2)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 30725,
"markings": 25603,
"produced_by": "search",
"value": 10240
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 574
},
"exit":
{
"localtimelimitreached": false
},
"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(p1)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 5120,
"markings": 5121,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 765
},
"exit":
{
"localtimelimitreached": false
},
"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(p14)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 497042,
"markings": 266462,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1148
},
"exit":
{
"localtimelimitreached": false
},
"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(p15)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 61426,
"markings": 35835,
"produced_by": "search",
"value": 5120
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2297
},
"exit":
{
"localtimelimitreached": false
},
"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(p16)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10240
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 3356,
"runtime": 3025.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 82,
"conflict_clusters": 10,
"places": 23,
"places_significant": 15,
"singleton_clusters": 0,
"transitions": 26
},
"result":
{
"preliminary_value": "unknown 5120 unknown 5120 unknown 5120 5120 20480 unknown 5120 5120 10240 5120 5120 5120 10240 ",
"value": "unknown 5120 unknown 5120 unknown 5120 5120 20480 unknown 5120 5120 10240 5120 5120 5120 10240 "
},
"task":
{
"type": "compound"
}
}
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: 49/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 736
lola: finding significant places
lola: 23 places, 26 transitions, 15 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(p18) : MAX(p0) : MAX(p20) : MAX(p10) : MAX(p20) : MAX(p1) : MAX(p15) : MAX(p8) : MAX(p20) : MAX(p19) : MAX(p10) : MAX(p2) : MAX(p1) : MAX(p14) : MAX(p15) : MAX(p16)
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(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18)
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: 5120
lola: 2963667 markings, 5443044 edges, 592733 markings/sec, 0 secs
lola: 5907877 markings, 10846796 edges, 588842 markings/sec, 5 secs
lola: 8770898 markings, 16109104 edges, 572604 markings/sec, 10 secs
lola: 11678818 markings, 21452539 edges, 581584 markings/sec, 15 secs
lola: 14531060 markings, 26682971 edges, 570448 markings/sec, 20 secs
lola: 17302763 markings, 31783921 edges, 554341 markings/sec, 25 secs
lola: 20136070 markings, 36955666 edges, 566661 markings/sec, 30 secs
lola: 22846201 markings, 41953384 edges, 542026 markings/sec, 35 secs
lola: 25587726 markings, 46978883 edges, 548305 markings/sec, 40 secs
lola: 28260054 markings, 51902934 edges, 534466 markings/sec, 45 secs
lola: 30971365 markings, 56877189 edges, 542262 markings/sec, 50 secs
lola: 33784424 markings, 62026625 edges, 562612 markings/sec, 55 secs
lola: 36493506 markings, 67025790 edges, 541816 markings/sec, 60 secs
lola: 39223644 markings, 72021321 edges, 546028 markings/sec, 65 secs
lola: 41904530 markings, 76946511 edges, 536177 markings/sec, 70 secs
lola: 44579075 markings, 81812903 edges, 534909 markings/sec, 75 secs
lola: 47181298 markings, 86615096 edges, 520445 markings/sec, 80 secs
lola: 49844769 markings, 91524936 edges, 532694 markings/sec, 85 secs
lola: 52489563 markings, 96383045 edges, 528959 markings/sec, 90 secs
lola: 55147826 markings, 101253221 edges, 531653 markings/sec, 95 secs
lola: 57739592 markings, 105974681 edges, 518353 markings/sec, 100 secs
lola: 60354562 markings, 110779964 edges, 522994 markings/sec, 105 secs
lola: 62842893 markings, 115336003 edges, 497666 markings/sec, 110 secs
lola: 65380275 markings, 120033326 edges, 507476 markings/sec, 115 secs
lola: 67830284 markings, 124546348 edges, 490002 markings/sec, 120 secs
lola: 70419415 markings, 129235728 edges, 517826 markings/sec, 125 secs
lola: 73133561 markings, 134216004 edges, 542829 markings/sec, 130 secs
lola: 75835846 markings, 139203174 edges, 540457 markings/sec, 135 secs
lola: 78521649 markings, 144147742 edges, 537161 markings/sec, 140 secs
lola: 81186585 markings, 149040981 edges, 532987 markings/sec, 145 secs
lola: 83693392 markings, 153608510 edges, 501361 markings/sec, 150 secs
lola: 86333386 markings, 158431820 edges, 527999 markings/sec, 155 secs
lola: 88961009 markings, 163225065 edges, 525525 markings/sec, 160 secs
lola: 91467235 markings, 167917097 edges, 501245 markings/sec, 165 secs
lola: 94065637 markings, 172630745 edges, 519680 markings/sec, 170 secs
lola: 96571150 markings, 177251141 edges, 501103 markings/sec, 175 secs
lola: 99079198 markings, 181830141 edges, 501610 markings/sec, 180 secs
lola: 101656998 markings, 186586344 edges, 515560 markings/sec, 185 secs
lola: 104252594 markings, 191319581 edges, 519119 markings/sec, 190 secs
lola: 106775545 markings, 196014563 edges, 504590 markings/sec, 195 secs
lola: 109364090 markings, 200655558 edges, 517709 markings/sec, 200 secs
lola: 111850989 markings, 205266444 edges, 497380 markings/sec, 205 secs
lola: 114294939 markings, 209786985 edges, 488790 markings/sec, 210 secs
lola: 116732158 markings, 214288618 edges, 487444 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 5120
lola: 4122744 markings, 6283625 edges, 824549 markings/sec, 0 secs
lola: 7929674 markings, 11995097 edges, 761386 markings/sec, 5 secs
lola: 11382807 markings, 17175537 edges, 690627 markings/sec, 10 secs
lola: 15116870 markings, 22777306 edges, 746813 markings/sec, 15 secs
lola: 18763425 markings, 28247715 edges, 729311 markings/sec, 20 secs
lola: 22332255 markings, 33601469 edges, 713766 markings/sec, 25 secs
lola: 25868352 markings, 38906079 edges, 707219 markings/sec, 30 secs
lola: 29391665 markings, 44191479 edges, 704663 markings/sec, 35 secs
lola: 32783211 markings, 49279188 edges, 678309 markings/sec, 40 secs
lola: 36242572 markings, 54468606 edges, 691872 markings/sec, 45 secs
lola: 39618807 markings, 59533310 edges, 675247 markings/sec, 50 secs
lola: 42893428 markings, 64445569 edges, 654924 markings/sec, 55 secs
lola: 46537066 markings, 69911373 edges, 728728 markings/sec, 60 secs
lola: 49979748 markings, 75075713 edges, 688536 markings/sec, 65 secs
lola: 53357733 markings, 80142990 edges, 675597 markings/sec, 70 secs
lola: 56789939 markings, 85291593 edges, 686441 markings/sec, 75 secs
lola: 60103550 markings, 90262286 edges, 662722 markings/sec, 80 secs
lola: 63405588 markings, 95215610 edges, 660408 markings/sec, 85 secs
lola: 66622992 markings, 100041972 edges, 643481 markings/sec, 90 secs
lola: 70064476 markings, 105204463 edges, 688297 markings/sec, 95 secs
lola: 73361316 markings, 110149970 edges, 659368 markings/sec, 100 secs
lola: 76629358 markings, 115052271 edges, 653608 markings/sec, 105 secs
lola: 79809660 markings, 119822953 edges, 636060 markings/sec, 110 secs
lola: 83108727 markings, 124771788 edges, 659813 markings/sec, 115 secs
lola: 86302226 markings, 129562255 edges, 638700 markings/sec, 120 secs
lola: 89459860 markings, 134298922 edges, 631527 markings/sec, 125 secs
lola: 92568269 markings, 138961740 edges, 621682 markings/sec, 130 secs
lola: 95605224 markings, 143517372 edges, 607391 markings/sec, 135 secs
lola: 98960123 markings, 148549937 edges, 670980 markings/sec, 140 secs
lola: 102214324 markings, 153431446 edges, 650840 markings/sec, 145 secs
lola: 105407367 markings, 158221209 edges, 638609 markings/sec, 150 secs
lola: 108554882 markings, 162942674 edges, 629503 markings/sec, 155 secs
lola: 111627296 markings, 167551479 edges, 614483 markings/sec, 160 secs
lola: 114865602 markings, 172409133 edges, 647661 markings/sec, 165 secs
lola: 117992237 markings, 177099270 edges, 625327 markings/sec, 170 secs
lola: 121064548 markings, 181707919 edges, 614462 markings/sec, 175 secs
lola: 124093264 markings, 186251162 edges, 605743 markings/sec, 180 secs
lola: 127032624 markings, 190660368 edges, 587872 markings/sec, 185 secs
lola: 130028229 markings, 195153944 edges, 599121 markings/sec, 190 secs
lola: 133204967 markings, 199919228 edges, 635348 markings/sec, 195 secs
lola: 136298841 markings, 204560207 edges, 618775 markings/sec, 200 secs
lola: 139337119 markings, 209117788 edges, 607656 markings/sec, 205 secs
lola: 142427404 markings, 213753381 edges, 618057 markings/sec, 210 secs
lola: 145421516 markings, 218244707 edges, 598822 markings/sec, 215 secs
lola: 148329844 markings, 222607349 edges, 581666 markings/sec, 220 secs
lola: 151335453 markings, 227115919 edges, 601122 markings/sec, 225 secs
lola: 154454916 markings, 231795273 edges, 623893 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 5120 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10)
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: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 5120
lola: 4057969 markings, 6186442 edges, 811594 markings/sec, 0 secs
lola: 7862885 markings, 11894901 edges, 760983 markings/sec, 5 secs
lola: 11490708 markings, 17337411 edges, 725565 markings/sec, 10 secs
lola: 15087779 markings, 22733665 edges, 719414 markings/sec, 15 secs
lola: 18669142 markings, 28106277 edges, 716273 markings/sec, 20 secs
lola: 22151408 markings, 33330175 edges, 696453 markings/sec, 25 secs
lola: 25708936 markings, 38666933 edges, 711506 markings/sec, 30 secs
lola: 29258392 markings, 43991555 edges, 709891 markings/sec, 35 secs
lola: 32645266 markings, 49072256 edges, 677375 markings/sec, 40 secs
lola: 36093205 markings, 54244540 edges, 689588 markings/sec, 45 secs
lola: 39438303 markings, 59262534 edges, 669020 markings/sec, 50 secs
lola: 42659208 markings, 64094216 edges, 644181 markings/sec, 55 secs
lola: 46286956 markings, 69536186 edges, 725550 markings/sec, 60 secs
lola: 49775716 markings, 74769646 edges, 697752 markings/sec, 65 secs
lola: 52992515 markings, 79595130 edges, 643360 markings/sec, 70 secs
lola: 56295726 markings, 84550232 edges, 660642 markings/sec, 75 secs
lola: 59652058 markings, 89585010 edges, 671266 markings/sec, 80 secs
lola: 62953086 markings, 94536821 edges, 660206 markings/sec, 85 secs
lola: 66121395 markings, 99289535 edges, 633662 markings/sec, 90 secs
lola: 69524182 markings, 104393980 edges, 680557 markings/sec, 95 secs
lola: 72827422 markings, 109349088 edges, 660648 markings/sec, 100 secs
lola: 76107748 markings, 114269819 edges, 656065 markings/sec, 105 secs
lola: 79276088 markings, 119022558 edges, 633668 markings/sec, 110 secs
lola: 82533309 markings, 123908620 edges, 651444 markings/sec, 115 secs
lola: 85713176 markings, 128678640 edges, 635973 markings/sec, 120 secs
lola: 88874027 markings, 133420131 edges, 632170 markings/sec, 125 secs
lola: 91855304 markings, 137892246 edges, 596255 markings/sec, 130 secs
lola: 94872090 markings, 142417624 edges, 603357 markings/sec, 135 secs
lola: 98067227 markings, 147210537 edges, 639027 markings/sec, 140 secs
lola: 101305649 markings, 152068376 edges, 647684 markings/sec, 145 secs
lola: 104490790 markings, 156846284 edges, 637028 markings/sec, 150 secs
lola: 107615126 markings, 161532984 edges, 624867 markings/sec, 155 secs
lola: 110726941 markings, 166200896 edges, 622363 markings/sec, 160 secs
lola: 113909300 markings, 170974623 edges, 636472 markings/sec, 165 secs
lola: 117042777 markings, 175675024 edges, 626695 markings/sec, 170 secs
lola: 120088581 markings, 180243907 edges, 609161 markings/sec, 175 secs
lola: 123158348 markings, 184848734 edges, 613953 markings/sec, 180 secs
lola: 126103695 markings, 189266922 edges, 589069 markings/sec, 185 secs
lola: 128996821 markings, 193606775 edges, 578625 markings/sec, 190 secs
lola: 132161970 markings, 198354673 edges, 633030 markings/sec, 195 secs
lola: 135243360 markings, 202976928 edges, 616278 markings/sec, 200 secs
lola: 138254043 markings, 207493115 edges, 602137 markings/sec, 205 secs
lola: 141412984 markings, 212231694 edges, 631788 markings/sec, 210 secs
lola: 144513143 markings, 216882099 edges, 620032 markings/sec, 215 secs
lola: 147467922 markings, 221314424 edges, 590956 markings/sec, 220 secs
lola: 150599750 markings, 226012328 edges, 626366 markings/sec, 225 secs
lola: 153521003 markings, 230394358 edges, 584251 markings/sec, 230 secs
lola: 156618990 markings, 235041496 edges, 619597 markings/sec, 235 secs
lola: 159400726 markings, 239214240 edges, 556347 markings/sec, 240 secs
lola: 162390397 markings, 243698893 edges, 597934 markings/sec, 245 secs
lola: 165196841 markings, 247908700 edges, 561289 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 5120 unknown 5120 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 5121 markings, 5120 edges
lola: ========================================
lola: subprocess 6 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
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: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 35835 markings, 61426 edges
lola: ========================================
lola: subprocess 7 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20480
lola: 2845911 markings, 5667097 edges, 569182 markings/sec, 0 secs
lola: 5759684 markings, 11497087 edges, 582755 markings/sec, 5 secs
lola: 8786365 markings, 17546829 edges, 605336 markings/sec, 10 secs
lola: 11751431 markings, 23480353 edges, 593013 markings/sec, 15 secs
lola: 14777282 markings, 29528829 edges, 605170 markings/sec, 20 secs
lola: 17715283 markings, 35402042 edges, 587600 markings/sec, 25 secs
lola: 20648375 markings, 41269124 edges, 586618 markings/sec, 30 secs
lola: 23559543 markings, 47091296 edges, 582234 markings/sec, 35 secs
lola: 26513676 markings, 53002589 edges, 590827 markings/sec, 40 secs
lola: 29498968 markings, 58970272 edges, 597058 markings/sec, 45 secs
lola: 32424275 markings, 64821570 edges, 585061 markings/sec, 50 secs
lola: 35336138 markings, 70643195 edges, 582373 markings/sec, 55 secs
lola: 38258127 markings, 76494813 edges, 584398 markings/sec, 60 secs
lola: 41161046 markings, 82293208 edges, 580584 markings/sec, 65 secs
lola: 44035146 markings, 88048442 edges, 574820 markings/sec, 70 secs
lola: 46873708 markings, 93720507 edges, 567712 markings/sec, 75 secs
lola: 49975951 markings, 99923226 edges, 620449 markings/sec, 80 secs
lola: 52939535 markings, 105851344 edges, 592717 markings/sec, 85 secs
lola: 55997000 markings, 111965280 edges, 611493 markings/sec, 90 secs
lola: 58915876 markings, 117802837 edges, 583775 markings/sec, 95 secs
lola: 61924994 markings, 123822113 edges, 601824 markings/sec, 100 secs
lola: 64914971 markings, 129801009 edges, 597995 markings/sec, 105 secs
lola: 67897150 markings, 135767671 edges, 596436 markings/sec, 110 secs
lola: 70920174 markings, 141814679 edges, 604605 markings/sec, 115 secs
lola: 73887281 markings, 147746513 edges, 593421 markings/sec, 120 secs
lola: 76814784 markings, 153604723 edges, 585501 markings/sec, 125 secs
lola: 79746194 markings, 159467649 edges, 586282 markings/sec, 130 secs
lola: 82638241 markings, 165249248 edges, 578409 markings/sec, 135 secs
lola: 85629861 markings, 171236265 edges, 598324 markings/sec, 140 secs
lola: 88687969 markings, 177348812 edges, 611622 markings/sec, 145 secs
lola: 91665877 markings, 183304507 edges, 595582 markings/sec, 150 secs
lola: 94677438 markings, 189327683 edges, 602312 markings/sec, 155 secs
lola: 97615423 markings, 195205391 edges, 587597 markings/sec, 160 secs
lola: 100593605 markings, 201159897 edges, 595636 markings/sec, 165 secs
lola: 103537240 markings, 207049237 edges, 588727 markings/sec, 170 secs
lola: 106470609 markings, 212916903 edges, 586674 markings/sec, 175 secs
lola: 109372647 markings, 218720276 edges, 580408 markings/sec, 180 secs
lola: 112431301 markings, 224835887 edges, 611731 markings/sec, 185 secs
lola: 115488864 markings, 230950698 edges, 611513 markings/sec, 190 secs
lola: 118505295 markings, 236986311 edges, 603286 markings/sec, 195 secs
lola: 121518063 markings, 243010310 edges, 602554 markings/sec, 200 secs
lola: 124478570 markings, 248931567 edges, 592101 markings/sec, 205 secs
lola: 127533905 markings, 255042747 edges, 611067 markings/sec, 210 secs
lola: 130686109 markings, 261346419 edges, 630441 markings/sec, 215 secs
lola: SUBRESULT
lola: result: 20480
lola: produced by: state space
lola: The maximum value of the given expression is 20480
lola: 131798963 markings, 263541582 edges
lola: ========================================
lola: subprocess 8 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 5120
lola: 4154871 markings, 6331830 edges, 830974 markings/sec, 0 secs
lola: 7641983 markings, 11563494 edges, 697422 markings/sec, 5 secs
lola: 11267917 markings, 17003180 edges, 725187 markings/sec, 10 secs
lola: 14962690 markings, 22546007 edges, 738955 markings/sec, 15 secs
lola: 18549816 markings, 27927270 edges, 717425 markings/sec, 20 secs
lola: 22069524 markings, 33207337 edges, 703942 markings/sec, 25 secs
lola: 25530177 markings, 38398773 edges, 692131 markings/sec, 30 secs
lola: 28973186 markings, 43563710 edges, 688602 markings/sec, 35 secs
lola: 32375548 markings, 48667648 edges, 680472 markings/sec, 40 secs
lola: 35777274 markings, 53770610 edges, 680345 markings/sec, 45 secs
lola: 39139406 markings, 58814161 edges, 672426 markings/sec, 50 secs
lola: 42419416 markings, 63734503 edges, 656002 markings/sec, 55 secs
lola: 45973384 markings, 69065798 edges, 710794 markings/sec, 60 secs
lola: 49466022 markings, 74305076 edges, 698528 markings/sec, 65 secs
lola: 52925248 markings, 79494223 edges, 691845 markings/sec, 70 secs
lola: 56415057 markings, 84729237 edges, 697962 markings/sec, 75 secs
lola: 59760890 markings, 89748269 edges, 669167 markings/sec, 80 secs
lola: 63076218 markings, 94721529 edges, 663066 markings/sec, 85 secs
lola: 66282526 markings, 99531244 edges, 641262 markings/sec, 90 secs
lola: 69695522 markings, 104651001 edges, 682599 markings/sec, 95 secs
lola: 72997035 markings, 109603520 edges, 660303 markings/sec, 100 secs
lola: 76307186 markings, 114568991 edges, 662030 markings/sec, 105 secs
lola: 79513529 markings, 119378737 edges, 641269 markings/sec, 110 secs
lola: 82822728 markings, 124342770 edges, 661840 markings/sec, 115 secs
lola: 86049924 markings, 129183786 edges, 645439 markings/sec, 120 secs
lola: 89183960 markings, 133885052 edges, 626807 markings/sec, 125 secs
lola: 92310689 markings, 138575352 edges, 625346 markings/sec, 130 secs
lola: 95196340 markings, 142904020 edges, 577130 markings/sec, 135 secs
lola: 98516530 markings, 147884520 edges, 664038 markings/sec, 140 secs
lola: 101715254 markings, 152682808 edges, 639745 markings/sec, 145 secs
lola: 104865104 markings, 157407780 edges, 629970 markings/sec, 150 secs
lola: 107954817 markings, 162042540 edges, 617943 markings/sec, 155 secs
lola: 111008728 markings, 166623593 edges, 610782 markings/sec, 160 secs
lola: 114188994 markings, 171394181 edges, 636053 markings/sec, 165 secs
lola: 117285391 markings, 176038959 edges, 619279 markings/sec, 170 secs
lola: 120260681 markings, 180502068 edges, 595058 markings/sec, 175 secs
lola: 123300829 markings, 185062464 edges, 608030 markings/sec, 180 secs
lola: 126214024 markings, 189432423 edges, 582639 markings/sec, 185 secs
lola: 129081122 markings, 193733229 edges, 573420 markings/sec, 190 secs
lola: 132207678 markings, 198423238 edges, 625311 markings/sec, 195 secs
lola: 135239279 markings, 202970807 edges, 606320 markings/sec, 200 secs
lola: 138197237 markings, 207407903 edges, 591592 markings/sec, 205 secs
lola: 141215958 markings, 211936148 edges, 603744 markings/sec, 210 secs
lola: 144171176 markings, 216369130 edges, 591044 markings/sec, 215 secs
lola: 147048017 markings, 220684544 edges, 575368 markings/sec, 220 secs
lola: 150011418 markings, 225129801 edges, 592680 markings/sec, 225 secs
lola: 152960968 markings, 229554276 edges, 589910 markings/sec, 230 secs
lola: 155853443 markings, 233893136 edges, 578495 markings/sec, 235 secs
lola: 158639185 markings, 238071890 edges, 557148 markings/sec, 240 secs
lola: 161535798 markings, 242416957 edges, 579323 markings/sec, 245 secs
lola: 164313110 markings, 246583059 edges, 555462 markings/sec, 250 secs
lola: 167082624 markings, 250737468 edges, 553903 markings/sec, 255 secs
lola: 169953692 markings, 255044210 edges, 574214 markings/sec, 260 secs
lola: 173011836 markings, 259631573 edges, 611629 markings/sec, 265 secs
lola: 176006652 markings, 264123943 edges, 598963 markings/sec, 270 secs
lola: 178921060 markings, 268495693 edges, 582882 markings/sec, 275 secs
lola: 181885178 markings, 272942011 edges, 592824 markings/sec, 280 secs
lola: 184780496 markings, 277285124 edges, 579064 markings/sec, 285 secs
lola: 187524109 markings, 281401232 edges, 548723 markings/sec, 290 secs
lola: 190246237 markings, 285484565 edges, 544426 markings/sec, 295 secs
lola: 191750306 markings, 287740639 edges, 300814 markings/sec, 300 secs
lola: 193717839 markings, 290691550 edges, 393507 markings/sec, 305 secs
lola: 195564574 markings, 293461732 edges, 369347 markings/sec, 310 secs
lola: 197625645 markings, 296553433 edges, 412214 markings/sec, 315 secs
lola: 199532546 markings, 299413870 edges, 381380 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 5120 unknown 5120 unknown 5120 5120 20480 unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19)
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: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 266462 markings, 497042 edges
lola: ========================================
lola: subprocess 10 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10)
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: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 459 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 25603 markings, 30725 edges
lola: ========================================
lola: subprocess 12 will run for 574 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 5121 markings, 5120 edges
lola: ========================================
lola: subprocess 13 will run for 765 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
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: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 266462 markings, 497042 edges
lola: ========================================
lola: subprocess 14 will run for 1148 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
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: 5120
lola: SUBRESULT
lola: result: 5120
lola: produced by: state space
lola: The maximum value of the given expression is 5120
lola: 35835 markings, 61426 edges
lola: ========================================
lola: subprocess 15 will run for 2297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18)
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: 5120
lola: 3059598 markings, 5619167 edges, 611920 markings/sec, 0 secs
lola: 5940856 markings, 10912757 edges, 576252 markings/sec, 5 secs
lola: 8762621 markings, 16092850 edges, 564353 markings/sec, 10 secs
lola: 11623406 markings, 21341644 edges, 572157 markings/sec, 15 secs
lola: 14428620 markings, 26482843 edges, 561043 markings/sec, 20 secs
lola: 17158346 markings, 31494849 edges, 545945 markings/sec, 25 secs
lola: 19904813 markings, 36551124 edges, 549293 markings/sec, 30 secs
lola: 22595356 markings, 41497208 edges, 538109 markings/sec, 35 secs
lola: 25261982 markings, 46395034 edges, 533325 markings/sec, 40 secs
lola: 27792779 markings, 51040310 edges, 506159 markings/sec, 45 secs
lola: 30422189 markings, 55855546 edges, 525882 markings/sec, 50 secs
lola: 33216154 markings, 60972074 edges, 558793 markings/sec, 55 secs
lola: 35912908 markings, 65950121 edges, 539351 markings/sec, 60 secs
lola: 38564738 markings, 70817860 edges, 530366 markings/sec, 65 secs
lola: 41266119 markings, 75763807 edges, 540276 markings/sec, 70 secs
lola: 43917530 markings, 80591605 edges, 530282 markings/sec, 75 secs
lola: 46491656 markings, 85337445 edges, 514825 markings/sec, 80 secs
lola: 49093184 markings, 90127159 edges, 520306 markings/sec, 85 secs
lola: 51722960 markings, 94959035 edges, 525955 markings/sec, 90 secs
lola: 54251522 markings, 99573485 edges, 505712 markings/sec, 95 secs
lola: 56818512 markings, 104274475 edges, 513398 markings/sec, 100 secs
lola: 59337757 markings, 108934328 edges, 503849 markings/sec, 105 secs
lola: 61970320 markings, 113714680 edges, 526513 markings/sec, 110 secs
lola: 64450423 markings, 118300431 edges, 496021 markings/sec, 115 secs
lola: 66995154 markings, 123006438 edges, 508946 markings/sec, 120 secs
lola: 69534620 markings, 127637782 edges, 507893 markings/sec, 125 secs
lola: 72178531 markings, 132443092 edges, 528782 markings/sec, 130 secs
lola: 74888632 markings, 137448681 edges, 542020 markings/sec, 135 secs
lola: 77540322 markings, 142328548 edges, 530338 markings/sec, 140 secs
lola: 80194997 markings, 147204352 edges, 530935 markings/sec, 145 secs
lola: 82788721 markings, 151949306 edges, 518745 markings/sec, 150 secs
lola: 85381347 markings, 156681371 edges, 518525 markings/sec, 155 secs
lola: 88024693 markings, 161504617 edges, 528669 markings/sec, 160 secs
lola: 90528226 markings, 166197891 edges, 500707 markings/sec, 165 secs
lola: 93084591 markings, 170831255 edges, 511273 markings/sec, 170 secs
lola: 95650589 markings, 175536023 edges, 513200 markings/sec, 175 secs
lola: 98144614 markings, 180128797 edges, 498805 markings/sec, 180 secs
lola: 100645416 markings, 184723216 edges, 500160 markings/sec, 185 secs
lola: 103261454 markings, 189511595 edges, 523208 markings/sec, 190 secs
lola: 105832232 markings, 194257069 edges, 514156 markings/sec, 195 secs
lola: 108363212 markings, 198833637 edges, 506196 markings/sec, 200 secs
lola: 110850742 markings, 203448288 edges, 497506 markings/sec, 205 secs
lola: 113305263 markings, 207992157 edges, 490904 markings/sec, 210 secs
lola: 115782107 markings, 212489608 edges, 495369 markings/sec, 215 secs
lola: 118247659 markings, 216949950 edges, 493110 markings/sec, 220 secs
lola: 120747309 markings, 221559009 edges, 499930 markings/sec, 225 secs
lola: 123176042 markings, 226028327 edges, 485747 markings/sec, 230 secs
lola: 125588931 markings, 230461543 edges, 482578 markings/sec, 235 secs
lola: 127918853 markings, 234724753 edges, 465984 markings/sec, 240 secs
lola: 130349462 markings, 239182899 edges, 486122 markings/sec, 245 secs
lola: 132743669 markings, 243563193 edges, 478841 markings/sec, 250 secs
lola: 135155758 markings, 247974914 edges, 482418 markings/sec, 255 secs
lola: 137546743 markings, 252356112 edges, 478197 markings/sec, 260 secs
lola: 140134838 markings, 257091458 edges, 517619 markings/sec, 265 secs
lola: 142658654 markings, 261740977 edges, 504763 markings/sec, 270 secs
lola: 145121282 markings, 266309677 edges, 492526 markings/sec, 275 secs
lola: 147517207 markings, 270776040 edges, 479185 markings/sec, 280 secs
lola: 149999997 markings, 275300277 edges, 496558 markings/sec, 285 secs
lola: 152395539 markings, 279644312 edges, 479108 markings/sec, 290 secs
lola: 153755151 markings, 282138631 edges, 271922 markings/sec, 295 secs
lola: 155372705 markings, 285145854 edges, 323511 markings/sec, 300 secs
lola: 157491765 markings, 288932717 edges, 423812 markings/sec, 305 secs
lola: 158209991 markings, 290362939 edges, 143645 markings/sec, 310 secs
lola: 160163030 markings, 293873297 edges, 390608 markings/sec, 315 secs
lola: 161155065 markings, 295790131 edges, 198407 markings/sec, 320 secs
lola: 162620698 markings, 298487734 edges, 293127 markings/sec, 325 secs
lola: 164761061 markings, 302297145 edges, 428073 markings/sec, 330 secs
lola: 166207448 markings, 304951957 edges, 289277 markings/sec, 335 secs
lola: 167776843 markings, 307852395 edges, 313879 markings/sec, 340 secs
lola: 169513765 markings, 311085226 edges, 347384 markings/sec, 345 secs
lola: 171342888 markings, 314487588 edges, 365825 markings/sec, 350 secs
lola: 172502019 markings, 316576861 edges, 231826 markings/sec, 355 secs
lola: 174130111 markings, 319588128 edges, 325618 markings/sec, 360 secs
lola: 176031096 markings, 323007726 edges, 380197 markings/sec, 365 secs
lola: 177806625 markings, 326199523 edges, 355106 markings/sec, 370 secs
lola: 179077998 markings, 328584190 edges, 254275 markings/sec, 375 secs
lola: 180919672 markings, 331922539 edges, 368335 markings/sec, 380 secs
lola: 183005332 markings, 335841290 edges, 417132 markings/sec, 385 secs
lola: 184306547 markings, 338188734 edges, 260243 markings/sec, 390 secs
lola: 186021863 markings, 341364109 edges, 343063 markings/sec, 395 secs
lola: 187506690 markings, 344076477 edges, 296965 markings/sec, 400 secs
lola: 188092466 markings, 345192328 edges, 117155 markings/sec, 405 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 5120
lola: 4005393 markings, 6107561 edges, 801079 markings/sec, 0 secs
lola: 7689666 markings, 11635030 edges, 736855 markings/sec, 5 secs
lola: 11130553 markings, 16797107 edges, 688177 markings/sec, 10 secs
lola: 14612213 markings, 22020234 edges, 696332 markings/sec, 15 secs
lola: 18084411 markings, 27229090 edges, 694440 markings/sec, 20 secs
lola: 21521099 markings, 32384621 edges, 687338 markings/sec, 25 secs
lola: 24768132 markings, 37255606 edges, 649407 markings/sec, 30 secs
lola: 28141997 markings, 42316825 edges, 674773 markings/sec, 35 secs
lola: 31282118 markings, 47027378 edges, 628024 markings/sec, 40 secs
lola: 34684103 markings, 52130733 edges, 680397 markings/sec, 45 secs
lola: 37648372 markings, 56577452 edges, 592854 markings/sec, 50 secs
lola: 40819157 markings, 61333954 edges, 634157 markings/sec, 55 secs
lola: 44162904 markings, 66349902 edges, 668749 markings/sec, 60 secs
lola: 47477042 markings, 71321421 edges, 662828 markings/sec, 65 secs
lola: 50854595 markings, 76388058 edges, 675511 markings/sec, 70 secs
lola: 53963795 markings, 81052133 edges, 621840 markings/sec, 75 secs
lola: 56785789 markings, 85285365 edges, 564399 markings/sec, 80 secs
lola: 59991818 markings, 90094677 edges, 641206 markings/sec, 85 secs
lola: 63108733 markings, 94770302 edges, 623383 markings/sec, 90 secs
lola: 66255151 markings, 99490179 edges, 629284 markings/sec, 95 secs
lola: 69617404 markings, 104533816 edges, 672451 markings/sec, 100 secs
lola: 72881006 markings, 109429467 edges, 652720 markings/sec, 105 secs
lola: 76049405 markings, 114182298 edges, 633680 markings/sec, 110 secs
lola: 79077319 markings, 118724388 edges, 605583 markings/sec, 115 secs
lola: 82295820 markings, 123552368 edges, 643700 markings/sec, 120 secs
lola: 85451688 markings, 128286388 edges, 631174 markings/sec, 125 secs
lola: 88566924 markings, 132959455 edges, 623047 markings/sec, 130 secs
lola: 91650532 markings, 137585072 edges, 616722 markings/sec, 135 secs
lola: 94699914 markings, 142159348 edges, 609876 markings/sec, 140 secs
lola: 98026848 markings, 147149963 edges, 665387 markings/sec, 145 secs
lola: 101308531 markings, 152072697 edges, 656337 markings/sec, 150 secs
lola: 104525662 markings, 156898594 edges, 643426 markings/sec, 155 secs
lola: 107648975 markings, 161583756 edges, 624663 markings/sec, 160 secs
lola: 110710057 markings, 166175566 edges, 612216 markings/sec, 165 secs
lola: 113911404 markings, 170977778 edges, 640269 markings/sec, 170 secs
lola: 117057814 markings, 175697577 edges, 629282 markings/sec, 175 secs
lola: 120111057 markings, 180277622 edges, 610649 markings/sec, 180 secs
lola: 123230834 markings, 184957465 edges, 623955 markings/sec, 185 secs
lola: 126255402 markings, 189494490 edges, 604914 markings/sec, 190 secs
lola: 129189252 markings, 193895430 edges, 586770 markings/sec, 195 secs
lola: 132364503 markings, 198658483 edges, 635050 markings/sec, 200 secs
lola: 135464212 markings, 203308216 edges, 619942 markings/sec, 205 secs
lola: 138422999 markings, 207746557 edges, 591757 markings/sec, 210 secs
lola: 141469790 markings, 212316905 edges, 609358 markings/sec, 215 secs
lola: 144453919 markings, 216793259 edges, 596826 markings/sec, 220 secs
lola: 147374513 markings, 221174303 edges, 584119 markings/sec, 225 secs
lola: 150379338 markings, 225681697 edges, 600965 markings/sec, 230 secs
lola: 153343642 markings, 230128305 edges, 592861 markings/sec, 235 secs
lola: 156181268 markings, 234384889 edges, 567525 markings/sec, 240 secs
lola: 158732124 markings, 238211303 edges, 510171 markings/sec, 245 secs
lola: 161641959 markings, 242576200 edges, 581967 markings/sec, 250 secs
lola: 164456728 markings, 246798494 edges, 562954 markings/sec, 255 secs
lola: 167300673 markings, 251064551 edges, 568789 markings/sec, 260 secs
lola: 170106673 markings, 255273688 edges, 561200 markings/sec, 265 secs
lola: 173298202 markings, 260061136 edges, 638306 markings/sec, 270 secs
lola: 176331965 markings, 264611926 edges, 606753 markings/sec, 275 secs
lola: 179381493 markings, 269186362 edges, 609906 markings/sec, 280 secs
lola: 182435960 markings, 273768207 edges, 610893 markings/sec, 285 secs
lola: 185418440 markings, 278242066 edges, 596496 markings/sec, 290 secs
lola: 188151163 markings, 282341764 edges, 546545 markings/sec, 295 secs
lola: 190214730 markings, 285436722 edges, 412713 markings/sec, 300 secs
lola: 191799765 markings, 287815061 edges, 317007 markings/sec, 305 secs
lola: 192708270 markings, 289177148 edges, 181701 markings/sec, 310 secs
lola: 193970178 markings, 291070066 edges, 252382 markings/sec, 315 secs
lola: 195112962 markings, 292784294 edges, 228557 markings/sec, 320 secs
lola: 196831668 markings, 295362433 edges, 343741 markings/sec, 325 secs
lola: 198707597 markings, 298176411 edges, 375186 markings/sec, 330 secs
lola: 200275392 markings, 300528174 edges, 313559 markings/sec, 335 secs
lola: 202184918 markings, 303392548 edges, 381905 markings/sec, 340 secs
lola: 204096115 markings, 306259429 edges, 382239 markings/sec, 345 secs
lola: 206076526 markings, 309230134 edges, 396082 markings/sec, 350 secs
lola: 208095656 markings, 312258919 edges, 403826 markings/sec, 355 secs
lola: 210154726 markings, 315347614 edges, 411814 markings/sec, 360 secs
lola: 212036081 markings, 318169727 edges, 376271 markings/sec, 365 secs
lola: 214376450 markings, 321680379 edges, 468074 markings/sec, 370 secs
lola: 216612605 markings, 325034713 edges, 447231 markings/sec, 375 secs
lola: 218306348 markings, 327575398 edges, 338749 markings/sec, 380 secs
lola: 220594390 markings, 331007558 edges, 457608 markings/sec, 385 secs
lola: 222583252 markings, 333990937 edges, 397772 markings/sec, 390 secs
lola: 224392526 markings, 336704925 edges, 361855 markings/sec, 395 secs
lola: 226100532 markings, 339267006 edges, 341601 markings/sec, 400 secs
lola: 227980066 markings, 342086385 edges, 375907 markings/sec, 405 secs
lola: 229971317 markings, 345073347 edges, 398250 markings/sec, 410 secs
lola: 231882906 markings, 347940809 edges, 382318 markings/sec, 415 secs
lola: 233967874 markings, 351068347 edges, 416994 markings/sec, 420 secs
lola: 235220526 markings, 352947374 edges, 250530 markings/sec, 425 secs
lola: 235659828 markings, 353606381 edges, 87860 markings/sec, 430 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 5120
lola: 4188084 markings, 6381657 edges, 837617 markings/sec, 0 secs
lola: 8007696 markings, 12112150 edges, 763922 markings/sec, 5 secs
lola: 11682262 markings, 17624778 edges, 734913 markings/sec, 10 secs
lola: 15386961 markings, 23182486 edges, 740940 markings/sec, 15 secs
lola: 18968338 markings, 28555113 edges, 716275 markings/sec, 20 secs
lola: 22455664 markings, 33786598 edges, 697465 markings/sec, 25 secs
lola: 26002835 markings, 39107818 edges, 709434 markings/sec, 30 secs
lola: 29401729 markings, 44206574 edges, 679779 markings/sec, 35 secs
lola: 32786187 markings, 49283650 edges, 676892 markings/sec, 40 secs
lola: 36152855 markings, 54334020 edges, 673334 markings/sec, 45 secs
lola: 39435891 markings, 59258915 edges, 656607 markings/sec, 50 secs
lola: 42711581 markings, 64172778 edges, 655138 markings/sec, 55 secs
lola: 46160055 markings, 69345819 edges, 689695 markings/sec, 60 secs
lola: 49709076 markings, 74669679 edges, 709804 markings/sec, 65 secs
lola: 52840072 markings, 79366451 edges, 626199 markings/sec, 70 secs
lola: 56258550 markings, 84494462 edges, 683696 markings/sec, 75 secs
lola: 59521155 markings, 89388643 edges, 652521 markings/sec, 80 secs
lola: 62777121 markings, 94272858 edges, 651193 markings/sec, 85 secs
lola: 65931068 markings, 99004028 edges, 630789 markings/sec, 90 secs
lola: 69224206 markings, 103943991 edges, 658628 markings/sec, 95 secs
lola: 72571240 markings, 108964795 edges, 669407 markings/sec, 100 secs
lola: 75822567 markings, 113842025 edges, 650265 markings/sec, 105 secs
lola: 78982764 markings, 118582549 edges, 632039 markings/sec, 110 secs
lola: 82185013 markings, 123386149 edges, 640450 markings/sec, 115 secs
lola: 85340496 markings, 128119594 edges, 631097 markings/sec, 120 secs
lola: 88443455 markings, 132774243 edges, 620592 markings/sec, 125 secs
lola: 91508627 markings, 137372206 edges, 613034 markings/sec, 130 secs
lola: 94531658 markings, 141906953 edges, 604606 markings/sec, 135 secs
lola: 97799499 markings, 146808926 edges, 653568 markings/sec, 140 secs
lola: 101060522 markings, 151700668 edges, 652205 markings/sec, 145 secs
lola: 104243502 markings, 156475337 edges, 636596 markings/sec, 150 secs
lola: 107383792 markings, 161185966 edges, 628058 markings/sec, 155 secs
lola: 110490879 markings, 165846785 edges, 621417 markings/sec, 160 secs
lola: 113648438 markings, 170583312 edges, 631512 markings/sec, 165 secs
lola: 116801018 markings, 175312370 edges, 630516 markings/sec, 170 secs
lola: 119843425 markings, 179876159 edges, 608481 markings/sec, 175 secs
lola: 122929873 markings, 184506008 edges, 617290 markings/sec, 180 secs
lola: 125926250 markings, 189000744 edges, 599275 markings/sec, 185 secs
lola: 128841862 markings, 193374326 edges, 583122 markings/sec, 190 secs
lola: 131966070 markings, 198060811 edges, 624842 markings/sec, 195 secs
lola: 135068202 markings, 202714179 edges, 620426 markings/sec, 200 secs
lola: 138055212 markings, 207194857 edges, 597402 markings/sec, 205 secs
lola: 141085478 markings, 211740418 edges, 606053 markings/sec, 210 secs
lola: 144054933 markings, 216194758 edges, 593891 markings/sec, 215 secs
lola: 146966137 markings, 220561718 edges, 582241 markings/sec, 220 secs
lola: 149907356 markings, 224973699 edges, 588244 markings/sec, 225 secs
lola: 152829113 markings, 229356486 edges, 584351 markings/sec, 230 secs
lola: 155724604 markings, 233699871 edges, 579098 markings/sec, 235 secs
lola: 158520982 markings, 237894578 edges, 559276 markings/sec, 240 secs
lola: 161258355 markings, 242000776 edges, 547475 markings/sec, 245 secs
lola: 163992487 markings, 246102109 edges, 546826 markings/sec, 250 secs
lola: 166710476 markings, 250179226 edges, 543598 markings/sec, 255 secs
lola: 169499102 markings, 254362303 edges, 557725 markings/sec, 260 secs
lola: 172600104 markings, 259013955 edges, 620200 markings/sec, 265 secs
lola: 175633465 markings, 263564143 edges, 606672 markings/sec, 270 secs
lola: 178603529 markings, 268019380 edges, 594013 markings/sec, 275 secs
lola: 181608502 markings, 272526980 edges, 600995 markings/sec, 280 secs
lola: 184536822 markings, 276919599 edges, 585664 markings/sec, 285 secs
lola: 187431296 markings, 281261444 edges, 578895 markings/sec, 290 secs
lola: 189902911 markings, 284969330 edges, 494323 markings/sec, 295 secs
lola: 192503810 markings, 288870656 edges, 520180 markings/sec, 300 secs
lola: 194402317 markings, 291718296 edges, 379701 markings/sec, 305 secs
lola: 196211390 markings, 294431988 edges, 361815 markings/sec, 310 secs
lola: 198485916 markings, 297843877 edges, 454905 markings/sec, 315 secs
lola: 200290306 markings, 300550543 edges, 360878 markings/sec, 320 secs
lola: 202573857 markings, 303975974 edges, 456710 markings/sec, 325 secs
lola: 204517798 markings, 306891970 edges, 388788 markings/sec, 330 secs
lola: 206605722 markings, 310023949 edges, 417585 markings/sec, 335 secs
lola: 208427147 markings, 312756167 edges, 364285 markings/sec, 340 secs
lola: 210408499 markings, 315728282 edges, 396270 markings/sec, 345 secs
lola: 212202487 markings, 318419341 edges, 358798 markings/sec, 350 secs
lola: 214172842 markings, 321374959 edges, 394071 markings/sec, 355 secs
lola: 216144078 markings, 324331900 edges, 394247 markings/sec, 360 secs
lola: 218085979 markings, 327244834 edges, 388380 markings/sec, 365 secs
lola: 220178975 markings, 330384417 edges, 418599 markings/sec, 370 secs
lola: 222037722 markings, 333172616 edges, 371749 markings/sec, 375 secs
lola: 224063480 markings, 336211339 edges, 405152 markings/sec, 380 secs
lola: 225891854 markings, 338953977 edges, 365675 markings/sec, 385 secs
lola: 228079458 markings, 342235477 edges, 437521 markings/sec, 390 secs
lola: 230374387 markings, 345677965 edges, 458986 markings/sec, 395 secs
lola: 232338591 markings, 348624353 edges, 392841 markings/sec, 400 secs
lola: 234420328 markings, 351747045 edges, 416347 markings/sec, 405 secs
lola: 235289361 markings, 353050631 edges, 173807 markings/sec, 410 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 5120
lola: 4173527 markings, 6359817 edges, 834705 markings/sec, 0 secs
lola: 7974630 markings, 12062542 edges, 760221 markings/sec, 5 secs
lola: 11462834 markings, 17295594 edges, 697641 markings/sec, 10 secs
lola: 15168221 markings, 22854340 edges, 741077 markings/sec, 15 secs
lola: 18743588 markings, 28217954 edges, 715073 markings/sec, 20 secs
lola: 22265880 markings, 33501894 edges, 704458 markings/sec, 25 secs
lola: 25730191 markings, 38698817 edges, 692862 markings/sec, 30 secs
lola: 29173789 markings, 43864637 edges, 688720 markings/sec, 35 secs
lola: 32514592 markings, 48876228 edges, 668161 markings/sec, 40 secs
lola: 35903500 markings, 53959961 edges, 677782 markings/sec, 45 secs
lola: 39210550 markings, 58920882 edges, 661410 markings/sec, 50 secs
lola: 42400234 markings, 63705726 edges, 637937 markings/sec, 55 secs
lola: 45865992 markings, 68904696 edges, 693152 markings/sec, 60 secs
lola: 49315921 markings, 74079910 edges, 689986 markings/sec, 65 secs
lola: 52690177 markings, 79141595 edges, 674851 markings/sec, 70 secs
lola: 56078686 markings, 84224652 edges, 677702 markings/sec, 75 secs
lola: 59373315 markings, 89166871 edges, 658926 markings/sec, 80 secs
lola: 62575652 markings, 93970639 edges, 640467 markings/sec, 85 secs
lola: 65743853 markings, 98723192 edges, 633640 markings/sec, 90 secs
lola: 69061071 markings, 103699276 edges, 663444 markings/sec, 95 secs
lola: 72367948 markings, 108659840 edges, 661375 markings/sec, 100 secs
lola: 75619406 markings, 113537270 edges, 650292 markings/sec, 105 secs
lola: 78792957 markings, 118297825 edges, 634710 markings/sec, 110 secs
lola: 81983144 markings, 123083333 edges, 638037 markings/sec, 115 secs
lola: 85125611 markings, 127797251 edges, 628493 markings/sec, 120 secs
lola: 88218425 markings, 132436683 edges, 618563 markings/sec, 125 secs
lola: 91290617 markings, 137045176 edges, 614438 markings/sec, 130 secs
lola: 94323778 markings, 141595118 edges, 606632 markings/sec, 135 secs
lola: 97562325 markings, 146453149 edges, 647709 markings/sec, 140 secs
lola: 100820945 markings, 151341287 edges, 651724 markings/sec, 145 secs
lola: 103982692 markings, 156084107 edges, 632349 markings/sec, 150 secs
lola: 107160136 markings, 160850468 edges, 635489 markings/sec, 155 secs
lola: 110251372 markings, 165487510 edges, 618247 markings/sec, 160 secs
lola: 113350725 markings, 170136726 edges, 619871 markings/sec, 165 secs
lola: 116464313 markings, 174807292 edges, 622718 markings/sec, 170 secs
lola: 119525621 markings, 179399433 edges, 612262 markings/sec, 175 secs
lola: 122536341 markings, 183915686 edges, 602144 markings/sec, 180 secs
lola: 125610844 markings, 188527617 edges, 614901 markings/sec, 185 secs
lola: 128605712 markings, 193020086 edges, 598974 markings/sec, 190 secs
lola: 131744288 markings, 197728126 edges, 627715 markings/sec, 195 secs
lola: 134882198 markings, 202435163 edges, 627582 markings/sec, 200 secs
lola: 137878360 markings, 206929569 edges, 599232 markings/sec, 205 secs
lola: 140929657 markings, 211506679 edges, 610259 markings/sec, 210 secs
lola: 143934912 markings, 216014721 edges, 601051 markings/sec, 215 secs
lola: 146912352 markings, 220481037 edges, 595488 markings/sec, 220 secs
lola: 149878311 markings, 224930131 edges, 593192 markings/sec, 225 secs
lola: 152841526 markings, 229375106 edges, 592643 markings/sec, 230 secs
lola: 155761247 markings, 233754836 edges, 583944 markings/sec, 235 secs
lola: 158571717 markings, 237970684 edges, 562094 markings/sec, 240 secs
lola: 161423120 markings, 242247931 edges, 570281 markings/sec, 245 secs
lola: 164160398 markings, 246353984 edges, 547456 markings/sec, 250 secs
lola: 166894367 markings, 250455072 edges, 546794 markings/sec, 255 secs
lola: 169721940 markings, 254696570 edges, 565515 markings/sec, 260 secs
lola: 172809213 markings, 259327629 edges, 617455 markings/sec, 265 secs
lola: 175842788 markings, 263878137 edges, 606715 markings/sec, 270 secs
lola: 178800442 markings, 268314760 edges, 591531 markings/sec, 275 secs
lola: 181801509 markings, 272816501 edges, 600213 markings/sec, 280 secs
lola: 184734237 markings, 277215730 edges, 586546 markings/sec, 285 secs
lola: 187619821 markings, 281544596 edges, 577117 markings/sec, 290 secs
lola: 190114520 markings, 285286823 edges, 498940 markings/sec, 295 secs
lola: 191524946 markings, 287402107 edges, 282085 markings/sec, 300 secs
lola: 193660522 markings, 290605570 edges, 427115 markings/sec, 305 secs
lola: 195409962 markings, 293229808 edges, 349888 markings/sec, 310 secs
lola: 196841474 markings, 295377140 edges, 286302 markings/sec, 315 secs
lola: 199338397 markings, 299122638 edges, 499385 markings/sec, 320 secs
lola: 199685739 markings, 299643667 edges, 69468 markings/sec, 325 secs
lola: 200028570 markings, 300157929 edges, 68566 markings/sec, 330 secs
lola: 202439674 markings, 303774691 edges, 482221 markings/sec, 335 secs
lola: 205013563 markings, 307635642 edges, 514778 markings/sec, 340 secs
lola: 205313631 markings, 308085755 edges, 60014 markings/sec, 345 secs
lola: 206606904 markings, 310025723 edges, 258655 markings/sec, 350 secs
lola: 207974998 markings, 312077924 edges, 273619 markings/sec, 355 secs
lola: 210501670 markings, 315868043 edges, 505334 markings/sec, 360 secs
lola: 210818714 markings, 316343620 edges, 63409 markings/sec, 365 secs
lola: 211739575 markings, 317724955 edges, 184172 markings/sec, 370 secs
lola: 213150886 markings, 319841982 edges, 282262 markings/sec, 375 secs
lola: 213224898 markings, 319953003 edges, 14802 markings/sec, 380 secs
lola: 216053125 markings, 324195468 edges, 565645 markings/sec, 385 secs
lola: 216306786 markings, 324575967 edges, 50732 markings/sec, 390 secs
lola: 217705540 markings, 326674159 edges, 279751 markings/sec, 395 secs
lola: 219395381 markings, 329208996 edges, 337968 markings/sec, 400 secs
lola: 221652092 markings, 332594157 edges, 451342 markings/sec, 405 secs
lola: 223698552 markings, 335663934 edges, 409292 markings/sec, 410 secs
lola: 225402306 markings, 338219637 edges, 340751 markings/sec, 415 secs
lola: 227292269 markings, 341054659 edges, 377993 markings/sec, 420 secs
lola: 229203210 markings, 343921152 edges, 382188 markings/sec, 425 secs
lola: 231047170 markings, 346687167 edges, 368792 markings/sec, 430 secs
lola: 232933724 markings, 349517078 edges, 377311 markings/sec, 435 secs
lola: 234984999 markings, 352594076 edges, 410255 markings/sec, 440 secs
lola: 235429890 markings, 353261448 edges, 88978 markings/sec, 445 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 5120 unknown 5120 unknown 5120 5120 20480 unknown 5120 5120 10240 5120 5120 5120 10240
lola:
preliminary result: unknown 5120 unknown 5120 unknown 5120 5120 20480 unknown 5120 5120 10240 5120 5120 5120 10240
lola: memory consumption: 3356 KB
lola: time consumption: 3025 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudOpsManagement-PT-10240by05120"
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 CloudOpsManagement-PT-10240by05120, 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 r168-smll-158987806800461"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudOpsManagement-PT-10240by05120.tgz
mv CloudOpsManagement-PT-10240by05120 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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;