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-158987806700405.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-00080by00040, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806700405
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 4.1K Mar 30 01:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Mar 27 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 26 08:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 26 08:11 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 16K 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-00080by00040-UpperBounds-00
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-01
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-02
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-03
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-04
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-05
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-06
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-07
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-08
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-09
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-10
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-11
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-12
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-13
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-14
FORMULA_NAME CloudOpsManagement-PT-00080by00040-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591338249253

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

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-00 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-01 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-02 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-03 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-04 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-05 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-07 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-08 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-09 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-10 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-11 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-12 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-13 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-14 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-15 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00080by00040-UpperBounds-06 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 506
rslt: Output for UpperBounds @ CloudOpsManagement-PT-00080by00040

{
"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 06:24:14 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"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(p3)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 119,
"markings": 81,
"produced_by": "search",
"value": 40
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"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(p9)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 119,
"markings": 81,
"produced_by": "search",
"value": 40
},
"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": 254
},
"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(p18)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 80
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"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(p21)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 80
},
"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": 297
},
"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": 34002,
"markings": 22080,
"produced_by": "search",
"value": 40
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"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": 0,
"markings": 0,
"produced_by": "search",
"value": 80
},
"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": 356
},
"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": 0,
"markings": 0,
"produced_by": "search",
"value": 40
},
"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": 401
},
"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": 40,
"markings": 41,
"produced_by": "search",
"value": 40
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 458
},
"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(p4)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 40
},
"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": 535
},
"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(p11)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 1277,
"markings": 786,
"produced_by": "search",
"value": 40
},
"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": 642
},
"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(p7)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 40,
"markings": 41,
"produced_by": "search",
"value": 40
},
"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": 802
},
"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(p7)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 40,
"markings": 41,
"produced_by": "search",
"value": 40
},
"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": 1070
},
"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(p13)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 466,
"markings": 275,
"produced_by": "search",
"value": 40
},
"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": 1605
},
"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(p21)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 80
},
"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": 3210
},
"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": 40
},
"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": 3000,
"runtime": 3064.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": 71,
"conflict_clusters": 9,
"places": 22,
"places_significant": 13,
"singleton_clusters": 0,
"transitions": 22
},
"result":
{
"preliminary_value": "40 40 80 80 40 80 unknown 40 40 40 40 40 40 40 80 40 ",
"value": "40 40 80 80 40 80 unknown 40 40 40 40 40 40 40 80 40 "
},
"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: 44/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 704
lola: finding significant places
lola: 22 places, 22 transitions, 13 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(p3) : MAX(p9) : MAX(p18) : MAX(p21) : MAX(p19) : MAX(p14) : MAX(p5) : MAX(p8) : MAX(p1) : MAX(p4) : MAX(p11) : MAX(p7) : MAX(p7) : MAX(p13) : MAX(p21) : MAX(p0)
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(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3)
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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 81 markings, 119 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 81 markings, 119 edges
lola: ========================================
lola: subprocess 2 will run for 254 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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 297 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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 22080 markings, 34002 edges
lola: ========================================
lola: subprocess 5 will run for 324 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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
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: 80
lola: 1715781 markings, 5568633 edges, 343156 markings/sec, 0 secs
lola: 3386843 markings, 11970317 edges, 334212 markings/sec, 5 secs
lola: 5077089 markings, 18221501 edges, 338049 markings/sec, 10 secs
lola: 6771537 markings, 24362803 edges, 338890 markings/sec, 15 secs
lola: 8235022 markings, 30535913 edges, 292697 markings/sec, 20 secs
lola: 9711106 markings, 36620382 edges, 295217 markings/sec, 25 secs
lola: 11207245 markings, 42776176 edges, 299228 markings/sec, 30 secs
lola: 12826950 markings, 48790087 edges, 323941 markings/sec, 35 secs
lola: 14287311 markings, 54675279 edges, 292072 markings/sec, 40 secs
lola: 15929461 markings, 60634981 edges, 328430 markings/sec, 45 secs
lola: 17407425 markings, 66532109 edges, 295593 markings/sec, 50 secs
lola: 18904803 markings, 72628324 edges, 299476 markings/sec, 55 secs
lola: 20318608 markings, 78532196 edges, 282761 markings/sec, 60 secs
lola: 21594729 markings, 84447501 edges, 255224 markings/sec, 65 secs
lola: 22832098 markings, 90354722 edges, 247474 markings/sec, 70 secs
lola: 24220255 markings, 96097755 edges, 277631 markings/sec, 75 secs
lola: 25531767 markings, 101882499 edges, 262302 markings/sec, 80 secs
lola: 26936185 markings, 107791554 edges, 280884 markings/sec, 85 secs
lola: 28322601 markings, 113681780 edges, 277283 markings/sec, 90 secs
lola: 29723708 markings, 119339005 edges, 280221 markings/sec, 95 secs
lola: 31225199 markings, 125092951 edges, 300298 markings/sec, 100 secs
lola: 32614835 markings, 130691074 edges, 277927 markings/sec, 105 secs
lola: 33986776 markings, 136287830 edges, 274388 markings/sec, 110 secs
lola: 35285086 markings, 141968606 edges, 259662 markings/sec, 115 secs
lola: 36867358 markings, 147783284 edges, 316454 markings/sec, 120 secs
lola: 38276703 markings, 153384242 edges, 281869 markings/sec, 125 secs
lola: 39487785 markings, 158862853 edges, 242216 markings/sec, 130 secs
lola: 40937322 markings, 164537366 edges, 289907 markings/sec, 135 secs
lola: 42415292 markings, 170401962 edges, 295594 markings/sec, 140 secs
lola: 43695176 markings, 176069415 edges, 255977 markings/sec, 145 secs
lola: 45060102 markings, 181727522 edges, 272985 markings/sec, 150 secs
lola: 46249376 markings, 187438391 edges, 237855 markings/sec, 155 secs
lola: 47428086 markings, 193037701 edges, 235742 markings/sec, 160 secs
lola: 48791968 markings, 198514114 edges, 272776 markings/sec, 165 secs
lola: 49978077 markings, 204026757 edges, 237222 markings/sec, 170 secs
lola: 51069474 markings, 209440402 edges, 218279 markings/sec, 175 secs
lola: 52209775 markings, 215081540 edges, 228060 markings/sec, 180 secs
lola: 53363334 markings, 220728180 edges, 230712 markings/sec, 185 secs
lola: 54520492 markings, 226226993 edges, 231432 markings/sec, 190 secs
lola: 55822624 markings, 231528259 edges, 260426 markings/sec, 195 secs
lola: 57000269 markings, 236983361 edges, 235529 markings/sec, 200 secs
lola: 58203367 markings, 242567179 edges, 240620 markings/sec, 205 secs
lola: 59505184 markings, 248126410 edges, 260363 markings/sec, 210 secs
lola: 60668841 markings, 253135155 edges, 232731 markings/sec, 215 secs
lola: 62003569 markings, 258906373 edges, 266946 markings/sec, 220 secs
lola: 63227675 markings, 264199299 edges, 244821 markings/sec, 225 secs
lola: 64524597 markings, 269825238 edges, 259384 markings/sec, 230 secs
lola: 65913578 markings, 275537094 edges, 277796 markings/sec, 235 secs
lola: 67319197 markings, 281445853 edges, 281124 markings/sec, 240 secs
lola: 68787516 markings, 287329993 edges, 293664 markings/sec, 245 secs
lola: 70209024 markings, 293046515 edges, 284302 markings/sec, 250 secs
lola: 71615521 markings, 298702992 edges, 281299 markings/sec, 255 secs
lola: 72873839 markings, 304251221 edges, 251664 markings/sec, 260 secs
lola: 74250836 markings, 309693150 edges, 275399 markings/sec, 265 secs
lola: 75409363 markings, 315073607 edges, 231705 markings/sec, 270 secs
lola: 76513728 markings, 320248129 edges, 220873 markings/sec, 275 secs
lola: 77795156 markings, 325533364 edges, 256286 markings/sec, 280 secs
lola: 79280515 markings, 331237149 edges, 297072 markings/sec, 285 secs
lola: 80612865 markings, 336491345 edges, 266470 markings/sec, 290 secs
lola: 81842513 markings, 342034217 edges, 245930 markings/sec, 295 secs
lola: 83247983 markings, 347548768 edges, 281094 markings/sec, 300 secs
lola: 84433691 markings, 352989630 edges, 237142 markings/sec, 305 secs
lola: 85598400 markings, 358458222 edges, 232942 markings/sec, 310 secs
lola: 86880399 markings, 363941061 edges, 256400 markings/sec, 315 secs
lola: 88407471 markings, 369748893 edges, 305414 markings/sec, 320 secs
lola: 89803353 markings, 375547564 edges, 279176 markings/sec, 325 secs
lola: 91181037 markings, 381232549 edges, 275537 markings/sec, 330 secs
lola: 92478100 markings, 386850552 edges, 259413 markings/sec, 335 secs
lola: 93626558 markings, 392370797 edges, 229692 markings/sec, 340 secs
lola: 94805132 markings, 397982295 edges, 235715 markings/sec, 345 secs
lola: 96158654 markings, 403444233 edges, 270704 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: 40 40 80 80 40 80 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3222056 KB
lola: time consumption: 360 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 356 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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 401 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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 41 markings, 40 edges
lola: ========================================
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 786 markings, 1277 edges
lola: ========================================
lola: subprocess 11 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7)
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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 41 markings, 40 edges
lola: ========================================
lola: subprocess 12 will run for 802 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7)
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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 41 markings, 40 edges
lola: ========================================
lola: subprocess 13 will run for 1070 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p13)
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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 275 markings, 466 edges
lola: ========================================
lola: subprocess 14 will run for 1605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3210 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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
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: 80
lola: 1878434 markings, 6195997 edges, 375687 markings/sec, 0 secs
lola: 3534977 markings, 12551668 edges, 331309 markings/sec, 5 secs
lola: 5244994 markings, 18754515 edges, 342003 markings/sec, 10 secs
lola: 6898987 markings, 24920118 edges, 330799 markings/sec, 15 secs
lola: 8352876 markings, 31076531 edges, 290778 markings/sec, 20 secs
lola: 9848788 markings, 37183307 edges, 299182 markings/sec, 25 secs
lola: 11338035 markings, 43319046 edges, 297849 markings/sec, 30 secs
lola: 12955468 markings, 49297603 edges, 323487 markings/sec, 35 secs
lola: 14419677 markings, 55188704 edges, 292842 markings/sec, 40 secs
lola: 16044331 markings, 61134684 edges, 324931 markings/sec, 45 secs
lola: 17550557 markings, 67106145 edges, 301245 markings/sec, 50 secs
lola: 19019938 markings, 73162466 edges, 293876 markings/sec, 55 secs
lola: 20445323 markings, 79063198 edges, 285077 markings/sec, 60 secs
lola: 21705858 markings, 84981317 edges, 252107 markings/sec, 65 secs
lola: 22942516 markings, 90882946 edges, 247332 markings/sec, 70 secs
lola: 24332078 markings, 96611290 edges, 277912 markings/sec, 75 secs
lola: 25683149 markings, 102519151 edges, 270214 markings/sec, 80 secs
lola: 27111910 markings, 108536316 edges, 285752 markings/sec, 85 secs
lola: 28509414 markings, 114481104 edges, 279501 markings/sec, 90 secs
lola: 29906686 markings, 120151653 edges, 279454 markings/sec, 95 secs
lola: 31503065 markings, 126005432 edges, 319276 markings/sec, 100 secs
lola: 32913764 markings, 131677391 edges, 282140 markings/sec, 105 secs
lola: 34204719 markings, 137327443 edges, 258191 markings/sec, 110 secs
lola: 35620624 markings, 143092029 edges, 283181 markings/sec, 115 secs
lola: 37123035 markings, 148923524 edges, 300482 markings/sec, 120 secs
lola: 38555794 markings, 154592632 edges, 286552 markings/sec, 125 secs
lola: 39812699 markings, 160246525 edges, 251381 markings/sec, 130 secs
lola: 41287822 markings, 166014916 edges, 295025 markings/sec, 135 secs
lola: 42727876 markings, 171843359 edges, 288011 markings/sec, 140 secs
lola: 44113638 markings, 177549823 edges, 277152 markings/sec, 145 secs
lola: 45378039 markings, 183245881 edges, 252880 markings/sec, 150 secs
lola: 46571795 markings, 188977227 edges, 238751 markings/sec, 155 secs
lola: 47812823 markings, 194602878 edges, 248206 markings/sec, 160 secs
lola: 49151776 markings, 200129266 edges, 267791 markings/sec, 165 secs
lola: 50285042 markings, 205535711 edges, 226653 markings/sec, 170 secs
lola: 51434342 markings, 211258484 edges, 229860 markings/sec, 175 secs
lola: 52590876 markings, 216945916 edges, 231307 markings/sec, 180 secs
lola: 53749994 markings, 222623709 edges, 231824 markings/sec, 185 secs
lola: 54973669 markings, 228081400 edges, 244735 markings/sec, 190 secs
lola: 56287287 markings, 233629759 edges, 262724 markings/sec, 195 secs
lola: 57449882 markings, 239186999 edges, 232519 markings/sec, 200 secs
lola: 58689290 markings, 244617940 edges, 247882 markings/sec, 205 secs
lola: 60034335 markings, 250402570 edges, 269009 markings/sec, 210 secs
lola: 61356862 markings, 256102743 edges, 264505 markings/sec, 215 secs
lola: 62695759 markings, 261899639 edges, 267779 markings/sec, 220 secs
lola: 64013579 markings, 267613456 edges, 263564 markings/sec, 225 secs
lola: 65304888 markings, 273183912 edges, 258262 markings/sec, 230 secs
lola: 66753601 markings, 279046887 edges, 289743 markings/sec, 235 secs
lola: 68062117 markings, 284799741 edges, 261703 markings/sec, 240 secs
lola: 69652844 markings, 290637387 edges, 318145 markings/sec, 245 secs
lola: 71068177 markings, 296280623 edges, 283067 markings/sec, 250 secs
lola: 72296931 markings, 301827343 edges, 245751 markings/sec, 255 secs
lola: 73703857 markings, 307311720 edges, 281385 markings/sec, 260 secs
lola: 74904519 markings, 312705091 edges, 240132 markings/sec, 265 secs
lola: 76015295 markings, 318047023 edges, 222155 markings/sec, 270 secs
lola: 77294125 markings, 323602746 edges, 255766 markings/sec, 275 secs
lola: 78856722 markings, 329420881 edges, 312519 markings/sec, 280 secs
lola: 80256992 markings, 335014789 edges, 280054 markings/sec, 285 secs
lola: 81486731 markings, 340511251 edges, 245948 markings/sec, 290 secs
lola: 82887930 markings, 346051724 edges, 280240 markings/sec, 295 secs
lola: 84122586 markings, 351503692 edges, 246931 markings/sec, 300 secs
lola: 85149914 markings, 356430489 edges, 205466 markings/sec, 305 secs
lola: 86367573 markings, 361804151 edges, 243532 markings/sec, 310 secs
lola: 87828786 markings, 367475784 edges, 292243 markings/sec, 315 secs
lola: 89303254 markings, 373260179 edges, 294894 markings/sec, 320 secs
lola: 90546126 markings, 378961392 edges, 248574 markings/sec, 325 secs
lola: 91986238 markings, 384638256 edges, 288022 markings/sec, 330 secs
lola: 93167939 markings, 390159277 edges, 236340 markings/sec, 335 secs
lola: 94332073 markings, 395726978 edges, 232827 markings/sec, 340 secs
lola: 95517783 markings, 401207281 edges, 237142 markings/sec, 345 secs
lola: 96887915 markings, 406657115 edges, 274026 markings/sec, 350 secs
lola: 98048685 markings, 412029029 edges, 232154 markings/sec, 355 secs
lola: 99129448 markings, 417372869 edges, 216153 markings/sec, 360 secs
lola: 100243125 markings, 422891880 edges, 222735 markings/sec, 365 secs
lola: 101377186 markings, 428453667 edges, 226812 markings/sec, 370 secs
lola: 102479244 markings, 433860229 edges, 220412 markings/sec, 375 secs
lola: 103618080 markings, 439155184 edges, 227767 markings/sec, 380 secs
lola: 104977830 markings, 444563545 edges, 271950 markings/sec, 385 secs
lola: 106125187 markings, 449870280 edges, 229471 markings/sec, 390 secs
lola: 107230363 markings, 455209367 edges, 221035 markings/sec, 395 secs
lola: 108217061 markings, 460176707 edges, 197340 markings/sec, 400 secs
lola: 109195055 markings, 465164929 edges, 195599 markings/sec, 405 secs
lola: 110144011 markings, 470008644 edges, 189791 markings/sec, 410 secs
lola: 111208445 markings, 475346940 edges, 212887 markings/sec, 415 secs
lola: 112223065 markings, 480454095 edges, 202924 markings/sec, 420 secs
lola: 113279737 markings, 485747798 edges, 211334 markings/sec, 425 secs
lola: 114338913 markings, 491055938 edges, 211835 markings/sec, 430 secs
lola: 115384541 markings, 496318905 edges, 209126 markings/sec, 435 secs
lola: 116609471 markings, 502000688 edges, 244986 markings/sec, 440 secs
lola: 117948284 markings, 507336919 edges, 267763 markings/sec, 445 secs
lola: 119068506 markings, 512529114 edges, 224044 markings/sec, 450 secs
lola: 120150543 markings, 517740989 edges, 216407 markings/sec, 455 secs
lola: 121209919 markings, 523011063 edges, 211875 markings/sec, 460 secs
lola: 122446313 markings, 528550834 edges, 247279 markings/sec, 465 secs
lola: 123653485 markings, 533779076 edges, 241434 markings/sec, 470 secs
lola: 124927463 markings, 539359278 edges, 254796 markings/sec, 475 secs
lola: 126179193 markings, 544835732 edges, 250346 markings/sec, 480 secs
lola: 127445418 markings, 550394098 edges, 253245 markings/sec, 485 secs
lola: 128726534 markings, 556028674 edges, 256223 markings/sec, 490 secs
lola: 129950238 markings, 561407097 edges, 244741 markings/sec, 495 secs
lola: 131201301 markings, 566923341 edges, 250213 markings/sec, 500 secs
lola: 132464707 markings, 572481420 edges, 252681 markings/sec, 505 secs
lola: 133722137 markings, 578012916 edges, 251486 markings/sec, 510 secs
lola: 135064121 markings, 583706979 edges, 268397 markings/sec, 515 secs
lola: 136432266 markings, 589323867 edges, 273629 markings/sec, 520 secs
lola: 137686087 markings, 594836765 edges, 250764 markings/sec, 525 secs
lola: 138942968 markings, 600394272 edges, 251376 markings/sec, 530 secs
lola: 140137061 markings, 605930869 edges, 238819 markings/sec, 535 secs
lola: 141667062 markings, 611585663 edges, 306000 markings/sec, 540 secs
lola: 143055422 markings, 617141821 edges, 277672 markings/sec, 545 secs
lola: 144267882 markings, 622591121 edges, 242492 markings/sec, 550 secs
lola: 145654221 markings, 628049813 edges, 277268 markings/sec, 555 secs
lola: 146867837 markings, 633420176 edges, 242723 markings/sec, 560 secs
lola: 147962983 markings, 638680673 edges, 219029 markings/sec, 565 secs
lola: 149208075 markings, 644087930 edges, 249018 markings/sec, 570 secs
lola: 150614019 markings, 649587371 edges, 281189 markings/sec, 575 secs
lola: 151801552 markings, 654916133 edges, 237507 markings/sec, 580 secs
lola: 152895782 markings, 660140907 edges, 218846 markings/sec, 585 secs
lola: 153969403 markings, 665378825 edges, 214724 markings/sec, 590 secs
lola: 155056442 markings, 670637406 edges, 217408 markings/sec, 595 secs
lola: 156301136 markings, 676127442 edges, 248939 markings/sec, 600 secs
lola: 157715175 markings, 681735096 edges, 282808 markings/sec, 605 secs
lola: 159118471 markings, 687392666 edges, 280659 markings/sec, 610 secs
lola: 160441613 markings, 692786929 edges, 264628 markings/sec, 615 secs
lola: 161686481 markings, 698151986 edges, 248974 markings/sec, 620 secs
lola: 163004681 markings, 703484629 edges, 263640 markings/sec, 625 secs
lola: 164106754 markings, 708722530 edges, 220415 markings/sec, 630 secs
lola: 165283913 markings, 714005837 edges, 235432 markings/sec, 635 secs
lola: 166606336 markings, 719221308 edges, 264485 markings/sec, 640 secs
lola: 167823430 markings, 724489410 edges, 243419 markings/sec, 645 secs
lola: 168924786 markings, 729718903 edges, 220271 markings/sec, 650 secs
lola: 169970938 markings, 734805072 edges, 209230 markings/sec, 655 secs
lola: 171008272 markings, 739921916 edges, 207467 markings/sec, 660 secs
lola: 172271121 markings, 745479017 edges, 252570 markings/sec, 665 secs
lola: 173537190 markings, 750935218 edges, 253214 markings/sec, 670 secs
lola: 174982921 markings, 756631601 edges, 289146 markings/sec, 675 secs
lola: 176460460 markings, 762370759 edges, 295508 markings/sec, 680 secs
lola: 177674393 markings, 767954700 edges, 242787 markings/sec, 685 secs
lola: 178967401 markings, 772881246 edges, 258602 markings/sec, 690 secs
lola: 180094060 markings, 777968468 edges, 225332 markings/sec, 695 secs
lola: 181150962 markings, 783046477 edges, 211380 markings/sec, 700 secs
lola: 182191288 markings, 788003107 edges, 208065 markings/sec, 705 secs
lola: 183258423 markings, 792887014 edges, 213427 markings/sec, 710 secs
lola: 184504945 markings, 797640430 edges, 249304 markings/sec, 715 secs
lola: 185545365 markings, 802422176 edges, 208084 markings/sec, 720 secs
lola: 186578633 markings, 807332451 edges, 206654 markings/sec, 725 secs
lola: 187488631 markings, 811848770 edges, 182000 markings/sec, 730 secs
lola: 188320768 markings, 815970697 edges, 166427 markings/sec, 735 secs
lola: 189284478 markings, 820698686 edges, 192742 markings/sec, 740 secs
lola: 190354715 markings, 825947991 edges, 214047 markings/sec, 745 secs
lola: 191375699 markings, 830970064 edges, 204197 markings/sec, 750 secs
lola: 192546119 markings, 836082880 edges, 234084 markings/sec, 755 secs
lola: 193826708 markings, 841226350 edges, 256118 markings/sec, 760 secs
lola: 194846081 markings, 845939189 edges, 203875 markings/sec, 765 secs
lola: 195926280 markings, 851099590 edges, 216040 markings/sec, 770 secs
lola: 196987578 markings, 856251506 edges, 212260 markings/sec, 775 secs
lola: 197956126 markings, 861158128 edges, 193710 markings/sec, 780 secs
lola: 198828504 markings, 865603450 edges, 174476 markings/sec, 785 secs
lola: 199750785 markings, 870282637 edges, 184456 markings/sec, 790 secs
lola: 200802233 markings, 875565917 edges, 210290 markings/sec, 795 secs
lola: 201818550 markings, 880681452 edges, 203263 markings/sec, 800 secs
lola: 202853083 markings, 885868481 edges, 206907 markings/sec, 805 secs
lola: 203887969 markings, 891062815 edges, 206977 markings/sec, 810 secs
lola: 204908653 markings, 896187613 edges, 204137 markings/sec, 815 secs
lola: 206012968 markings, 901441166 edges, 220863 markings/sec, 820 secs
lola: 207188322 markings, 906867427 edges, 235071 markings/sec, 825 secs
lola: 208502928 markings, 912109064 edges, 262921 markings/sec, 830 secs
lola: 209591407 markings, 917155457 edges, 217696 markings/sec, 835 secs
lola: 210643318 markings, 922187708 edges, 210382 markings/sec, 840 secs
lola: 211663078 markings, 927138366 edges, 203952 markings/sec, 845 secs
lola: 212656948 markings, 932112832 edges, 198774 markings/sec, 850 secs
lola: 213727204 markings, 937463067 edges, 214051 markings/sec, 855 secs
lola: 214646303 markings, 942206555 edges, 183820 markings/sec, 860 secs
lola: 215558532 markings, 946948983 edges, 182446 markings/sec, 865 secs
lola: 216460839 markings, 951638883 edges, 180461 markings/sec, 870 secs
lola: 217356106 markings, 956292397 edges, 179053 markings/sec, 875 secs
lola: 218342027 markings, 961350690 edges, 197184 markings/sec, 880 secs
lola: 219403135 markings, 966767035 edges, 212222 markings/sec, 885 secs
lola: 220435012 markings, 972038948 edges, 206375 markings/sec, 890 secs
lola: 221391627 markings, 976970965 edges, 191323 markings/sec, 895 secs
lola: 222409686 markings, 982163793 edges, 203612 markings/sec, 900 secs
lola: 223420517 markings, 987321662 edges, 202166 markings/sec, 905 secs
lola: 224398836 markings, 992322571 edges, 195664 markings/sec, 910 secs
lola: 225378928 markings, 997320882 edges, 196018 markings/sec, 915 secs
lola: 226332271 markings, 1002197401 edges, 190669 markings/sec, 920 secs
lola: 227445766 markings, 1007603026 edges, 222699 markings/sec, 925 secs
lola: 228533029 markings, 1012797169 edges, 217453 markings/sec, 930 secs
lola: 229662691 markings, 1017992882 edges, 225932 markings/sec, 935 secs
lola: 230926004 markings, 1023169067 edges, 252663 markings/sec, 940 secs
lola: 232037504 markings, 1028328946 edges, 222300 markings/sec, 945 secs
lola: 233093023 markings, 1033384974 edges, 211104 markings/sec, 950 secs
lola: 234099211 markings, 1038271091 edges, 201238 markings/sec, 955 secs
lola: 235103602 markings, 1043254083 edges, 200878 markings/sec, 960 secs
lola: 236115157 markings, 1048345122 edges, 202311 markings/sec, 965 secs
lola: 237162730 markings, 1053605179 edges, 209515 markings/sec, 970 secs
lola: 238435099 markings, 1059260983 edges, 254474 markings/sec, 975 secs
lola: 239645972 markings, 1064563011 edges, 242175 markings/sec, 980 secs
lola: 240866118 markings, 1069961962 edges, 244029 markings/sec, 985 secs
lola: 242001564 markings, 1074995186 edges, 227089 markings/sec, 990 secs
lola: 243094664 markings, 1079847606 edges, 218620 markings/sec, 995 secs
lola: 244165437 markings, 1084600327 edges, 214155 markings/sec, 1000 secs
lola: 245256968 markings, 1089432850 edges, 218306 markings/sec, 1005 secs
lola: 246323026 markings, 1094190843 edges, 213212 markings/sec, 1010 secs
lola: 247504010 markings, 1099438570 edges, 236197 markings/sec, 1015 secs
lola: 248743863 markings, 1104986321 edges, 247971 markings/sec, 1020 secs
lola: 249988243 markings, 1110519462 edges, 248876 markings/sec, 1025 secs
lola: 251173410 markings, 1115809418 edges, 237033 markings/sec, 1030 secs
lola: 252411438 markings, 1121303760 edges, 247606 markings/sec, 1035 secs
lola: 253628339 markings, 1126745899 edges, 243380 markings/sec, 1040 secs
lola: 254859130 markings, 1132214745 edges, 246158 markings/sec, 1045 secs
lola: 256063009 markings, 1137603416 edges, 240776 markings/sec, 1050 secs
lola: 257301684 markings, 1143108048 edges, 247735 markings/sec, 1055 secs
lola: 258525531 markings, 1148573442 edges, 244769 markings/sec, 1060 secs
lola: 259900585 markings, 1154269556 edges, 275011 markings/sec, 1065 secs
lola: 261162096 markings, 1159706871 edges, 252302 markings/sec, 1070 secs
lola: 262365741 markings, 1164854157 edges, 240729 markings/sec, 1075 secs
lola: 263518793 markings, 1170155569 edges, 230610 markings/sec, 1080 secs
lola: 264673074 markings, 1175277796 edges, 230856 markings/sec, 1085 secs
lola: 265839226 markings, 1180419030 edges, 233230 markings/sec, 1090 secs
lola: 267014286 markings, 1185779931 edges, 235012 markings/sec, 1095 secs
lola: 268053184 markings, 1190939167 edges, 207780 markings/sec, 1100 secs
lola: 269202524 markings, 1196209995 edges, 229868 markings/sec, 1105 secs
lola: 270582298 markings, 1201596655 edges, 275955 markings/sec, 1110 secs
lola: 272003751 markings, 1207155917 edges, 284291 markings/sec, 1115 secs
lola: 273235716 markings, 1212542676 edges, 246393 markings/sec, 1120 secs
lola: 274582657 markings, 1217914029 edges, 269388 markings/sec, 1125 secs
lola: 275754934 markings, 1223011687 edges, 234455 markings/sec, 1130 secs
lola: 276810232 markings, 1228066881 edges, 211060 markings/sec, 1135 secs
lola: 277970104 markings, 1233194596 edges, 231974 markings/sec, 1140 secs
lola: 279278594 markings, 1238307408 edges, 261698 markings/sec, 1145 secs
lola: 280446895 markings, 1243429736 edges, 233660 markings/sec, 1150 secs
lola: 281477249 markings, 1248321512 edges, 206071 markings/sec, 1155 secs
lola: 282478033 markings, 1253179170 edges, 200157 markings/sec, 1160 secs
lola: 283460367 markings, 1258030904 edges, 196467 markings/sec, 1165 secs
lola: 284627582 markings, 1263218079 edges, 233443 markings/sec, 1170 secs
lola: 285846831 markings, 1268498476 edges, 243850 markings/sec, 1175 secs
lola: 287184658 markings, 1273735188 edges, 267565 markings/sec, 1180 secs
lola: 288319816 markings, 1278767774 edges, 227032 markings/sec, 1185 secs
lola: 289377885 markings, 1283756002 edges, 211614 markings/sec, 1190 secs
lola: 290385831 markings, 1288637836 edges, 201589 markings/sec, 1195 secs
lola: 291361819 markings, 1293492060 edges, 195198 markings/sec, 1200 secs
lola: 292377560 markings, 1298488735 edges, 203148 markings/sec, 1205 secs
lola: 293351014 markings, 1303463940 edges, 194691 markings/sec, 1210 secs
lola: 294396909 markings, 1308574562 edges, 209179 markings/sec, 1215 secs
lola: 295597082 markings, 1313925023 edges, 240035 markings/sec, 1220 secs
lola: 296810737 markings, 1319264804 edges, 242731 markings/sec, 1225 secs
lola: 298118827 markings, 1324616382 edges, 261618 markings/sec, 1230 secs
lola: 299509715 markings, 1330207288 edges, 278178 markings/sec, 1235 secs
lola: 300807863 markings, 1335573006 edges, 259630 markings/sec, 1240 secs
lola: 302049502 markings, 1340870585 edges, 248328 markings/sec, 1245 secs
lola: 303334777 markings, 1346142653 edges, 257055 markings/sec, 1250 secs
lola: 304404004 markings, 1351264251 edges, 213845 markings/sec, 1255 secs
lola: 305600574 markings, 1356480274 edges, 239314 markings/sec, 1260 secs
lola: 306889266 markings, 1361534201 edges, 257738 markings/sec, 1265 secs
lola: 307989099 markings, 1366453508 edges, 219967 markings/sec, 1270 secs
lola: 309015537 markings, 1371351180 edges, 205288 markings/sec, 1275 secs
lola: 310011859 markings, 1376207066 edges, 199264 markings/sec, 1280 secs
lola: 311024315 markings, 1381077631 edges, 202491 markings/sec, 1285 secs
lola: 312196058 markings, 1386246686 edges, 234349 markings/sec, 1290 secs
lola: 313372025 markings, 1391301848 edges, 235193 markings/sec, 1295 secs
lola: 314689669 markings, 1396459510 edges, 263529 markings/sec, 1300 secs
lola: 315771017 markings, 1401431411 edges, 216270 markings/sec, 1305 secs
lola: 316783889 markings, 1406251365 edges, 202574 markings/sec, 1310 secs
lola: 317774859 markings, 1411043504 edges, 198194 markings/sec, 1315 secs
lola: 318721393 markings, 1415800881 edges, 189307 markings/sec, 1320 secs
lola: 319679688 markings, 1420534601 edges, 191659 markings/sec, 1325 secs
lola: 320628680 markings, 1425389162 edges, 189798 markings/sec, 1330 secs
lola: 321747704 markings, 1430548968 edges, 223805 markings/sec, 1335 secs
lola: 322926728 markings, 1435825284 edges, 235805 markings/sec, 1340 secs
lola: 324092279 markings, 1440966467 edges, 233110 markings/sec, 1345 secs
lola: 325205941 markings, 1445967758 edges, 222732 markings/sec, 1350 secs
lola: 326668946 markings, 1451670863 edges, 292601 markings/sec, 1355 secs
lola: 328173725 markings, 1457388350 edges, 300956 markings/sec, 1360 secs
lola: 329429311 markings, 1463150237 edges, 251117 markings/sec, 1365 secs
lola: 330878003 markings, 1468740797 edges, 289738 markings/sec, 1370 secs
lola: 332113790 markings, 1474186149 edges, 247157 markings/sec, 1375 secs
lola: 333278977 markings, 1479751372 edges, 233037 markings/sec, 1380 secs
lola: 334430354 markings, 1485242694 edges, 230275 markings/sec, 1385 secs
lola: 335567470 markings, 1490555542 edges, 227423 markings/sec, 1390 secs
lola: 336958848 markings, 1495932548 edges, 278276 markings/sec, 1395 secs
lola: 338142884 markings, 1501160644 edges, 236807 markings/sec, 1400 secs
lola: 339240808 markings, 1506306562 edges, 219585 markings/sec, 1405 secs
lola: 340336813 markings, 1511693578 edges, 219201 markings/sec, 1410 secs
lola: 341420816 markings, 1517067850 edges, 216801 markings/sec, 1415 secs
lola: 342521052 markings, 1522473444 edges, 220047 markings/sec, 1420 secs
lola: 343596947 markings, 1527752109 edges, 215179 markings/sec, 1425 secs
lola: 344654561 markings, 1532940135 edges, 211523 markings/sec, 1430 secs
lola: 345778914 markings, 1538131488 edges, 224871 markings/sec, 1435 secs
lola: 347108210 markings, 1543364588 edges, 265859 markings/sec, 1440 secs
lola: 348285349 markings, 1548573951 edges, 235428 markings/sec, 1445 secs
lola: 349380973 markings, 1553683426 edges, 219125 markings/sec, 1450 secs
lola: 350438017 markings, 1558814583 edges, 211409 markings/sec, 1455 secs
lola: 351505899 markings, 1563996677 edges, 213576 markings/sec, 1460 secs
lola: 352500460 markings, 1569033430 edges, 198912 markings/sec, 1465 secs
lola: 353527795 markings, 1574265591 edges, 205467 markings/sec, 1470 secs
lola: 354572895 markings, 1579534638 edges, 209020 markings/sec, 1475 secs
lola: 355601673 markings, 1584718990 edges, 205756 markings/sec, 1480 secs
lola: 356634426 markings, 1589909346 edges, 206551 markings/sec, 1485 secs
lola: 357662274 markings, 1595062781 edges, 205570 markings/sec, 1490 secs
lola: 358655205 markings, 1600056457 edges, 198586 markings/sec, 1495 secs
lola: 359665327 markings, 1605117575 edges, 202024 markings/sec, 1500 secs
lola: 360654797 markings, 1610106893 edges, 197894 markings/sec, 1505 secs
lola: 361846709 markings, 1615554674 edges, 238382 markings/sec, 1510 secs
lola: 363137121 markings, 1620914620 edges, 258082 markings/sec, 1515 secs
lola: 364315160 markings, 1625976376 edges, 235608 markings/sec, 1520 secs
lola: 365384088 markings, 1630932005 edges, 213786 markings/sec, 1525 secs
lola: 366425459 markings, 1635887825 edges, 208274 markings/sec, 1530 secs
lola: 367438248 markings, 1640760599 edges, 202558 markings/sec, 1535 secs
lola: 368397806 markings, 1645579810 edges, 191912 markings/sec, 1540 secs
lola: 369435203 markings, 1650658903 edges, 207479 markings/sec, 1545 secs
lola: 370423573 markings, 1655736411 edges, 197674 markings/sec, 1550 secs
lola: 371396415 markings, 1660769179 edges, 194568 markings/sec, 1555 secs
lola: 372363898 markings, 1665794350 edges, 193497 markings/sec, 1560 secs
lola: 373327749 markings, 1670800668 edges, 192770 markings/sec, 1565 secs
lola: 374307185 markings, 1675849098 edges, 195887 markings/sec, 1570 secs
lola: 375336585 markings, 1681114942 edges, 205880 markings/sec, 1575 secs
lola: 376358131 markings, 1686325596 edges, 204309 markings/sec, 1580 secs
lola: 377357550 markings, 1691441512 edges, 199884 markings/sec, 1585 secs
lola: 378323804 markings, 1696412522 edges, 193251 markings/sec, 1590 secs
lola: 379314884 markings, 1701478684 edges, 198216 markings/sec, 1595 secs
lola: 380318833 markings, 1706604325 edges, 200790 markings/sec, 1600 secs
lola: 381286981 markings, 1711554463 edges, 193630 markings/sec, 1605 secs
lola: 382274472 markings, 1716595218 edges, 197498 markings/sec, 1610 secs
lola: 383230264 markings, 1721480981 edges, 191158 markings/sec, 1615 secs
lola: 384208351 markings, 1726505461 edges, 195617 markings/sec, 1620 secs
lola: 385375284 markings, 1731922654 edges, 233387 markings/sec, 1625 secs
lola: 386458305 markings, 1737094241 edges, 216604 markings/sec, 1630 secs
lola: 387552412 markings, 1742223198 edges, 218821 markings/sec, 1635 secs
lola: 388866975 markings, 1747500882 edges, 262913 markings/sec, 1640 secs
lola: 389969684 markings, 1752564443 edges, 220542 markings/sec, 1645 secs
lola: 391021813 markings, 1757539839 edges, 210426 markings/sec, 1650 secs
lola: 392028649 markings, 1762393919 edges, 201367 markings/sec, 1655 secs
lola: 393013136 markings, 1767303060 edges, 196897 markings/sec, 1660 secs
lola: 394016116 markings, 1772214442 edges, 200596 markings/sec, 1665 secs
lola: 394994334 markings, 1777195210 edges, 195644 markings/sec, 1670 secs
lola: 395944522 markings, 1782059779 edges, 190038 markings/sec, 1675 secs
lola: 397064605 markings, 1787647655 edges, 224017 markings/sec, 1680 secs
lola: 398015755 markings, 1792625489 edges, 190230 markings/sec, 1685 secs
lola: 398926520 markings, 1797396264 edges, 182153 markings/sec, 1690 secs
lola: 399863522 markings, 1802334249 edges, 187400 markings/sec, 1695 secs
lola: 400764542 markings, 1807086083 edges, 180204 markings/sec, 1700 secs
lola: 401673092 markings, 1811885244 edges, 181710 markings/sec, 1705 secs
lola: 402582384 markings, 1816681863 edges, 181858 markings/sec, 1710 secs
lola: 403469620 markings, 1821367486 edges, 177447 markings/sec, 1715 secs
lola: 404431353 markings, 1826378526 edges, 192347 markings/sec, 1720 secs
lola: 405460070 markings, 1831718948 edges, 205743 markings/sec, 1725 secs
lola: 406486300 markings, 1837031858 edges, 205246 markings/sec, 1730 secs
lola: 407489165 markings, 1842235141 edges, 200573 markings/sec, 1735 secs
lola: 408509302 markings, 1847517304 edges, 204027 markings/sec, 1740 secs
lola: 409485858 markings, 1852584125 edges, 195311 markings/sec, 1745 secs
lola: 410474150 markings, 1857722419 edges, 197658 markings/sec, 1750 secs
lola: 411429745 markings, 1862731498 edges, 191119 markings/sec, 1755 secs
lola: 412425311 markings, 1867886090 edges, 199113 markings/sec, 1760 secs
lola: 413417145 markings, 1873034090 edges, 198367 markings/sec, 1765 secs
lola: 414416374 markings, 1878207957 edges, 199846 markings/sec, 1770 secs
lola: 415381374 markings, 1883214284 edges, 193000 markings/sec, 1775 secs
lola: 416355543 markings, 1888271930 edges, 194834 markings/sec, 1780 secs
lola: 417341693 markings, 1893374425 edges, 197230 markings/sec, 1785 secs
lola: 418324383 markings, 1898475987 edges, 196538 markings/sec, 1790 secs
lola: 419327614 markings, 1903710251 edges, 200646 markings/sec, 1795 secs
lola: 420470492 markings, 1909050737 edges, 228576 markings/sec, 1800 secs
lola: 421546875 markings, 1914181068 edges, 215277 markings/sec, 1805 secs
lola: 422568389 markings, 1919246406 edges, 204303 markings/sec, 1810 secs
lola: 423573404 markings, 1924427678 edges, 201003 markings/sec, 1815 secs
lola: 424867678 markings, 1929575565 edges, 258855 markings/sec, 1820 secs
lola: 425997237 markings, 1934560494 edges, 225912 markings/sec, 1825 secs
lola: 427052979 markings, 1939511303 edges, 211148 markings/sec, 1830 secs
lola: 428055308 markings, 1944399740 edges, 200466 markings/sec, 1835 secs
lola: 429053721 markings, 1949227160 edges, 199683 markings/sec, 1840 secs
lola: 430006480 markings, 1954020238 edges, 190552 markings/sec, 1845 secs
lola: 431004908 markings, 1958929203 edges, 199686 markings/sec, 1850 secs
lola: 431945668 markings, 1963743623 edges, 188152 markings/sec, 1855 secs
lola: 432931850 markings, 1968626397 edges, 197236 markings/sec, 1860 secs
lola: 433909353 markings, 1973683905 edges, 195501 markings/sec, 1865 secs
lola: 434879117 markings, 1978718579 edges, 193953 markings/sec, 1870 secs
lola: 435892611 markings, 1983789774 edges, 202699 markings/sec, 1875 secs
lola: 437271721 markings, 1989841959 edges, 275822 markings/sec, 1880 secs
lola: 438467602 markings, 1995145423 edges, 239176 markings/sec, 1885 secs
lola: 439608809 markings, 2000210551 edges, 228241 markings/sec, 1890 secs
lola: 440775759 markings, 2005428374 edges, 233390 markings/sec, 1895 secs
lola: 441897909 markings, 2010466198 edges, 224430 markings/sec, 1900 secs
lola: 443028777 markings, 2015534086 edges, 226174 markings/sec, 1905 secs
lola: 444150478 markings, 2020570098 edges, 224340 markings/sec, 1910 secs
lola: 445247609 markings, 2025495675 edges, 219426 markings/sec, 1915 secs
lola: 446337985 markings, 2030389800 edges, 218075 markings/sec, 1920 secs
lola: 447557840 markings, 2035855978 edges, 243971 markings/sec, 1925 secs
lola: 448781094 markings, 2041384938 edges, 244651 markings/sec, 1930 secs
lola: 449869587 markings, 2046273305 edges, 217699 markings/sec, 1935 secs
lola: 451067911 markings, 2051640859 edges, 239665 markings/sec, 1940 secs
lola: 452279975 markings, 2057118584 edges, 242413 markings/sec, 1945 secs
lola: 453474360 markings, 2062474750 edges, 238877 markings/sec, 1950 secs
lola: 454665954 markings, 2067856754 edges, 238319 markings/sec, 1955 secs
lola: 455874226 markings, 2073284455 edges, 241654 markings/sec, 1960 secs
lola: 457039198 markings, 2078534876 edges, 232994 markings/sec, 1965 secs
lola: 458240526 markings, 2083954188 edges, 240266 markings/sec, 1970 secs
lola: 459432412 markings, 2089321749 edges, 238377 markings/sec, 1975 secs
lola: 460629890 markings, 2094694649 edges, 239496 markings/sec, 1980 secs
lola: 461796968 markings, 2099958630 edges, 233416 markings/sec, 1985 secs
lola: 462980657 markings, 2105303574 edges, 236738 markings/sec, 1990 secs
lola: 464166258 markings, 2110620861 edges, 237120 markings/sec, 1995 secs
lola: 465347571 markings, 2115959222 edges, 236263 markings/sec, 2000 secs
lola: 466549448 markings, 2121352428 edges, 240375 markings/sec, 2005 secs
lola: 467722872 markings, 2126648771 edges, 234685 markings/sec, 2010 secs
lola: 468920232 markings, 2132048150 edges, 239472 markings/sec, 2015 secs
lola: 470101666 markings, 2137383173 edges, 236287 markings/sec, 2020 secs
lola: 471454819 markings, 2142872368 edges, 270631 markings/sec, 2025 secs
lola: 472645014 markings, 2148088619 edges, 238039 markings/sec, 2030 secs
lola: 473812929 markings, 2153054601 edges, 233583 markings/sec, 2035 secs
lola: 474838177 markings, 2157919804 edges, 205050 markings/sec, 2040 secs
lola: 475956784 markings, 2162761037 edges, 223721 markings/sec, 2045 secs
lola: 477080662 markings, 2167656358 edges, 224776 markings/sec, 2050 secs
lola: 478108244 markings, 2172564983 edges, 205516 markings/sec, 2055 secs
lola: 479049972 markings, 2177225622 edges, 188346 markings/sec, 2060 secs
lola: 480153521 markings, 2182226579 edges, 220710 markings/sec, 2065 secs
lola: 481204217 markings, 2186816898 edges, 210139 markings/sec, 2070 secs
lola: 482283794 markings, 2191653563 edges, 215915 markings/sec, 2075 secs
lola: 483400674 markings, 2196706549 edges, 223376 markings/sec, 2080 secs
lola: 484433328 markings, 2201620992 edges, 206531 markings/sec, 2085 secs
lola: 485401304 markings, 2206424338 edges, 193595 markings/sec, 2090 secs
lola: 486248725 markings, 2210794131 edges, 169484 markings/sec, 2095 secs
lola: 487078884 markings, 2214881048 edges, 166032 markings/sec, 2100 secs
lola: 487951596 markings, 2218880532 edges, 174542 markings/sec, 2105 secs
lola: 488957575 markings, 2223440548 edges, 201196 markings/sec, 2110 secs
lola: 490169933 markings, 2227847177 edges, 242472 markings/sec, 2115 secs
lola: 491539571 markings, 2233327013 edges, 273928 markings/sec, 2120 secs
lola: 492731962 markings, 2238667722 edges, 238478 markings/sec, 2125 secs
lola: 494084795 markings, 2244001679 edges, 270567 markings/sec, 2130 secs
lola: 495212718 markings, 2249136532 edges, 225585 markings/sec, 2135 secs
lola: 496325624 markings, 2254355356 edges, 222581 markings/sec, 2140 secs
lola: 497543088 markings, 2259541518 edges, 243493 markings/sec, 2145 secs
lola: 498851385 markings, 2264749674 edges, 261659 markings/sec, 2150 secs
lola: 499948623 markings, 2269809840 edges, 219448 markings/sec, 2155 secs
lola: 500988545 markings, 2274820564 edges, 207984 markings/sec, 2160 secs
lola: 502009911 markings, 2279933047 edges, 204273 markings/sec, 2165 secs
lola: 503172214 markings, 2285136528 edges, 232461 markings/sec, 2170 secs
lola: 504325471 markings, 2290193474 edges, 230651 markings/sec, 2175 secs
lola: 505666831 markings, 2295441251 edges, 268272 markings/sec, 2180 secs
lola: 506768143 markings, 2300282177 edges, 220262 markings/sec, 2185 secs
lola: 507804706 markings, 2305121979 edges, 207313 markings/sec, 2190 secs
lola: 508784009 markings, 2309932592 edges, 195861 markings/sec, 2195 secs
lola: 509771859 markings, 2314764893 edges, 197570 markings/sec, 2200 secs
lola: 510745263 markings, 2319545061 edges, 194681 markings/sec, 2205 secs
lola: 511699373 markings, 2324420789 edges, 190822 markings/sec, 2210 secs
lola: 512715932 markings, 2329396458 edges, 203312 markings/sec, 2215 secs
lola: 513885300 markings, 2334610336 edges, 233874 markings/sec, 2220 secs
lola: 515072518 markings, 2339815800 edges, 237444 markings/sec, 2225 secs
lola: 516225739 markings, 2344965455 edges, 230644 markings/sec, 2230 secs
lola: 517494774 markings, 2350056188 edges, 253807 markings/sec, 2235 secs
lola: 518583369 markings, 2354729871 edges, 217719 markings/sec, 2240 secs
lola: 519635226 markings, 2359593029 edges, 210371 markings/sec, 2245 secs
lola: 520614544 markings, 2364233756 edges, 195864 markings/sec, 2250 secs
lola: 521597155 markings, 2368958883 edges, 196522 markings/sec, 2255 secs
lola: 522557846 markings, 2373764663 edges, 192138 markings/sec, 2260 secs
lola: 523542932 markings, 2378583631 edges, 197017 markings/sec, 2265 secs
lola: 524486520 markings, 2383392828 edges, 188718 markings/sec, 2270 secs
lola: 525407642 markings, 2388108228 edges, 184224 markings/sec, 2275 secs
lola: 526398455 markings, 2393030993 edges, 198163 markings/sec, 2280 secs
lola: 527339485 markings, 2397915463 edges, 188206 markings/sec, 2285 secs
lola: 528295080 markings, 2402875897 edges, 191119 markings/sec, 2290 secs
lola: 529396179 markings, 2408053330 edges, 220220 markings/sec, 2295 secs
lola: 530557020 markings, 2413285253 edges, 232168 markings/sec, 2300 secs
lola: 531722661 markings, 2418554829 edges, 233128 markings/sec, 2305 secs
lola: 532865214 markings, 2423647793 edges, 228511 markings/sec, 2310 secs
lola: 534005877 markings, 2428641878 edges, 228133 markings/sec, 2315 secs
lola: 535447245 markings, 2434311123 edges, 288274 markings/sec, 2320 secs
lola: 536759416 markings, 2439688158 edges, 262434 markings/sec, 2325 secs
lola: 538013154 markings, 2445034323 edges, 250748 markings/sec, 2330 secs
lola: 539275952 markings, 2450272258 edges, 252560 markings/sec, 2335 secs
lola: 540358423 markings, 2455429539 edges, 216494 markings/sec, 2340 secs
lola: 541588840 markings, 2460727368 edges, 246083 markings/sec, 2345 secs
lola: 542892948 markings, 2465881093 edges, 260822 markings/sec, 2350 secs
lola: 543986879 markings, 2470930040 edges, 218786 markings/sec, 2355 secs
lola: 545034777 markings, 2475922276 edges, 209580 markings/sec, 2360 secs
lola: 546059664 markings, 2481024481 edges, 204977 markings/sec, 2365 secs
lola: 547212098 markings, 2486205196 edges, 230487 markings/sec, 2370 secs
lola: 548368283 markings, 2491274906 edges, 231237 markings/sec, 2375 secs
lola: 549661788 markings, 2496344746 edges, 258701 markings/sec, 2380 secs
lola: 550809359 markings, 2501404870 edges, 229514 markings/sec, 2385 secs
lola: 551876318 markings, 2506445016 edges, 213392 markings/sec, 2390 secs
lola: 552901851 markings, 2511391919 edges, 205107 markings/sec, 2395 secs
lola: 553888729 markings, 2516348206 edges, 197376 markings/sec, 2400 secs
lola: 554896786 markings, 2521332024 edges, 201611 markings/sec, 2405 secs
lola: 555862216 markings, 2526270875 edges, 193086 markings/sec, 2410 secs
lola: 556989367 markings, 2531410934 edges, 225430 markings/sec, 2415 secs
lola: 558144441 markings, 2536579534 edges, 231015 markings/sec, 2420 secs
lola: 559324487 markings, 2541860370 edges, 236009 markings/sec, 2425 secs
lola: 560480457 markings, 2547034426 edges, 231194 markings/sec, 2430 secs
lola: 561777499 markings, 2551955489 edges, 259408 markings/sec, 2435 secs
lola: 562826912 markings, 2556751829 edges, 209883 markings/sec, 2440 secs
lola: 563839799 markings, 2561529223 edges, 202577 markings/sec, 2445 secs
lola: 564812424 markings, 2566241961 edges, 194525 markings/sec, 2450 secs
lola: 565776367 markings, 2571010829 edges, 192789 markings/sec, 2455 secs
lola: 566724187 markings, 2575649759 edges, 189564 markings/sec, 2460 secs
lola: 567668638 markings, 2580447097 edges, 188890 markings/sec, 2465 secs
lola: 568594834 markings, 2585188743 edges, 185239 markings/sec, 2470 secs
lola: 569593187 markings, 2590152521 edges, 199671 markings/sec, 2475 secs
lola: 570527318 markings, 2594999429 edges, 186826 markings/sec, 2480 secs
lola: 571482063 markings, 2599956078 edges, 190949 markings/sec, 2485 secs
lola: 572604515 markings, 2605150610 edges, 224490 markings/sec, 2490 secs
lola: 573766162 markings, 2610391067 edges, 232329 markings/sec, 2495 secs
lola: 574927113 markings, 2615639265 edges, 232190 markings/sec, 2500 secs
lola: 576081317 markings, 2620759156 edges, 230841 markings/sec, 2505 secs
lola: 577173983 markings, 2625797001 edges, 218533 markings/sec, 2510 secs
lola: 578198693 markings, 2630613292 edges, 204942 markings/sec, 2515 secs
lola: 579521408 markings, 2635588714 edges, 264543 markings/sec, 2520 secs
lola: 580808512 markings, 2640327417 edges, 257421 markings/sec, 2525 secs
lola: 582009473 markings, 2645624664 edges, 240192 markings/sec, 2530 secs
lola: 583157629 markings, 2650893391 edges, 229631 markings/sec, 2535 secs
lola: 584369091 markings, 2655279627 edges, 242292 markings/sec, 2540 secs
lola: 585593091 markings, 2660700855 edges, 244800 markings/sec, 2545 secs
lola: 586575816 markings, 2665264971 edges, 196545 markings/sec, 2550 secs
lola: 587680262 markings, 2670549841 edges, 220889 markings/sec, 2555 secs
lola: 588815779 markings, 2675960785 edges, 227103 markings/sec, 2560 secs
lola: 590000381 markings, 2681327261 edges, 236920 markings/sec, 2565 secs
lola: 591262320 markings, 2686040503 edges, 252388 markings/sec, 2570 secs
lola: 592233348 markings, 2690364761 edges, 194206 markings/sec, 2575 secs
lola: 593344732 markings, 2695544709 edges, 222277 markings/sec, 2580 secs
lola: 594223011 markings, 2699689413 edges, 175656 markings/sec, 2585 secs
lola: 595282269 markings, 2704936904 edges, 211852 markings/sec, 2590 secs
lola: 596359052 markings, 2710243513 edges, 215357 markings/sec, 2595 secs
lola: 597437232 markings, 2715536192 edges, 215636 markings/sec, 2600 secs
lola: 598499811 markings, 2720758976 edges, 212516 markings/sec, 2605 secs
lola: 599493345 markings, 2725628840 edges, 198707 markings/sec, 2610 secs
lola: 599524691 markings, 2725784422 edges, 6269 markings/sec, 2615 secs
lola: 599538066 markings, 2725850301 edges, 2675 markings/sec, 2620 secs
lola: 599538099 markings, 2725850533 edges, 7 markings/sec, 2625 secs
lola: 599538115 markings, 2725850718 edges, 3 markings/sec, 2630 secs
lola: 599628230 markings, 2726294337 edges, 18023 markings/sec, 2635 secs
lola: 599679129 markings, 2726544077 edges, 10180 markings/sec, 2640 secs
lola: 599679901 markings, 2726548144 edges, 154 markings/sec, 2645 secs
lola: 599679921 markings, 2726548299 edges, 4 markings/sec, 2650 secs
lola: 599680960 markings, 2726552835 edges, 208 markings/sec, 2655 secs
lola: 599680971 markings, 2726553013 edges, 2 markings/sec, 2660 secs
lola: 599680981 markings, 2726553145 edges, 2 markings/sec, 2665 secs
lola: 599683510 markings, 2726565533 edges, 506 markings/sec, 2670 secs
lola: 599683516 markings, 2726565650 edges, 1 markings/sec, 2675 secs
lola: 599683530 markings, 2726565818 edges, 3 markings/sec, 2680 secs
lola: 599683570 markings, 2726565916 edges, 8 markings/sec, 2685 secs
lola: 599683634 markings, 2726566034 edges, 13 markings/sec, 2690 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 40 40 80 80 40 80 unknown 40 40 40 40 40 40 40 80 40
lola:
preliminary result: 40 40 80 80 40 80 unknown 40 40 40 40 40 40 40 80 40
lola: memory consumption: 3000 KB
lola: time consumption: 3064 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-00080by00040"
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-00080by00040, 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-158987806700405"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudOpsManagement-PT-00080by00040.tgz
mv CloudOpsManagement-PT-00080by00040 execution
cd execution
if [ "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 ;