Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r166-smll-158987787600333.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 Angiogenesis-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787600333
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 4.4K Apr 28 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 28 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 28 14:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 28 14:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 28 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 28 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 28 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 28 14:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 28 14:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 28 14:22 instance
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 iscolored
-rw-r--r-- 1 mcc users 33K Apr 28 14:22 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 Angiogenesis-PT-10-UpperBounds-00
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-09
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591422395410

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 05:46:38] [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-06 05:46:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 05:46:38] [INFO ] Load time of PNML (sax parser for PT used): 79 ms
[2020-06-06 05:46:38] [INFO ] Transformed 39 places.
[2020-06-06 05:46:38] [INFO ] Transformed 64 transitions.
[2020-06-06 05:46:38] [INFO ] Parsed PT model containing 39 places and 64 transitions in 156 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 22 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-06 05:46:38] [INFO ] Flatten gal took : 67 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 64 rows 39 cols
[2020-06-06 05:46:38] [INFO ] Computed 8 place invariants in 10 ms
Support contains 13 out of 39 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 39/39 places, 64/64 transitions.
Discarding 1 places :
Also discarding 0 output transitions
Graph (complete) has 117 edges and 39 vertex of which 38 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.10 ms
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 38 transition count 64
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 38 transition count 64
Applied a total of 3 rules in 61 ms. Remains 38 /39 variables (removed 1) and now considering 64/64 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 38/39 places, 64/64 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 64 rows 38 cols
[2020-06-06 05:46:38] [INFO ] Computed 7 place invariants in 4 ms
Support contains 13 out of 38 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 38/38 places, 64/64 transitions.
Applied a total of 0 rules in 10 ms. Remains 38 /38 variables (removed 0) and now considering 64/64 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 38/38 places, 64/64 transitions.
Starting structural reductions, iteration 0 : 38/38 places, 64/64 transitions.
Applied a total of 0 rules in 15 ms. Remains 38 /38 variables (removed 0) and now considering 64/64 (removed 0) transitions.
// Phase 1: matrix 64 rows 38 cols
[2020-06-06 05:46:38] [INFO ] Computed 7 place invariants in 2 ms
[2020-06-06 05:46:39] [INFO ] Implicit Places using invariants in 154 ms returned [4, 34]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 158 ms to find 2 implicit places.
[2020-06-06 05:46:39] [INFO ] Redundant transitions in 14 ms returned []
// Phase 1: matrix 64 rows 36 cols
[2020-06-06 05:46:39] [INFO ] Computed 5 place invariants in 4 ms
[2020-06-06 05:46:39] [INFO ] Dead Transitions using invariants and state equation in 139 ms returned []
Starting structural reductions, iteration 1 : 36/38 places, 64/64 transitions.
Applied a total of 0 rules in 7 ms. Remains 36 /36 variables (removed 0) and now considering 64/64 (removed 0) transitions.
[2020-06-06 05:46:39] [INFO ] Redundant transitions in 8 ms returned []
// Phase 1: matrix 64 rows 36 cols
[2020-06-06 05:46:39] [INFO ] Computed 5 place invariants in 2 ms
[2020-06-06 05:46:39] [INFO ] Dead Transitions using invariants and state equation in 145 ms returned []
Finished structural reductions, in 2 iterations. Remains : 36/38 places, 64/64 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 64 rows 36 cols
[2020-06-06 05:46:39] [INFO ] Computed 5 place invariants in 1 ms
Support contains 13 out of 36 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 36/36 places, 64/64 transitions.
Applied a total of 0 rules in 11 ms. Remains 36 /36 variables (removed 0) and now considering 64/64 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 36/36 places, 64/64 transitions.
Starting structural reductions, iteration 0 : 36/36 places, 64/64 transitions.
Applied a total of 0 rules in 4 ms. Remains 36 /36 variables (removed 0) and now considering 64/64 (removed 0) transitions.
// Phase 1: matrix 64 rows 36 cols
[2020-06-06 05:46:39] [INFO ] Computed 5 place invariants in 1 ms
[2020-06-06 05:46:39] [INFO ] Implicit Places using invariants in 32 ms returned []
// Phase 1: matrix 64 rows 36 cols
[2020-06-06 05:46:39] [INFO ] Computed 5 place invariants in 5 ms
[2020-06-06 05:46:39] [INFO ] Implicit Places using invariants and state equation in 131 ms returned []
Implicit Place search using SMT with State Equation took 167 ms to find 0 implicit places.
[2020-06-06 05:46:39] [INFO ] Redundant transitions in 6 ms returned []
// Phase 1: matrix 64 rows 36 cols
[2020-06-06 05:46:39] [INFO ] Computed 5 place invariants in 5 ms
[2020-06-06 05:46:39] [INFO ] Dead Transitions using invariants and state equation in 104 ms returned []
Finished structural reductions, in 1 iterations. Remains : 36/36 places, 64/64 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 36 /36 variables (removed 0) and now considering 64/64 (removed 0) transitions.
// Phase 1: matrix 64 rows 36 cols
[2020-06-06 05:46:39] [INFO ] Computed 5 place invariants in 1 ms
[2020-06-06 05:46:39] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-06 05:46:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Angiogenesis-PT-10 @ 3570 seconds

FORMULA Angiogenesis-PT-10-UpperBounds-00 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-01 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-03 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-05 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-06 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-07 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-09 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-10 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-11 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-12 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-13 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-02 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Angiogenesis-PT-10

