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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 26 08:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-00
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-01
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-02
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-03
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-04
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-05
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-06
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-07
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-08
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-09
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-10
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-11
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-12
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-13
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-14
FORMULA_NAME CloudOpsManagement-PT-01280by00640-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591362450588

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

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-00 1280 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-01 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-03 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-04 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-05 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-06 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-07 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-08 1280 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-09 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-10 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-11 1280 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-12 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-14 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-UpperBounds-15 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ CloudOpsManagement-PT-01280by00640

{
"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 13:07:35 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(p20)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 1280
},
"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(p21)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 6312702,
"markings": 4198680,
"produced_by": "search",
"value": 640
},
"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(p13)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 19877,
"markings": 12186,
"produced_by": "search",
"value": 640
},
"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": 275
},
"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": 1919,
"markings": 1281,
"produced_by": "search",
"value": 640
},
"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": 300
},
"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": 640,
"markings": 641,
"produced_by": "search",
"value": 640
},
"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": 330
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p10)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 640
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 367
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p16)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 62482,
"markings": 33502,
"produced_by": "search",
"value": 640
},
"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": 413
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p2)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 3845,
"markings": 3203,
"produced_by": "search",
"value": 1280
},
"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": 472
},
"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": 4452925,
"markings": 2129025,
"produced_by": "search",
"value": 640
},
"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": 550
},
"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": 640,
"markings": 641,
"produced_by": "search",
"value": 640
},
"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": 660
},
"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": 1920,
"markings": 1921,
"produced_by": "search",
"value": 1280
},
"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": 826
},
"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(p13)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 19877,
"markings": 12186,
"produced_by": "search",
"value": 640
},
"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": 1101
},
"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": 6312702,
"markings": 4198680,
"produced_by": "search",
"value": 640
},
"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": 2198
},
"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(p5)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 1919,
"markings": 1281,
"produced_by": "search",
"value": 640
},
"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": 18064,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"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": 84,
"conflict_clusters": 10,
"places": 24,
"places_significant": 15,
"singleton_clusters": 0,
"transitions": 26
},
"result":
{
"interim_value": "1280 640 unknown 640 640 640 640 640 1280 640 640 1280 640 unknown 640 640 ",
"preliminary_value": "1280 640 unknown 640 640 640 640 640 1280 640 640 1280 640 unknown 640 640 "
},
"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: 50/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 768
lola: finding significant places
lola: 24 places, 26 transitions, 15 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p20) : MAX(p21) : MAX(p7) : MAX(p13) : MAX(p11) : MAX(p4) : MAX(p10) : MAX(p16) : MAX(p2) : MAX(p19) : MAX(p9) : MAX(p3) : MAX(p13) : MAX(p7) : MAX(p21) : MAX(p5)
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(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1280
lola: SUBRESULT
lola: result: 1280
lola: produced by: state space
lola: The maximum value of the given expression is 1280
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 4198680 markings, 6312702 edges
lola: ========================================
lola: subprocess 2 will run for 254 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: 1280
lola: 2893695 markings, 5244785 edges, 578739 markings/sec, 0 secs
lola: 5391957 markings, 10628980 edges, 499652 markings/sec, 5 secs
lola: 6997188 markings, 15787218 edges, 321046 markings/sec, 10 secs
lola: 8472503 markings, 20906592 edges, 295063 markings/sec, 15 secs
lola: 10557985 markings, 26164951 edges, 417096 markings/sec, 20 secs
lola: 12008319 markings, 31068043 edges, 290067 markings/sec, 25 secs
lola: 13317364 markings, 35849066 edges, 261809 markings/sec, 30 secs
lola: 14597761 markings, 40641874 edges, 256079 markings/sec, 35 secs
lola: 15866087 markings, 45567558 edges, 253665 markings/sec, 40 secs
lola: 17083302 markings, 50294878 edges, 243443 markings/sec, 45 secs
lola: 18523484 markings, 55603786 edges, 288036 markings/sec, 50 secs
lola: 19854898 markings, 60540610 edges, 266283 markings/sec, 55 secs
lola: 21172493 markings, 65393998 edges, 263519 markings/sec, 60 secs
lola: 23667864 markings, 70383124 edges, 499074 markings/sec, 65 secs
lola: 25321739 markings, 75737654 edges, 330775 markings/sec, 70 secs
lola: 26734678 markings, 80410977 edges, 282588 markings/sec, 75 secs
lola: 28128885 markings, 85330918 edges, 278841 markings/sec, 80 secs
lola: 29393729 markings, 90063741 edges, 252969 markings/sec, 85 secs
lola: 30550918 markings, 94394271 edges, 231438 markings/sec, 90 secs
lola: 31740474 markings, 98845713 edges, 237911 markings/sec, 95 secs
lola: 33012589 markings, 103659429 edges, 254423 markings/sec, 100 secs
lola: 34191836 markings, 108374610 edges, 235849 markings/sec, 105 secs
lola: 35314847 markings, 112865176 edges, 224602 markings/sec, 110 secs
lola: 36374818 markings, 117103282 edges, 211994 markings/sec, 115 secs
lola: 37443237 markings, 121375627 edges, 213684 markings/sec, 120 secs
lola: 38442185 markings, 125369510 edges, 199790 markings/sec, 125 secs
lola: 39588007 markings, 129890329 edges, 229164 markings/sec, 130 secs
lola: 40833325 markings, 135068061 edges, 249064 markings/sec, 135 secs
lola: 42006599 markings, 139947975 edges, 234655 markings/sec, 140 secs
lola: 43159421 markings, 144742126 edges, 230564 markings/sec, 145 secs
lola: 44261394 markings, 149326214 edges, 220395 markings/sec, 150 secs
lola: 45368922 markings, 153931693 edges, 221506 markings/sec, 155 secs
lola: 46443920 markings, 158402703 edges, 215000 markings/sec, 160 secs
lola: 47524874 markings, 162898643 edges, 216191 markings/sec, 165 secs
lola: 48790697 markings, 167864020 edges, 253165 markings/sec, 170 secs
lola: 50074313 markings, 172854530 edges, 256723 markings/sec, 175 secs
lola: 51190214 markings, 177193306 edges, 223180 markings/sec, 180 secs
lola: 52275759 markings, 181413248 edges, 217109 markings/sec, 185 secs
lola: 53416880 markings, 185850289 edges, 228224 markings/sec, 190 secs
lola: 54521995 markings, 190146530 edges, 221023 markings/sec, 195 secs
lola: 55685087 markings, 194668493 edges, 232618 markings/sec, 200 secs
lola: 56874912 markings, 199293793 edges, 237965 markings/sec, 205 secs
lola: 58029879 markings, 203784143 edges, 230993 markings/sec, 210 secs
lola: 60059113 markings, 208687853 edges, 405847 markings/sec, 215 secs
lola: 62256672 markings, 213034156 edges, 439512 markings/sec, 220 secs
lola: 64238968 markings, 218054717 edges, 396459 markings/sec, 225 secs
lola: 65704833 markings, 222969196 edges, 293173 markings/sec, 230 secs
lola: 67051603 markings, 227470457 edges, 269354 markings/sec, 235 secs
lola: 68347359 markings, 231800677 edges, 259151 markings/sec, 240 secs
lola: 69639610 markings, 236119822 edges, 258450 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1280 640 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2648284 KB
lola: time consumption: 262 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 12186 markings, 19877 edges
lola: ========================================
lola: subprocess 4 will run for 275 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 1281 markings, 1919 edges
lola: ========================================
lola: subprocess 5 will run for 300 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 641 markings, 640 edges
lola: ========================================
lola: subprocess 6 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 33502 markings, 62482 edges
lola: ========================================
lola: subprocess 8 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1280
lola: SUBRESULT
lola: result: 1280
lola: produced by: state space
lola: The maximum value of the given expression is 1280
lola: 3203 markings, 3845 edges
lola: ========================================
lola: subprocess 9 will run for 472 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 2129025 markings, 4452925 edges
lola: ========================================
lola: subprocess 10 will run for 550 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 641 markings, 640 edges
lola: ========================================
lola: subprocess 11 will run for 660 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: 1280
lola: SUBRESULT
lola: result: 1280
lola: produced by: state space
lola: The maximum value of the given expression is 1280
lola: 1921 markings, 1920 edges
lola: ========================================
lola: subprocess 12 will run for 826 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 12186 markings, 19877 edges
lola: ========================================
lola: subprocess 13 will run for 1101 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: 1280
lola: 2830407 markings, 5130481 edges, 566081 markings/sec, 0 secs
lola: 5305330 markings, 10456278 edges, 494985 markings/sec, 5 secs
lola: 6928143 markings, 15543883 edges, 324563 markings/sec, 10 secs
lola: 8389085 markings, 20616545 edges, 292188 markings/sec, 15 secs
lola: 10444478 markings, 25795744 edges, 411079 markings/sec, 20 secs
lola: 11896518 markings, 30660060 edges, 290408 markings/sec, 25 secs
lola: 13206137 markings, 35443248 edges, 261924 markings/sec, 30 secs
lola: 14525455 markings, 40360928 edges, 263864 markings/sec, 35 secs
lola: 15775657 markings, 45216705 edges, 250040 markings/sec, 40 secs
lola: 16977068 markings, 49882269 edges, 240282 markings/sec, 45 secs
lola: 18381350 markings, 55076894 edges, 280856 markings/sec, 50 secs
lola: 19703713 markings, 59980248 edges, 264473 markings/sec, 55 secs
lola: 20989615 markings, 64747580 edges, 257180 markings/sec, 60 secs
lola: 23213311 markings, 69484929 edges, 444739 markings/sec, 65 secs
lola: 24991573 markings, 74645606 edges, 355652 markings/sec, 70 secs
lola: 26364450 markings, 79186541 edges, 274575 markings/sec, 75 secs
lola: 27718086 markings, 83793303 edges, 270727 markings/sec, 80 secs
lola: 29015569 markings, 88648387 edges, 259497 markings/sec, 85 secs
lola: 30155632 markings, 92914742 edges, 228013 markings/sec, 90 secs
lola: 31340671 markings, 97349891 edges, 237008 markings/sec, 95 secs
lola: 32730245 markings, 102530971 edges, 277915 markings/sec, 100 secs
lola: 33977742 markings, 107519188 edges, 249499 markings/sec, 105 secs
lola: 35103939 markings, 112022154 edges, 225239 markings/sec, 110 secs
lola: 36206015 markings, 116428125 edges, 220415 markings/sec, 115 secs
lola: 37304713 markings, 120821444 edges, 219740 markings/sec, 120 secs
lola: 38353433 markings, 125015481 edges, 209744 markings/sec, 125 secs
lola: 39459885 markings, 129382958 edges, 221290 markings/sec, 130 secs
lola: 40671596 markings, 134395808 edges, 242342 markings/sec, 135 secs
lola: 41829811 markings, 139212867 edges, 231643 markings/sec, 140 secs
lola: 42890104 markings, 143622173 edges, 212059 markings/sec, 145 secs
lola: 43958465 markings, 148066144 edges, 213672 markings/sec, 150 secs
lola: 45008979 markings, 152434430 edges, 210103 markings/sec, 155 secs
lola: 46036727 markings, 156709510 edges, 205550 markings/sec, 160 secs
lola: 47090498 markings, 161092028 edges, 210754 markings/sec, 165 secs
lola: 48197548 markings, 165558514 edges, 221410 markings/sec, 170 secs
lola: 49521586 markings, 170706214 edges, 264808 markings/sec, 175 secs
lola: 50768131 markings, 175552621 edges, 249309 markings/sec, 180 secs
lola: 51970049 markings, 180225055 edges, 240384 markings/sec, 185 secs
lola: 53162270 markings, 184860698 edges, 238444 markings/sec, 190 secs
lola: 54318083 markings, 189353920 edges, 231163 markings/sec, 195 secs
lola: 55452381 markings, 193763973 edges, 226860 markings/sec, 200 secs
lola: 56605711 markings, 198247775 edges, 230666 markings/sec, 205 secs
lola: 57744606 markings, 202674804 edges, 227779 markings/sec, 210 secs
lola: 59448651 markings, 207487272 edges, 340809 markings/sec, 215 secs
lola: 61700840 markings, 211941488 edges, 450438 markings/sec, 220 secs
lola: 63856911 markings, 216778858 edges, 431214 markings/sec, 225 secs
lola: 65338765 markings, 221753007 edges, 296371 markings/sec, 230 secs
lola: 66734874 markings, 226411780 edges, 279222 markings/sec, 235 secs
lola: 68050925 markings, 230810383 edges, 263210 markings/sec, 240 secs
lola: 69349521 markings, 235150124 edges, 259719 markings/sec, 245 secs
lola: 70670558 markings, 239687451 edges, 264207 markings/sec, 250 secs
lola: 71869829 markings, 244250028 edges, 239854 markings/sec, 255 secs
lola: 73000260 markings, 248551411 edges, 226086 markings/sec, 260 secs
lola: 74128008 markings, 252842016 edges, 225550 markings/sec, 265 secs
lola: 75180585 markings, 256847941 edges, 210515 markings/sec, 270 secs
lola: 76260787 markings, 260956982 edges, 216040 markings/sec, 275 secs
lola: 77331503 markings, 265031848 edges, 214143 markings/sec, 280 secs
lola: 78389035 markings, 269054872 edges, 211506 markings/sec, 285 secs
lola: 79468245 markings, 273160904 edges, 215842 markings/sec, 290 secs
lola: 80571542 markings, 277307832 edges, 220659 markings/sec, 295 secs
lola: 81763979 markings, 282174027 edges, 238487 markings/sec, 300 secs
lola: 82849050 markings, 286601750 edges, 217014 markings/sec, 305 secs
lola: 83910070 markings, 290932656 edges, 212204 markings/sec, 310 secs
lola: 84919362 markings, 295051416 edges, 201858 markings/sec, 315 secs
lola: 85956714 markings, 299284900 edges, 207470 markings/sec, 320 secs
lola: 86931077 markings, 303261688 edges, 194873 markings/sec, 325 secs
lola: 87917994 markings, 307290679 edges, 197383 markings/sec, 330 secs
lola: 88873653 markings, 311189448 edges, 191132 markings/sec, 335 secs
lola: 89788321 markings, 314923169 edges, 182934 markings/sec, 340 secs
lola: 90757173 markings, 318876599 edges, 193770 markings/sec, 345 secs
lola: 91748608 markings, 322922665 edges, 198287 markings/sec, 350 secs
lola: 92727393 markings, 326918593 edges, 195757 markings/sec, 355 secs
lola: 93733208 markings, 330927260 edges, 201163 markings/sec, 360 secs
lola: 94911580 markings, 335878165 edges, 235674 markings/sec, 365 secs
lola: 95985940 markings, 340451664 edges, 214872 markings/sec, 370 secs
lola: 97021325 markings, 344858688 edges, 207077 markings/sec, 375 secs
lola: 98032375 markings, 349163201 edges, 202210 markings/sec, 380 secs
lola: 99021564 markings, 353373363 edges, 197838 markings/sec, 385 secs
lola: 100001314 markings, 357541873 edges, 195950 markings/sec, 390 secs
lola: 100971479 markings, 361672332 edges, 194033 markings/sec, 395 secs
lola: 101916893 markings, 365693959 edges, 189083 markings/sec, 400 secs
lola: 102878592 markings, 369788599 edges, 192340 markings/sec, 405 secs
lola: 103839483 markings, 373880023 edges, 192178 markings/sec, 410 secs
lola: 104774635 markings, 377858535 edges, 187030 markings/sec, 415 secs
lola: 105721898 markings, 381892651 edges, 189453 markings/sec, 420 secs
lola: 106668195 markings, 385917757 edges, 189259 markings/sec, 425 secs
lola: 107628339 markings, 390005015 edges, 192029 markings/sec, 430 secs
lola: 108554019 markings, 393946524 edges, 185136 markings/sec, 435 secs
lola: 109484988 markings, 397907679 edges, 186194 markings/sec, 440 secs
lola: 110438409 markings, 401891514 edges, 190684 markings/sec, 445 secs
lola: 111623629 markings, 406942949 edges, 237044 markings/sec, 450 secs
lola: 112705328 markings, 411675079 edges, 216340 markings/sec, 455 secs
lola: 113753986 markings, 416262794 edges, 209732 markings/sec, 460 secs
lola: 114760714 markings, 420666936 edges, 201346 markings/sec, 465 secs
lola: 115738986 markings, 424945222 edges, 195654 markings/sec, 470 secs
lola: 116707480 markings, 429184756 edges, 193699 markings/sec, 475 secs
lola: 117682893 markings, 433451126 edges, 195083 markings/sec, 480 secs
lola: 118645948 markings, 437664805 edges, 192611 markings/sec, 485 secs
lola: 119597913 markings, 441828173 edges, 190393 markings/sec, 490 secs
lola: 120533973 markings, 445923979 edges, 187212 markings/sec, 495 secs
lola: 121462417 markings, 449986909 edges, 185689 markings/sec, 500 secs
lola: 122383744 markings, 454018587 edges, 184265 markings/sec, 505 secs
lola: 123315651 markings, 458093262 edges, 186381 markings/sec, 510 secs
lola: 124239779 markings, 462137925 edges, 184826 markings/sec, 515 secs
lola: 125171639 markings, 466213031 edges, 186372 markings/sec, 520 secs
lola: 126070816 markings, 470147019 edges, 179835 markings/sec, 525 secs
lola: 127019627 markings, 474295721 edges, 189762 markings/sec, 530 secs
lola: 127935224 markings, 478302309 edges, 183119 markings/sec, 535 secs
lola: 128875933 markings, 482421607 edges, 188142 markings/sec, 540 secs
lola: 129763825 markings, 486302710 edges, 177578 markings/sec, 545 secs
lola: 130727428 markings, 490422555 edges, 192721 markings/sec, 550 secs
lola: 131997306 markings, 495482458 edges, 253976 markings/sec, 555 secs
lola: 133217756 markings, 500401442 edges, 244090 markings/sec, 560 secs
lola: 134385841 markings, 505106600 edges, 233617 markings/sec, 565 secs
lola: 135542502 markings, 509768474 edges, 231332 markings/sec, 570 secs
lola: 136688289 markings, 514386882 edges, 229157 markings/sec, 575 secs
lola: 137805166 markings, 518887955 edges, 223375 markings/sec, 580 secs
lola: 138912829 markings, 523353614 edges, 221533 markings/sec, 585 secs
lola: 140016493 markings, 527800131 edges, 220733 markings/sec, 590 secs
lola: 141133159 markings, 532303463 edges, 223333 markings/sec, 595 secs
lola: 142237995 markings, 536753799 edges, 220967 markings/sec, 600 secs
lola: 143280013 markings, 540955675 edges, 208404 markings/sec, 605 secs
lola: 144342197 markings, 545238035 edges, 212437 markings/sec, 610 secs
lola: 145425685 markings, 549601815 edges, 216698 markings/sec, 615 secs
lola: 146481499 markings, 553861124 edges, 211163 markings/sec, 620 secs
lola: 147532188 markings, 558092515 edges, 210138 markings/sec, 625 secs
lola: 148570264 markings, 562274584 edges, 207615 markings/sec, 630 secs
lola: 149631378 markings, 566552177 edges, 212223 markings/sec, 635 secs
lola: 150695886 markings, 570842396 edges, 212902 markings/sec, 640 secs
lola: 151743263 markings, 575065636 edges, 209475 markings/sec, 645 secs
lola: 152775845 markings, 579224766 edges, 206516 markings/sec, 650 secs
lola: 153805672 markings, 583377386 edges, 205965 markings/sec, 655 secs
lola: 154887194 markings, 587563286 edges, 216304 markings/sec, 660 secs
lola: 157078236 markings, 592493783 edges, 438208 markings/sec, 665 secs
lola: 159393406 markings, 597057308 edges, 463034 markings/sec, 670 secs
lola: 161512516 markings, 601198072 edges, 423822 markings/sec, 675 secs
lola: 163800055 markings, 605773876 edges, 457508 markings/sec, 680 secs
lola: 165406779 markings, 611086158 edges, 321345 markings/sec, 685 secs
lola: 166841396 markings, 615933592 edges, 286923 markings/sec, 690 secs
lola: 168260816 markings, 620709608 edges, 283884 markings/sec, 695 secs
lola: 169558641 markings, 625076595 edges, 259565 markings/sec, 700 secs
lola: 170829877 markings, 629354135 edges, 254247 markings/sec, 705 secs
lola: 172058027 markings, 633487385 edges, 245630 markings/sec, 710 secs
lola: 173286360 markings, 637620258 edges, 245667 markings/sec, 715 secs
lola: 174511183 markings, 641742034 edges, 244965 markings/sec, 720 secs
lola: 175735922 markings, 645863575 edges, 244948 markings/sec, 725 secs
lola: 177046030 markings, 650688559 edges, 262022 markings/sec, 730 secs
lola: 178179592 markings, 655052043 edges, 226712 markings/sec, 735 secs
lola: 179308678 markings, 659398541 edges, 225817 markings/sec, 740 secs
lola: 180413098 markings, 663649065 edges, 220884 markings/sec, 745 secs
lola: 181502187 markings, 667841213 edges, 217818 markings/sec, 750 secs
lola: 182573902 markings, 671966632 edges, 214343 markings/sec, 755 secs
lola: 183636599 markings, 676055761 edges, 212539 markings/sec, 760 secs
lola: 184685657 markings, 680094248 edges, 209812 markings/sec, 765 secs
lola: 185709641 markings, 684036054 edges, 204797 markings/sec, 770 secs
lola: 186742871 markings, 688013733 edges, 206646 markings/sec, 775 secs
lola: 187766544 markings, 691951691 edges, 204735 markings/sec, 780 secs
lola: 188807017 markings, 695958166 edges, 208095 markings/sec, 785 secs
lola: 189815168 markings, 699837874 edges, 201630 markings/sec, 790 secs
lola: 190856740 markings, 703847273 edges, 208314 markings/sec, 795 secs
lola: 191857257 markings, 707698048 edges, 200103 markings/sec, 800 secs
lola: 192863347 markings, 711570337 edges, 201218 markings/sec, 805 secs
lola: 193860989 markings, 715367241 edges, 199528 markings/sec, 810 secs
lola: 195064025 markings, 720154886 edges, 240607 markings/sec, 815 secs
lola: 196121782 markings, 724534578 edges, 211551 markings/sec, 820 secs
lola: 197161064 markings, 728841318 edges, 207856 markings/sec, 825 secs
lola: 198177575 markings, 733049688 edges, 203302 markings/sec, 830 secs
lola: 199179968 markings, 737201064 edges, 200479 markings/sec, 835 secs
lola: 200159597 markings, 741255141 edges, 195926 markings/sec, 840 secs
lola: 201123304 markings, 745248763 edges, 192741 markings/sec, 845 secs
lola: 202090384 markings, 749255018 edges, 193416 markings/sec, 850 secs
lola: 203048036 markings, 753219996 edges, 191530 markings/sec, 855 secs
lola: 204003562 markings, 757178570 edges, 191105 markings/sec, 860 secs
lola: 204932177 markings, 761022710 edges, 185723 markings/sec, 865 secs
lola: 205857490 markings, 764854040 edges, 185063 markings/sec, 870 secs
lola: 206773892 markings, 768649340 edges, 183280 markings/sec, 875 secs
lola: 207682604 markings, 772415453 edges, 181742 markings/sec, 880 secs
lola: 208590903 markings, 776175298 edges, 181660 markings/sec, 885 secs
lola: 209496918 markings, 779928023 edges, 181203 markings/sec, 890 secs
lola: 210398250 markings, 783662222 edges, 180266 markings/sec, 895 secs
lola: 211296747 markings, 787383099 edges, 179699 markings/sec, 900 secs
lola: 212189685 markings, 791081444 edges, 178588 markings/sec, 905 secs
lola: 213090139 markings, 794810943 edges, 180091 markings/sec, 910 secs
lola: 214007656 markings, 798611174 edges, 183503 markings/sec, 915 secs
lola: 214907536 markings, 802335878 edges, 179976 markings/sec, 920 secs
lola: 215809059 markings, 806068747 edges, 180305 markings/sec, 925 secs
lola: 216702194 markings, 809767805 edges, 178627 markings/sec, 930 secs
lola: 217594617 markings, 813464645 edges, 178485 markings/sec, 935 secs
lola: 218691021 markings, 817821088 edges, 219281 markings/sec, 940 secs
lola: 219787066 markings, 822567822 edges, 219209 markings/sec, 945 secs
lola: 220808623 markings, 826989050 edges, 204311 markings/sec, 950 secs
lola: 221802345 markings, 831289772 edges, 198744 markings/sec, 955 secs
lola: 222765583 markings, 835460820 edges, 192648 markings/sec, 960 secs
lola: 223724762 markings, 839612984 edges, 191836 markings/sec, 965 secs
lola: 224667997 markings, 843700365 edges, 188647 markings/sec, 970 secs
lola: 225589376 markings, 847685496 edges, 184276 markings/sec, 975 secs
lola: 226496981 markings, 851615901 edges, 181521 markings/sec, 980 secs
lola: 227405401 markings, 855550025 edges, 181684 markings/sec, 985 secs
lola: 228305065 markings, 859446587 edges, 179933 markings/sec, 990 secs
lola: 229205122 markings, 863341526 edges, 180011 markings/sec, 995 secs
lola: 230093741 markings, 867188027 edges, 177724 markings/sec, 1000 secs
lola: 230987639 markings, 871058081 edges, 178780 markings/sec, 1005 secs
lola: 231856399 markings, 874822904 edges, 173752 markings/sec, 1010 secs
lola: 232740466 markings, 878645458 edges, 176813 markings/sec, 1015 secs
lola: 233611217 markings, 882415568 edges, 174150 markings/sec, 1020 secs
lola: 234485163 markings, 886198203 edges, 174789 markings/sec, 1025 secs
lola: 235337128 markings, 889890228 edges, 170393 markings/sec, 1030 secs
lola: 236199692 markings, 893623281 edges, 172513 markings/sec, 1035 secs
lola: 237059562 markings, 897344269 edges, 171974 markings/sec, 1040 secs
lola: 237921211 markings, 901077328 edges, 172330 markings/sec, 1045 secs
lola: 238776427 markings, 904777530 edges, 171043 markings/sec, 1050 secs
lola: 239632454 markings, 908485370 edges, 171205 markings/sec, 1055 secs
lola: 240472000 markings, 912119944 edges, 167909 markings/sec, 1060 secs
lola: 241309316 markings, 915746214 edges, 167463 markings/sec, 1065 secs
lola: 242150972 markings, 919388444 edges, 168331 markings/sec, 1070 secs
lola: 243007112 markings, 923094688 edges, 171228 markings/sec, 1075 secs
lola: 243820085 markings, 926616059 edges, 162595 markings/sec, 1080 secs
lola: 244664380 markings, 930271261 edges, 168859 markings/sec, 1085 secs
lola: 245505924 markings, 933914023 edges, 168309 markings/sec, 1090 secs
lola: 246349574 markings, 937564921 edges, 168730 markings/sec, 1095 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1280 640 unknown 640 640 640 640 640 1280 640 640 1280 640 unknown unknown unknown
lola: memory consumption: 8507336 KB
lola: time consumption: 1367 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 14 will run for 1101 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 4198680 markings, 6312702 edges
lola: ========================================
lola: subprocess 15 will run for 2198 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 1281 markings, 1919 edges
lola: ========================================
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: 1280
lola: 2845213 markings, 5156942 edges, 569043 markings/sec, 0 secs
lola: 5358195 markings, 10561833 edges, 502596 markings/sec, 5 secs
lola: 6987743 markings, 15753702 edges, 325910 markings/sec, 10 secs
lola: 8467678 markings, 20890096 edges, 295987 markings/sec, 15 secs
lola: 10577825 markings, 26229549 edges, 422029 markings/sec, 20 secs
lola: 12051747 markings, 31226694 edges, 294784 markings/sec, 25 secs
lola: 13365306 markings, 36024704 edges, 262712 markings/sec, 30 secs
lola: 14715597 markings, 41099440 edges, 270058 markings/sec, 35 secs
lola: 15969110 markings, 45968072 edges, 250703 markings/sec, 40 secs
lola: 17208076 markings, 50726181 edges, 247793 markings/sec, 45 secs
lola: 18637079 markings, 56025349 edges, 285801 markings/sec, 50 secs
lola: 19970272 markings, 60968275 edges, 266639 markings/sec, 55 secs
lola: 21432786 markings, 65943648 edges, 292503 markings/sec, 60 secs
lola: 23871110 markings, 70948143 edges, 487665 markings/sec, 65 secs
lola: 25456788 markings, 76183919 edges, 317136 markings/sec, 70 secs
lola: 26864281 markings, 80839739 edges, 281499 markings/sec, 75 secs
lola: 28259310 markings, 85819132 edges, 279006 markings/sec, 80 secs
lola: 29531866 markings, 90581026 edges, 254511 markings/sec, 85 secs
lola: 30749819 markings, 95138338 edges, 243591 markings/sec, 90 secs
lola: 31954653 markings, 99647471 edges, 240967 markings/sec, 95 secs
lola: 33245263 markings, 104589709 edges, 258122 markings/sec, 100 secs
lola: 34460561 markings, 109449210 edges, 243060 markings/sec, 105 secs
lola: 35624984 markings, 114105193 edges, 232885 markings/sec, 110 secs
lola: 36710471 markings, 118445717 edges, 217097 markings/sec, 115 secs
lola: 37848129 markings, 122994424 edges, 227532 markings/sec, 120 secs
lola: 39021749 markings, 127687638 edges, 234724 markings/sec, 125 secs
lola: 40304217 markings, 132868362 edges, 256494 markings/sec, 130 secs
lola: 41512902 markings, 137894530 edges, 241737 markings/sec, 135 secs
lola: 42677107 markings, 142737791 edges, 232841 markings/sec, 140 secs
lola: 43812086 markings, 147456385 edges, 226996 markings/sec, 145 secs
lola: 44884743 markings, 151918212 edges, 214531 markings/sec, 150 secs
lola: 45964185 markings, 156407256 edges, 215888 markings/sec, 155 secs
lola: 47053372 markings, 160937644 edges, 217837 markings/sec, 160 secs
lola: 48200672 markings, 165570048 edges, 229460 markings/sec, 165 secs
lola: 49548560 markings, 170811248 edges, 269578 markings/sec, 170 secs
lola: 50834862 markings, 175812848 edges, 257260 markings/sec, 175 secs
lola: 52040867 markings, 180500767 edges, 241201 markings/sec, 180 secs
lola: 53275713 markings, 185301120 edges, 246969 markings/sec, 185 secs
lola: 54401968 markings, 189680267 edges, 225251 markings/sec, 190 secs
lola: 55488668 markings, 193905285 edges, 217340 markings/sec, 195 secs
lola: 56693551 markings, 198588853 edges, 240977 markings/sec, 200 secs
lola: 57854058 markings, 203101371 edges, 232101 markings/sec, 205 secs
lola: 59802236 markings, 208181315 edges, 389636 markings/sec, 210 secs
lola: 62137181 markings, 212799284 edges, 466989 markings/sec, 215 secs
lola: 64211900 markings, 217962212 edges, 414944 markings/sec, 220 secs
lola: 65750808 markings, 223122799 edges, 307782 markings/sec, 225 secs
lola: 67163623 markings, 227844875 edges, 282563 markings/sec, 230 secs
lola: 68524252 markings, 232391967 edges, 272126 markings/sec, 235 secs
lola: 69882949 markings, 236933231 edges, 271739 markings/sec, 240 secs
lola: 71261445 markings, 241936621 edges, 275699 markings/sec, 245 secs
lola: 72509709 markings, 246684735 edges, 249653 markings/sec, 250 secs
lola: 73714427 markings, 251269296 edges, 240944 markings/sec, 255 secs
lola: 74887453 markings, 255732631 edges, 234605 markings/sec, 260 secs
lola: 76042680 markings, 260127753 edges, 231045 markings/sec, 265 secs
lola: 77186015 markings, 264478036 edges, 228667 markings/sec, 270 secs
lola: 78320920 markings, 268795494 edges, 226981 markings/sec, 275 secs
lola: 79455477 markings, 273112396 edges, 226911 markings/sec, 280 secs
lola: 80681080 markings, 277755900 edges, 245121 markings/sec, 285 secs
lola: 81913332 markings, 282783340 edges, 246450 markings/sec, 290 secs
lola: 83059706 markings, 287462998 edges, 229275 markings/sec, 295 secs
lola: 84173193 markings, 292007035 edges, 222697 markings/sec, 300 secs
lola: 85267572 markings, 296472481 edges, 218876 markings/sec, 305 secs
lola: 86348897 markings, 300886529 edges, 216265 markings/sec, 310 secs
lola: 87409974 markings, 305216899 edges, 212215 markings/sec, 315 secs
lola: 88462962 markings, 309514073 edges, 210598 markings/sec, 320 secs
lola: 89501811 markings, 313753294 edges, 207770 markings/sec, 325 secs
lola: 90529833 markings, 317950545 edges, 205604 markings/sec, 330 secs
lola: 91572810 markings, 322206538 edges, 208595 markings/sec, 335 secs
lola: 92606185 markings, 326425080 edges, 206675 markings/sec, 340 secs
lola: 93656897 markings, 330657792 edges, 210142 markings/sec, 345 secs
lola: 94919915 markings, 335914286 edges, 252604 markings/sec, 350 secs
lola: 96059638 markings, 340763460 edges, 227945 markings/sec, 355 secs
lola: 97172661 markings, 345501648 edges, 222605 markings/sec, 360 secs
lola: 98233451 markings, 350019242 edges, 212158 markings/sec, 365 secs
lola: 99299865 markings, 354555095 edges, 213283 markings/sec, 370 secs
lola: 100333149 markings, 358955018 edges, 206657 markings/sec, 375 secs
lola: 101380823 markings, 363414605 edges, 209535 markings/sec, 380 secs
lola: 102388229 markings, 367703123 edges, 201481 markings/sec, 385 secs
lola: 103373534 markings, 371894618 edges, 197061 markings/sec, 390 secs
lola: 104383865 markings, 376197903 edges, 202066 markings/sec, 395 secs
lola: 105369465 markings, 380390377 edges, 197120 markings/sec, 400 secs
lola: 106367376 markings, 384638738 edges, 199582 markings/sec, 405 secs
lola: 107343071 markings, 388790826 edges, 195139 markings/sec, 410 secs
lola: 108338689 markings, 393029450 edges, 199124 markings/sec, 415 secs
lola: 109323865 markings, 397223343 edges, 197035 markings/sec, 420 secs
lola: 110318656 markings, 401455684 edges, 198958 markings/sec, 425 secs
lola: 111534245 markings, 406550243 edges, 243118 markings/sec, 430 secs
lola: 112657012 markings, 411462585 edges, 224553 markings/sec, 435 secs
lola: 113721349 markings, 416118053 edges, 212867 markings/sec, 440 secs
lola: 114739858 markings, 420574753 edges, 203702 markings/sec, 445 secs
lola: 115767227 markings, 425070540 edges, 205474 markings/sec, 450 secs
lola: 116750075 markings, 429372257 edges, 196570 markings/sec, 455 secs
lola: 117710727 markings, 433569731 edges, 192130 markings/sec, 460 secs
lola: 118670112 markings, 437769499 edges, 191877 markings/sec, 465 secs
lola: 119621518 markings, 441932352 edges, 190281 markings/sec, 470 secs
lola: 120593675 markings, 446183775 edges, 194431 markings/sec, 475 secs
lola: 121574259 markings, 450474519 edges, 196117 markings/sec, 480 secs
lola: 122526164 markings, 454641409 edges, 190381 markings/sec, 485 secs
lola: 123443739 markings, 458655131 edges, 183515 markings/sec, 490 secs
lola: 124365703 markings, 462687706 edges, 184393 markings/sec, 495 secs
lola: 125281896 markings, 466697039 edges, 183239 markings/sec, 500 secs
lola: 126218016 markings, 470789538 edges, 187224 markings/sec, 505 secs
lola: 127176999 markings, 474987391 edges, 191797 markings/sec, 510 secs
lola: 128115937 markings, 479093270 edges, 187788 markings/sec, 515 secs
lola: 129050482 markings, 483182888 edges, 186909 markings/sec, 520 secs
lola: 129975054 markings, 487228729 edges, 184914 markings/sec, 525 secs
lola: 130991853 markings, 491443962 edges, 203360 markings/sec, 530 secs
lola: 132309475 markings, 496739878 edges, 263524 markings/sec, 535 secs
lola: 133510502 markings, 501581263 edges, 240205 markings/sec, 540 secs
lola: 134665285 markings, 506233331 edges, 230957 markings/sec, 545 secs
lola: 135810512 markings, 510848808 edges, 229045 markings/sec, 550 secs
lola: 136941240 markings, 515407447 edges, 226146 markings/sec, 555 secs
lola: 138042856 markings, 519846238 edges, 220323 markings/sec, 560 secs
lola: 139132097 markings, 524238076 edges, 217848 markings/sec, 565 secs
lola: 140220238 markings, 528622392 edges, 217628 markings/sec, 570 secs
lola: 141319888 markings, 533053752 edges, 219930 markings/sec, 575 secs
lola: 142394891 markings, 537387198 edges, 215001 markings/sec, 580 secs
lola: 143457387 markings, 541668629 edges, 212499 markings/sec, 585 secs
lola: 144506848 markings, 545898315 edges, 209892 markings/sec, 590 secs
lola: 145573449 markings, 550196761 edges, 213320 markings/sec, 595 secs
lola: 146613963 markings, 554392391 edges, 208103 markings/sec, 600 secs
lola: 147660539 markings, 558608951 edges, 209315 markings/sec, 605 secs
lola: 148691520 markings, 562767304 edges, 206196 markings/sec, 610 secs
lola: 149748202 markings, 567024721 edges, 211336 markings/sec, 615 secs
lola: 150796197 markings, 571246597 edges, 209599 markings/sec, 620 secs
lola: 151844508 markings, 575471743 edges, 209662 markings/sec, 625 secs
lola: 152897804 markings, 579718905 edges, 210659 markings/sec, 630 secs
lola: 153933816 markings, 583892643 edges, 207202 markings/sec, 635 secs
lola: 155035004 markings, 588147953 edges, 220238 markings/sec, 640 secs
lola: 157450767 markings, 593218393 edges, 483153 markings/sec, 645 secs
lola: 159767371 markings, 597793306 edges, 463321 markings/sec, 650 secs
lola: 161942556 markings, 602038929 edges, 435037 markings/sec, 655 secs
lola: 164170935 markings, 606920956 edges, 445676 markings/sec, 660 secs
lola: 165689349 markings, 612036714 edges, 303683 markings/sec, 665 secs
lola: 167151032 markings, 616977329 edges, 292337 markings/sec, 670 secs
lola: 168532388 markings, 621623306 edges, 276271 markings/sec, 675 secs
lola: 169871257 markings, 626128666 edges, 267774 markings/sec, 680 secs
lola: 171136933 markings, 630388213 edges, 253135 markings/sec, 685 secs
lola: 172400973 markings, 634640654 edges, 252808 markings/sec, 690 secs
lola: 173655588 markings, 638863157 edges, 250923 markings/sec, 695 secs
lola: 174771958 markings, 642619635 edges, 223274 markings/sec, 700 secs
lola: 176017717 markings, 646732983 edges, 249152 markings/sec, 705 secs
lola: 177282543 markings, 651600062 edges, 252965 markings/sec, 710 secs
lola: 178441509 markings, 656059843 edges, 231793 markings/sec, 715 secs
lola: 179580569 markings, 660443918 edges, 227812 markings/sec, 720 secs
lola: 180680694 markings, 664679521 edges, 220025 markings/sec, 725 secs
lola: 181770623 markings, 668874687 edges, 217986 markings/sec, 730 secs
lola: 182851537 markings, 673034767 edges, 216183 markings/sec, 735 secs
lola: 183912267 markings, 677117445 edges, 212146 markings/sec, 740 secs
lola: 184956933 markings, 681138428 edges, 208933 markings/sec, 745 secs
lola: 185990506 markings, 685117187 edges, 206715 markings/sec, 750 secs
lola: 187024083 markings, 689096025 edges, 206715 markings/sec, 755 secs
lola: 188050551 markings, 693045515 edges, 205294 markings/sec, 760 secs
lola: 189074876 markings, 696989028 edges, 204865 markings/sec, 765 secs
lola: 190091408 markings, 700900886 edges, 203306 markings/sec, 770 secs
lola: 191120689 markings, 704862483 edges, 205856 markings/sec, 775 secs
lola: 192137891 markings, 708778147 edges, 203440 markings/sec, 780 secs
lola: 193159909 markings, 712713120 edges, 204404 markings/sec, 785 secs
lola: 194294048 markings, 716962284 edges, 226828 markings/sec, 790 secs
lola: 195460672 markings, 721796177 edges, 233325 markings/sec, 795 secs
lola: 196541646 markings, 726273414 edges, 216195 markings/sec, 800 secs
lola: 197583881 markings, 730591248 edges, 208447 markings/sec, 805 secs
lola: 198616120 markings, 734863671 edges, 206448 markings/sec, 810 secs
lola: 199619865 markings, 739023393 edges, 200749 markings/sec, 815 secs
lola: 200609304 markings, 743118394 edges, 197888 markings/sec, 820 secs
lola: 201592754 markings, 747193787 edges, 196690 markings/sec, 825 secs
lola: 202561131 markings, 751204430 edges, 193675 markings/sec, 830 secs
lola: 203526012 markings, 755199493 edges, 192976 markings/sec, 835 secs
lola: 204484347 markings, 759167964 edges, 191667 markings/sec, 840 secs
lola: 205405050 markings, 762981663 edges, 184141 markings/sec, 845 secs
lola: 206362710 markings, 766947590 edges, 191532 markings/sec, 850 secs
lola: 207258040 markings, 770655896 edges, 179066 markings/sec, 855 secs
lola: 208201968 markings, 774565657 edges, 188786 markings/sec, 860 secs
lola: 209121575 markings, 778372927 edges, 183921 markings/sec, 865 secs
lola: 210050955 markings, 782224422 edges, 185876 markings/sec, 870 secs
lola: 210966139 markings, 786014123 edges, 183037 markings/sec, 875 secs
lola: 211867423 markings, 789748371 edges, 180257 markings/sec, 880 secs
lola: 212782986 markings, 793537299 edges, 183113 markings/sec, 885 secs
lola: 213715577 markings, 797398662 edges, 186518 markings/sec, 890 secs
lola: 214655509 markings, 801293596 edges, 187986 markings/sec, 895 secs
lola: 215549672 markings, 804997160 edges, 178833 markings/sec, 900 secs
lola: 216482723 markings, 808859214 edges, 186610 markings/sec, 905 secs
lola: 217349452 markings, 812449777 edges, 173346 markings/sec, 910 secs
lola: 218293637 markings, 816147528 edges, 188837 markings/sec, 915 secs
lola: 219434533 markings, 821039013 edges, 228179 markings/sec, 920 secs
lola: 220476428 markings, 825555748 edges, 208379 markings/sec, 925 secs
lola: 221488588 markings, 829932757 edges, 202432 markings/sec, 930 secs
lola: 222466003 markings, 834167319 edges, 195483 markings/sec, 935 secs
lola: 223430709 markings, 838344053 edges, 192941 markings/sec, 940 secs
lola: 224389519 markings, 842495439 edges, 191762 markings/sec, 945 secs
lola: 225324921 markings, 846546348 edges, 187080 markings/sec, 950 secs
lola: 226249589 markings, 850546339 edges, 184934 markings/sec, 955 secs
lola: 227165355 markings, 854510104 edges, 183153 markings/sec, 960 secs
lola: 228086765 markings, 858499811 edges, 184282 markings/sec, 965 secs
lola: 229001378 markings, 862460964 edges, 182923 markings/sec, 970 secs
lola: 229907761 markings, 866382754 edges, 181277 markings/sec, 975 secs
lola: 230807256 markings, 870275596 edges, 179899 markings/sec, 980 secs
lola: 231697053 markings, 874131324 edges, 177959 markings/sec, 985 secs
lola: 232575902 markings, 877933244 edges, 175770 markings/sec, 990 secs
lola: 233453879 markings, 881734252 edges, 175595 markings/sec, 995 secs
lola: 234318945 markings, 885481182 edges, 173013 markings/sec, 1000 secs
lola: 235181801 markings, 889216384 edges, 172571 markings/sec, 1005 secs
lola: 236039824 markings, 892931295 edges, 171605 markings/sec, 1010 secs
lola: 236916561 markings, 896727140 edges, 175347 markings/sec, 1015 secs
lola: 237778151 markings, 900455121 edges, 172318 markings/sec, 1020 secs
lola: 238632299 markings, 904154846 edges, 170830 markings/sec, 1025 secs
lola: 239493356 markings, 907884034 edges, 172211 markings/sec, 1030 secs
lola: 240341952 markings, 911559976 edges, 169719 markings/sec, 1035 secs
lola: 241198615 markings, 915262909 edges, 171333 markings/sec, 1040 secs
lola: 242058270 markings, 918987123 edges, 171931 markings/sec, 1045 secs
lola: 242945960 markings, 922832144 edges, 177538 markings/sec, 1050 secs
lola: 243838987 markings, 926694471 edges, 178605 markings/sec, 1055 secs
lola: 244717697 markings, 930502630 edges, 175742 markings/sec, 1060 secs
lola: 245742124 markings, 934937575 edges, 204885 markings/sec, 1065 secs
lola: 246620737 markings, 938740372 edges, 175723 markings/sec, 1070 secs
lola: 247493591 markings, 942517093 edges, 174571 markings/sec, 1075 secs
lola: 248415635 markings, 946376999 edges, 184409 markings/sec, 1080 secs
lola: 249552178 markings, 951187481 edges, 227309 markings/sec, 1085 secs
lola: 250630384 markings, 955989917 edges, 215641 markings/sec, 1090 secs
lola: 251657012 markings, 960565557 edges, 205326 markings/sec, 1095 secs
lola: 252647219 markings, 964979936 edges, 198041 markings/sec, 1100 secs
lola: 253617146 markings, 969302241 edges, 193985 markings/sec, 1105 secs
lola: 254567343 markings, 973537224 edges, 190039 markings/sec, 1110 secs
lola: 255520612 markings, 977786875 edges, 190654 markings/sec, 1115 secs
lola: 256457945 markings, 981967797 edges, 187467 markings/sec, 1120 secs
lola: 257370050 markings, 986028560 edges, 182421 markings/sec, 1125 secs
lola: 258274790 markings, 990064178 edges, 180948 markings/sec, 1130 secs
lola: 259172006 markings, 994063993 edges, 179443 markings/sec, 1135 secs
lola: 260059721 markings, 998017246 edges, 177543 markings/sec, 1140 secs
lola: 260933136 markings, 1001914027 edges, 174683 markings/sec, 1145 secs
lola: 261799882 markings, 1005778459 edges, 173349 markings/sec, 1150 secs
lola: 262666937 markings, 1009642760 edges, 173411 markings/sec, 1155 secs
lola: 263537820 markings, 1013523570 edges, 174177 markings/sec, 1160 secs
lola: 264400226 markings, 1017367316 edges, 172481 markings/sec, 1165 secs
lola: 265248615 markings, 1021147261 edges, 169678 markings/sec, 1170 secs
lola: 266089683 markings, 1024895815 edges, 168214 markings/sec, 1175 secs
lola: 266936899 markings, 1028672735 edges, 169443 markings/sec, 1180 secs
lola: 267774381 markings, 1032402778 edges, 167496 markings/sec, 1185 secs
lola: 268605360 markings, 1036109044 edges, 166196 markings/sec, 1190 secs
lola: 269434141 markings, 1039804141 edges, 165756 markings/sec, 1195 secs
lola: 270266563 markings, 1043517292 edges, 166484 markings/sec, 1200 secs
lola: 271112904 markings, 1047286636 edges, 169268 markings/sec, 1205 secs
lola: 271940918 markings, 1050980151 edges, 165603 markings/sec, 1210 secs
lola: 272771069 markings, 1054679202 edges, 166030 markings/sec, 1215 secs
lola: 273589213 markings, 1058321889 edges, 163629 markings/sec, 1220 secs
lola: 274419131 markings, 1062023239 edges, 165984 markings/sec, 1225 secs
lola: 275240015 markings, 1065680987 edges, 164177 markings/sec, 1230 secs
lola: 276054584 markings, 1069309648 edges, 162914 markings/sec, 1235 secs
lola: 276864428 markings, 1072925257 edges, 161969 markings/sec, 1240 secs
lola: 277695539 markings, 1076627959 edges, 166222 markings/sec, 1245 secs
lola: 278529099 markings, 1080342233 edges, 166712 markings/sec, 1250 secs
lola: 279359382 markings, 1084043368 edges, 166057 markings/sec, 1255 secs
lola: 280180668 markings, 1087704698 edges, 164257 markings/sec, 1260 secs
lola: 280996048 markings, 1091339506 edges, 163076 markings/sec, 1265 secs
lola: 281825210 markings, 1095035024 edges, 165832 markings/sec, 1270 secs
lola: 282636989 markings, 1098651268 edges, 162356 markings/sec, 1275 secs
lola: 283438265 markings, 1102220895 edges, 160255 markings/sec, 1280 secs
lola: 284261075 markings, 1105892810 edges, 164562 markings/sec, 1285 secs
lola: 285162706 markings, 1109759570 edges, 180326 markings/sec, 1290 secs
lola: 286184296 markings, 1114106601 edges, 204318 markings/sec, 1295 secs
lola: 287280833 markings, 1119080726 edges, 219307 markings/sec, 1300 secs
lola: 288301815 markings, 1123726846 edges, 204196 markings/sec, 1305 secs
lola: 289285263 markings, 1128191679 edges, 196690 markings/sec, 1310 secs
lola: 290269932 markings, 1132675365 edges, 196934 markings/sec, 1315 secs
lola: 291199153 markings, 1136905443 edges, 185844 markings/sec, 1320 secs
lola: 292142557 markings, 1141192168 edges, 188681 markings/sec, 1325 secs
lola: 293162958 markings, 1145837611 edges, 204080 markings/sec, 1330 secs
lola: 294093781 markings, 1150066098 edges, 186165 markings/sec, 1335 secs
lola: 294998535 markings, 1154184189 edges, 180951 markings/sec, 1340 secs
lola: 295900592 markings, 1158291194 edges, 180411 markings/sec, 1345 secs
lola: 296798765 markings, 1162373485 edges, 179635 markings/sec, 1350 secs
lola: 297665168 markings, 1166312838 edges, 173281 markings/sec, 1355 secs
lola: 298560525 markings, 1170380984 edges, 179071 markings/sec, 1360 secs
lola: 299427512 markings, 1174333573 edges, 173397 markings/sec, 1365 secs
lola: 300280741 markings, 1178210295 edges, 170646 markings/sec, 1370 secs
lola: 301134916 markings, 1182097283 edges, 170835 markings/sec, 1375 secs
lola: 301982559 markings, 1185952544 edges, 169529 markings/sec, 1380 secs
lola: 302837330 markings, 1189839149 edges, 170954 markings/sec, 1385 secs
lola: 303673023 markings, 1193640944 edges, 167139 markings/sec, 1390 secs
lola: 304521804 markings, 1197506221 edges, 169756 markings/sec, 1395 secs
lola: 305362624 markings, 1201326316 edges, 168164 markings/sec, 1400 secs
lola: 306198726 markings, 1205132115 edges, 167220 markings/sec, 1405 secs
lola: 307023649 markings, 1208880938 edges, 164985 markings/sec, 1410 secs
lola: 307843694 markings, 1212612096 edges, 164009 markings/sec, 1415 secs
lola: 308664126 markings, 1216354443 edges, 164086 markings/sec, 1420 secs
lola: 309507977 markings, 1220183118 edges, 168770 markings/sec, 1425 secs
lola: 310286890 markings, 1223724510 edges, 155783 markings/sec, 1430 secs
lola: 311034453 markings, 1227127977 edges, 149513 markings/sec, 1435 secs
lola: 311852443 markings, 1230845583 edges, 163598 markings/sec, 1440 secs
lola: 312670489 markings, 1234565602 edges, 163609 markings/sec, 1445 secs
lola: 313488664 markings, 1238294936 edges, 163635 markings/sec, 1450 secs
lola: 314298334 markings, 1241974711 edges, 161934 markings/sec, 1455 secs
lola: 315117447 markings, 1245697222 edges, 163823 markings/sec, 1460 secs
lola: 315934848 markings, 1249414454 edges, 163480 markings/sec, 1465 secs
lola: 316745940 markings, 1253109682 edges, 162218 markings/sec, 1470 secs
lola: 317562182 markings, 1256820856 edges, 163248 markings/sec, 1475 secs
lola: 318372493 markings, 1260505968 edges, 162062 markings/sec, 1480 secs
lola: 319196564 markings, 1264249752 edges, 164814 markings/sec, 1485 secs
lola: 320021155 markings, 1268012514 edges, 164918 markings/sec, 1490 secs
lola: 320850238 markings, 1271777540 edges, 165817 markings/sec, 1495 secs
lola: 321671574 markings, 1275507638 edges, 164267 markings/sec, 1500 secs
lola: 322488638 markings, 1279231844 edges, 163413 markings/sec, 1505 secs
lola: 323295054 markings, 1282902243 edges, 161283 markings/sec, 1510 secs
lola: 324107271 markings, 1286595981 edges, 162443 markings/sec, 1515 secs
lola: 324908173 markings, 1290233450 edges, 160180 markings/sec, 1520 secs
lola: 325709117 markings, 1293876242 edges, 160189 markings/sec, 1525 secs
lola: 326503315 markings, 1297486261 edges, 158840 markings/sec, 1530 secs
lola: 327298929 markings, 1301110055 edges, 159123 markings/sec, 1535 secs
lola: 328129653 markings, 1304892446 edges, 166145 markings/sec, 1540 secs
lola: 329043834 markings, 1308655147 edges, 182836 markings/sec, 1545 secs
lola: 330159963 markings, 1313314580 edges, 223226 markings/sec, 1550 secs
lola: 331355646 markings, 1318270481 edges, 239137 markings/sec, 1555 secs
lola: 332489121 markings, 1322964840 edges, 226695 markings/sec, 1560 secs
lola: 333600413 markings, 1327576257 edges, 222258 markings/sec, 1565 secs
lola: 334696430 markings, 1332113446 edges, 219203 markings/sec, 1570 secs
lola: 335780716 markings, 1336610347 edges, 216857 markings/sec, 1575 secs
lola: 336816738 markings, 1340902912 edges, 207204 markings/sec, 1580 secs
lola: 337879964 markings, 1345311219 edges, 212645 markings/sec, 1585 secs
lola: 338912007 markings, 1349590377 edges, 206409 markings/sec, 1590 secs
lola: 339919387 markings, 1353762542 edges, 201476 markings/sec, 1595 secs
lola: 340957829 markings, 1358067958 edges, 207688 markings/sec, 1600 secs
lola: 341954164 markings, 1362202090 edges, 199267 markings/sec, 1605 secs
lola: 342964846 markings, 1366391074 edges, 202136 markings/sec, 1610 secs
lola: 343969182 markings, 1370548509 edges, 200867 markings/sec, 1615 secs
lola: 344992109 markings, 1374789315 edges, 204585 markings/sec, 1620 secs
lola: 345967504 markings, 1378837366 edges, 195079 markings/sec, 1625 secs
lola: 346893945 markings, 1382678737 edges, 185288 markings/sec, 1630 secs
lola: 347763448 markings, 1386282754 edges, 173901 markings/sec, 1635 secs
lola: 348650774 markings, 1389958225 edges, 177465 markings/sec, 1640 secs
lola: 349594575 markings, 1393868924 edges, 188760 markings/sec, 1645 secs
lola: 350570187 markings, 1397913402 edges, 195122 markings/sec, 1650 secs
lola: 351539469 markings, 1401929432 edges, 193856 markings/sec, 1655 secs
lola: 352491986 markings, 1405879768 edges, 190503 markings/sec, 1660 secs
lola: 353447041 markings, 1409841097 edges, 191011 markings/sec, 1665 secs
lola: 354414988 markings, 1413846617 edges, 193589 markings/sec, 1670 secs
lola: 355367957 markings, 1417801981 edges, 190594 markings/sec, 1675 secs
lola: 356321549 markings, 1421750535 edges, 190718 markings/sec, 1680 secs
lola: 357268703 markings, 1425680275 edges, 189431 markings/sec, 1685 secs
lola: 358223826 markings, 1429641868 edges, 191025 markings/sec, 1690 secs
lola: 359191505 markings, 1433645678 edges, 193536 markings/sec, 1695 secs
lola: 360132339 markings, 1437550471 edges, 188167 markings/sec, 1700 secs
lola: 361066365 markings, 1441425645 edges, 186805 markings/sec, 1705 secs
lola: 361992905 markings, 1445258709 edges, 185308 markings/sec, 1710 secs
lola: 362923783 markings, 1449115741 edges, 186176 markings/sec, 1715 secs
lola: 363861875 markings, 1453010441 edges, 187618 markings/sec, 1720 secs
lola: 364784055 markings, 1456832686 edges, 184436 markings/sec, 1725 secs
lola: 365707804 markings, 1460660224 edges, 184750 markings/sec, 1730 secs
lola: 366629847 markings, 1464478655 edges, 184409 markings/sec, 1735 secs
lola: 367560030 markings, 1468335122 edges, 186037 markings/sec, 1740 secs
lola: 368518077 markings, 1472310588 edges, 191609 markings/sec, 1745 secs
lola: 369464083 markings, 1476226966 edges, 189201 markings/sec, 1750 secs
lola: 370408192 markings, 1480142091 edges, 188822 markings/sec, 1755 secs
lola: 371332809 markings, 1483976013 edges, 184923 markings/sec, 1760 secs
lola: 372247701 markings, 1487770453 edges, 182978 markings/sec, 1765 secs
lola: 373180080 markings, 1491630684 edges, 186476 markings/sec, 1770 secs
lola: 374094525 markings, 1495419858 edges, 182889 markings/sec, 1775 secs
lola: 375002582 markings, 1499183698 edges, 181611 markings/sec, 1780 secs
lola: 375885577 markings, 1502843765 edges, 176599 markings/sec, 1785 secs
lola: 376795714 markings, 1506616140 edges, 182027 markings/sec, 1790 secs
lola: 377726353 markings, 1510476206 edges, 186128 markings/sec, 1795 secs
lola: 378691417 markings, 1514338221 edges, 193013 markings/sec, 1800 secs
lola: 379609905 markings, 1518080563 edges, 183698 markings/sec, 1805 secs
lola: 380513105 markings, 1521759022 edges, 180640 markings/sec, 1810 secs
lola: 382901892 markings, 1526829208 edges, 477757 markings/sec, 1815 secs
lola: 385350643 markings, 1531577523 edges, 489750 markings/sec, 1820 secs
lola: 387548168 markings, 1535913338 edges, 439505 markings/sec, 1825 secs
lola: 389553358 markings, 1539817627 edges, 401038 markings/sec, 1830 secs
lola: 391682296 markings, 1543947523 edges, 425788 markings/sec, 1835 secs
lola: 393900802 markings, 1548262253 edges, 443701 markings/sec, 1840 secs
lola: 395883330 markings, 1553349253 edges, 396506 markings/sec, 1845 secs
lola: 397320580 markings, 1558206475 edges, 287450 markings/sec, 1850 secs
lola: 398679690 markings, 1562806541 edges, 271822 markings/sec, 1855 secs
lola: 400000684 markings, 1567294870 edges, 264199 markings/sec, 1860 secs
lola: 401307495 markings, 1571728925 edges, 261362 markings/sec, 1865 secs
lola: 402622790 markings, 1576170187 edges, 263059 markings/sec, 1870 secs
lola: 403856695 markings, 1580341170 edges, 246781 markings/sec, 1875 secs
lola: 405065742 markings, 1584427826 edges, 241809 markings/sec, 1880 secs
lola: 406258393 markings, 1588459515 edges, 238530 markings/sec, 1885 secs
lola: 407443067 markings, 1592464764 edges, 236935 markings/sec, 1890 secs
lola: 408590418 markings, 1596343449 edges, 229470 markings/sec, 1895 secs
lola: 409735259 markings, 1600213153 edges, 228968 markings/sec, 1900 secs
lola: 410881153 markings, 1604086391 edges, 229179 markings/sec, 1905 secs
lola: 412021212 markings, 1607940793 edges, 228012 markings/sec, 1910 secs
lola: 413167980 markings, 1611817225 edges, 229354 markings/sec, 1915 secs
lola: 414312049 markings, 1615684354 edges, 228814 markings/sec, 1920 secs
lola: 415551822 markings, 1619786299 edges, 247955 markings/sec, 1925 secs
lola: 416752442 markings, 1624440935 edges, 240124 markings/sec, 1930 secs
lola: 417848845 markings, 1628695063 edges, 219281 markings/sec, 1935 secs
lola: 418916517 markings, 1632839529 edges, 213534 markings/sec, 1940 secs
lola: 419954357 markings, 1636865537 edges, 207568 markings/sec, 1945 secs
lola: 420997235 markings, 1640911913 edges, 208576 markings/sec, 1950 secs
lola: 422021408 markings, 1644889247 edges, 204835 markings/sec, 1955 secs
lola: 423022051 markings, 1648770756 edges, 200129 markings/sec, 1960 secs
lola: 424015509 markings, 1652627081 edges, 198692 markings/sec, 1965 secs
lola: 425011080 markings, 1656490838 edges, 199114 markings/sec, 1970 secs
lola: 425995539 markings, 1660310432 edges, 196892 markings/sec, 1975 secs
lola: 426982594 markings, 1664140242 edges, 197411 markings/sec, 1980 secs
lola: 427963174 markings, 1667947063 edges, 196116 markings/sec, 1985 secs
lola: 428918736 markings, 1671654682 edges, 191112 markings/sec, 1990 secs
lola: 429869429 markings, 1675344238 edges, 190139 markings/sec, 1995 secs
lola: 430817791 markings, 1679024754 edges, 189672 markings/sec, 2000 secs
lola: 431756643 markings, 1682666965 edges, 187770 markings/sec, 2005 secs
lola: 432691191 markings, 1686293358 edges, 186910 markings/sec, 2010 secs
lola: 433627558 markings, 1689928410 edges, 187273 markings/sec, 2015 secs
lola: 434569619 markings, 1693582985 edges, 188412 markings/sec, 2020 secs
lola: 435500659 markings, 1697196880 edges, 186208 markings/sec, 2025 secs
lola: 436431943 markings, 1700811624 edges, 186257 markings/sec, 2030 secs
lola: 437361341 markings, 1704415169 edges, 185880 markings/sec, 2035 secs
lola: 438283739 markings, 1707996675 edges, 184480 markings/sec, 2040 secs
lola: 439215757 markings, 1711614270 edges, 186404 markings/sec, 2045 secs
lola: 440165192 markings, 1715298792 edges, 189887 markings/sec, 2050 secs
lola: 441089093 markings, 1718884439 edges, 184780 markings/sec, 2055 secs
lola: 442005522 markings, 1722441221 edges, 183286 markings/sec, 2060 secs
lola: 442935239 markings, 1726046728 edges, 185943 markings/sec, 2065 secs
lola: 443873909 markings, 1729690753 edges, 187734 markings/sec, 2070 secs
lola: 444784164 markings, 1733220927 edges, 182051 markings/sec, 2075 secs
lola: 445757435 markings, 1736838500 edges, 194654 markings/sec, 2080 secs
lola: 446953693 markings, 1741665600 edges, 239252 markings/sec, 2085 secs
lola: 447999984 markings, 1746043816 edges, 209258 markings/sec, 2090 secs
lola: 449005956 markings, 1750257010 edges, 201194 markings/sec, 2095 secs
lola: 449999056 markings, 1754412225 edges, 198620 markings/sec, 2100 secs
lola: 450946895 markings, 1758383447 edges, 189568 markings/sec, 2105 secs
lola: 451887766 markings, 1762320787 edges, 188174 markings/sec, 2110 secs
lola: 452829526 markings, 1766259642 edges, 188352 markings/sec, 2115 secs
lola: 453764072 markings, 1770169941 edges, 186909 markings/sec, 2120 secs
lola: 454682253 markings, 1774017872 edges, 183636 markings/sec, 2125 secs
lola: 455583020 markings, 1777786564 edges, 180153 markings/sec, 2130 secs
lola: 456480929 markings, 1781544494 edges, 179582 markings/sec, 2135 secs
lola: 457369862 markings, 1785265362 edges, 177787 markings/sec, 2140 secs
lola: 458261302 markings, 1788997029 edges, 178288 markings/sec, 2145 secs
lola: 459152504 markings, 1792728117 edges, 178240 markings/sec, 2150 secs
lola: 460043046 markings, 1796455595 edges, 178108 markings/sec, 2155 secs
lola: 460928996 markings, 1800163355 edges, 177190 markings/sec, 2160 secs
lola: 461811530 markings, 1803857710 edges, 176507 markings/sec, 2165 secs
lola: 462681055 markings, 1807499407 edges, 173905 markings/sec, 2170 secs
lola: 463532011 markings, 1811064117 edges, 170191 markings/sec, 2175 secs
lola: 464386153 markings, 1814634944 edges, 170828 markings/sec, 2180 secs
lola: 465233767 markings, 1818185721 edges, 169523 markings/sec, 2185 secs
lola: 466079646 markings, 1821725034 edges, 169176 markings/sec, 2190 secs
lola: time limit reached - aborting
lola:
preliminary result: 1280 640 unknown 640 640 640 640 640 1280 640 640 1280 640 unknown 640 640
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 1280 640 unknown 640 640 640 640 640 1280 640 640 1280 640 unknown 640 640 lola:

preliminary result: 1280 640 unknown 640 640 640 640 640 1280 640 640 1280 640 unknown 640 640
lola: memory consumption: 18064 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

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

tar xzf /home/mcc/BenchKit/INPUTS/CloudOpsManagement-PT-01280by00640.tgz
mv CloudOpsManagement-PT-01280by00640 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 ;