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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 4.5K 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 4.1K Apr 28 14:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 28 14:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 28 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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.7K 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-50-UpperBounds-00
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-09
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591443611018

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 11:40:13] [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 11:40:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 11:40:13] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2020-06-06 11:40:13] [INFO ] Transformed 39 places.
[2020-06-06 11:40:13] [INFO ] Transformed 64 transitions.
[2020-06-06 11:40:13] [INFO ] Parsed PT model containing 39 places and 64 transitions in 107 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 16 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 11:40:13] [INFO ] Flatten gal took : 48 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 64 rows 39 cols
[2020-06-06 11:40:14] [INFO ] Computed 8 place invariants in 7 ms
Support contains 14 out of 39 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 39/39 places, 64/64 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -3
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 37 transition count 67
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 7 place count 37 transition count 64
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 1 with 4 rules applied. Total rules applied 11 place count 37 transition count 60
Reduce places removed 4 places and 0 transitions.
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 19 place count 33 transition count 56
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 20 place count 33 transition count 55
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 21 place count 32 transition count 55
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 22 place count 32 transition count 55
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 3 with 4 rules applied. Total rules applied 26 place count 32 transition count 51
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 3 with 2 rules applied. Total rules applied 28 place count 32 transition count 49
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 30 place count 30 transition count 49
Applied a total of 30 rules in 39 ms. Remains 30 /39 variables (removed 9) and now considering 49/64 (removed 15) transitions.
Finished structural reductions, in 1 iterations. Remains : 30/39 places, 49/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 )
[2020-06-06 11:40:14] [INFO ] Flow matrix only has 48 transitions (discarded 1 similar events)
// Phase 1: matrix 48 rows 30 cols
[2020-06-06 11:40:14] [INFO ] Computed 8 place invariants in 2 ms
Support contains 14 out of 30 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 30/30 places, 49/49 transitions.
Applied a total of 0 rules in 2 ms. Remains 30 /30 variables (removed 0) and now considering 49/49 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 30/30 places, 49/49 transitions.
Starting structural reductions, iteration 0 : 30/30 places, 49/49 transitions.
Applied a total of 0 rules in 2 ms. Remains 30 /30 variables (removed 0) and now considering 49/49 (removed 0) transitions.
[2020-06-06 11:40:14] [INFO ] Flow matrix only has 48 transitions (discarded 1 similar events)
// Phase 1: matrix 48 rows 30 cols
[2020-06-06 11:40:14] [INFO ] Computed 8 place invariants in 2 ms
[2020-06-06 11:40:14] [INFO ] Implicit Places using invariants in 134 ms returned [24, 26]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 139 ms to find 2 implicit places.
[2020-06-06 11:40:14] [INFO ] Redundant transitions in 17 ms returned []
[2020-06-06 11:40:14] [INFO ] Flow matrix only has 48 transitions (discarded 1 similar events)
// Phase 1: matrix 48 rows 28 cols
[2020-06-06 11:40:14] [INFO ] Computed 6 place invariants in 1 ms
[2020-06-06 11:40:14] [INFO ] Dead Transitions using invariants and state equation in 91 ms returned []
Starting structural reductions, iteration 1 : 28/30 places, 49/49 transitions.
Applied a total of 0 rules in 3 ms. Remains 28 /28 variables (removed 0) and now considering 49/49 (removed 0) transitions.
[2020-06-06 11:40:14] [INFO ] Redundant transitions in 14 ms returned []
[2020-06-06 11:40:14] [INFO ] Flow matrix only has 48 transitions (discarded 1 similar events)
// Phase 1: matrix 48 rows 28 cols
[2020-06-06 11:40:14] [INFO ] Computed 6 place invariants in 2 ms
[2020-06-06 11:40:14] [INFO ] Dead Transitions using invariants and state equation in 83 ms returned []
Finished structural reductions, in 2 iterations. Remains : 28/30 places, 49/49 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 )
[2020-06-06 11:40:14] [INFO ] Flow matrix only has 48 transitions (discarded 1 similar events)
// Phase 1: matrix 48 rows 28 cols
[2020-06-06 11:40:14] [INFO ] Computed 6 place invariants in 1 ms
Support contains 14 out of 28 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 28/28 places, 49/49 transitions.
Applied a total of 0 rules in 3 ms. Remains 28 /28 variables (removed 0) and now considering 49/49 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 28/28 places, 49/49 transitions.
Starting structural reductions, iteration 0 : 28/28 places, 49/49 transitions.
Applied a total of 0 rules in 4 ms. Remains 28 /28 variables (removed 0) and now considering 49/49 (removed 0) transitions.
[2020-06-06 11:40:14] [INFO ] Flow matrix only has 48 transitions (discarded 1 similar events)
// Phase 1: matrix 48 rows 28 cols
[2020-06-06 11:40:14] [INFO ] Computed 6 place invariants in 1 ms
[2020-06-06 11:40:14] [INFO ] Implicit Places using invariants in 35 ms returned []
[2020-06-06 11:40:14] [INFO ] Flow matrix only has 48 transitions (discarded 1 similar events)
// Phase 1: matrix 48 rows 28 cols
[2020-06-06 11:40:14] [INFO ] Computed 6 place invariants in 2 ms
[2020-06-06 11:40:14] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-06-06 11:40:14] [INFO ] Implicit Places using invariants and state equation in 70 ms returned []
Implicit Place search using SMT with State Equation took 107 ms to find 0 implicit places.
[2020-06-06 11:40:14] [INFO ] Redundant transitions in 7 ms returned []
[2020-06-06 11:40:14] [INFO ] Flow matrix only has 48 transitions (discarded 1 similar events)
// Phase 1: matrix 48 rows 28 cols
[2020-06-06 11:40:14] [INFO ] Computed 6 place invariants in 1 ms
[2020-06-06 11:40:14] [INFO ] Dead Transitions using invariants and state equation in 92 ms returned []
Finished structural reductions, in 1 iterations. Remains : 28/28 places, 49/49 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 28 transition count 48
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 1 with 1 rules applied. Total rules applied 2 place count 28 transition count 47
Applied a total of 2 rules in 8 ms. Remains 28 /28 variables (removed 0) and now considering 47/49 (removed 2) transitions.
// Phase 1: matrix 47 rows 28 cols
[2020-06-06 11:40:14] [INFO ] Computed 6 place invariants in 0 ms
[2020-06-06 11:40:14] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2020-06-06 11:40:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 3 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Angiogenesis-PT-50 @ 3570 seconds

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

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

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

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

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

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

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

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

FORMULA Angiogenesis-PT-50-UpperBounds-13 50 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-50