{
"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": "Sat Jun 6 05:46:41 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(p9)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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(p16)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 70,
"markings": 61,
"produced_by": "search",
"value": 10
},
"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(p26)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "search",
"value": 10
},
"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": 276
},
"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(p23)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 493273,
"markings": 263809,
"produced_by": "search",
"value": 10
},
"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": 303
},
"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(p6)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 23254841,
"markings": 10597728,
"produced_by": "search",
"value": 10
},
"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": 332
},
"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(p6)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 23254841,
"markings": 10597728,
"produced_by": "search",
"value": 10
},
"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": 368
},
"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(p34)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 21768518,
"markings": 10903478,
"produced_by": "search",
"value": 10
},
"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": 422
},
"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(p29)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 506
},
"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": 77,
"markings": 51,
"produced_by": "search",
"value": 10
},
"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": 633
},
"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(p31)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 844
},
"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(p23)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 493273,
"markings": 263809,
"produced_by": "search",
"value": 10
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1265
},
"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": 29,
"markings": 21,
"produced_by": "search",
"value": 10
},
"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": 2531
},
"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(p31)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 688,
"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": 178,
"conflict_clusters": 18,
"places": 36,
"places_significant": 31,
"singleton_clusters": 0,
"transitions": 64
},
"result":
{
"interim_value": "10 10 unknown 10 unknown 10 10 10 unknown 10 10 10 10 10 10 10 ",
"preliminary_value": "10 10 unknown 10 unknown 10 10 10 unknown 10 10 10 10 10 10 10 "
},
"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: 100/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1152
lola: finding significant places
lola: 36 places, 64 transitions, 31 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(p9) : MAX(p16) : MAX(p15) : MAX(p26) : MAX(p11) : MAX(p23) : MAX(p6) : MAX(p6) : MAX(p30) : MAX(p34) : MAX(p29) : MAX(p3) : MAX(p31) : MAX(p23) : MAX(p20) : MAX(p31)
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(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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 61 markings, 70 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1315155 markings, 2691233 edges, 263031 markings/sec, 0 secs
lola: 2507750 markings, 5265450 edges, 238519 markings/sec, 5 secs
lola: 3637626 markings, 7768179 edges, 225975 markings/sec, 10 secs
lola: 4734074 markings, 10219905 edges, 219290 markings/sec, 15 secs
lola: 5798488 markings, 12633598 edges, 212883 markings/sec, 20 secs
lola: 6808526 markings, 14957874 edges, 202008 markings/sec, 25 secs
lola: 7886579 markings, 17454599 edges, 215611 markings/sec, 30 secs
lola: 8931373 markings, 19872996 edges, 208959 markings/sec, 35 secs
lola: 9910712 markings, 22149641 edges, 195868 markings/sec, 40 secs
lola: 10852528 markings, 24357059 edges, 188363 markings/sec, 45 secs
lola: 11896030 markings, 26809751 edges, 208700 markings/sec, 50 secs
lola: 12895671 markings, 29193108 edges, 199928 markings/sec, 55 secs
lola: 13829531 markings, 31406142 edges, 186772 markings/sec, 60 secs
lola: 14756160 markings, 33612770 edges, 185326 markings/sec, 65 secs
lola: 15683495 markings, 35811463 edges, 185467 markings/sec, 70 secs
lola: 16594174 markings, 37992811 edges, 182136 markings/sec, 75 secs
lola: 17502191 markings, 40172538 edges, 181603 markings/sec, 80 secs
lola: 18405738 markings, 42340630 edges, 180709 markings/sec, 85 secs
lola: 19268744 markings, 44412623 edges, 172601 markings/sec, 90 secs
lola: 20257364 markings, 46801321 edges, 197724 markings/sec, 95 secs
lola: 21241189 markings, 49184377 edges, 196765 markings/sec, 100 secs
lola: 22208148 markings, 51543336 edges, 193392 markings/sec, 105 secs
lola: 23191195 markings, 53919499 edges, 196609 markings/sec, 110 secs
lola: 24139945 markings, 56229329 edges, 189750 markings/sec, 115 secs
lola: 24970187 markings, 58249900 edges, 166048 markings/sec, 120 secs
lola: 25858159 markings, 60415010 edges, 177594 markings/sec, 125 secs
lola: 26738513 markings, 62576150 edges, 176071 markings/sec, 130 secs
lola: 27616729 markings, 64717256 edges, 175643 markings/sec, 135 secs
lola: 28498186 markings, 66865738 edges, 176291 markings/sec, 140 secs
lola: 29368666 markings, 68989689 edges, 174096 markings/sec, 145 secs
lola: 30226077 markings, 71109846 edges, 171482 markings/sec, 150 secs
lola: 31051258 markings, 73134059 edges, 165036 markings/sec, 155 secs
lola: 31984730 markings, 75434006 edges, 186694 markings/sec, 160 secs
lola: 32910558 markings, 77726803 edges, 185166 markings/sec, 165 secs
lola: 33800312 markings, 79920221 edges, 177951 markings/sec, 170 secs
lola: 34646618 markings, 81994385 edges, 169261 markings/sec, 175 secs
lola: 35497814 markings, 84124429 edges, 170239 markings/sec, 180 secs
lola: 36359227 markings, 86260088 edges, 172283 markings/sec, 185 secs
lola: 37198500 markings, 88323223 edges, 167855 markings/sec, 190 secs
lola: 38026740 markings, 90379124 edges, 165648 markings/sec, 195 secs
lola: 38862398 markings, 92461744 edges, 167132 markings/sec, 200 secs
lola: 39697408 markings, 94535535 edges, 167002 markings/sec, 205 secs
lola: 40523224 markings, 96595874 edges, 165163 markings/sec, 210 secs
lola: 41345416 markings, 98650337 edges, 164438 markings/sec, 215 secs
lola: 42168159 markings, 100701529 edges, 164549 markings/sec, 220 secs
lola: 42986651 markings, 102752050 edges, 163698 markings/sec, 225 secs
lola: 43807605 markings, 104808168 edges, 164191 markings/sec, 230 secs
lola: 44645512 markings, 106886688 edges, 167581 markings/sec, 235 secs
lola: 45454432 markings, 108921113 edges, 161784 markings/sec, 240 secs
lola: 46266105 markings, 110965813 edges, 162335 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4955784 KB
lola: time consumption: 257 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p26)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 4 will run for 276 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: 10
lola: 1550141 markings, 2822257 edges, 310028 markings/sec, 0 secs
lola: 2936328 markings, 5572147 edges, 277237 markings/sec, 5 secs
lola: 4275905 markings, 8295607 edges, 267915 markings/sec, 10 secs
lola: 5508511 markings, 10856478 edges, 246521 markings/sec, 15 secs
lola: 6630264 markings, 13224943 edges, 224351 markings/sec, 20 secs
lola: 7805888 markings, 15711938 edges, 235125 markings/sec, 25 secs
lola: 8953943 markings, 18167099 edges, 229611 markings/sec, 30 secs
lola: 10064556 markings, 20575842 edges, 222123 markings/sec, 35 secs
lola: 11166978 markings, 22964166 edges, 220484 markings/sec, 40 secs
lola: 12253147 markings, 25339253 edges, 217234 markings/sec, 45 secs
lola: 13359739 markings, 27775279 edges, 221318 markings/sec, 50 secs
lola: 14511598 markings, 30312512 edges, 230372 markings/sec, 55 secs
lola: 15640597 markings, 32832324 edges, 225800 markings/sec, 60 secs
lola: 16771932 markings, 35351314 edges, 226267 markings/sec, 65 secs
lola: 17768614 markings, 37563413 edges, 199336 markings/sec, 70 secs
lola: 18787411 markings, 39846705 edges, 203759 markings/sec, 75 secs
lola: 19797446 markings, 42116181 edges, 202007 markings/sec, 80 secs
lola: 20888781 markings, 44582706 edges, 218267 markings/sec, 85 secs
lola: 21983547 markings, 47051324 edges, 218953 markings/sec, 90 secs
lola: 23062420 markings, 49511211 edges, 215775 markings/sec, 95 secs
lola: 24005310 markings, 51647606 edges, 188578 markings/sec, 100 secs
lola: 24984185 markings, 53902312 edges, 195775 markings/sec, 105 secs
lola: 25961695 markings, 56144274 edges, 195502 markings/sec, 110 secs
lola: 26913341 markings, 58332533 edges, 190329 markings/sec, 115 secs
lola: 27843260 markings, 60471402 edges, 185984 markings/sec, 120 secs
lola: 28744289 markings, 62549247 edges, 180206 markings/sec, 125 secs
lola: 29696806 markings, 64759627 edges, 190503 markings/sec, 130 secs
lola: 30722020 markings, 67120175 edges, 205043 markings/sec, 135 secs
lola: 31721978 markings, 69450659 edges, 199992 markings/sec, 140 secs
lola: 32756521 markings, 71847987 edges, 206909 markings/sec, 145 secs
lola: 33769142 markings, 74231645 edges, 202524 markings/sec, 150 secs
lola: 34780013 markings, 76608990 edges, 202174 markings/sec, 155 secs
lola: 35755026 markings, 78896528 edges, 195003 markings/sec, 160 secs
lola: 36676054 markings, 81059587 edges, 184206 markings/sec, 165 secs
lola: 37617766 markings, 83285449 edges, 188342 markings/sec, 170 secs
lola: 38617063 markings, 85645251 edges, 199859 markings/sec, 175 secs
lola: 39609402 markings, 87991959 edges, 198468 markings/sec, 180 secs
lola: 40542720 markings, 90207608 edges, 186664 markings/sec, 185 secs
lola: 41442546 markings, 92351554 edges, 179965 markings/sec, 190 secs
lola: 42342698 markings, 94492718 edges, 180030 markings/sec, 195 secs
lola: 43237296 markings, 96626226 edges, 178920 markings/sec, 200 secs
lola: 44127983 markings, 98747757 edges, 178137 markings/sec, 205 secs
lola: 45031753 markings, 100874090 edges, 180754 markings/sec, 210 secs
lola: 45948519 markings, 103071637 edges, 183353 markings/sec, 215 secs
lola: 46917020 markings, 105410833 edges, 193700 markings/sec, 220 secs
lola: 47890014 markings, 107750300 edges, 194599 markings/sec, 225 secs
lola: 48864198 markings, 110077055 edges, 194837 markings/sec, 230 secs
lola: 49828087 markings, 112405279 edges, 192778 markings/sec, 235 secs
lola: 50781267 markings, 114709968 edges, 190636 markings/sec, 240 secs
lola: 51740821 markings, 117011550 edges, 191911 markings/sec, 245 secs
lola: 52695936 markings, 119323481 edges, 191023 markings/sec, 250 secs
lola: 53647597 markings, 121637079 edges, 190332 markings/sec, 255 secs
lola: 54608856 markings, 123945021 edges, 192252 markings/sec, 260 secs
lola: 55556631 markings, 126246370 edges, 189555 markings/sec, 265 secs
lola: 56505090 markings, 128553128 edges, 189692 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4972256 KB
lola: time consumption: 533 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 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p23)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 263809 markings, 493273 edges
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
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: 10
lola: 1340541 markings, 2768528 edges, 268108 markings/sec, 0 secs
lola: 2537006 markings, 5337576 edges, 239293 markings/sec, 5 secs
lola: 3742135 markings, 7971030 edges, 241026 markings/sec, 10 secs
lola: 4888702 markings, 10482212 edges, 229313 markings/sec, 15 secs
lola: 6053563 markings, 13077502 edges, 232972 markings/sec, 20 secs
lola: 7204373 markings, 15645325 edges, 230162 markings/sec, 25 secs
lola: 8343011 markings, 18193218 edges, 227728 markings/sec, 30 secs
lola: 9475441 markings, 20731308 edges, 226486 markings/sec, 35 secs
lola: 10592862 markings, 23244199 edges, 223484 markings/sec, 40 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 10597728 markings, 23254841 edges
lola: ========================================
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
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: 10
lola: 1239106 markings, 2548491 edges, 247821 markings/sec, 0 secs
lola: 2372645 markings, 4985208 edges, 226708 markings/sec, 5 secs
lola: 3528638 markings, 7509269 edges, 231199 markings/sec, 10 secs
lola: 4672103 markings, 10007769 edges, 228693 markings/sec, 15 secs
lola: 5720946 markings, 12342196 edges, 209769 markings/sec, 20 secs
lola: 6869200 markings, 14893067 edges, 229651 markings/sec, 25 secs
lola: 7993890 markings, 17412989 edges, 224938 markings/sec, 30 secs
lola: 9113749 markings, 19926200 edges, 223972 markings/sec, 35 secs
lola: 10227506 markings, 22418992 edges, 222751 markings/sec, 40 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 10597728 markings, 23254841 edges
lola: ========================================
lola: subprocess 8 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p30)
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: 10
lola: 1328893 markings, 2571526 edges, 265779 markings/sec, 0 secs
lola: 2597433 markings, 5177931 edges, 253708 markings/sec, 5 secs
lola: 3825319 markings, 7748199 edges, 245577 markings/sec, 10 secs
lola: 5023302 markings, 10286703 edges, 239597 markings/sec, 15 secs
lola: 6202744 markings, 12817919 edges, 235888 markings/sec, 20 secs
lola: 7282950 markings, 15174273 edges, 216041 markings/sec, 25 secs
lola: 8344986 markings, 17499858 edges, 212407 markings/sec, 30 secs
lola: 9463366 markings, 19950258 edges, 223676 markings/sec, 35 secs
lola: 10557774 markings, 22380258 edges, 218882 markings/sec, 40 secs
lola: 11644271 markings, 24808611 edges, 217299 markings/sec, 45 secs
lola: 12725677 markings, 27234695 edges, 216281 markings/sec, 50 secs
lola: 13803051 markings, 29648987 edges, 215475 markings/sec, 55 secs
lola: 14869635 markings, 32048539 edges, 213317 markings/sec, 60 secs
lola: 15935907 markings, 34440811 edges, 213254 markings/sec, 65 secs
lola: 16995119 markings, 36841494 edges, 211842 markings/sec, 70 secs
lola: 18049205 markings, 39224051 edges, 210817 markings/sec, 75 secs
lola: 19002637 markings, 41388490 edges, 190686 markings/sec, 80 secs
lola: 19995715 markings, 43667324 edges, 198616 markings/sec, 85 secs
lola: 20978161 markings, 45914441 edges, 196489 markings/sec, 90 secs
lola: 21970516 markings, 48188209 edges, 198471 markings/sec, 95 secs
lola: 22965474 markings, 50460202 edges, 198992 markings/sec, 100 secs
lola: 23938433 markings, 52711448 edges, 194592 markings/sec, 105 secs
lola: 24905617 markings, 54959099 edges, 193437 markings/sec, 110 secs
lola: 25866212 markings, 57188491 edges, 192119 markings/sec, 115 secs
lola: 26825055 markings, 59422284 edges, 191769 markings/sec, 120 secs
lola: 27777288 markings, 61645239 edges, 190447 markings/sec, 125 secs
lola: 28753649 markings, 63954393 edges, 195272 markings/sec, 130 secs
lola: 29760868 markings, 66314577 edges, 201444 markings/sec, 135 secs
lola: 30741770 markings, 68596869 edges, 196180 markings/sec, 140 secs
lola: 31695941 markings, 70806810 edges, 190834 markings/sec, 145 secs
lola: 32639514 markings, 73033108 edges, 188715 markings/sec, 150 secs
lola: 33572364 markings, 75238325 edges, 186570 markings/sec, 155 secs
lola: 34501631 markings, 77430982 edges, 185853 markings/sec, 160 secs
lola: 35445688 markings, 79631816 edges, 188811 markings/sec, 165 secs
lola: 36378466 markings, 81831927 edges, 186556 markings/sec, 170 secs
lola: 37296873 markings, 84012354 edges, 183681 markings/sec, 175 secs
lola: 38224926 markings, 86192314 edges, 185611 markings/sec, 180 secs
lola: 39148530 markings, 88386988 edges, 184721 markings/sec, 185 secs
lola: 40067665 markings, 90572335 edges, 183827 markings/sec, 190 secs
lola: 40997472 markings, 92765786 edges, 185961 markings/sec, 195 secs
lola: 41925504 markings, 94956948 edges, 185606 markings/sec, 200 secs
lola: 42834718 markings, 97130685 edges, 181843 markings/sec, 205 secs
lola: 43756467 markings, 99306549 edges, 184350 markings/sec, 210 secs
lola: 44672081 markings, 101491179 edges, 183123 markings/sec, 215 secs
lola: 45575849 markings, 103647167 edges, 180754 markings/sec, 220 secs
lola: 46488468 markings, 105831194 edges, 182524 markings/sec, 225 secs
lola: 47404250 markings, 108017223 edges, 183156 markings/sec, 230 secs
lola: 48308504 markings, 110186228 edges, 180851 markings/sec, 235 secs
lola: 49187433 markings, 112281142 edges, 175786 markings/sec, 240 secs
lola: 50114073 markings, 114499193 edges, 185328 markings/sec, 245 secs
lola: 51038881 markings, 116723632 edges, 184962 markings/sec, 250 secs
lola: 51951651 markings, 118954944 edges, 182554 markings/sec, 255 secs
lola: 52891245 markings, 121239609 edges, 187919 markings/sec, 260 secs
lola: 53836294 markings, 123525976 edges, 189010 markings/sec, 265 secs
lola: 54784155 markings, 125809418 edges, 189572 markings/sec, 270 secs
lola: 55724420 markings, 128093440 edges, 188053 markings/sec, 275 secs
lola: 56669228 markings, 130377480 edges, 188962 markings/sec, 280 secs
lola: 57617696 markings, 132662338 edges, 189694 markings/sec, 285 secs
lola: 58565214 markings, 134931871 edges, 189504 markings/sec, 290 secs
lola: 59511391 markings, 137207816 edges, 189235 markings/sec, 295 secs
lola: 60450867 markings, 139472533 edges, 187895 markings/sec, 300 secs
lola: 61383452 markings, 141742187 edges, 186517 markings/sec, 305 secs
lola: 62311843 markings, 144015102 edges, 185678 markings/sec, 310 secs
lola: 63248669 markings, 146286667 edges, 187365 markings/sec, 315 secs
lola: 64175335 markings, 148563153 edges, 185333 markings/sec, 320 secs
lola: 65106158 markings, 150824256 edges, 186165 markings/sec, 325 secs
lola: 66034871 markings, 153070727 edges, 185743 markings/sec, 330 secs
lola: 66879395 markings, 155128043 edges, 168905 markings/sec, 335 secs
lola: 67688199 markings, 157096288 edges, 161761 markings/sec, 340 secs
lola: 68599686 markings, 159310081 edges, 182297 markings/sec, 345 secs
lola: 69511878 markings, 161553916 edges, 182438 markings/sec, 350 secs
lola: 70405491 markings, 163753889 edges, 178723 markings/sec, 355 secs
lola: 71328005 markings, 166005495 edges, 184503 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 10 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7830672 KB
lola: time consumption: 994 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p34)
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: 10
lola: 1489308 markings, 2759220 edges, 297862 markings/sec, 0 secs
lola: 2763704 markings, 5221997 edges, 254879 markings/sec, 5 secs
lola: 4058278 markings, 7778199 edges, 258915 markings/sec, 10 secs
lola: 5302067 markings, 10277987 edges, 248758 markings/sec, 15 secs
lola: 6512855 markings, 12724383 edges, 242158 markings/sec, 20 secs
lola: 7645953 markings, 15043243 edges, 226620 markings/sec, 25 secs
lola: 8844715 markings, 17518892 edges, 239752 markings/sec, 30 secs
lola: 10058136 markings, 20020822 edges, 242684 markings/sec, 35 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 10903478 markings, 21768518 edges
lola: ========================================
lola: subprocess 10 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p29)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 506 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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 51 markings, 77 edges
lola: ========================================
lola: subprocess 12 will run for 633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p31)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 844 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p23)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 263809 markings, 493273 edges
lola: ========================================
lola: subprocess 14 will run for 1265 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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 21 markings, 29 edges
lola: ========================================
lola: subprocess 15 will run for 2531 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p31)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1237052 markings, 2523290 edges, 247410 markings/sec, 0 secs
lola: 2349080 markings, 4917127 edges, 222406 markings/sec, 5 secs
lola: 3498560 markings, 7459496 edges, 229896 markings/sec, 10 secs
lola: 4570151 markings, 9846504 edges, 214318 markings/sec, 15 secs
lola: 5697307 markings, 12398495 edges, 225431 markings/sec, 20 secs
lola: 6784741 markings, 14904206 edges, 217487 markings/sec, 25 secs
lola: 7782356 markings, 17212660 edges, 199523 markings/sec, 30 secs
lola: 8728879 markings, 19408409 edges, 189305 markings/sec, 35 secs
lola: 9685513 markings, 21629781 edges, 191327 markings/sec, 40 secs
lola: 10730632 markings, 24069584 edges, 209024 markings/sec, 45 secs
lola: 11769978 markings, 26509211 edges, 207869 markings/sec, 50 secs
lola: 12744553 markings, 28826937 edges, 194915 markings/sec, 55 secs
lola: 13686369 markings, 31067223 edges, 188363 markings/sec, 60 secs
lola: 14591036 markings, 33218402 edges, 180933 markings/sec, 65 secs
lola: 15600500 markings, 35615696 edges, 201893 markings/sec, 70 secs
lola: 16594605 markings, 37994097 edges, 198821 markings/sec, 75 secs
lola: 17575820 markings, 40350129 edges, 196243 markings/sec, 80 secs
lola: 18570629 markings, 42729198 edges, 198962 markings/sec, 85 secs
lola: 19548706 markings, 45090145 edges, 195615 markings/sec, 90 secs
lola: 20513257 markings, 47427240 edges, 192910 markings/sec, 95 secs
lola: 21484519 markings, 49776741 edges, 194252 markings/sec, 100 secs
lola: 22437045 markings, 52100530 edges, 190505 markings/sec, 105 secs
lola: 23413904 markings, 54454342 edges, 195372 markings/sec, 110 secs
lola: 24373004 markings, 56791044 edges, 191820 markings/sec, 115 secs
lola: 25317456 markings, 59091831 edges, 188890 markings/sec, 120 secs
lola: 26228596 markings, 61327675 edges, 182228 markings/sec, 125 secs
lola: 27085189 markings, 63421925 edges, 171319 markings/sec, 130 secs
lola: 27945208 markings, 65518530 edges, 172004 markings/sec, 135 secs
lola: 28804761 markings, 67617048 edges, 171911 markings/sec, 140 secs
lola: 29620419 markings, 69604089 edges, 163132 markings/sec, 145 secs
lola: 30544582 markings, 71891484 edges, 184833 markings/sec, 150 secs
lola: 31477484 markings, 74174436 edges, 186580 markings/sec, 155 secs
lola: 32390475 markings, 76438673 edges, 182598 markings/sec, 160 secs
lola: 33254306 markings, 78580066 edges, 172766 markings/sec, 165 secs
lola: 34104808 markings, 80660988 edges, 170100 markings/sec, 170 secs
lola: 34954474 markings, 82754871 edges, 169933 markings/sec, 175 secs
lola: 35778417 markings, 84826643 edges, 164789 markings/sec, 180 secs
lola: 36619680 markings, 86900351 edges, 168253 markings/sec, 185 secs
lola: 37457544 markings, 88972309 edges, 167573 markings/sec, 190 secs
lola: 38291081 markings, 91036699 edges, 166707 markings/sec, 195 secs
lola: 39120054 markings, 93097474 edges, 165795 markings/sec, 200 secs
lola: 39943690 markings, 95153409 edges, 164727 markings/sec, 205 secs
lola: 40778029 markings, 97232665 edges, 166868 markings/sec, 210 secs
lola: 41669449 markings, 99449239 edges, 178284 markings/sec, 215 secs
lola: 42484188 markings, 101486909 edges, 162948 markings/sec, 220 secs
lola: 43294783 markings, 103510601 edges, 162119 markings/sec, 225 secs
lola: 44125733 markings, 105607352 edges, 166190 markings/sec, 230 secs
lola: 45019534 markings, 107820889 edges, 178760 markings/sec, 235 secs
lola: 45887205 markings, 110018285 edges, 173534 markings/sec, 240 secs
lola: 46769653 markings, 112225006 edges, 176490 markings/sec, 245 secs
lola: 47640035 markings, 114420868 edges, 174076 markings/sec, 250 secs
lola: 48519944 markings, 116622612 edges, 175982 markings/sec, 255 secs
lola: 49394852 markings, 118807609 edges, 174982 markings/sec, 260 secs
lola: 50266442 markings, 120988422 edges, 174318 markings/sec, 265 secs
lola: 51145927 markings, 123191059 edges, 175897 markings/sec, 270 secs
lola: 52010842 markings, 125376453 edges, 172983 markings/sec, 275 secs
lola: 52874712 markings, 127556741 edges, 172774 markings/sec, 280 secs
lola: 53738849 markings, 129735226 edges, 172827 markings/sec, 285 secs
lola: 54609288 markings, 131940896 edges, 174088 markings/sec, 290 secs
lola: 55474324 markings, 134119919 edges, 173007 markings/sec, 295 secs
lola: 56342684 markings, 136296699 edges, 173672 markings/sec, 300 secs
lola: 57211040 markings, 138476936 edges, 173671 markings/sec, 305 secs
lola: 58076289 markings, 140662070 edges, 173050 markings/sec, 310 secs
lola: 58927712 markings, 142826429 edges, 170285 markings/sec, 315 secs
lola: 59788905 markings, 144989611 edges, 172239 markings/sec, 320 secs
lola: 60642909 markings, 147164673 edges, 170801 markings/sec, 325 secs
lola: 61496915 markings, 149323501 edges, 170801 markings/sec, 330 secs
lola: 62343750 markings, 151478225 edges, 169367 markings/sec, 335 secs
lola: 63184697 markings, 153634577 edges, 168189 markings/sec, 340 secs
lola: 64036714 markings, 155802636 edges, 170403 markings/sec, 345 secs
lola: 64892033 markings, 157948140 edges, 171064 markings/sec, 350 secs
lola: 65674487 markings, 159922757 edges, 156491 markings/sec, 355 secs
lola: 66432669 markings, 161856031 edges, 151636 markings/sec, 360 secs
lola: 67204319 markings, 163825583 edges, 154330 markings/sec, 365 secs
lola: 67988070 markings, 165809896 edges, 156750 markings/sec, 370 secs
lola: 68759635 markings, 167777642 edges, 154313 markings/sec, 375 secs
lola: 69501789 markings, 169674814 edges, 148431 markings/sec, 380 secs
lola: 70265921 markings, 171618495 edges, 152826 markings/sec, 385 secs
lola: 71051206 markings, 173616752 edges, 157057 markings/sec, 390 secs
lola: 71809372 markings, 175552692 edges, 151633 markings/sec, 395 secs
lola: 72574541 markings, 177482390 edges, 153034 markings/sec, 400 secs
lola: 73358038 markings, 179510124 edges, 156699 markings/sec, 405 secs
lola: 74194759 markings, 181645346 edges, 167344 markings/sec, 410 secs
lola: 74971472 markings, 183591006 edges, 155343 markings/sec, 415 secs
lola: 75723466 markings, 185531450 edges, 150399 markings/sec, 420 secs
lola: 76490938 markings, 187499782 edges, 153494 markings/sec, 425 secs
lola: 77323410 markings, 189621683 edges, 166494 markings/sec, 430 secs
lola: 78123102 markings, 191668756 edges, 159938 markings/sec, 435 secs
lola: 78876734 markings, 193609113 edges, 150726 markings/sec, 440 secs
lola: 79638829 markings, 195547202 edges, 152419 markings/sec, 445 secs
lola: 80398558 markings, 197487532 edges, 151946 markings/sec, 450 secs
lola: 81160957 markings, 199445427 edges, 152480 markings/sec, 455 secs
lola: 81977308 markings, 201553079 edges, 163270 markings/sec, 460 secs
lola: 82796154 markings, 203661365 edges, 163769 markings/sec, 465 secs
lola: 83608468 markings, 205764933 edges, 162463 markings/sec, 470 secs
lola: 84442622 markings, 207880988 edges, 166831 markings/sec, 475 secs
lola: 85265199 markings, 209982982 edges, 164515 markings/sec, 480 secs
lola: 86079504 markings, 212081397 edges, 162861 markings/sec, 485 secs
lola: 86895485 markings, 214173956 edges, 163196 markings/sec, 490 secs
lola: 87702611 markings, 216282206 edges, 161425 markings/sec, 495 secs
lola: 88521287 markings, 218379861 edges, 163735 markings/sec, 500 secs
lola: 89328978 markings, 220460750 edges, 161538 markings/sec, 505 secs
lola: 90147260 markings, 222564455 edges, 163656 markings/sec, 510 secs
lola: 90955807 markings, 224659592 edges, 161709 markings/sec, 515 secs
lola: 91774370 markings, 226753991 edges, 163713 markings/sec, 520 secs
lola: 92569697 markings, 228835704 edges, 159065 markings/sec, 525 secs
lola: 93380955 markings, 230925097 edges, 162252 markings/sec, 530 secs
lola: 94191588 markings, 233012075 edges, 162127 markings/sec, 535 secs
lola: 95005156 markings, 235101427 edges, 162714 markings/sec, 540 secs
lola: 95815097 markings, 237182634 edges, 161988 markings/sec, 545 secs
lola: 96632195 markings, 239270502 edges, 163420 markings/sec, 550 secs
lola: 97449308 markings, 241368986 edges, 163423 markings/sec, 555 secs
lola: 98245618 markings, 243453683 edges, 159262 markings/sec, 560 secs
lola: 99049310 markings, 245534558 edges, 160738 markings/sec, 565 secs
lola: 99850357 markings, 247612477 edges, 160209 markings/sec, 570 secs
lola: 100652512 markings, 249701195 edges, 160431 markings/sec, 575 secs
lola: 101460782 markings, 251782510 edges, 161654 markings/sec, 580 secs
lola: 102263941 markings, 253866602 edges, 160632 markings/sec, 585 secs
lola: 103060976 markings, 255944462 edges, 159407 markings/sec, 590 secs
lola: 103870536 markings, 258024868 edges, 161912 markings/sec, 595 secs
lola: 104673193 markings, 260096395 edges, 160531 markings/sec, 600 secs
lola: 105475555 markings, 262173538 edges, 160472 markings/sec, 605 secs
lola: 106273582 markings, 264249354 edges, 159605 markings/sec, 610 secs
lola: 107070298 markings, 266320893 edges, 159343 markings/sec, 615 secs
lola: 107878426 markings, 268399000 edges, 161626 markings/sec, 620 secs
lola: 108675733 markings, 270477835 edges, 159461 markings/sec, 625 secs
lola: 109469225 markings, 272556850 edges, 158698 markings/sec, 630 secs
lola: 110265607 markings, 274617749 edges, 159276 markings/sec, 635 secs
lola: 111049907 markings, 276676241 edges, 156860 markings/sec, 640 secs
lola: 111839565 markings, 278736814 edges, 157932 markings/sec, 645 secs
lola: 112625607 markings, 280801336 edges, 157208 markings/sec, 650 secs
lola: 113417173 markings, 282874057 edges, 158313 markings/sec, 655 secs
lola: 114203779 markings, 284932459 edges, 157321 markings/sec, 660 secs
lola: 114996399 markings, 287008007 edges, 158524 markings/sec, 665 secs
lola: 115791229 markings, 289073356 edges, 158966 markings/sec, 670 secs
lola: 116579244 markings, 291144621 edges, 157603 markings/sec, 675 secs
lola: 117367036 markings, 293203344 edges, 157558 markings/sec, 680 secs
lola: 118151106 markings, 295246875 edges, 156814 markings/sec, 685 secs
lola: 118939015 markings, 297293343 edges, 157582 markings/sec, 690 secs
lola: 119728107 markings, 299340351 edges, 157818 markings/sec, 695 secs
lola: 120515955 markings, 301390367 edges, 157570 markings/sec, 700 secs
lola: 121296196 markings, 303424466 edges, 156048 markings/sec, 705 secs
lola: 122081271 markings, 305471052 edges, 157015 markings/sec, 710 secs
lola: 122865591 markings, 307518840 edges, 156864 markings/sec, 715 secs
lola: 123644897 markings, 309539530 edges, 155861 markings/sec, 720 secs
lola: 124393453 markings, 311485127 edges, 149711 markings/sec, 725 secs
lola: 125075339 markings, 313258531 edges, 136377 markings/sec, 730 secs
lola: 125768995 markings, 315098472 edges, 138731 markings/sec, 735 secs
lola: 126478745 markings, 316951405 edges, 141950 markings/sec, 740 secs
lola: 127196539 markings, 318821506 edges, 143559 markings/sec, 745 secs
lola: 127910323 markings, 320671044 edges, 142757 markings/sec, 750 secs
lola: 128609619 markings, 322498001 edges, 139859 markings/sec, 755 secs
lola: 129326867 markings, 324366293 edges, 143450 markings/sec, 760 secs
lola: 130045334 markings, 326252233 edges, 143693 markings/sec, 765 secs
lola: 130761801 markings, 328132843 edges, 143293 markings/sec, 770 secs
lola: 131476629 markings, 330018741 edges, 142966 markings/sec, 775 secs
lola: 132199972 markings, 331918133 edges, 144669 markings/sec, 780 secs
lola: 132962607 markings, 333908901 edges, 152527 markings/sec, 785 secs
lola: 133666628 markings, 335770891 edges, 140804 markings/sec, 790 secs
lola: 134380900 markings, 337648689 edges, 142854 markings/sec, 795 secs
lola: 135056419 markings, 339434031 edges, 135104 markings/sec, 800 secs
lola: 135827690 markings, 341454077 edges, 154254 markings/sec, 805 secs
lola: 136596371 markings, 343455343 edges, 153736 markings/sec, 810 secs
lola: 137362333 markings, 345471231 edges, 153192 markings/sec, 815 secs
lola: 138134922 markings, 347498740 edges, 154518 markings/sec, 820 secs
lola: 138901190 markings, 349510047 edges, 153254 markings/sec, 825 secs
lola: 139664764 markings, 351520408 edges, 152715 markings/sec, 830 secs
lola: 140445233 markings, 353556611 edges, 156094 markings/sec, 835 secs
lola: 141204538 markings, 355560634 edges, 151861 markings/sec, 840 secs
lola: 141975521 markings, 357571648 edges, 154197 markings/sec, 845 secs
lola: 142686277 markings, 359436227 edges, 142151 markings/sec, 850 secs
lola: 143393013 markings, 361304915 edges, 141347 markings/sec, 855 secs
lola: 144100749 markings, 363173970 edges, 141547 markings/sec, 860 secs
lola: 144817335 markings, 365059949 edges, 143317 markings/sec, 865 secs
lola: 145542966 markings, 366945201 edges, 145126 markings/sec, 870 secs
lola: 146261257 markings, 368816625 edges, 143658 markings/sec, 875 secs
lola: 146970419 markings, 370681057 edges, 141832 markings/sec, 880 secs
lola: 147680477 markings, 372539711 edges, 142012 markings/sec, 885 secs
lola: 148380390 markings, 374395036 edges, 139983 markings/sec, 890 secs
lola: 149080811 markings, 376242546 edges, 140084 markings/sec, 895 secs
lola: 149733884 markings, 377974875 edges, 130615 markings/sec, 900 secs
lola: 150401750 markings, 379726050 edges, 133573 markings/sec, 905 secs
lola: 150968308 markings, 381223159 edges, 113312 markings/sec, 910 secs
lola: 151529076 markings, 382716862 edges, 112154 markings/sec, 915 secs
lola: 152088660 markings, 384199513 edges, 111917 markings/sec, 920 secs
lola: 152692692 markings, 385765799 edges, 120806 markings/sec, 925 secs
lola: 153276816 markings, 387307740 edges, 116825 markings/sec, 930 secs
lola: 153811159 markings, 388702574 edges, 106869 markings/sec, 935 secs
lola: 154353406 markings, 390140268 edges, 108449 markings/sec, 940 secs
lola: 154937298 markings, 391671321 edges, 116778 markings/sec, 945 secs
lola: 155578838 markings, 393345390 edges, 128308 markings/sec, 950 secs
lola: 156185722 markings, 394938618 edges, 121377 markings/sec, 955 secs
lola: 156776635 markings, 396490879 edges, 118183 markings/sec, 960 secs
lola: 157356583 markings, 398022505 edges, 115990 markings/sec, 965 secs
lola: 157962310 markings, 399610740 edges, 121145 markings/sec, 970 secs
lola: 158584054 markings, 401237314 edges, 124349 markings/sec, 975 secs
lola: 159156810 markings, 402749716 edges, 114551 markings/sec, 980 secs
lola: 159729793 markings, 404268949 edges, 114597 markings/sec, 985 secs
lola: 160375980 markings, 405973361 edges, 129237 markings/sec, 990 secs
lola: 160966124 markings, 407545315 edges, 118029 markings/sec, 995 secs
lola: 161623587 markings, 409273663 edges, 131493 markings/sec, 1000 secs
lola: 162226934 markings, 410866483 edges, 120669 markings/sec, 1005 secs
lola: 162873161 markings, 412573044 edges, 129245 markings/sec, 1010 secs
lola: 163430588 markings, 414040779 edges, 111485 markings/sec, 1015 secs
lola: 164009863 markings, 415577470 edges, 115855 markings/sec, 1020 secs
lola: 164629663 markings, 417237920 edges, 123960 markings/sec, 1025 secs
lola: 165262656 markings, 418885955 edges, 126599 markings/sec, 1030 secs
lola: 165968963 markings, 420756692 edges, 141261 markings/sec, 1035 secs
lola: 166633620 markings, 422508922 edges, 132931 markings/sec, 1040 secs
lola: 167262145 markings, 424165366 edges, 125705 markings/sec, 1045 secs
lola: 167921235 markings, 425913138 edges, 131818 markings/sec, 1050 secs
lola: 168530559 markings, 427535195 edges, 121865 markings/sec, 1055 secs
lola: 169150809 markings, 429154826 edges, 124050 markings/sec, 1060 secs
lola: 169829833 markings, 430946682 edges, 135805 markings/sec, 1065 secs
lola: 170498216 markings, 432698687 edges, 133677 markings/sec, 1070 secs
lola: 171089175 markings, 434274744 edges, 118192 markings/sec, 1075 secs
lola: 171726151 markings, 435944626 edges, 127395 markings/sec, 1080 secs
lola: 172371085 markings, 437653310 edges, 128987 markings/sec, 1085 secs
lola: 172780323 markings, 438741225 edges, 81848 markings/sec, 1090 secs
lola: 173178816 markings, 439798237 edges, 79699 markings/sec, 1095 secs
lola: 173768275 markings, 441346548 edges, 117892 markings/sec, 1100 secs
lola: 174440245 markings, 443119234 edges, 134394 markings/sec, 1105 secs
lola: 175087258 markings, 444825829 edges, 129403 markings/sec, 1110 secs
lola: 175782975 markings, 446671876 edges, 139143 markings/sec, 1115 secs
lola: 176431673 markings, 448376073 edges, 129740 markings/sec, 1120 secs
lola: 176976730 markings, 449819323 edges, 109011 markings/sec, 1125 secs
lola: 177653678 markings, 451616440 edges, 135390 markings/sec, 1130 secs
lola: 178086959 markings, 452774540 edges, 86656 markings/sec, 1135 secs
lola: 178740550 markings, 454505090 edges, 130718 markings/sec, 1140 secs
lola: 179431624 markings, 456334953 edges, 138215 markings/sec, 1145 secs
lola: 180018839 markings, 457906282 edges, 117443 markings/sec, 1150 secs
lola: 180569387 markings, 459376601 edges, 110110 markings/sec, 1155 secs
lola: 181239545 markings, 461151243 edges, 134032 markings/sec, 1160 secs
lola: 181884234 markings, 462883133 edges, 128938 markings/sec, 1165 secs
lola: 182561157 markings, 464691835 edges, 135385 markings/sec, 1170 secs
lola: 183246276 markings, 466521049 edges, 137024 markings/sec, 1175 secs
lola: 183892087 markings, 468224651 edges, 129162 markings/sec, 1180 secs
lola: 184476103 markings, 469781047 edges, 116803 markings/sec, 1185 secs
lola: 185194575 markings, 471683444 edges, 143694 markings/sec, 1190 secs
lola: 185861382 markings, 473457041 edges, 133361 markings/sec, 1195 secs
lola: 186455406 markings, 475032009 edges, 118805 markings/sec, 1200 secs
lola: 186706403 markings, 475690703 edges, 50199 markings/sec, 1205 secs
lola: 186881170 markings, 476149629 edges, 34953 markings/sec, 1210 secs
lola: lola: Child process aborted or communication problem between parent and child process
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: 10
lola: 1520822 markings, 2765137 edges, 304164 markings/sec, 0 secs
lola: 2946687 markings, 5592591 edges, 285173 markings/sec, 5 secs
lola: 4168252 markings, 8077056 edges, 244313 markings/sec, 10 secs
lola: 5407657 markings, 10643912 edges, 247881 markings/sec, 15 secs
lola: 6594421 markings, 13152396 edges, 237353 markings/sec, 20 secs
lola: 7766798 markings, 15630600 edges, 234475 markings/sec, 25 secs
lola: 8911553 markings, 18078600 edges, 228951 markings/sec, 30 secs
lola: 10032207 markings, 20504561 edges, 224131 markings/sec, 35 secs
lola: 11140999 markings, 22906019 edges, 221758 markings/sec, 40 secs
lola: 12226987 markings, 25282666 edges, 217198 markings/sec, 45 secs
lola: 13305121 markings, 27656235 edges, 215627 markings/sec, 50 secs
lola: 14376182 markings, 30013300 edges, 214212 markings/sec, 55 secs
lola: 15420355 markings, 32344059 edges, 208835 markings/sec, 60 secs
lola: 16468983 markings, 34675038 edges, 209726 markings/sec, 65 secs
lola: 17511692 markings, 36984293 edges, 208542 markings/sec, 70 secs
lola: 18541849 markings, 39289129 edges, 206031 markings/sec, 75 secs
lola: 19518516 markings, 41490760 edges, 195333 markings/sec, 80 secs
lola: 20533524 markings, 43776377 edges, 203002 markings/sec, 85 secs
lola: 21539858 markings, 46050694 edges, 201267 markings/sec, 90 secs
lola: 22504550 markings, 48233516 edges, 192938 markings/sec, 95 secs
lola: 23462318 markings, 50417871 edges, 191554 markings/sec, 100 secs
lola: 24445679 markings, 52661512 edges, 196672 markings/sec, 105 secs
lola: 25420762 markings, 54909474 edges, 195017 markings/sec, 110 secs
lola: 26395248 markings, 57148327 edges, 194897 markings/sec, 115 secs
lola: 27363199 markings, 59369710 edges, 193590 markings/sec, 120 secs
lola: 28332745 markings, 61595435 edges, 193909 markings/sec, 125 secs
lola: 29284334 markings, 63801460 edges, 190318 markings/sec, 130 secs
lola: 30226165 markings, 65989423 edges, 188366 markings/sec, 135 secs
lola: 31181388 markings, 68196817 edges, 191045 markings/sec, 140 secs
lola: 32136825 markings, 70406699 edges, 191087 markings/sec, 145 secs
lola: 33075817 markings, 72601265 edges, 187798 markings/sec, 150 secs
lola: 33999919 markings, 74774112 edges, 184820 markings/sec, 155 secs
lola: 34933635 markings, 76967512 edges, 186743 markings/sec, 160 secs
lola: 35861888 markings, 79146850 edges, 185651 markings/sec, 165 secs
lola: 36787125 markings, 81329607 edges, 185047 markings/sec, 170 secs
lola: 37780760 markings, 83665248 edges, 198727 markings/sec, 175 secs
lola: 38768883 markings, 86008238 edges, 197625 markings/sec, 180 secs
lola: 39751052 markings, 88331622 edges, 196434 markings/sec, 185 secs
lola: 40723676 markings, 90637605 edges, 194525 markings/sec, 190 secs
lola: 41600061 markings, 92724497 edges, 175277 markings/sec, 195 secs
lola: 42508571 markings, 94889728 edges, 181702 markings/sec, 200 secs
lola: 43408675 markings, 97030593 edges, 180021 markings/sec, 205 secs
lola: 44309654 markings, 99174077 edges, 180196 markings/sec, 210 secs
lola: 45183614 markings, 101240814 edges, 174792 markings/sec, 215 secs
lola: 46076843 markings, 103382954 edges, 178646 markings/sec, 220 secs
lola: 46967209 markings, 105528530 edges, 178073 markings/sec, 225 secs
lola: 47858569 markings, 107673214 edges, 178272 markings/sec, 230 secs
lola: 48747400 markings, 109799302 edges, 177766 markings/sec, 235 secs
lola: 49631586 markings, 111932053 edges, 176837 markings/sec, 240 secs
lola: 50505787 markings, 114043871 edges, 174840 markings/sec, 245 secs
lola: 51376523 markings, 116147975 edges, 174147 markings/sec, 250 secs
lola: 52252808 markings, 118253714 edges, 175257 markings/sec, 255 secs
lola: 53124581 markings, 120372721 edges, 174355 markings/sec, 260 secs
lola: 53999711 markings, 122481426 edges, 175026 markings/sec, 265 secs
lola: 54875162 markings, 124586044 edges, 175090 markings/sec, 270 secs
lola: 55737612 markings, 126687520 edges, 172490 markings/sec, 275 secs
lola: 56599661 markings, 128785889 edges, 172410 markings/sec, 280 secs
lola: 57461241 markings, 130884019 edges, 172316 markings/sec, 285 secs
lola: 58321610 markings, 132974905 edges, 172074 markings/sec, 290 secs
lola: 59172955 markings, 135053187 edges, 170269 markings/sec, 295 secs
lola: 60029456 markings, 137145662 edges, 171300 markings/sec, 300 secs
lola: 60883850 markings, 139232333 edges, 170879 markings/sec, 305 secs
lola: 61731357 markings, 141313982 edges, 169501 markings/sec, 310 secs
lola: 62573084 markings, 143394028 edges, 168345 markings/sec, 315 secs
lola: 63422422 markings, 145488665 edges, 169868 markings/sec, 320 secs
lola: 64262234 markings, 147567342 edges, 167962 markings/sec, 325 secs
lola: 65101486 markings, 149641246 edges, 167850 markings/sec, 330 secs
lola: 65948075 markings, 151721966 edges, 169318 markings/sec, 335 secs
lola: 66788722 markings, 153791036 edges, 168129 markings/sec, 340 secs
lola: 67617974 markings, 155855350 edges, 165850 markings/sec, 345 secs
lola: 68454144 markings, 157915144 edges, 167234 markings/sec, 350 secs
lola: 69287084 markings, 159978054 edges, 166588 markings/sec, 355 secs
lola: 70122669 markings, 162038346 edges, 167117 markings/sec, 360 secs
lola: 70961435 markings, 164105904 edges, 167753 markings/sec, 365 secs
lola: 71800756 markings, 166165236 edges, 167864 markings/sec, 370 secs
lola: 72624174 markings, 168222130 edges, 164684 markings/sec, 375 secs
lola: 73447920 markings, 170277447 edges, 164749 markings/sec, 380 secs
lola: 74265878 markings, 172325651 edges, 163592 markings/sec, 385 secs
lola: 75083257 markings, 174372631 edges, 163476 markings/sec, 390 secs
lola: 75915979 markings, 176433514 edges, 166544 markings/sec, 395 secs
lola: 76745381 markings, 178489517 edges, 165880 markings/sec, 400 secs
lola: 77572857 markings, 180541589 edges, 165495 markings/sec, 405 secs
lola: 78391130 markings, 182584255 edges, 163655 markings/sec, 410 secs
lola: 79203432 markings, 184638939 edges, 162460 markings/sec, 415 secs
lola: 80013149 markings, 186667902 edges, 161943 markings/sec, 420 secs
lola: 80812627 markings, 188675221 edges, 159896 markings/sec, 425 secs
lola: 81610342 markings, 190668561 edges, 159543 markings/sec, 430 secs
lola: 82419078 markings, 192685822 edges, 161747 markings/sec, 435 secs
lola: 83187513 markings, 194622027 edges, 153687 markings/sec, 440 secs
lola: 83968215 markings, 196581164 edges, 156140 markings/sec, 445 secs
lola: 84750542 markings, 198555124 edges, 156465 markings/sec, 450 secs
lola: 85560176 markings, 200594647 edges, 161927 markings/sec, 455 secs
lola: 86362577 markings, 202622080 edges, 160480 markings/sec, 460 secs
lola: 87167403 markings, 204649288 edges, 160965 markings/sec, 465 secs
lola: 87972192 markings, 206676517 edges, 160958 markings/sec, 470 secs
lola: 88817035 markings, 208808483 edges, 168969 markings/sec, 475 secs
lola: 89688420 markings, 211005482 edges, 174277 markings/sec, 480 secs
lola: 90565150 markings, 213221583 edges, 175346 markings/sec, 485 secs
lola: 91432181 markings, 215420606 edges, 173406 markings/sec, 490 secs
lola: 92294817 markings, 217614947 edges, 172527 markings/sec, 495 secs
lola: 93167286 markings, 219817666 edges, 174494 markings/sec, 500 secs
lola: 94034099 markings, 222022490 edges, 173363 markings/sec, 505 secs
lola: 94885550 markings, 224203862 edges, 170290 markings/sec, 510 secs
lola: 95747032 markings, 226404464 edges, 172296 markings/sec, 515 secs
lola: 96618372 markings, 228617834 edges, 174268 markings/sec, 520 secs
lola: 97491557 markings, 230836797 edges, 174637 markings/sec, 525 secs
lola: 98362307 markings, 233062704 edges, 174150 markings/sec, 530 secs
lola: 99235290 markings, 235286275 edges, 174597 markings/sec, 535 secs
lola: 100104466 markings, 237500537 edges, 173835 markings/sec, 540 secs
lola: 100959226 markings, 239713551 edges, 170952 markings/sec, 545 secs
lola: 101817337 markings, 241925138 edges, 171622 markings/sec, 550 secs
lola: 102664033 markings, 244132134 edges, 169339 markings/sec, 555 secs
lola: 103509513 markings, 246316997 edges, 169096 markings/sec, 560 secs
lola: 104360113 markings, 248513687 edges, 170120 markings/sec, 565 secs
lola: 105213235 markings, 250712668 edges, 170624 markings/sec, 570 secs
lola: 106055255 markings, 252897449 edges, 168404 markings/sec, 575 secs
lola: 106910340 markings, 255090381 edges, 171017 markings/sec, 580 secs
lola: 107669329 markings, 257056110 edges, 151798 markings/sec, 585 secs
lola: 108432144 markings, 259033416 edges, 152563 markings/sec, 590 secs
lola: 109184869 markings, 260987397 edges, 150545 markings/sec, 595 secs
lola: 109939847 markings, 262947863 edges, 150996 markings/sec, 600 secs
lola: 110702871 markings, 264914810 edges, 152605 markings/sec, 605 secs
lola: 111448828 markings, 266857317 edges, 149191 markings/sec, 610 secs
lola: 112206092 markings, 268818753 edges, 151453 markings/sec, 615 secs
lola: 112951823 markings, 270765818 edges, 149146 markings/sec, 620 secs
lola: 113720591 markings, 272755626 edges, 153754 markings/sec, 625 secs
lola: 114484414 markings, 274742147 edges, 152765 markings/sec, 630 secs
lola: 115249849 markings, 276716089 edges, 153087 markings/sec, 635 secs
lola: 116014798 markings, 278699492 edges, 152990 markings/sec, 640 secs
lola: 116772869 markings, 280679738 edges, 151614 markings/sec, 645 secs
lola: 117533928 markings, 282654117 edges, 152212 markings/sec, 650 secs
lola: 118296512 markings, 284624198 edges, 152517 markings/sec, 655 secs
lola: 119052933 markings, 286591982 edges, 151284 markings/sec, 660 secs
lola: 119815607 markings, 288572228 edges, 152535 markings/sec, 665 secs
lola: 120575146 markings, 290553799 edges, 151908 markings/sec, 670 secs
lola: 121328024 markings, 292520717 edges, 150576 markings/sec, 675 secs
lola: 122097292 markings, 294498398 edges, 153854 markings/sec, 680 secs
lola: 122838530 markings, 296446576 edges, 148248 markings/sec, 685 secs
lola: 123590630 markings, 298416559 edges, 150420 markings/sec, 690 secs
lola: 124343671 markings, 300386024 edges, 150608 markings/sec, 695 secs
lola: 125092984 markings, 302329281 edges, 149863 markings/sec, 700 secs
lola: 125832721 markings, 304284699 edges, 147947 markings/sec, 705 secs
lola: 126582044 markings, 306246179 edges, 149865 markings/sec, 710 secs
lola: 127326043 markings, 308207309 edges, 148800 markings/sec, 715 secs
lola: 128073081 markings, 310159901 edges, 149408 markings/sec, 720 secs
lola: 128818041 markings, 312112973 edges, 148992 markings/sec, 725 secs
lola: 129571348 markings, 314077777 edges, 150661 markings/sec, 730 secs
lola: 130305123 markings, 316009777 edges, 146755 markings/sec, 735 secs
lola: 131049496 markings, 317948130 edges, 148875 markings/sec, 740 secs
lola: 131792233 markings, 319896715 edges, 148547 markings/sec, 745 secs
lola: 132525934 markings, 321844421 edges, 146740 markings/sec, 750 secs
lola: 133264181 markings, 323788257 edges, 147649 markings/sec, 755 secs
lola: 134005528 markings, 325726982 edges, 148269 markings/sec, 760 secs
lola: 134738863 markings, 327674295 edges, 146667 markings/sec, 765 secs
lola: 135483858 markings, 329619466 edges, 148999 markings/sec, 770 secs
lola: 136244407 markings, 331591736 edges, 152110 markings/sec, 775 secs
lola: 136981345 markings, 333539195 edges, 147388 markings/sec, 780 secs
lola: 137716330 markings, 335475492 edges, 146997 markings/sec, 785 secs
lola: 138447906 markings, 337415822 edges, 146315 markings/sec, 790 secs
lola: 139182923 markings, 339356088 edges, 147003 markings/sec, 795 secs
lola: 139984758 markings, 341468295 edges, 160367 markings/sec, 800 secs
lola: 140791122 markings, 343594777 edges, 161273 markings/sec, 805 secs
lola: 141515749 markings, 345514247 edges, 144925 markings/sec, 810 secs
lola: 142249881 markings, 347462755 edges, 146826 markings/sec, 815 secs
lola: 142972548 markings, 349396818 edges, 144533 markings/sec, 820 secs
lola: 143696987 markings, 351325970 edges, 144888 markings/sec, 825 secs
lola: 144418713 markings, 353248707 edges, 144345 markings/sec, 830 secs
lola: 145159642 markings, 355207627 edges, 148186 markings/sec, 835 secs
lola: 145883824 markings, 357129352 edges, 144836 markings/sec, 840 secs
lola: 146604608 markings, 359052748 edges, 144157 markings/sec, 845 secs
lola: 147334830 markings, 360981608 edges, 146044 markings/sec, 850 secs
lola: 148074639 markings, 362929859 edges, 147962 markings/sec, 855 secs
lola: 148807249 markings, 364867780 edges, 146522 markings/sec, 860 secs
lola: 149531002 markings, 366791402 edges, 144751 markings/sec, 865 secs
lola: 150260976 markings, 368720905 edges, 145995 markings/sec, 870 secs
lola: 150986268 markings, 370651327 edges, 145058 markings/sec, 875 secs
lola: 151715394 markings, 372589542 edges, 145825 markings/sec, 880 secs
lola: 152436680 markings, 374506765 edges, 144257 markings/sec, 885 secs
lola: 153153374 markings, 376423517 edges, 143339 markings/sec, 890 secs
lola: 153871122 markings, 378327151 edges, 143550 markings/sec, 895 secs
lola: 154579987 markings, 380232251 edges, 141773 markings/sec, 900 secs
lola: 155304204 markings, 382151351 edges, 144843 markings/sec, 905 secs
lola: 156012777 markings, 384041780 edges, 141715 markings/sec, 910 secs
lola: 156721282 markings, 385934195 edges, 141701 markings/sec, 915 secs
lola: 157419185 markings, 387812550 edges, 139581 markings/sec, 920 secs
lola: 158126496 markings, 389720787 edges, 141462 markings/sec, 925 secs
lola: 158832564 markings, 391627056 edges, 141214 markings/sec, 930 secs
lola: 159537873 markings, 393511256 edges, 141062 markings/sec, 935 secs
lola: 160244151 markings, 395413429 edges, 141256 markings/sec, 940 secs
lola: 160939997 markings, 397289970 edges, 139169 markings/sec, 945 secs
lola: 161646904 markings, 399190843 edges, 141381 markings/sec, 950 secs
lola: 162348018 markings, 401081012 edges, 140223 markings/sec, 955 secs
lola: 163069679 markings, 402983082 edges, 144332 markings/sec, 960 secs
lola: 163773007 markings, 404877292 edges, 140666 markings/sec, 965 secs
lola: 164482663 markings, 406784283 edges, 141931 markings/sec, 970 secs
lola: 165192824 markings, 408681047 edges, 142032 markings/sec, 975 secs
lola: 165903345 markings, 410582243 edges, 142104 markings/sec, 980 secs
lola: 166604270 markings, 412475379 edges, 140185 markings/sec, 985 secs
lola: 167312399 markings, 414388579 edges, 141626 markings/sec, 990 secs
lola: 168014030 markings, 416298620 edges, 140326 markings/sec, 995 secs
lola: 168729892 markings, 418211741 edges, 143172 markings/sec, 1000 secs
lola: 169437537 markings, 420121206 edges, 141529 markings/sec, 1005 secs
lola: 170145332 markings, 422024572 edges, 141559 markings/sec, 1010 secs
lola: 170846736 markings, 423918474 edges, 140281 markings/sec, 1015 secs
lola: 171552228 markings, 425828739 edges, 141098 markings/sec, 1020 secs
lola: 172266729 markings, 427756637 edges, 142900 markings/sec, 1025 secs
lola: 172971359 markings, 429656372 edges, 140926 markings/sec, 1030 secs
lola: 173671140 markings, 431553184 edges, 139956 markings/sec, 1035 secs
lola: 174387907 markings, 433477950 edges, 143353 markings/sec, 1040 secs
lola: 175099822 markings, 435400095 edges, 142383 markings/sec, 1045 secs
lola: 175793649 markings, 437303893 edges, 138765 markings/sec, 1050 secs
lola: 176504458 markings, 439211067 edges, 142162 markings/sec, 1055 secs
lola: 177208751 markings, 441105632 edges, 140859 markings/sec, 1060 secs
lola: 177909648 markings, 443002058 edges, 140179 markings/sec, 1065 secs
lola: 178569467 markings, 444774801 edges, 131964 markings/sec, 1070 secs
lola: 179150452 markings, 446348352 edges, 116197 markings/sec, 1075 secs
lola: 179843103 markings, 448222623 edges, 138530 markings/sec, 1080 secs
lola: 180532926 markings, 450092098 edges, 137965 markings/sec, 1085 secs
lola: 181153224 markings, 451775920 edges, 124060 markings/sec, 1090 secs
lola: 181914826 markings, 453827967 edges, 152320 markings/sec, 1095 secs
lola: 182502602 markings, 455440132 edges, 117555 markings/sec, 1100 secs
lola: 183060177 markings, 456934097 edges, 111515 markings/sec, 1105 secs
lola: 183694531 markings, 458641290 edges, 126871 markings/sec, 1110 secs
lola: 184327626 markings, 460363181 edges, 126619 markings/sec, 1115 secs
lola: 184906652 markings, 461920808 edges, 115805 markings/sec, 1120 secs
lola: 185608121 markings, 463835260 edges, 140294 markings/sec, 1125 secs
lola: 186272399 markings, 465628983 edges, 132856 markings/sec, 1130 secs
lola: 187001972 markings, 467621893 edges, 145915 markings/sec, 1135 secs
lola: 187663710 markings, 469414462 edges, 132348 markings/sec, 1140 secs
lola: 188357211 markings, 471317514 edges, 138700 markings/sec, 1145 secs
lola: 189008005 markings, 473096959 edges, 130159 markings/sec, 1150 secs
lola: 189688852 markings, 474953524 edges, 136169 markings/sec, 1155 secs
lola: 190366433 markings, 476809825 edges, 135516 markings/sec, 1160 secs
lola: 191092797 markings, 478797561 edges, 145273 markings/sec, 1165 secs
lola: 191707610 markings, 480462792 edges, 122963 markings/sec, 1170 secs
lola: 192433153 markings, 482438023 edges, 145109 markings/sec, 1175 secs
lola: 193103919 markings, 484266551 edges, 134153 markings/sec, 1180 secs
lola: 193783668 markings, 486109388 edges, 135950 markings/sec, 1185 secs
lola: 194403805 markings, 487801318 edges, 124027 markings/sec, 1190 secs
lola: 195074490 markings, 489630554 edges, 134137 markings/sec, 1195 secs
lola: 195757233 markings, 491507082 edges, 136549 markings/sec, 1200 secs
lola: 196511627 markings, 493537658 edges, 150879 markings/sec, 1205 secs
lola: 197244940 markings, 495542139 edges, 146663 markings/sec, 1210 secs
lola: 197982194 markings, 497552593 edges, 147451 markings/sec, 1215 secs
lola: 198629721 markings, 499327881 edges, 129505 markings/sec, 1220 secs
lola: 199330313 markings, 501243127 edges, 140118 markings/sec, 1225 secs
lola: 199982230 markings, 503027318 edges, 130383 markings/sec, 1230 secs
lola: 200696202 markings, 504998620 edges, 142794 markings/sec, 1235 secs
lola: 201427442 markings, 507013008 edges, 146248 markings/sec, 1240 secs
lola: 202167712 markings, 509037660 edges, 148054 markings/sec, 1245 secs
lola: 202911438 markings, 511070795 edges, 148745 markings/sec, 1250 secs
lola: 203599709 markings, 512959834 edges, 137654 markings/sec, 1255 secs
lola: 204176647 markings, 514553256 edges, 115388 markings/sec, 1260 secs
lola: 204901155 markings, 516547005 edges, 144902 markings/sec, 1265 secs
lola: 205607103 markings, 518486173 edges, 141190 markings/sec, 1270 secs
lola: 206292863 markings, 520369707 edges, 137152 markings/sec, 1275 secs
lola: 207019797 markings, 522384407 edges, 145387 markings/sec, 1280 secs
lola: 207745501 markings, 524412161 edges, 145141 markings/sec, 1285 secs
lola: 208415640 markings, 526241878 edges, 134028 markings/sec, 1290 secs
lola: 209088097 markings, 528097767 edges, 134491 markings/sec, 1295 secs
lola: 209827978 markings, 530119006 edges, 147976 markings/sec, 1300 secs
lola: time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 10 unknown 10 10 10 10 10 10 10
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 10 unknown 10 10 10 10 10 10 10
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 10 unknown 10 10 10 10 10 10 10
lola: memory consumption: 688 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="Angiogenesis-PT-10"
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 Angiogenesis-PT-10, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787600333"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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