{
"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 11:40:15 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(p4)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 149,
"markings": 101,
"produced_by": "search",
"value": 50
},
"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(p27)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 271,
"markings": 200,
"produced_by": "search",
"value": 25
},
"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(p4)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 149,
"markings": 101,
"produced_by": "search",
"value": 50
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 275
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p5)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 50
},
"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": 306
},
"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": 202,
"markings": 154,
"produced_by": "search",
"value": 50
},
"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": 344
},
"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(p25)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 50,
"markings": 51,
"produced_by": "search",
"value": 50
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 394
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p2)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 105,
"markings": 106,
"produced_by": "search",
"value": 50
},
"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": 473
},
"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(p12)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 50,
"markings": 51,
"produced_by": "search",
"value": 50
},
"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": 630
},
"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": 50,
"markings": 51,
"produced_by": "search",
"value": 50
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 10192148,
"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": 143,
"conflict_clusters": 11,
"places": 28,
"places_significant": 22,
"singleton_clusters": 0,
"transitions": 49
},
"result":
{
"interim_value": "50 25 unknown 50 unknown unknown 50 50 50 unknown 50 unknown 50 50 unknown unknown ",
"preliminary_value": "50 25 unknown 50 unknown unknown 50 50 50 unknown 50 unknown 50 50 unknown unknown "
},
"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: 77/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 896
lola: finding significant places
lola: 28 places, 49 transitions, 22 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(p4) : MAX(p27) : MAX(p1) : MAX(p4) : MAX(p14) : MAX(p1) : MAX(p5) : MAX(p26) : MAX(p25) : MAX(p13) : MAX(p2) : MAX(p9) : MAX(p12) : MAX(p3) : MAX(p19) : MAX(p17)
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(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 149 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p27)
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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 200 markings, 271 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2174728 markings, 3861728 edges, 434946 markings/sec, 0 secs
lola: 4193875 markings, 7483093 edges, 403829 markings/sec, 5 secs
lola: 6220151 markings, 11099331 edges, 405255 markings/sec, 10 secs
lola: 8043024 markings, 14372887 edges, 364575 markings/sec, 15 secs
lola: 10093630 markings, 18050192 edges, 410121 markings/sec, 20 secs
lola: 12182994 markings, 21799832 edges, 417873 markings/sec, 25 secs
lola: 14234948 markings, 25493921 edges, 410391 markings/sec, 30 secs
lola: 16288011 markings, 29204689 edges, 410613 markings/sec, 35 secs
lola: 18279520 markings, 32825066 edges, 398302 markings/sec, 40 secs
lola: 20225138 markings, 36382700 edges, 389124 markings/sec, 45 secs
lola: 22113920 markings, 39858483 edges, 377756 markings/sec, 50 secs
lola: 23993333 markings, 43302106 edges, 375883 markings/sec, 55 secs
lola: 25853770 markings, 46720187 edges, 372087 markings/sec, 60 secs
lola: 27664238 markings, 50072664 edges, 362094 markings/sec, 65 secs
lola: 29467463 markings, 53413303 edges, 360645 markings/sec, 70 secs
lola: 31232841 markings, 56700166 edges, 353076 markings/sec, 75 secs
lola: 33000739 markings, 59994713 edges, 353580 markings/sec, 80 secs
lola: 34782050 markings, 63287572 edges, 356262 markings/sec, 85 secs
lola: 36529064 markings, 66534405 edges, 349403 markings/sec, 90 secs
lola: 38240806 markings, 69733855 edges, 342348 markings/sec, 95 secs
lola: 39949376 markings, 72927975 edges, 341714 markings/sec, 100 secs
lola: 41656171 markings, 76112995 edges, 341359 markings/sec, 105 secs
lola: 43309008 markings, 79220803 edges, 330567 markings/sec, 110 secs
lola: 45056675 markings, 82459115 edges, 349533 markings/sec, 115 secs
lola: 46730381 markings, 85602216 edges, 334741 markings/sec, 120 secs
lola: 48359271 markings, 88683394 edges, 325778 markings/sec, 125 secs
lola: 50022975 markings, 91800961 edges, 332741 markings/sec, 130 secs
lola: 51623022 markings, 94832407 edges, 320009 markings/sec, 135 secs
lola: 53277254 markings, 97938225 edges, 330846 markings/sec, 140 secs
lola: 54883442 markings, 100972743 edges, 321238 markings/sec, 145 secs
lola: 56497240 markings, 104018623 edges, 322760 markings/sec, 150 secs
lola: 58147633 markings, 107111683 edges, 330079 markings/sec, 155 secs
lola: 59748070 markings, 110131912 edges, 320087 markings/sec, 160 secs
lola: 61371916 markings, 113188792 edges, 324769 markings/sec, 165 secs
lola: 62967185 markings, 116204295 edges, 319054 markings/sec, 170 secs
lola: 64534834 markings, 119180307 edges, 313530 markings/sec, 175 secs
lola: 66104271 markings, 122149698 edges, 313887 markings/sec, 180 secs
lola: 67656063 markings, 125102860 edges, 310358 markings/sec, 185 secs
lola: 69353571 markings, 128256449 edges, 339502 markings/sec, 190 secs
lola: 70899495 markings, 131196164 edges, 309185 markings/sec, 195 secs
lola: 72454216 markings, 134152042 edges, 310944 markings/sec, 200 secs
lola: 73980007 markings, 137066798 edges, 305158 markings/sec, 205 secs
lola: 75496284 markings, 139966948 edges, 303255 markings/sec, 210 secs
lola: 77036887 markings, 142902958 edges, 308121 markings/sec, 215 secs
lola: 78552313 markings, 145805251 edges, 303085 markings/sec, 220 secs
lola: 80110987 markings, 148763943 edges, 311735 markings/sec, 225 secs
lola: 81679221 markings, 151734322 edges, 313647 markings/sec, 230 secs
lola: 83215564 markings, 154661986 edges, 307269 markings/sec, 235 secs
lola: 84762900 markings, 157607299 edges, 309467 markings/sec, 240 secs
lola: 86319447 markings, 160558904 edges, 311309 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 25 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7742672 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(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 149 edges
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 1592237 markings, 3677576 edges, 318447 markings/sec, 0 secs
lola: 3115404 markings, 7250576 edges, 304633 markings/sec, 5 secs
lola: 4589127 markings, 10810993 edges, 294745 markings/sec, 10 secs
lola: 6032603 markings, 14419635 edges, 288695 markings/sec, 15 secs
lola: 7359461 markings, 17825779 edges, 265372 markings/sec, 20 secs
lola: 8720968 markings, 21280723 edges, 272301 markings/sec, 25 secs
lola: 10070617 markings, 24752349 edges, 269930 markings/sec, 30 secs
lola: 11387674 markings, 28191014 edges, 263411 markings/sec, 35 secs
lola: 12688381 markings, 31586427 edges, 260141 markings/sec, 40 secs
lola: 13966709 markings, 34986234 edges, 255666 markings/sec, 45 secs
lola: 15232811 markings, 38358056 edges, 253220 markings/sec, 50 secs
lola: 16507294 markings, 41694263 edges, 254897 markings/sec, 55 secs
lola: 17675200 markings, 44765655 edges, 233581 markings/sec, 60 secs
lola: 18801555 markings, 47805242 edges, 225271 markings/sec, 65 secs
lola: 19867456 markings, 50636879 edges, 213180 markings/sec, 70 secs
lola: 20950909 markings, 53603082 edges, 216691 markings/sec, 75 secs
lola: 22093872 markings, 56703916 edges, 228593 markings/sec, 80 secs
lola: 23293426 markings, 59993851 edges, 239911 markings/sec, 85 secs
lola: 24389154 markings, 63018601 edges, 219146 markings/sec, 90 secs
lola: 25458323 markings, 65982825 edges, 213834 markings/sec, 95 secs
lola: 26537689 markings, 68890711 edges, 215873 markings/sec, 100 secs
lola: 27625049 markings, 71817757 edges, 217472 markings/sec, 105 secs
lola: 28725147 markings, 74745194 edges, 220020 markings/sec, 110 secs
lola: 29812889 markings, 77653518 edges, 217548 markings/sec, 115 secs
lola: 30905911 markings, 80559242 edges, 218604 markings/sec, 120 secs
lola: 31980253 markings, 83464849 edges, 214868 markings/sec, 125 secs
lola: 33062337 markings, 86394143 edges, 216417 markings/sec, 130 secs
lola: 34097192 markings, 89278502 edges, 206971 markings/sec, 135 secs
lola: 35154403 markings, 92169309 edges, 211442 markings/sec, 140 secs
lola: 36161835 markings, 95034191 edges, 201486 markings/sec, 145 secs
lola: 37224768 markings, 97909091 edges, 212587 markings/sec, 150 secs
lola: 38255225 markings, 100757773 edges, 206091 markings/sec, 155 secs
lola: 39319864 markings, 103654843 edges, 212928 markings/sec, 160 secs
lola: 40337762 markings, 106495113 edges, 203580 markings/sec, 165 secs
lola: 41355036 markings, 109348026 edges, 203455 markings/sec, 170 secs
lola: 42436512 markings, 112221356 edges, 216295 markings/sec, 175 secs
lola: 43479339 markings, 115064244 edges, 208565 markings/sec, 180 secs
lola: 44500650 markings, 117874601 edges, 204262 markings/sec, 185 secs
lola: 45554666 markings, 120739350 edges, 210803 markings/sec, 190 secs
lola: 46556598 markings, 123557189 edges, 200386 markings/sec, 195 secs
lola: 47584564 markings, 126388468 edges, 205593 markings/sec, 200 secs
lola: 48586151 markings, 129192154 edges, 200317 markings/sec, 205 secs
lola: 49549659 markings, 131955922 edges, 192702 markings/sec, 210 secs
lola: 50522772 markings, 134726758 edges, 194623 markings/sec, 215 secs
lola: 51516712 markings, 137498375 edges, 198788 markings/sec, 220 secs
lola: 52516544 markings, 140296220 edges, 199966 markings/sec, 225 secs
lola: 53485218 markings, 143050604 edges, 193735 markings/sec, 230 secs
lola: 54486981 markings, 145795561 edges, 200353 markings/sec, 235 secs
lola: 55493153 markings, 148581613 edges, 201234 markings/sec, 240 secs
lola: 56472738 markings, 151344387 edges, 195917 markings/sec, 245 secs
lola: 57494600 markings, 154144518 edges, 204372 markings/sec, 250 secs
lola: 58492947 markings, 156937826 edges, 199669 markings/sec, 255 secs
lola: 59468030 markings, 159677396 edges, 195017 markings/sec, 260 secs
lola: 60450165 markings, 162416274 edges, 196427 markings/sec, 265 secs
lola: 61428259 markings, 165135742 edges, 195619 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 25 unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7306388 KB
lola: time consumption: 534 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(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2001555 markings, 3557398 edges, 400311 markings/sec, 0 secs
lola: 4073649 markings, 7265590 edges, 414419 markings/sec, 5 secs
lola: 6152374 markings, 10978097 edges, 415745 markings/sec, 10 secs
lola: 8170772 markings, 14601436 edges, 403680 markings/sec, 15 secs
lola: 10114347 markings, 18087331 edges, 388715 markings/sec, 20 secs
lola: 12112667 markings, 21673201 edges, 399664 markings/sec, 25 secs
lola: 14068224 markings, 25191758 edges, 391111 markings/sec, 30 secs
lola: 16000337 markings, 28682916 edges, 386423 markings/sec, 35 secs
lola: 17866771 markings, 32071388 edges, 373287 markings/sec, 40 secs
lola: 19661199 markings, 35354689 edges, 358886 markings/sec, 45 secs
lola: 21435988 markings, 38606779 edges, 354958 markings/sec, 50 secs
lola: 23159342 markings, 41787220 edges, 344671 markings/sec, 55 secs
lola: 24941243 markings, 45046389 edges, 356380 markings/sec, 60 secs
lola: 26781003 markings, 48431031 edges, 367952 markings/sec, 65 secs
lola: 28469759 markings, 51554607 edges, 337751 markings/sec, 70 secs
lola: 30113199 markings, 54605737 edges, 328688 markings/sec, 75 secs
lola: 31804778 markings, 57768405 edges, 338316 markings/sec, 80 secs
lola: 33560581 markings, 61031753 edges, 351161 markings/sec, 85 secs
lola: 35179571 markings, 64025622 edges, 323798 markings/sec, 90 secs
lola: 36900432 markings, 67230765 edges, 344172 markings/sec, 95 secs
lola: 38590554 markings, 70389264 edges, 338024 markings/sec, 100 secs
lola: 40329047 markings, 73620563 edges, 347699 markings/sec, 105 secs
lola: 42001859 markings, 76761565 edges, 334562 markings/sec, 110 secs
lola: 43642774 markings, 79851800 edges, 328183 markings/sec, 115 secs
lola: 45431494 markings, 83147666 edges, 357744 markings/sec, 120 secs
lola: 47055884 markings, 86219668 edges, 324878 markings/sec, 125 secs
lola: 48674089 markings, 89278377 edges, 323641 markings/sec, 130 secs
lola: 50342227 markings, 92407029 edges, 333628 markings/sec, 135 secs
lola: 51961288 markings, 95463181 edges, 323812 markings/sec, 140 secs
lola: 53582362 markings, 98521491 edges, 324215 markings/sec, 145 secs
lola: 55195666 markings, 101568400 edges, 322661 markings/sec, 150 secs
lola: 56835210 markings, 104650150 edges, 327909 markings/sec, 155 secs
lola: 58430198 markings, 107637147 edges, 318998 markings/sec, 160 secs
lola: 59899185 markings, 110416555 edges, 293797 markings/sec, 165 secs
lola: 61511674 markings, 113455076 edges, 322498 markings/sec, 170 secs
lola: 63113179 markings, 116481469 edges, 320301 markings/sec, 175 secs
lola: 64678029 markings, 119454344 edges, 312970 markings/sec, 180 secs
lola: 66260030 markings, 122442999 edges, 316400 markings/sec, 185 secs
lola: 67809484 markings, 125394418 edges, 309891 markings/sec, 190 secs
lola: 69519822 markings, 128571873 edges, 342068 markings/sec, 195 secs
lola: 71087883 markings, 131551715 edges, 313612 markings/sec, 200 secs
lola: 72639146 markings, 134511727 edges, 310253 markings/sec, 205 secs
lola: 74191544 markings, 137470457 edges, 310480 markings/sec, 210 secs
lola: 75725294 markings, 140395467 edges, 306750 markings/sec, 215 secs
lola: 77250799 markings, 143311068 edges, 305101 markings/sec, 220 secs
lola: 78764172 markings, 146215825 edges, 302675 markings/sec, 225 secs
lola: 80322449 markings, 149171000 edges, 311655 markings/sec, 230 secs
lola: 81908813 markings, 152170810 edges, 317273 markings/sec, 235 secs
lola: 83470590 markings, 155143931 edges, 312355 markings/sec, 240 secs
lola: 85012336 markings, 158078192 edges, 308349 markings/sec, 245 secs
lola: 86575064 markings, 161041291 edges, 312546 markings/sec, 250 secs
lola: 88266547 markings, 164184415 edges, 338297 markings/sec, 255 secs
lola: 89803864 markings, 167099973 edges, 307463 markings/sec, 260 secs
lola: 91301119 markings, 169967499 edges, 299451 markings/sec, 265 secs
lola: 92825452 markings, 172871566 edges, 304867 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 25 unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8231308 KB
lola: time consumption: 810 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 6 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 306 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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 154 markings, 202 edges
lola: ========================================
lola: subprocess 8 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p25)
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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================
lola: subprocess 9 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p13)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2295041 markings, 3685413 edges, 459008 markings/sec, 0 secs
lola: 4381108 markings, 7031476 edges, 417213 markings/sec, 5 secs
lola: 6369034 markings, 10214180 edges, 397585 markings/sec, 10 secs
lola: 8373904 markings, 13376248 edges, 400974 markings/sec, 15 secs
lola: 10308429 markings, 16467616 edges, 386905 markings/sec, 20 secs
lola: 12348152 markings, 19733050 edges, 407945 markings/sec, 25 secs
lola: 14476675 markings, 23022597 edges, 425705 markings/sec, 30 secs
lola: 16526290 markings, 26219371 edges, 409923 markings/sec, 35 secs
lola: 18386119 markings, 29096401 edges, 371966 markings/sec, 40 secs
lola: 20321163 markings, 32057111 edges, 387009 markings/sec, 45 secs
lola: 22208308 markings, 34979990 edges, 377429 markings/sec, 50 secs
lola: 24212258 markings, 38159214 edges, 400790 markings/sec, 55 secs
lola: 26280575 markings, 41357627 edges, 413663 markings/sec, 60 secs
lola: 28266252 markings, 44502429 edges, 397135 markings/sec, 65 secs
lola: 30250078 markings, 47621380 edges, 396765 markings/sec, 70 secs
lola: 32292666 markings, 50754612 edges, 408518 markings/sec, 75 secs
lola: 34331734 markings, 53878002 edges, 407814 markings/sec, 80 secs
lola: 36354053 markings, 56995058 edges, 404464 markings/sec, 85 secs
lola: 38332378 markings, 60099242 edges, 395665 markings/sec, 90 secs
lola: 40336348 markings, 63254843 edges, 400794 markings/sec, 95 secs
lola: 42311484 markings, 66292508 edges, 395027 markings/sec, 100 secs
lola: 44256237 markings, 69320852 edges, 388951 markings/sec, 105 secs
lola: 46233263 markings, 72367059 edges, 395405 markings/sec, 110 secs
lola: 48159735 markings, 75431039 edges, 385294 markings/sec, 115 secs
lola: 50162418 markings, 78525214 edges, 400537 markings/sec, 120 secs
lola: 52119690 markings, 81563273 edges, 391454 markings/sec, 125 secs
lola: 54066095 markings, 84565481 edges, 389281 markings/sec, 130 secs
lola: 56001322 markings, 87551609 edges, 387045 markings/sec, 135 secs
lola: 57929302 markings, 90547812 edges, 385596 markings/sec, 140 secs
lola: 59842279 markings, 93512269 edges, 382595 markings/sec, 145 secs
lola: 61751429 markings, 96481267 edges, 381830 markings/sec, 150 secs
lola: 63651041 markings, 99401693 edges, 379922 markings/sec, 155 secs
lola: 65550614 markings, 102340267 edges, 379915 markings/sec, 160 secs
lola: 67436476 markings, 105262987 edges, 377172 markings/sec, 165 secs
lola: 69311354 markings, 108178061 edges, 374976 markings/sec, 170 secs
lola: 71177705 markings, 111090052 edges, 373270 markings/sec, 175 secs
lola: 73049047 markings, 113982196 edges, 374268 markings/sec, 180 secs
lola: 74927906 markings, 116882428 edges, 375772 markings/sec, 185 secs
lola: 76795807 markings, 119770706 edges, 373580 markings/sec, 190 secs
lola: 78668592 markings, 122712646 edges, 374557 markings/sec, 195 secs
lola: 80527867 markings, 125592629 edges, 371855 markings/sec, 200 secs
lola: 82367545 markings, 128448303 edges, 367936 markings/sec, 205 secs
lola: 84209502 markings, 131338866 edges, 368391 markings/sec, 210 secs
lola: 86063168 markings, 134212919 edges, 370733 markings/sec, 215 secs
lola: 87911957 markings, 137103638 edges, 369758 markings/sec, 220 secs
lola: 89732849 markings, 139984096 edges, 364178 markings/sec, 225 secs
lola: 91549712 markings, 142828854 edges, 363373 markings/sec, 230 secs
lola: 93376452 markings, 145652269 edges, 365348 markings/sec, 235 secs
lola: 95182385 markings, 148468116 edges, 361187 markings/sec, 240 secs
lola: 96988705 markings, 151293472 edges, 361264 markings/sec, 245 secs
lola: 98809584 markings, 154108636 edges, 364176 markings/sec, 250 secs
lola: 100596970 markings, 156894355 edges, 357477 markings/sec, 255 secs
lola: 102408707 markings, 159692105 edges, 362347 markings/sec, 260 secs
lola: 104199427 markings, 162472829 edges, 358144 markings/sec, 265 secs
lola: 105981115 markings, 165247797 edges, 356338 markings/sec, 270 secs
lola: 107775463 markings, 168036457 edges, 358870 markings/sec, 275 secs
lola: 109571055 markings, 170821901 edges, 359118 markings/sec, 280 secs
lola: 111371319 markings, 173670910 edges, 360053 markings/sec, 285 secs
lola: 113194781 markings, 176537629 edges, 364692 markings/sec, 290 secs
lola: 114964137 markings, 179308751 edges, 353871 markings/sec, 295 secs
lola: 116754026 markings, 182087390 edges, 357978 markings/sec, 300 secs
lola: 118507819 markings, 184838106 edges, 350759 markings/sec, 305 secs
lola: 120268281 markings, 187578044 edges, 352092 markings/sec, 310 secs
lola: 121918063 markings, 190206737 edges, 329956 markings/sec, 315 secs
lola: 123685162 markings, 193007078 edges, 353420 markings/sec, 320 secs
lola: 125279471 markings, 195490199 edges, 318862 markings/sec, 325 secs
lola: 126761951 markings, 197826760 edges, 296496 markings/sec, 330 secs
lola: 128262257 markings, 200168776 edges, 300061 markings/sec, 335 secs
lola: 129779740 markings, 202527629 edges, 303497 markings/sec, 340 secs
lola: 131283366 markings, 204898279 edges, 300725 markings/sec, 345 secs
lola: 133064086 markings, 207683466 edges, 356144 markings/sec, 350 secs
lola: 134763592 markings, 210315377 edges, 339901 markings/sec, 355 secs
lola: 136285237 markings, 212681541 edges, 304329 markings/sec, 360 secs
lola: 137749033 markings, 214964489 edges, 292759 markings/sec, 365 secs
lola: 139466954 markings, 217659430 edges, 343584 markings/sec, 370 secs
lola: 141142337 markings, 220293769 edges, 335077 markings/sec, 375 secs
lola: 142831902 markings, 222937506 edges, 337913 markings/sec, 380 secs
lola: 144521109 markings, 225582604 edges, 337841 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 25 unknown 50 unknown unknown 50 50 50 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9209372 KB
lola: time consumption: 1205 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 106 markings, 105 edges
lola: ========================================
lola: subprocess 11 will run for 473 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: 50
lola: 1461410 markings, 3312050 edges, 292282 markings/sec, 0 secs
lola: 2855524 markings, 6616390 edges, 278823 markings/sec, 5 secs
lola: 4220885 markings, 9838089 edges, 273072 markings/sec, 10 secs
lola: 5522059 markings, 12960690 edges, 260235 markings/sec, 15 secs
lola: 6821900 markings, 16074630 edges, 259968 markings/sec, 20 secs
lola: 8056607 markings, 19073748 edges, 246941 markings/sec, 25 secs
lola: 9291525 markings, 22075317 edges, 246984 markings/sec, 30 secs
lola: 10507106 markings, 25041686 edges, 243116 markings/sec, 35 secs
lola: 11731977 markings, 28045601 edges, 244974 markings/sec, 40 secs
lola: 12947785 markings, 30976565 edges, 243162 markings/sec, 45 secs
lola: 14162559 markings, 33948061 edges, 242955 markings/sec, 50 secs
lola: 15344740 markings, 36856944 edges, 236436 markings/sec, 55 secs
lola: 16531363 markings, 39772668 edges, 237325 markings/sec, 60 secs
lola: 17712812 markings, 42663356 edges, 236290 markings/sec, 65 secs
lola: 18893868 markings, 45551521 edges, 236211 markings/sec, 70 secs
lola: 20049048 markings, 48370598 edges, 231036 markings/sec, 75 secs
lola: 21264444 markings, 51315338 edges, 243079 markings/sec, 80 secs
lola: 22416516 markings, 54190132 edges, 230414 markings/sec, 85 secs
lola: 23592905 markings, 57067494 edges, 235278 markings/sec, 90 secs
lola: 24718498 markings, 59864622 edges, 225119 markings/sec, 95 secs
lola: 25901182 markings, 62725352 edges, 236537 markings/sec, 100 secs
lola: 27026546 markings, 65513020 edges, 225073 markings/sec, 105 secs
lola: 28158455 markings, 68310865 edges, 226382 markings/sec, 110 secs
lola: 29265181 markings, 71056378 edges, 221345 markings/sec, 115 secs
lola: 30376451 markings, 73819395 edges, 222254 markings/sec, 120 secs
lola: 31589180 markings, 76833354 edges, 242546 markings/sec, 125 secs
lola: 32808343 markings, 79874742 edges, 243833 markings/sec, 130 secs
lola: 34003138 markings, 82883615 edges, 238959 markings/sec, 135 secs
lola: 35249649 markings, 85939936 edges, 249302 markings/sec, 140 secs
lola: 36499482 markings, 88968513 edges, 249967 markings/sec, 145 secs
lola: 37738183 markings, 91997981 edges, 247740 markings/sec, 150 secs
lola: 38941256 markings, 95013307 edges, 240615 markings/sec, 155 secs
lola: 40127388 markings, 97980220 edges, 237226 markings/sec, 160 secs
lola: 41339232 markings, 100991714 edges, 242369 markings/sec, 165 secs
lola: 42522278 markings, 103971410 edges, 236609 markings/sec, 170 secs
lola: 43699613 markings, 106940917 edges, 235467 markings/sec, 175 secs
lola: 44887508 markings, 109935786 edges, 237579 markings/sec, 180 secs
lola: 46073960 markings, 112913164 edges, 237290 markings/sec, 185 secs
lola: 47259321 markings, 115860887 edges, 237072 markings/sec, 190 secs
lola: 48434969 markings, 118807799 edges, 235130 markings/sec, 195 secs
lola: 49613549 markings, 121789780 edges, 235716 markings/sec, 200 secs
lola: 50802917 markings, 124782361 edges, 237874 markings/sec, 205 secs
lola: 51998572 markings, 127723245 edges, 239131 markings/sec, 210 secs
lola: 53157716 markings, 130603791 edges, 231829 markings/sec, 215 secs
lola: 54313497 markings, 133491980 edges, 231156 markings/sec, 220 secs
lola: 55472445 markings, 136336786 edges, 231790 markings/sec, 225 secs
lola: 56606998 markings, 139175168 edges, 226911 markings/sec, 230 secs
lola: 57700162 markings, 141875785 edges, 218633 markings/sec, 235 secs
lola: 58746131 markings, 144475946 edges, 209194 markings/sec, 240 secs
lola: 59800088 markings, 147085244 edges, 210791 markings/sec, 245 secs
lola: 61018554 markings, 150057014 edges, 243693 markings/sec, 250 secs
lola: 62166461 markings, 152914493 edges, 229581 markings/sec, 255 secs
lola: 63343208 markings, 155868858 edges, 235349 markings/sec, 260 secs
lola: 64379723 markings, 158487005 edges, 207303 markings/sec, 265 secs
lola: 65369510 markings, 160950645 edges, 197957 markings/sec, 270 secs
lola: 66526313 markings, 163893131 edges, 231361 markings/sec, 275 secs
lola: 67676035 markings, 166801557 edges, 229944 markings/sec, 280 secs
lola: 68808731 markings, 169630562 edges, 226539 markings/sec, 285 secs
lola: 69951509 markings, 172516369 edges, 228556 markings/sec, 290 secs
lola: 71101579 markings, 175383402 edges, 230014 markings/sec, 295 secs
lola: 72245367 markings, 178241669 edges, 228758 markings/sec, 300 secs
lola: 73403880 markings, 181145124 edges, 231703 markings/sec, 305 secs
lola: 74419318 markings, 183694548 edges, 203088 markings/sec, 310 secs
lola: 75468711 markings, 186322419 edges, 209879 markings/sec, 315 secs
lola: 76460297 markings, 188830287 edges, 198317 markings/sec, 320 secs
lola: 77476659 markings, 191372618 edges, 203272 markings/sec, 325 secs
lola: 78513261 markings, 193984541 edges, 207320 markings/sec, 330 secs
lola: 79560129 markings, 196618804 edges, 209374 markings/sec, 335 secs
lola: 80573568 markings, 199221419 edges, 202688 markings/sec, 340 secs
lola: 81589271 markings, 201758373 edges, 203141 markings/sec, 345 secs
lola: 82638988 markings, 204369882 edges, 209943 markings/sec, 350 secs
lola: 83572445 markings, 206728956 edges, 186691 markings/sec, 355 secs
lola: 84697285 markings, 209422616 edges, 224968 markings/sec, 360 secs
lola: 85838421 markings, 212301136 edges, 228227 markings/sec, 365 secs
lola: 86976695 markings, 215123862 edges, 227655 markings/sec, 370 secs
lola: 88107046 markings, 217920741 edges, 226070 markings/sec, 375 secs
lola: 89252992 markings, 220801119 edges, 229189 markings/sec, 380 secs
lola: 90410230 markings, 223699710 edges, 231448 markings/sec, 385 secs
lola: 91581462 markings, 226576155 edges, 234246 markings/sec, 390 secs
lola: 92700015 markings, 229398099 edges, 223711 markings/sec, 395 secs
lola: 93800283 markings, 232179887 edges, 220054 markings/sec, 400 secs
lola: 94932794 markings, 235001867 edges, 226502 markings/sec, 405 secs
lola: 96052182 markings, 237819289 edges, 223878 markings/sec, 410 secs
lola: 97145636 markings, 240507690 edges, 218691 markings/sec, 415 secs
lola: 98168822 markings, 243039870 edges, 204637 markings/sec, 420 secs
lola: 99137974 markings, 245472885 edges, 193830 markings/sec, 425 secs
lola: 100250064 markings, 248277127 edges, 222418 markings/sec, 430 secs
lola: 101256707 markings, 250841595 edges, 201329 markings/sec, 435 secs
lola: 102363654 markings, 253555218 edges, 221389 markings/sec, 440 secs
lola: 103339520 markings, 255999512 edges, 195173 markings/sec, 445 secs
lola: 104391913 markings, 258605048 edges, 210479 markings/sec, 450 secs
lola: 105398712 markings, 261162593 edges, 201360 markings/sec, 455 secs
lola: 106416062 markings, 263756696 edges, 203470 markings/sec, 460 secs
lola: 107420000 markings, 266299145 edges, 200788 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 25 unknown 50 unknown unknown 50 50 50 unknown 50 unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12)
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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================
lola: subprocess 13 will run for 630 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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================
lola: subprocess 14 will run for 946 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 1957599 markings, 3345880 edges, 391520 markings/sec, 0 secs
lola: 3677738 markings, 6381147 edges, 344028 markings/sec, 5 secs
lola: 5277788 markings, 9217694 edges, 320010 markings/sec, 10 secs
lola: 7003436 markings, 12278567 edges, 345130 markings/sec, 15 secs
lola: 8713081 markings, 15317856 edges, 341929 markings/sec, 20 secs
lola: 10393137 markings, 18308062 edges, 336011 markings/sec, 25 secs
lola: 12083128 markings, 21293671 edges, 337998 markings/sec, 30 secs
lola: 13684801 markings, 24149674 edges, 320335 markings/sec, 35 secs
lola: 15288115 markings, 27019578 edges, 320663 markings/sec, 40 secs
lola: 16923666 markings, 29952173 edges, 327110 markings/sec, 45 secs
lola: 18450412 markings, 32704809 edges, 305349 markings/sec, 50 secs
lola: 19986534 markings, 35449446 edges, 307224 markings/sec, 55 secs
lola: 21405506 markings, 37996520 edges, 283794 markings/sec, 60 secs
lola: 22884667 markings, 40653004 edges, 295832 markings/sec, 65 secs
lola: 24271737 markings, 43136056 edges, 277414 markings/sec, 70 secs
lola: 25875250 markings, 46012963 edges, 320703 markings/sec, 75 secs
lola: 27474418 markings, 48879035 edges, 319834 markings/sec, 80 secs
lola: 28961662 markings, 51565331 edges, 297449 markings/sec, 85 secs
lola: 30480116 markings, 54286309 edges, 303691 markings/sec, 90 secs
lola: 31973418 markings, 56973590 edges, 298660 markings/sec, 95 secs
lola: 33463822 markings, 59654042 edges, 298081 markings/sec, 100 secs
lola: 34947215 markings, 62323613 edges, 296679 markings/sec, 105 secs
lola: 36464253 markings, 65032536 edges, 303408 markings/sec, 110 secs
lola: 37957050 markings, 67708481 edges, 298559 markings/sec, 115 secs
lola: 39424602 markings, 70352248 edges, 293510 markings/sec, 120 secs
lola: 40890057 markings, 72995769 edges, 293091 markings/sec, 125 secs
lola: 42350925 markings, 75644508 edges, 292174 markings/sec, 130 secs
lola: 43833083 markings, 78318280 edges, 296432 markings/sec, 135 secs
lola: 45308624 markings, 80982391 edges, 295108 markings/sec, 140 secs
lola: 46766522 markings, 83618819 edges, 291580 markings/sec, 145 secs
lola: 48244958 markings, 86276559 edges, 295687 markings/sec, 150 secs
lola: 49698528 markings, 88906466 edges, 290714 markings/sec, 155 secs
lola: 51149123 markings, 91534866 edges, 290119 markings/sec, 160 secs
lola: 52668701 markings, 94274424 edges, 303916 markings/sec, 165 secs
lola: 54231083 markings, 97067257 edges, 312476 markings/sec, 170 secs
lola: 55591800 markings, 99526215 edges, 272143 markings/sec, 175 secs
lola: 57056780 markings, 102150458 edges, 292996 markings/sec, 180 secs
lola: 58503430 markings, 104766450 edges, 289330 markings/sec, 185 secs
lola: 59947525 markings, 107374554 edges, 288819 markings/sec, 190 secs
lola: 61407948 markings, 109999401 edges, 292085 markings/sec, 195 secs
lola: 62862099 markings, 112629210 edges, 290830 markings/sec, 200 secs
lola: 64344921 markings, 115312102 edges, 296564 markings/sec, 205 secs
lola: 65848564 markings, 118023881 edges, 300729 markings/sec, 210 secs
lola: 67344345 markings, 120728400 edges, 299156 markings/sec, 215 secs
lola: 68853187 markings, 123445626 edges, 301768 markings/sec, 220 secs
lola: 70349147 markings, 126152948 edges, 299192 markings/sec, 225 secs
lola: 71871508 markings, 128873132 edges, 304472 markings/sec, 230 secs
lola: 73370216 markings, 131584857 edges, 299742 markings/sec, 235 secs
lola: 74888083 markings, 134306387 edges, 303573 markings/sec, 240 secs
lola: 76385677 markings, 137017531 edges, 299519 markings/sec, 245 secs
lola: 77854996 markings, 139673158 edges, 293864 markings/sec, 250 secs
lola: 79331491 markings, 142354953 edges, 295299 markings/sec, 255 secs
lola: 80843619 markings, 145076729 edges, 302426 markings/sec, 260 secs
lola: 82344180 markings, 147786098 edges, 300112 markings/sec, 265 secs
lola: 83850685 markings, 150499370 edges, 301301 markings/sec, 270 secs
lola: 85367316 markings, 153236634 edges, 303326 markings/sec, 275 secs
lola: 86861511 markings, 155943830 edges, 298839 markings/sec, 280 secs
lola: 88338435 markings, 158627057 edges, 295385 markings/sec, 285 secs
lola: 89830101 markings, 161324918 edges, 298333 markings/sec, 290 secs
lola: 91321352 markings, 164023094 edges, 298250 markings/sec, 295 secs
lola: 92794671 markings, 166697927 edges, 294664 markings/sec, 300 secs
lola: 94244942 markings, 169330554 edges, 290054 markings/sec, 305 secs
lola: 95638488 markings, 171846137 edges, 278709 markings/sec, 310 secs
lola: 97023731 markings, 174362585 edges, 277049 markings/sec, 315 secs
lola: 98396454 markings, 176847485 edges, 274545 markings/sec, 320 secs
lola: 99822788 markings, 179415324 edges, 285267 markings/sec, 325 secs
lola: 101279933 markings, 182060869 edges, 291429 markings/sec, 330 secs
lola: 102746747 markings, 184712840 edges, 293363 markings/sec, 335 secs
lola: 104128604 markings, 187204732 edges, 276371 markings/sec, 340 secs
lola: 105502635 markings, 189697075 edges, 274806 markings/sec, 345 secs
lola: 106880955 markings, 192186012 edges, 275664 markings/sec, 350 secs
lola: 108262115 markings, 194685187 edges, 276232 markings/sec, 355 secs
lola: 109632663 markings, 197165049 edges, 274110 markings/sec, 360 secs
lola: 111099563 markings, 199814656 edges, 293380 markings/sec, 365 secs
lola: 112502174 markings, 202357233 edges, 280522 markings/sec, 370 secs
lola: 113965482 markings, 205003460 edges, 292662 markings/sec, 375 secs
lola: 115332785 markings, 207495818 edges, 273461 markings/sec, 380 secs
lola: 116698520 markings, 209976747 edges, 273147 markings/sec, 385 secs
lola: 118007648 markings, 212357018 edges, 261826 markings/sec, 390 secs
lola: 119439467 markings, 214969075 edges, 286364 markings/sec, 395 secs
lola: 120883755 markings, 217592043 edges, 288858 markings/sec, 400 secs
lola: 122341732 markings, 220221178 edges, 291595 markings/sec, 405 secs
lola: 123789401 markings, 222841315 edges, 289534 markings/sec, 410 secs
lola: 125248790 markings, 225463288 edges, 291878 markings/sec, 415 secs
lola: 126675945 markings, 228064061 edges, 285431 markings/sec, 420 secs
lola: 128096862 markings, 230643313 edges, 284183 markings/sec, 425 secs
lola: 129443780 markings, 233089677 edges, 269384 markings/sec, 430 secs
lola: 130720974 markings, 235399855 edges, 255439 markings/sec, 435 secs
lola: 131888476 markings, 237518629 edges, 233500 markings/sec, 440 secs
lola: 133151656 markings, 239792989 edges, 252636 markings/sec, 445 secs
lola: 134412896 markings, 242061955 edges, 252248 markings/sec, 450 secs
lola: 135372466 markings, 243791710 edges, 191914 markings/sec, 455 secs
lola: 136262109 markings, 245416564 edges, 177929 markings/sec, 460 secs
lola: 137513773 markings, 247678538 edges, 250333 markings/sec, 465 secs
lola: 138403562 markings, 249280916 edges, 177958 markings/sec, 470 secs
lola: 139398453 markings, 251088663 edges, 198978 markings/sec, 475 secs
lola: 140460560 markings, 252999927 edges, 212421 markings/sec, 480 secs
lola: 141764695 markings, 255380493 edges, 260827 markings/sec, 485 secs
lola: 142717040 markings, 257116382 edges, 190469 markings/sec, 490 secs
lola: 143886620 markings, 259229001 edges, 233916 markings/sec, 495 secs
lola: 144936942 markings, 261123384 edges, 210064 markings/sec, 500 secs
lola: 146128707 markings, 263264036 edges, 238353 markings/sec, 505 secs
lola: 147140226 markings, 265100414 edges, 202304 markings/sec, 510 secs
lola: 148465130 markings, 267497308 edges, 264981 markings/sec, 515 secs
lola: 149785754 markings, 269887321 edges, 264125 markings/sec, 520 secs
lola: 150757877 markings, 271637633 edges, 194425 markings/sec, 525 secs
lola: 152049407 markings, 273976242 edges, 258306 markings/sec, 530 secs
lola: 153049430 markings, 275783278 edges, 200005 markings/sec, 535 secs
lola: 154044180 markings, 277594973 edges, 198950 markings/sec, 540 secs
lola: 155093001 markings, 279498856 edges, 209764 markings/sec, 545 secs
lola: 156219435 markings, 281543043 edges, 225287 markings/sec, 550 secs
lola: 157413155 markings, 283720282 edges, 238744 markings/sec, 555 secs
lola: 158554929 markings, 285793683 edges, 228355 markings/sec, 560 secs
lola: 159577290 markings, 287654043 edges, 204472 markings/sec, 565 secs
lola: 160620755 markings, 289540626 edges, 208693 markings/sec, 570 secs
lola: 161639043 markings, 291377061 edges, 203658 markings/sec, 575 secs
lola: 161836398 markings, 291740633 edges, 39471 markings/sec, 580 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p17)
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: 50
lola: 1553072 markings, 3306502 edges, 310614 markings/sec, 0 secs
lola: 2958020 markings, 6379115 edges, 280990 markings/sec, 5 secs
lola: 4204592 markings, 9149524 edges, 249314 markings/sec, 10 secs
lola: 5583223 markings, 12223056 edges, 275726 markings/sec, 15 secs
lola: 6923240 markings, 15230784 edges, 268003 markings/sec, 20 secs
lola: 8226935 markings, 18172720 edges, 260739 markings/sec, 25 secs
lola: 9507088 markings, 21068762 edges, 256031 markings/sec, 30 secs
lola: 10775400 markings, 23960710 edges, 253662 markings/sec, 35 secs
lola: 12031679 markings, 26832410 edges, 251256 markings/sec, 40 secs
lola: 13215009 markings, 29560620 edges, 236666 markings/sec, 45 secs
lola: 14384729 markings, 32256885 edges, 233944 markings/sec, 50 secs
lola: 15561091 markings, 34959812 edges, 235272 markings/sec, 55 secs
lola: 16738669 markings, 37658053 edges, 235516 markings/sec, 60 secs
lola: 17876563 markings, 40282284 edges, 227579 markings/sec, 65 secs
lola: 19014220 markings, 42907739 edges, 227531 markings/sec, 70 secs
lola: 20141439 markings, 45503374 edges, 225444 markings/sec, 75 secs
lola: 21263875 markings, 48103699 edges, 224487 markings/sec, 80 secs
lola: 22350814 markings, 50631209 edges, 217388 markings/sec, 85 secs
lola: 23451522 markings, 53194937 edges, 220142 markings/sec, 90 secs
lola: 24542275 markings, 55737471 edges, 218151 markings/sec, 95 secs
lola: 25627393 markings, 58275734 edges, 217024 markings/sec, 100 secs
lola: 26725498 markings, 60844057 edges, 219621 markings/sec, 105 secs
lola: 27790124 markings, 63352854 edges, 212925 markings/sec, 110 secs
lola: 28868641 markings, 65892293 edges, 215703 markings/sec, 115 secs
lola: 29947621 markings, 68426681 edges, 215796 markings/sec, 120 secs
lola: 31029026 markings, 70975458 edges, 216281 markings/sec, 125 secs
lola: 32115602 markings, 73523740 edges, 217315 markings/sec, 130 secs
lola: 33177263 markings, 76031457 edges, 212332 markings/sec, 135 secs
lola: 34244416 markings, 78548873 edges, 213431 markings/sec, 140 secs
lola: 35314840 markings, 81080773 edges, 214085 markings/sec, 145 secs
lola: 36356603 markings, 83560349 edges, 208353 markings/sec, 150 secs
lola: 37410138 markings, 86059150 edges, 210707 markings/sec, 155 secs
lola: 38448151 markings, 88513599 edges, 207603 markings/sec, 160 secs
lola: 39510813 markings, 91017782 edges, 212532 markings/sec, 165 secs
lola: 40540917 markings, 93475101 edges, 206021 markings/sec, 170 secs
lola: 41573005 markings, 95931441 edges, 206418 markings/sec, 175 secs
lola: 42616043 markings, 98396939 edges, 208608 markings/sec, 180 secs
lola: 43657140 markings, 100865294 edges, 208219 markings/sec, 185 secs
lola: 44705174 markings, 103344227 edges, 209607 markings/sec, 190 secs
lola: 45722576 markings, 105757372 edges, 203480 markings/sec, 195 secs
lola: 46838934 markings, 108405422 edges, 223272 markings/sec, 200 secs
lola: 47951608 markings, 111054995 edges, 222535 markings/sec, 205 secs
lola: 49052234 markings, 113682436 edges, 220125 markings/sec, 210 secs
lola: 50143681 markings, 116287132 edges, 218289 markings/sec, 215 secs
lola: 51245196 markings, 118929557 edges, 220303 markings/sec, 220 secs
lola: 52338376 markings, 121544622 edges, 218636 markings/sec, 225 secs
lola: 53424808 markings, 124144120 edges, 217286 markings/sec, 230 secs
lola: 54503662 markings, 126736662 edges, 215771 markings/sec, 235 secs
lola: 55586076 markings, 129330157 edges, 216483 markings/sec, 240 secs
lola: 56663432 markings, 131910998 edges, 215471 markings/sec, 245 secs
lola: 57672238 markings, 134329968 edges, 201761 markings/sec, 250 secs
lola: 58670775 markings, 136723821 edges, 199707 markings/sec, 255 secs
lola: 59651271 markings, 139094448 edges, 196099 markings/sec, 260 secs
lola: 60650712 markings, 141489641 edges, 199888 markings/sec, 265 secs
lola: 61642854 markings, 143877661 edges, 198428 markings/sec, 270 secs
lola: 62614244 markings, 146223484 edges, 194278 markings/sec, 275 secs
lola: 63613823 markings, 148598291 edges, 199916 markings/sec, 280 secs
lola: 64582136 markings, 150920074 edges, 193663 markings/sec, 285 secs
lola: 65586151 markings, 153328770 edges, 200803 markings/sec, 290 secs
lola: 66595799 markings, 155752069 edges, 201930 markings/sec, 295 secs
lola: 67603245 markings, 158173768 edges, 201489 markings/sec, 300 secs
lola: 68596032 markings, 160549645 edges, 198557 markings/sec, 305 secs
lola: 69581144 markings, 162899833 edges, 197022 markings/sec, 310 secs
lola: 70576370 markings, 165283587 edges, 199045 markings/sec, 315 secs
lola: 71565703 markings, 167657427 edges, 197867 markings/sec, 320 secs
lola: 72551749 markings, 170028933 edges, 197209 markings/sec, 325 secs
lola: 73532255 markings, 172379247 edges, 196101 markings/sec, 330 secs
lola: 74512763 markings, 174747864 edges, 196102 markings/sec, 335 secs
lola: 75500018 markings, 177122160 edges, 197451 markings/sec, 340 secs
lola: 76469362 markings, 179470693 edges, 193869 markings/sec, 345 secs
lola: 77450403 markings, 181824252 edges, 196208 markings/sec, 350 secs
lola: 78429370 markings, 184175895 edges, 195793 markings/sec, 355 secs
lola: 79403975 markings, 186535019 edges, 194921 markings/sec, 360 secs
lola: 80374901 markings, 188864921 edges, 194185 markings/sec, 365 secs
lola: 81352516 markings, 191210487 edges, 195523 markings/sec, 370 secs
lola: 82318112 markings, 193553714 edges, 193119 markings/sec, 375 secs
lola: 83287735 markings, 195887396 edges, 193925 markings/sec, 380 secs
lola: 84254206 markings, 198213330 edges, 193294 markings/sec, 385 secs
lola: 85216781 markings, 200539396 edges, 192515 markings/sec, 390 secs
lola: 86188076 markings, 202886709 edges, 194259 markings/sec, 395 secs
lola: 87150480 markings, 205215409 edges, 192481 markings/sec, 400 secs
lola: 88111947 markings, 207537761 edges, 192293 markings/sec, 405 secs
lola: 89074043 markings, 209872511 edges, 192419 markings/sec, 410 secs
lola: 90030783 markings, 212192240 edges, 191348 markings/sec, 415 secs
lola: 91030083 markings, 214595273 edges, 199860 markings/sec, 420 secs
lola: 92011393 markings, 216972007 edges, 196262 markings/sec, 425 secs
lola: 92985624 markings, 219345490 edges, 194846 markings/sec, 430 secs
lola: 93972983 markings, 221717694 edges, 197472 markings/sec, 435 secs
lola: 94962668 markings, 224102722 edges, 197937 markings/sec, 440 secs
lola: 95959355 markings, 226497435 edges, 199337 markings/sec, 445 secs
lola: 96916521 markings, 228796666 edges, 191433 markings/sec, 450 secs
lola: 97976818 markings, 231374823 edges, 212059 markings/sec, 455 secs
lola: 99027740 markings, 233913854 edges, 210184 markings/sec, 460 secs
lola: 100070062 markings, 236438318 edges, 208464 markings/sec, 465 secs
lola: 101082876 markings, 238886329 edges, 202563 markings/sec, 470 secs
lola: 102059746 markings, 241254946 edges, 195374 markings/sec, 475 secs
lola: 103032180 markings, 243612549 edges, 194487 markings/sec, 480 secs
lola: 103999329 markings, 245966812 edges, 193430 markings/sec, 485 secs
lola: 104965947 markings, 248316968 edges, 193324 markings/sec, 490 secs
lola: 105985361 markings, 250779519 edges, 203883 markings/sec, 495 secs
lola: 107014087 markings, 253298549 edges, 205745 markings/sec, 500 secs
lola: 108059216 markings, 255817997 edges, 209026 markings/sec, 505 secs
lola: 109108045 markings, 258351539 edges, 209766 markings/sec, 510 secs
lola: 110149110 markings, 260884957 edges, 208213 markings/sec, 515 secs
lola: 111192851 markings, 263432981 edges, 208748 markings/sec, 520 secs
lola: 112229284 markings, 265967792 edges, 207287 markings/sec, 525 secs
lola: 113267081 markings, 268488211 edges, 207559 markings/sec, 530 secs
lola: 114304752 markings, 271025122 edges, 207534 markings/sec, 535 secs
lola: 115348896 markings, 273549612 edges, 208829 markings/sec, 540 secs
lola: 116354344 markings, 275983659 edges, 201090 markings/sec, 545 secs
lola: 117397862 markings, 278521241 edges, 208704 markings/sec, 550 secs
lola: 118340194 markings, 280814945 edges, 188466 markings/sec, 555 secs
lola: 119299047 markings, 283140837 edges, 191771 markings/sec, 560 secs
lola: 120234022 markings, 285422929 edges, 186995 markings/sec, 565 secs
lola: 121247759 markings, 287908218 edges, 202747 markings/sec, 570 secs
lola: 122258135 markings, 290395939 edges, 202075 markings/sec, 575 secs
lola: 123277171 markings, 292887141 edges, 203807 markings/sec, 580 secs
lola: 124295569 markings, 295366988 edges, 203680 markings/sec, 585 secs
lola: 125330945 markings, 297883505 edges, 207075 markings/sec, 590 secs
lola: 126318757 markings, 300288003 edges, 197562 markings/sec, 595 secs
lola: 127351775 markings, 302796195 edges, 206604 markings/sec, 600 secs
lola: 128264041 markings, 305030063 edges, 182453 markings/sec, 605 secs
lola: 129206320 markings, 307338767 edges, 188456 markings/sec, 610 secs
lola: 130141061 markings, 309625135 edges, 186948 markings/sec, 615 secs
lola: 131157889 markings, 312113082 edges, 203366 markings/sec, 620 secs
lola: 132165754 markings, 314581227 edges, 201573 markings/sec, 625 secs
lola: 133181710 markings, 317064579 edges, 203191 markings/sec, 630 secs
lola: 134185936 markings, 319511485 edges, 200845 markings/sec, 635 secs
lola: 135199929 markings, 321977529 edges, 202799 markings/sec, 640 secs
lola: 136207565 markings, 324438118 edges, 201527 markings/sec, 645 secs
lola: 137221330 markings, 326920358 edges, 202753 markings/sec, 650 secs
lola: 138237696 markings, 329392409 edges, 203273 markings/sec, 655 secs
lola: 139243589 markings, 331850462 edges, 201179 markings/sec, 660 secs
lola: 140260349 markings, 334322436 edges, 203352 markings/sec, 665 secs
lola: 141279990 markings, 336795232 edges, 203928 markings/sec, 670 secs
lola: 142283892 markings, 339261722 edges, 200780 markings/sec, 675 secs
lola: 143295127 markings, 341730204 edges, 202247 markings/sec, 680 secs
lola: 144291755 markings, 344173801 edges, 199326 markings/sec, 685 secs
lola: 145297629 markings, 346623022 edges, 201175 markings/sec, 690 secs
lola: 146296238 markings, 349080412 edges, 199722 markings/sec, 695 secs
lola: 147291955 markings, 351523627 edges, 199143 markings/sec, 700 secs
lola: 147998143 markings, 353244289 edges, 141238 markings/sec, 705 secs
lola: 148723342 markings, 355019204 edges, 145040 markings/sec, 710 secs
lola: 149486112 markings, 356898875 edges, 152554 markings/sec, 715 secs
lola: 150234228 markings, 358747740 edges, 149623 markings/sec, 720 secs
lola: 151037063 markings, 360716478 edges, 160567 markings/sec, 725 secs
lola: 151763851 markings, 362469507 edges, 145358 markings/sec, 730 secs
lola: 152496672 markings, 364272811 edges, 146564 markings/sec, 735 secs
lola: 153195272 markings, 365976660 edges, 139720 markings/sec, 740 secs
lola: 153944230 markings, 367818664 edges, 149792 markings/sec, 745 secs
lola: 154624745 markings, 369484909 edges, 136103 markings/sec, 750 secs
lola: 155464479 markings, 371542758 edges, 167947 markings/sec, 755 secs
lola: 156068544 markings, 373023105 edges, 120813 markings/sec, 760 secs
lola: 156991636 markings, 375262915 edges, 184618 markings/sec, 765 secs
lola: 157668992 markings, 376917298 edges, 135471 markings/sec, 770 secs
lola: 158399543 markings, 378690394 edges, 146110 markings/sec, 775 secs
lola: 159136792 markings, 380503011 edges, 147450 markings/sec, 780 secs
lola: 159836251 markings, 382215404 edges, 139892 markings/sec, 785 secs
lola: 160530589 markings, 383922482 edges, 138868 markings/sec, 790 secs
lola: 161222463 markings, 385616268 edges, 138375 markings/sec, 795 secs
lola: 162133824 markings, 387854500 edges, 182272 markings/sec, 800 secs
lola: 162994067 markings, 389970715 edges, 172049 markings/sec, 805 secs
lola: 163728633 markings, 391779946 edges, 146913 markings/sec, 810 secs
lola: 164493600 markings, 393646661 edges, 152993 markings/sec, 815 secs
lola: 165066578 markings, 395053129 edges, 114596 markings/sec, 820 secs
lola: 165848009 markings, 396963720 edges, 156286 markings/sec, 825 secs
lola: 166737656 markings, 399148017 edges, 177929 markings/sec, 830 secs
lola: 167407815 markings, 400792127 edges, 134032 markings/sec, 835 secs
lola: 168225389 markings, 402801853 edges, 163515 markings/sec, 840 secs
lola: 169028296 markings, 404781827 edges, 160581 markings/sec, 845 secs
lola: 169790327 markings, 406656112 edges, 152406 markings/sec, 850 secs
lola: 170511177 markings, 408417484 edges, 144170 markings/sec, 855 secs
lola: 171270726 markings, 410273100 edges, 151910 markings/sec, 860 secs
lola: 172092273 markings, 412296802 edges, 164309 markings/sec, 865 secs
lola: 172814615 markings, 414069495 edges, 144468 markings/sec, 870 secs
lola: 173641081 markings, 416106424 edges, 165293 markings/sec, 875 secs
lola: 174289087 markings, 417704045 edges, 129601 markings/sec, 880 secs
lola: 175079711 markings, 419624362 edges, 158125 markings/sec, 885 secs
lola: 175904944 markings, 421660900 edges, 165047 markings/sec, 890 secs
lola: 176628944 markings, 423440278 edges, 144800 markings/sec, 895 secs
lola: 177361945 markings, 425228844 edges, 146600 markings/sec, 900 secs
lola: 178030627 markings, 426866248 edges, 133736 markings/sec, 905 secs
lola: 178776048 markings, 428694272 edges, 149084 markings/sec, 910 secs
lola: 179527180 markings, 430531597 edges, 150226 markings/sec, 915 secs
lola: 180271842 markings, 432363444 edges, 148932 markings/sec, 920 secs
lola: 181079572 markings, 434338314 edges, 161546 markings/sec, 925 secs
lola: 181816940 markings, 436145355 edges, 147474 markings/sec, 930 secs
lola: 182048434 markings, 436697132 edges, 46299 markings/sec, 935 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 1943548 markings, 3452734 edges, 388710 markings/sec, 0 secs
lola: 3907481 markings, 6967443 edges, 392787 markings/sec, 5 secs
lola: 5951539 markings, 10623093 edges, 408812 markings/sec, 10 secs
lola: 7967400 markings, 14236518 edges, 403172 markings/sec, 15 secs
lola: 9973489 markings, 17836453 edges, 401218 markings/sec, 20 secs
lola: 12040407 markings, 21542667 edges, 413384 markings/sec, 25 secs
lola: 14047701 markings, 25154566 edges, 401459 markings/sec, 30 secs
lola: 16039365 markings, 28753632 edges, 398333 markings/sec, 35 secs
lola: 17962577 markings, 32246763 edges, 384642 markings/sec, 40 secs
lola: 19766232 markings, 35546018 edges, 360731 markings/sec, 45 secs
lola: 21605900 markings, 38920554 edges, 367934 markings/sec, 50 secs
lola: 23442899 markings, 42304071 edges, 367400 markings/sec, 55 secs
lola: 25166819 markings, 45464225 edges, 344784 markings/sec, 60 secs
lola: 26915352 markings, 48680149 edges, 349707 markings/sec, 65 secs
lola: 28597924 markings, 51793745 edges, 336514 markings/sec, 70 secs
lola: 30384025 markings, 55107219 edges, 357220 markings/sec, 75 secs
lola: 32120652 markings, 58350551 edges, 347325 markings/sec, 80 secs
lola: 33890698 markings, 61632063 edges, 354009 markings/sec, 85 secs
lola: 35636667 markings, 64878415 edges, 349194 markings/sec, 90 secs
lola: 37362148 markings, 68095036 edges, 345096 markings/sec, 95 secs
lola: 39070878 markings, 71288138 edges, 341746 markings/sec, 100 secs
lola: 40824642 markings, 74539747 edges, 350753 markings/sec, 105 secs
lola: 42465030 markings, 77638169 edges, 328078 markings/sec, 110 secs
lola: 44161345 markings, 80804742 edges, 339263 markings/sec, 115 secs
lola: 45899494 markings, 84031501 edges, 347630 markings/sec, 120 secs
lola: 47532058 markings, 87117574 edges, 326513 markings/sec, 125 secs
lola: 49162525 markings, 90193075 edges, 326093 markings/sec, 130 secs
lola: 50802911 markings, 93281224 edges, 328077 markings/sec, 135 secs
lola: 52434277 markings, 96353931 edges, 326273 markings/sec, 140 secs
lola: 54049305 markings, 99405406 edges, 323006 markings/sec, 145 secs
lola: 55482788 markings, 102110678 edges, 286697 markings/sec, 150 secs
lola: 57008805 markings, 104982642 edges, 305203 markings/sec, 155 secs
lola: 58557471 markings, 107879268 edges, 309733 markings/sec, 160 secs
lola: 60029270 markings, 110663871 edges, 294360 markings/sec, 165 secs
lola: 61482130 markings, 113398412 edges, 290572 markings/sec, 170 secs
lola: 63080325 markings, 116418974 edges, 319639 markings/sec, 175 secs
lola: 64520544 markings, 119153340 edges, 288044 markings/sec, 180 secs
lola: 65979163 markings, 121910378 edges, 291724 markings/sec, 185 secs
lola: 67357071 markings, 124528362 edges, 275582 markings/sec, 190 secs
lola: 69023511 markings, 127639286 edges, 333288 markings/sec, 195 secs
lola: 70594828 markings, 130614130 edges, 314263 markings/sec, 200 secs
lola: 72142279 markings, 133555128 edges, 309490 markings/sec, 205 secs
lola: 73656335 markings, 136455816 edges, 302811 markings/sec, 210 secs
lola: 75183884 markings, 139369476 edges, 305510 markings/sec, 215 secs
lola: 76715375 markings, 142289148 edges, 306298 markings/sec, 220 secs
lola: 78227204 markings, 145182020 edges, 302366 markings/sec, 225 secs
lola: 79767000 markings, 148110455 edges, 307959 markings/sec, 230 secs
lola: 81325068 markings, 151063047 edges, 311614 markings/sec, 235 secs
lola: 82856252 markings, 153978908 edges, 306237 markings/sec, 240 secs
lola: 84379142 markings, 156885603 edges, 304578 markings/sec, 245 secs
lola: 85950216 markings, 159857407 edges, 314215 markings/sec, 250 secs
lola: 87680462 markings, 163056052 edges, 346049 markings/sec, 255 secs
lola: 89186924 markings, 165931443 edges, 301292 markings/sec, 260 secs
lola: 90712438 markings, 168838466 edges, 305103 markings/sec, 265 secs
lola: 92240142 markings, 171748676 edges, 305541 markings/sec, 270 secs
lola: 93715831 markings, 174584097 edges, 295138 markings/sec, 275 secs
lola: 95221164 markings, 177460751 edges, 301067 markings/sec, 280 secs
lola: 96741770 markings, 180356012 edges, 304121 markings/sec, 285 secs
lola: 98224622 markings, 183196063 edges, 296570 markings/sec, 290 secs
lola: 99702957 markings, 186032351 edges, 295667 markings/sec, 295 secs
lola: 101285865 markings, 189012527 edges, 316582 markings/sec, 300 secs
lola: 102671535 markings, 191629532 edges, 277134 markings/sec, 305 secs
lola: 104053786 markings, 194270741 edges, 276450 markings/sec, 310 secs
lola: 105417197 markings, 196886033 edges, 272682 markings/sec, 315 secs
lola: 106805348 markings, 199545094 edges, 277630 markings/sec, 320 secs
lola: 108161284 markings, 202152152 edges, 271187 markings/sec, 325 secs
lola: 109629436 markings, 204974261 edges, 293630 markings/sec, 330 secs
lola: 111118360 markings, 207824149 edges, 297785 markings/sec, 335 secs
lola: 112576222 markings, 210632349 edges, 291572 markings/sec, 340 secs
lola: 114035985 markings, 213443682 edges, 291953 markings/sec, 345 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 25 unknown 50 unknown unknown 50 50 50 unknown 50 unknown 50 50 unknown unknown
lola:
preliminary result: 50 25 unknown 50 unknown unknown 50 50 50 unknown 50 unknown 50 50 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 25 unknown 50 unknown unknown 50 50 50 unknown 50 unknown 50 50 unknown unknown
lola: memory consumption: 10192148 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 25 unknown 50 unknown unknown 50 50 50 unknown 50 unknown 50 50 unknown unknown
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-50"
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-50, 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-158987787600365"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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