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.r170-smll-158987815900501.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 GPPP-PT-C0100N0000000100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815900501
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.6K Apr 4 20:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 20:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 4 09:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 09:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 8 14:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 21:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 3 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 3 13:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 17 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1 Mar 24 05:37 large_marking
-rw-r--r-- 1 mcc users 21K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591468910492

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 18:41:52] [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 18:41:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 18:41:52] [INFO ] Load time of PNML (sax parser for PT used): 40 ms
[2020-06-06 18:41:52] [INFO ] Transformed 33 places.
[2020-06-06 18:41:52] [INFO ] Transformed 22 transitions.
[2020-06-06 18:41:52] [INFO ] Parsed PT model containing 33 places and 22 transitions in 93 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 15 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 18:41:52] [INFO ] Flatten gal took : 36 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 22 rows 33 cols
[2020-06-06 18:41:53] [INFO ] Computed 12 place invariants in 8 ms
Support contains 13 out of 33 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 33/33 places, 22/22 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 33 transition count 21
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 32 transition count 21
Applied a total of 2 rules in 19 ms. Remains 32 /33 variables (removed 1) and now considering 21/22 (removed 1) transitions.
// Phase 1: matrix 21 rows 32 cols
[2020-06-06 18:41:53] [INFO ] Computed 12 place invariants in 3 ms
[2020-06-06 18:41:53] [INFO ] Dead Transitions using invariants and state equation in 157 ms returned []
Finished structural reductions, in 1 iterations. Remains : 32/33 places, 21/22 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 21 rows 32 cols
[2020-06-06 18:41:53] [INFO ] Computed 12 place invariants in 5 ms
Support contains 13 out of 32 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32/32 places, 21/21 transitions.
Applied a total of 0 rules in 2 ms. Remains 32 /32 variables (removed 0) and now considering 21/21 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 32/32 places, 21/21 transitions.
Starting structural reductions, iteration 0 : 32/32 places, 21/21 transitions.
Applied a total of 0 rules in 1 ms. Remains 32 /32 variables (removed 0) and now considering 21/21 (removed 0) transitions.
// Phase 1: matrix 21 rows 32 cols
[2020-06-06 18:41:53] [INFO ] Computed 12 place invariants in 2 ms
[2020-06-06 18:41:53] [INFO ] Implicit Places using invariants in 65 ms returned [3]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 69 ms to find 1 implicit places.
[2020-06-06 18:41:53] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 21 rows 31 cols
[2020-06-06 18:41:53] [INFO ] Computed 11 place invariants in 3 ms
[2020-06-06 18:41:53] [INFO ] Dead Transitions using invariants and state equation in 81 ms returned []
Starting structural reductions, iteration 1 : 31/32 places, 21/21 transitions.
Applied a total of 0 rules in 3 ms. Remains 31 /31 variables (removed 0) and now considering 21/21 (removed 0) transitions.
[2020-06-06 18:41:53] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 21 rows 31 cols
[2020-06-06 18:41:53] [INFO ] Computed 11 place invariants in 1 ms
[2020-06-06 18:41:53] [INFO ] Dead Transitions using invariants and state equation in 64 ms returned []
Finished structural reductions, in 2 iterations. Remains : 31/32 places, 21/21 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 21 rows 31 cols
[2020-06-06 18:41:53] [INFO ] Computed 11 place invariants in 1 ms
Support contains 13 out of 31 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 31/31 places, 21/21 transitions.
Applied a total of 0 rules in 2 ms. Remains 31 /31 variables (removed 0) and now considering 21/21 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 31/31 places, 21/21 transitions.
Starting structural reductions, iteration 0 : 31/31 places, 21/21 transitions.
Applied a total of 0 rules in 1 ms. Remains 31 /31 variables (removed 0) and now considering 21/21 (removed 0) transitions.
// Phase 1: matrix 21 rows 31 cols
[2020-06-06 18:41:53] [INFO ] Computed 11 place invariants in 1 ms
[2020-06-06 18:41:53] [INFO ] Implicit Places using invariants in 49 ms returned []
// Phase 1: matrix 21 rows 31 cols
[2020-06-06 18:41:53] [INFO ] Computed 11 place invariants in 1 ms
[2020-06-06 18:41:53] [INFO ] Implicit Places using invariants and state equation in 101 ms returned [23]
Discarding 1 places :
Implicit Place search using SMT with State Equation took 154 ms to find 1 implicit places.
[2020-06-06 18:41:53] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 21 rows 30 cols
[2020-06-06 18:41:53] [INFO ] Computed 10 place invariants in 1 ms
[2020-06-06 18:41:53] [INFO ] Dead Transitions using invariants and state equation in 47 ms returned []
Starting structural reductions, iteration 1 : 30/31 places, 21/21 transitions.
Applied a total of 0 rules in 3 ms. Remains 30 /30 variables (removed 0) and now considering 21/21 (removed 0) transitions.
[2020-06-06 18:41:53] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 21 rows 30 cols
[2020-06-06 18:41:53] [INFO ] Computed 10 place invariants in 3 ms
[2020-06-06 18:41:53] [INFO ] Dead Transitions using invariants and state equation in 53 ms returned []
Finished structural reductions, in 2 iterations. Remains : 30/31 places, 21/21 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 21 rows 30 cols
[2020-06-06 18:41:53] [INFO ] Computed 10 place invariants in 1 ms
Support contains 13 out of 30 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 30/30 places, 21/21 transitions.
Applied a total of 0 rules in 2 ms. Remains 30 /30 variables (removed 0) and now considering 21/21 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 30/30 places, 21/21 transitions.
Starting structural reductions, iteration 0 : 30/30 places, 21/21 transitions.
Applied a total of 0 rules in 2 ms. Remains 30 /30 variables (removed 0) and now considering 21/21 (removed 0) transitions.
// Phase 1: matrix 21 rows 30 cols
[2020-06-06 18:41:53] [INFO ] Computed 10 place invariants in 1 ms
[2020-06-06 18:41:53] [INFO ] Implicit Places using invariants in 50 ms returned []
// Phase 1: matrix 21 rows 30 cols
[2020-06-06 18:41:53] [INFO ] Computed 10 place invariants in 2 ms
[2020-06-06 18:41:53] [INFO ] Implicit Places using invariants and state equation in 70 ms returned []
Implicit Place search using SMT with State Equation took 123 ms to find 0 implicit places.
[2020-06-06 18:41:53] [INFO ] Redundant transitions in 1 ms returned []
// Phase 1: matrix 21 rows 30 cols
[2020-06-06 18:41:53] [INFO ] Computed 10 place invariants in 2 ms
[2020-06-06 18:41:53] [INFO ] Dead Transitions using invariants and state equation in 48 ms returned []
Finished structural reductions, in 1 iterations. Remains : 30/30 places, 21/21 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 2 ms. Remains 30 /30 variables (removed 0) and now considering 21/21 (removed 0) transitions.
// Phase 1: matrix 21 rows 30 cols
[2020-06-06 18:41:53] [INFO ] Computed 10 place invariants in 0 ms
[2020-06-06 18:41:53] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 4 ms.
[2020-06-06 18:41:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ GPPP-PT-C0100N0000000100 @ 3570 seconds

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-01 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-03 407 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-05 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-10 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-11 700 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-12 407 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-14 1100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ GPPP-PT-C0100N0000000100

{
"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 18:41:55 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(p22)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 1
},
"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(p2)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 200
},
"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(p1)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 52,
"markings": 53,
"produced_by": "search",
"value": 407
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 276
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p3)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 200
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 303
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p21)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 1661,
"markings": 1662,
"produced_by": "search",
"value": 10
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 339
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p21)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 1661,
"markings": 1662,
"produced_by": "search",
"value": 10
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 391
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p6)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 203,
"markings": 204,
"produced_by": "search",
"value": 200
},
"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": 470
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p29)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 13,
"markings": 14,
"produced_by": "search",
"value": 700
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 587
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p1)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 52,
"markings": 53,
"produced_by": "search",
"value": 407
},
"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": 783
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p18)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 401,
"markings": 402,
"produced_by": "search",
"value": 1100
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1567
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p19)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 1641,
"markings": 1642,
"produced_by": "search",
"value": 10
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 1564,
"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": 77,
"conflict_clusters": 13,
"places": 30,
"places_significant": 20,
"singleton_clusters": 0,
"transitions": 21
},
"result":
{
"interim_value": "1 200 unknown 407 unknown 200 unknown 10 unknown 10 200 700 407 unknown 1100 10 ",
"preliminary_value": "1 200 unknown 407 unknown 200 unknown 10 unknown 10 200 700 407 unknown 1100 10 "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 51/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 960
lola: finding significant places
lola: 30 places, 21 transitions, 20 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(p22) : MAX(p2) : MAX(p16) : MAX(p1) : MAX(p13) : MAX(p3) : MAX(p7) : MAX(p21) : MAX(p11) : MAX(p21) : MAX(p6) : MAX(p29) : MAX(p1) : MAX(p11) : MAX(p18) : MAX(p19)
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(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p22)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 54 markings, 73 edges, 11 markings/sec, 25 secs
lola: 2433481 markings, 5514222 edges, 486685 markings/sec, 30 secs
lola: 4481236 markings, 11124129 edges, 409551 markings/sec, 35 secs
lola: 6121243 markings, 16498336 edges, 328001 markings/sec, 40 secs
lola: 7709052 markings, 21704951 edges, 317562 markings/sec, 45 secs
lola: 9278698 markings, 26854749 edges, 313929 markings/sec, 50 secs
lola: 10946221 markings, 32299455 edges, 333505 markings/sec, 55 secs
lola: 12479997 markings, 37321956 edges, 306755 markings/sec, 60 secs
lola: 13995652 markings, 42285039 edges, 303131 markings/sec, 65 secs
lola: 16093869 markings, 48092430 edges, 419643 markings/sec, 70 secs
lola: 18179258 markings, 53891286 edges, 417078 markings/sec, 75 secs
lola: 20118800 markings, 59277348 edges, 387908 markings/sec, 80 secs
lola: 21941035 markings, 64356430 edges, 364447 markings/sec, 85 secs
lola: 23702762 markings, 69285328 edges, 352345 markings/sec, 90 secs
lola: 25453238 markings, 74165715 edges, 350095 markings/sec, 95 secs
lola: 27314844 markings, 79349625 edges, 372321 markings/sec, 100 secs
lola: 29181828 markings, 84554998 edges, 373397 markings/sec, 105 secs
lola: 30901034 markings, 89375213 edges, 343841 markings/sec, 110 secs
lola: 32612881 markings, 94146383 edges, 342369 markings/sec, 115 secs
lola: 34339503 markings, 98982004 edges, 345324 markings/sec, 120 secs
lola: 36235277 markings, 104266187 edges, 379155 markings/sec, 125 secs
lola: 38136634 markings, 109582851 edges, 380271 markings/sec, 130 secs
lola: 39913410 markings, 114533352 edges, 355355 markings/sec, 135 secs
lola: 41643068 markings, 119364943 edges, 345932 markings/sec, 140 secs
lola: 43413792 markings, 124326376 edges, 354145 markings/sec, 145 secs
lola: 45316557 markings, 129632175 edges, 380553 markings/sec, 150 secs
lola: 47130011 markings, 134693395 edges, 362691 markings/sec, 155 secs
lola: 48836005 markings, 139462426 edges, 341199 markings/sec, 160 secs
lola: 50527830 markings, 144187882 edges, 338365 markings/sec, 165 secs
lola: 52257611 markings, 149041146 edges, 345956 markings/sec, 170 secs
lola: 54148159 markings, 154308850 edges, 378110 markings/sec, 175 secs
lola: 55975075 markings, 159399169 edges, 365383 markings/sec, 180 secs
lola: 57676497 markings, 164162022 edges, 340284 markings/sec, 185 secs
lola: 59356473 markings, 168835045 edges, 335995 markings/sec, 190 secs
lola: 61053362 markings, 173590139 edges, 339378 markings/sec, 195 secs
lola: 62914126 markings, 178788482 edges, 372153 markings/sec, 200 secs
lola: 64718961 markings, 183815804 edges, 360967 markings/sec, 205 secs
lola: 66390128 markings, 188495157 edges, 334233 markings/sec, 210 secs
lola: 68044657 markings, 193106835 edges, 330906 markings/sec, 215 secs
lola: 69699738 markings, 197736538 edges, 331016 markings/sec, 220 secs
lola: 71559255 markings, 202939537 edges, 371903 markings/sec, 225 secs
lola: 73397142 markings, 208050895 edges, 367577 markings/sec, 230 secs
lola: 75110694 markings, 212842199 edges, 342710 markings/sec, 235 secs
lola: 76785332 markings, 217526048 edges, 334928 markings/sec, 240 secs
lola: 78481810 markings, 222266636 edges, 339296 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2861744 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(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: 407
lola: SUBRESULT
lola: result: 407
lola: produced by: state space
lola: The maximum value of the given expression is 407
lola: 53 markings, 52 edges
lola: ========================================
lola: subprocess 4 will run for 276 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: 4
lola: 1733352 markings, 6139859 edges, 346670 markings/sec, 0 secs
lola: 3383716 markings, 11876706 edges, 330073 markings/sec, 5 secs
lola: 4809026 markings, 17661677 edges, 285062 markings/sec, 10 secs
lola: 6355743 markings, 23115390 edges, 309343 markings/sec, 15 secs
lola: 7872721 markings, 28554799 edges, 303396 markings/sec, 20 secs
lola: 9378413 markings, 34006196 edges, 301138 markings/sec, 25 secs
lola: 10884030 markings, 39491727 edges, 301123 markings/sec, 30 secs
lola: 12220154 markings, 45034273 edges, 267225 markings/sec, 35 secs
lola: 13706055 markings, 50360465 edges, 297180 markings/sec, 40 secs
lola: 15193373 markings, 55674953 edges, 297464 markings/sec, 45 secs
lola: 16670618 markings, 61068543 edges, 295449 markings/sec, 50 secs
lola: 18135302 markings, 66521599 edges, 292937 markings/sec, 55 secs
lola: 19632529 markings, 71913488 edges, 299445 markings/sec, 60 secs
lola: 21142197 markings, 77299618 edges, 301934 markings/sec, 65 secs
lola: 22513461 markings, 82842246 edges, 274253 markings/sec, 70 secs
lola: 23913203 markings, 88139294 edges, 279948 markings/sec, 75 secs
lola: 25299905 markings, 93257147 edges, 277340 markings/sec, 80 secs
lola: 26752107 markings, 98437096 edges, 290440 markings/sec, 85 secs
lola: 28129728 markings, 103612992 edges, 275524 markings/sec, 90 secs
lola: 29615569 markings, 108849472 edges, 297168 markings/sec, 95 secs
lola: 31009959 markings, 114186252 edges, 278878 markings/sec, 100 secs
lola: 32494650 markings, 119382428 edges, 296938 markings/sec, 105 secs
lola: 33894436 markings, 124733772 edges, 279957 markings/sec, 110 secs
lola: 35375511 markings, 129914435 edges, 296215 markings/sec, 115 secs
lola: 36775189 markings, 135280021 edges, 279936 markings/sec, 120 secs
lola: 38017687 markings, 140542315 edges, 248500 markings/sec, 125 secs
lola: 39483525 markings, 145593255 edges, 293168 markings/sec, 130 secs
lola: 40805570 markings, 150702652 edges, 264409 markings/sec, 135 secs
lola: 42299215 markings, 155931260 edges, 298729 markings/sec, 140 secs
lola: 43679936 markings, 161118646 edges, 276144 markings/sec, 145 secs
lola: 45136157 markings, 166451811 edges, 291244 markings/sec, 150 secs
lola: 46613998 markings, 171725064 edges, 295568 markings/sec, 155 secs
lola: 48023243 markings, 177166614 edges, 281849 markings/sec, 160 secs
lola: 49566474 markings, 182504031 edges, 308646 markings/sec, 165 secs
lola: 50989598 markings, 187986992 edges, 284625 markings/sec, 170 secs
lola: 52545406 markings, 193386511 edges, 311162 markings/sec, 175 secs
lola: 53979218 markings, 198849193 edges, 286762 markings/sec, 180 secs
lola: 55329260 markings, 204352876 edges, 270008 markings/sec, 185 secs
lola: 56710376 markings, 209571331 edges, 276223 markings/sec, 190 secs
lola: 58111304 markings, 214480061 edges, 280186 markings/sec, 195 secs
lola: 59424090 markings, 219530838 edges, 262557 markings/sec, 200 secs
lola: 60827963 markings, 224642131 edges, 280775 markings/sec, 205 secs
lola: 62215764 markings, 229533963 edges, 277560 markings/sec, 210 secs
lola: 63519278 markings, 234562759 edges, 260703 markings/sec, 215 secs
lola: 64940414 markings, 239697353 edges, 284227 markings/sec, 220 secs
lola: 66348863 markings, 244695823 edges, 281690 markings/sec, 225 secs
lola: 67679020 markings, 249861336 edges, 266031 markings/sec, 230 secs
lola: 69156983 markings, 255127301 edges, 295593 markings/sec, 235 secs
lola: 70583115 markings, 260222987 edges, 285226 markings/sec, 240 secs
lola: 71937205 markings, 265496262 edges, 270818 markings/sec, 245 secs
lola: 73441694 markings, 270764592 edges, 300898 markings/sec, 250 secs
lola: 74856818 markings, 275913290 edges, 283025 markings/sec, 255 secs
lola: 76216117 markings, 281252551 edges, 271860 markings/sec, 260 secs
lola: 77412625 markings, 286305113 edges, 239302 markings/sec, 265 secs
lola: 78839884 markings, 291318245 edges, 285452 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 200 unknown 407 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2773668 KB
lola: time consumption: 533 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 399
lola: 3181894 markings, 5728615 edges, 636379 markings/sec, 0 secs
lola: 6111147 markings, 10674790 edges, 585851 markings/sec, 5 secs
lola: 9253946 markings, 15737293 edges, 628560 markings/sec, 10 secs
lola: 12031257 markings, 20322110 edges, 555462 markings/sec, 15 secs
lola: 14986037 markings, 25066725 edges, 590956 markings/sec, 20 secs
lola: 18017979 markings, 30010188 edges, 606388 markings/sec, 25 secs
lola: 21196317 markings, 35179797 edges, 635668 markings/sec, 30 secs
lola: 24442421 markings, 40447502 edges, 649221 markings/sec, 35 secs
lola: 27373628 markings, 45251847 edges, 586241 markings/sec, 40 secs
lola: 30555617 markings, 50339317 edges, 636398 markings/sec, 45 secs
lola: 33516276 markings, 55160182 edges, 592132 markings/sec, 50 secs
lola: 36627856 markings, 60135163 edges, 622316 markings/sec, 55 secs
lola: 39824201 markings, 65315439 edges, 639269 markings/sec, 60 secs
lola: 42817178 markings, 70213836 edges, 598595 markings/sec, 65 secs
lola: 46077998 markings, 75430888 edges, 652164 markings/sec, 70 secs
lola: 49118879 markings, 80389979 edges, 608176 markings/sec, 75 secs
lola: 52303136 markings, 85479384 edges, 636851 markings/sec, 80 secs
lola: 55416269 markings, 90530537 edges, 622627 markings/sec, 85 secs
lola: 58328267 markings, 95297269 edges, 582400 markings/sec, 90 secs
lola: 61588784 markings, 100515164 edges, 652103 markings/sec, 95 secs
lola: 64605178 markings, 105439207 edges, 603279 markings/sec, 100 secs
lola: 67750293 markings, 110452159 edges, 629023 markings/sec, 105 secs
lola: 70836839 markings, 115460844 edges, 617309 markings/sec, 110 secs
lola: 73738140 markings, 120204620 edges, 580260 markings/sec, 115 secs
lola: 76936502 markings, 125329501 edges, 639672 markings/sec, 120 secs
lola: 79904390 markings, 130179255 edges, 593578 markings/sec, 125 secs
lola: 83015312 markings, 135133418 edges, 622184 markings/sec, 130 secs
lola: 86045684 markings, 140049756 edges, 606074 markings/sec, 135 secs
lola: 88905611 markings, 144727486 edges, 571985 markings/sec, 140 secs
lola: 92144306 markings, 149914366 edges, 647739 markings/sec, 145 secs
lola: 95155666 markings, 154841705 edges, 602272 markings/sec, 150 secs
lola: 98320121 markings, 159875302 edges, 632891 markings/sec, 155 secs
lola: 101344838 markings, 164795360 edges, 604943 markings/sec, 160 secs
lola: 104210990 markings, 169462024 edges, 573230 markings/sec, 165 secs
lola: 107407958 markings, 174602184 edges, 639394 markings/sec, 170 secs
lola: 110349243 markings, 179415208 edges, 588257 markings/sec, 175 secs
lola: 113496529 markings, 184405644 edges, 629457 markings/sec, 180 secs
lola: 116495957 markings, 189288221 edges, 599886 markings/sec, 185 secs
lola: 119404776 markings, 194002312 edges, 581764 markings/sec, 190 secs
lola: 122545532 markings, 199065834 edges, 628151 markings/sec, 195 secs
lola: 125444596 markings, 203830812 edges, 579813 markings/sec, 200 secs
lola: 128601174 markings, 208834300 edges, 631316 markings/sec, 205 secs
lola: 131600359 markings, 213712592 edges, 599837 markings/sec, 210 secs
lola: 134587114 markings, 218524795 edges, 597351 markings/sec, 215 secs
lola: 137701574 markings, 223562181 edges, 622892 markings/sec, 220 secs
lola: 140609007 markings, 228333410 edges, 581487 markings/sec, 225 secs
lola: 143726522 markings, 233291791 edges, 623503 markings/sec, 230 secs
lola: 146671827 markings, 238094751 edges, 589061 markings/sec, 235 secs
lola: 149687315 markings, 242925298 edges, 603098 markings/sec, 240 secs
lola: 152817473 markings, 248002212 edges, 626032 markings/sec, 245 secs
lola: 155798546 markings, 252870144 edges, 596215 markings/sec, 250 secs
lola: 158973683 markings, 257950263 edges, 635027 markings/sec, 255 secs
lola: 161951792 markings, 262813362 edges, 595622 markings/sec, 260 secs
lola: 165049215 markings, 267754335 edges, 619485 markings/sec, 265 secs
lola: 168069692 markings, 272660408 edges, 604095 markings/sec, 270 secs
lola: 170945354 markings, 277341813 edges, 575132 markings/sec, 275 secs
lola: 174024296 markings, 282295931 edges, 615788 markings/sec, 280 secs
lola: 176834102 markings, 286889991 edges, 561961 markings/sec, 285 secs
lola: 179918702 markings, 291784103 edges, 616920 markings/sec, 290 secs
lola: 182906524 markings, 296644249 edges, 597564 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 200 unknown 407 unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6450296 KB
lola: time consumption: 836 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 1662 markings, 1661 edges
lola: ========================================
lola: subprocess 8 will run for 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 2448332 markings, 5548243 edges, 489666 markings/sec, 30 secs
lola: 4397094 markings, 11263209 edges, 389752 markings/sec, 35 secs
lola: 5882037 markings, 16855921 edges, 296989 markings/sec, 40 secs
lola: 7329964 markings, 22317586 edges, 289585 markings/sec, 45 secs
lola: 8762822 markings, 27727942 edges, 286572 markings/sec, 50 secs
lola: 10189654 markings, 33491808 edges, 285366 markings/sec, 55 secs
lola: 11503704 markings, 39086662 edges, 262810 markings/sec, 60 secs
lola: 12781941 markings, 44539076 edges, 255647 markings/sec, 65 secs
lola: 14041488 markings, 49916525 edges, 251909 markings/sec, 70 secs
lola: 15290321 markings, 55248352 edges, 249767 markings/sec, 75 secs
lola: 16614968 markings, 60648302 edges, 264929 markings/sec, 80 secs
lola: 18329675 markings, 66567945 edges, 342941 markings/sec, 85 secs
lola: 20003951 markings, 72378349 edges, 334855 markings/sec, 90 secs
lola: 21705578 markings, 78257008 edges, 340325 markings/sec, 95 secs
lola: 23292914 markings, 83776863 edges, 317467 markings/sec, 100 secs
lola: 24857437 markings, 89195741 edges, 312905 markings/sec, 105 secs
lola: 26334772 markings, 94351467 edges, 295467 markings/sec, 110 secs
lola: 27796886 markings, 99446368 edges, 292423 markings/sec, 115 secs
lola: 29286448 markings, 104590205 edges, 297912 markings/sec, 120 secs
lola: 30768014 markings, 109746030 edges, 296313 markings/sec, 125 secs
lola: 32346058 markings, 115240784 edges, 315609 markings/sec, 130 secs
lola: 33905609 markings, 120666234 edges, 311910 markings/sec, 135 secs
lola: 35401787 markings, 125839673 edges, 299236 markings/sec, 140 secs
lola: 36869543 markings, 130978366 edges, 293551 markings/sec, 145 secs
lola: 38328616 markings, 136028045 edges, 291815 markings/sec, 150 secs
lola: 39772905 markings, 141054102 edges, 288858 markings/sec, 155 secs
lola: 41229298 markings, 146148051 edges, 291279 markings/sec, 160 secs
lola: 42823857 markings, 151664632 edges, 318912 markings/sec, 165 secs
lola: 44397817 markings, 157149238 edges, 314792 markings/sec, 170 secs
lola: 45896345 markings, 162346159 edges, 299706 markings/sec, 175 secs
lola: 47377386 markings, 167496405 edges, 296208 markings/sec, 180 secs
lola: 48845955 markings, 172640963 edges, 293714 markings/sec, 185 secs
lola: 50310819 markings, 177708526 edges, 292973 markings/sec, 190 secs
lola: 51798318 markings, 182884109 edges, 297500 markings/sec, 195 secs
lola: 53371925 markings, 188381408 edges, 314721 markings/sec, 200 secs
lola: 54932308 markings, 193770501 edges, 312077 markings/sec, 205 secs
lola: 56395175 markings, 198855727 edges, 292573 markings/sec, 210 secs
lola: 57836949 markings, 203907135 edges, 288355 markings/sec, 215 secs
lola: 59285027 markings, 208926066 edges, 289616 markings/sec, 220 secs
lola: 60707875 markings, 213864382 edges, 284570 markings/sec, 225 secs
lola: 62145484 markings, 218889281 edges, 287522 markings/sec, 230 secs
lola: 63714784 markings, 224329869 edges, 313860 markings/sec, 235 secs
lola: 65263937 markings, 229704607 edges, 309831 markings/sec, 240 secs
lola: 66755183 markings, 234892608 edges, 298249 markings/sec, 245 secs
lola: 68193983 markings, 239896777 edges, 287760 markings/sec, 250 secs
lola: 69621184 markings, 244861932 edges, 285440 markings/sec, 255 secs
lola: 71029521 markings, 249787487 edges, 281667 markings/sec, 260 secs
lola: 72473139 markings, 254802664 edges, 288724 markings/sec, 265 secs
lola: 73986248 markings, 260047950 edges, 302622 markings/sec, 270 secs
lola: 75527246 markings, 265398214 edges, 308200 markings/sec, 275 secs
lola: 77014888 markings, 270582631 edges, 297528 markings/sec, 280 secs
lola: 78429791 markings, 275494250 edges, 282981 markings/sec, 285 secs
lola: 79842611 markings, 280404133 edges, 282564 markings/sec, 290 secs
lola: 81235596 markings, 285246203 edges, 278597 markings/sec, 295 secs
lola: 82649895 markings, 290172475 edges, 282860 markings/sec, 300 secs
lola: 84105320 markings, 295239762 edges, 291085 markings/sec, 305 secs
lola: 85700438 markings, 300782799 edges, 319024 markings/sec, 310 secs
lola: 87215509 markings, 306058829 edges, 303014 markings/sec, 315 secs
lola: 88659425 markings, 311054330 edges, 288783 markings/sec, 320 secs
lola: 90099412 markings, 316089856 edges, 287997 markings/sec, 325 secs
lola: 91514724 markings, 321029029 edges, 283062 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 200 unknown 407 unknown 200 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3306224 KB
lola: time consumption: 1197 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 1662 markings, 1661 edges
lola: ========================================
lola: subprocess 10 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 204 markings, 203 edges
lola: ========================================
lola: subprocess 11 will run for 470 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p29)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 700
lola: SUBRESULT
lola: result: 700
lola: produced by: state space
lola: The maximum value of the given expression is 700
lola: 14 markings, 13 edges
lola: ========================================
lola: subprocess 12 will run for 587 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: 407
lola: SUBRESULT
lola: result: 407
lola: produced by: state space
lola: The maximum value of the given expression is 407
lola: 53 markings, 52 edges
lola: subprocess 13 will run for 783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: ========================================
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 376 markings, 395 edges, 75 markings/sec, 25 secs
lola: 2254034 markings, 5105396 edges, 450732 markings/sec, 30 secs
lola: 4254540 markings, 10726753 edges, 400101 markings/sec, 35 secs
lola: 5727360 markings, 16272591 edges, 294564 markings/sec, 40 secs
lola: 7151268 markings, 21643592 edges, 284782 markings/sec, 45 secs
lola: 8557014 markings, 26948630 edges, 281149 markings/sec, 50 secs
lola: 9971514 markings, 32565066 edges, 282900 markings/sec, 55 secs
lola: 11273246 markings, 38104625 edges, 260346 markings/sec, 60 secs
lola: 12530239 markings, 43466871 edges, 251399 markings/sec, 65 secs
lola: 13770936 markings, 48760445 edges, 248139 markings/sec, 70 secs
lola: 14996666 markings, 53993512 edges, 245146 markings/sec, 75 secs
lola: 16218608 markings, 59211300 edges, 244388 markings/sec, 80 secs
lola: 17891954 markings, 65047521 edges, 334669 markings/sec, 85 secs
lola: 19564516 markings, 70833190 edges, 334512 markings/sec, 90 secs
lola: 21255081 markings, 76688248 edges, 338113 markings/sec, 95 secs
lola: 22853613 markings, 82246241 edges, 319706 markings/sec, 100 secs
lola: 24416438 markings, 87663667 edges, 312565 markings/sec, 105 secs
lola: 25869103 markings, 92714678 edges, 290533 markings/sec, 110 secs
lola: 27326876 markings, 97792258 edges, 291555 markings/sec, 115 secs
lola: 28768147 markings, 102802952 edges, 288254 markings/sec, 120 secs
lola: 30215959 markings, 107839961 edges, 289562 markings/sec, 125 secs
lola: 31746807 markings, 113138486 edges, 306170 markings/sec, 130 secs
lola: 33301346 markings, 118544057 edges, 310908 markings/sec, 135 secs
lola: 34822607 markings, 123827536 edges, 304252 markings/sec, 140 secs
lola: 36267391 markings, 128865183 edges, 288957 markings/sec, 145 secs
lola: 37683287 markings, 133790375 edges, 283179 markings/sec, 150 secs
lola: 39104179 markings, 138741506 edges, 284178 markings/sec, 155 secs
lola: 40548427 markings, 143790765 edges, 288850 markings/sec, 160 secs
lola: 42047594 markings, 148979128 edges, 299833 markings/sec, 165 secs
lola: 43644355 markings, 154514498 edges, 319352 markings/sec, 170 secs
lola: 45188882 markings, 159883905 edges, 308905 markings/sec, 175 secs
lola: 46633106 markings, 164931633 edges, 288845 markings/sec, 180 secs
lola: 48088773 markings, 169968700 edges, 291133 markings/sec, 185 secs
lola: 49518631 markings, 174967920 edges, 285972 markings/sec, 190 secs
lola: 50988317 markings, 180065661 edges, 293937 markings/sec, 195 secs
lola: 52485002 markings, 185272039 edges, 299337 markings/sec, 200 secs
lola: 54055098 markings, 190759064 edges, 314019 markings/sec, 205 secs
lola: 55588537 markings, 196054335 edges, 306688 markings/sec, 210 secs
lola: 57001239 markings, 200981455 edges, 282540 markings/sec, 215 secs
lola: 58424120 markings, 205914230 edges, 284576 markings/sec, 220 secs
lola: 59825934 markings, 210806810 edges, 280363 markings/sec, 225 secs
lola: 61234589 markings, 215701816 edges, 281731 markings/sec, 230 secs
lola: 62675796 markings, 220730540 edges, 288241 markings/sec, 235 secs
lola: 64265412 markings, 226254775 edges, 317923 markings/sec, 240 secs
lola: 65799933 markings, 231566507 edges, 306904 markings/sec, 245 secs
lola: 67247496 markings, 236596942 edges, 289513 markings/sec, 250 secs
lola: 68651856 markings, 241514488 edges, 280872 markings/sec, 255 secs
lola: 70070120 markings, 246430745 edges, 283653 markings/sec, 260 secs
lola: 71468368 markings, 251284960 edges, 279650 markings/sec, 265 secs
lola: 72869656 markings, 256183019 edges, 280258 markings/sec, 270 secs
lola: 74412445 markings, 261533681 edges, 308558 markings/sec, 275 secs
lola: 75932892 markings, 266807405 edges, 304089 markings/sec, 280 secs
lola: 77384313 markings, 271856404 edges, 290284 markings/sec, 285 secs
lola: 78782183 markings, 276717772 edges, 279574 markings/sec, 290 secs
lola: 80162264 markings, 281547699 edges, 276016 markings/sec, 295 secs
lola: 81538297 markings, 286314624 edges, 275207 markings/sec, 300 secs
lola: 82923731 markings, 291123918 edges, 277087 markings/sec, 305 secs
lola: 84407244 markings, 296312220 edges, 296703 markings/sec, 310 secs
lola: 85989937 markings, 301782154 edges, 316539 markings/sec, 315 secs
lola: 87487981 markings, 306986665 edges, 299609 markings/sec, 320 secs
lola: 88909863 markings, 311936658 edges, 284376 markings/sec, 325 secs
lola: 90324990 markings, 316865407 edges, 283025 markings/sec, 330 secs
lola: 91723789 markings, 321733509 edges, 279760 markings/sec, 335 secs
lola: 93122625 markings, 326600515 edges, 279767 markings/sec, 340 secs
lola: 94631693 markings, 331851290 edges, 301814 markings/sec, 345 secs
lola: 96158188 markings, 337157220 edges, 305299 markings/sec, 350 secs
lola: 97626518 markings, 342264123 edges, 293666 markings/sec, 355 secs
lola: 99022071 markings, 347103316 edges, 279111 markings/sec, 360 secs
lola: 100406832 markings, 351914298 edges, 276952 markings/sec, 365 secs
lola: 101785984 markings, 356711327 edges, 275830 markings/sec, 370 secs
lola: 103141982 markings, 361425307 edges, 271200 markings/sec, 375 secs
lola: 104619713 markings, 366566919 edges, 295546 markings/sec, 380 secs
lola: 106126163 markings, 371820044 edges, 301290 markings/sec, 385 secs
lola: 107582914 markings, 376879896 edges, 291350 markings/sec, 390 secs
lola: 108972313 markings, 381691890 edges, 277880 markings/sec, 395 secs
lola: 110348158 markings, 386487906 edges, 275169 markings/sec, 400 secs
lola: 111712808 markings, 391249985 edges, 272930 markings/sec, 405 secs
lola: 113077983 markings, 395975638 edges, 273035 markings/sec, 410 secs
lola: 114569971 markings, 401168062 edges, 298398 markings/sec, 415 secs
lola: 116051567 markings, 406301745 edges, 296319 markings/sec, 420 secs
lola: 117476807 markings, 411253051 edges, 285048 markings/sec, 425 secs
lola: 118852765 markings, 416058553 edges, 275192 markings/sec, 430 secs
lola: 120215580 markings, 420781610 edges, 272563 markings/sec, 435 secs
lola: 121563929 markings, 425479812 edges, 269670 markings/sec, 440 secs
lola: 122930843 markings, 430232024 edges, 273383 markings/sec, 445 secs
lola: 124454508 markings, 435520579 edges, 304733 markings/sec, 450 secs
lola: 125972771 markings, 440794901 edges, 303653 markings/sec, 455 secs
lola: 127357835 markings, 445601563 edges, 277013 markings/sec, 460 secs
lola: 128738897 markings, 450405969 edges, 276212 markings/sec, 465 secs
lola: 130089506 markings, 455129635 edges, 270122 markings/sec, 470 secs
lola: 131477155 markings, 459957075 edges, 277530 markings/sec, 475 secs
lola: 132936563 markings, 465013520 edges, 291882 markings/sec, 480 secs
lola: 134421769 markings, 470177931 edges, 297041 markings/sec, 485 secs
lola: 135851806 markings, 475131467 edges, 286007 markings/sec, 490 secs
lola: 137217758 markings, 479883105 edges, 273190 markings/sec, 495 secs
lola: 138571848 markings, 484592393 edges, 270818 markings/sec, 500 secs
lola: 139900427 markings, 489227720 edges, 265716 markings/sec, 505 secs
lola: 141249487 markings, 493930249 edges, 269812 markings/sec, 510 secs
lola: 142771063 markings, 499200260 edges, 304315 markings/sec, 515 secs
lola: 144273792 markings, 504408197 edges, 300546 markings/sec, 520 secs
lola: 145654144 markings, 509213194 edges, 276070 markings/sec, 525 secs
lola: 147010068 markings, 513944473 edges, 271185 markings/sec, 530 secs
lola: 148376954 markings, 518675744 edges, 273377 markings/sec, 535 secs
lola: 149725448 markings, 523366953 edges, 269699 markings/sec, 540 secs
lola: 151186408 markings, 528462728 edges, 292192 markings/sec, 545 secs
lola: 152675514 markings, 533619607 edges, 297821 markings/sec, 550 secs
lola: 154076833 markings, 538481809 edges, 280264 markings/sec, 555 secs
lola: 155434507 markings, 543195263 edges, 271535 markings/sec, 560 secs
lola: 156767416 markings, 547830501 edges, 266582 markings/sec, 565 secs
lola: 158099778 markings, 552484587 edges, 266472 markings/sec, 570 secs
lola: 159526492 markings, 557436379 edges, 285343 markings/sec, 575 secs
lola: 161056851 markings, 562746878 edges, 306072 markings/sec, 580 secs
lola: 162505524 markings, 567767349 edges, 289735 markings/sec, 585 secs
lola: 163898953 markings, 572615613 edges, 278686 markings/sec, 590 secs
lola: 165268751 markings, 577375548 edges, 273960 markings/sec, 595 secs
lola: 166637024 markings, 582136087 edges, 273655 markings/sec, 600 secs
lola: 168106870 markings, 587246576 edges, 293969 markings/sec, 605 secs
lola: 169605322 markings, 592446250 edges, 299690 markings/sec, 610 secs
lola: 171011859 markings, 597340648 edges, 281307 markings/sec, 615 secs
lola: 172373839 markings, 602087889 edges, 272396 markings/sec, 620 secs
lola: 173718072 markings, 606766509 edges, 268847 markings/sec, 625 secs
lola: 175057733 markings, 611421199 edges, 267932 markings/sec, 630 secs
lola: 176537719 markings, 616540581 edges, 295997 markings/sec, 635 secs
lola: 178046733 markings, 621778060 edges, 301803 markings/sec, 640 secs
lola: 179437589 markings, 626602257 edges, 278171 markings/sec, 645 secs
lola: 180808137 markings, 631400045 edges, 274110 markings/sec, 650 secs
lola: 182169223 markings, 636103355 edges, 272217 markings/sec, 655 secs
lola: 183527966 markings, 640854207 edges, 271749 markings/sec, 660 secs
lola: 185031352 markings, 646047285 edges, 300677 markings/sec, 665 secs
lola: 186512283 markings, 651187586 edges, 296186 markings/sec, 670 secs
lola: 187909479 markings, 656048213 edges, 279439 markings/sec, 675 secs
lola: 189286494 markings, 660834657 edges, 275403 markings/sec, 680 secs
lola: 190660098 markings, 665610311 edges, 274721 markings/sec, 685 secs
lola: 192096171 markings, 670596839 edges, 287215 markings/sec, 690 secs
lola: 193633060 markings, 675927348 edges, 307378 markings/sec, 695 secs
lola: 195080445 markings, 680952920 edges, 289477 markings/sec, 700 secs
lola: 196506744 markings, 685915040 edges, 285260 markings/sec, 705 secs
lola: 197905520 markings, 690789779 edges, 279755 markings/sec, 710 secs
lola: 199314517 markings, 695685372 edges, 281799 markings/sec, 715 secs
lola: 200821211 markings, 700921071 edges, 301339 markings/sec, 720 secs
lola: 202269146 markings, 705924467 edges, 289587 markings/sec, 725 secs
lola: 203666300 markings, 710779019 edges, 279431 markings/sec, 730 secs
lola: 205046351 markings, 715583414 edges, 276010 markings/sec, 735 secs
lola: 206421452 markings, 720375287 edges, 275020 markings/sec, 740 secs
lola: 207935296 markings, 725612535 edges, 302769 markings/sec, 745 secs
lola: 209407540 markings, 730724828 edges, 294449 markings/sec, 750 secs
lola: 210812084 markings, 735614790 edges, 280909 markings/sec, 755 secs
lola: 212198504 markings, 740422372 edges, 277284 markings/sec, 760 secs
lola: 213599878 markings, 745296968 edges, 280275 markings/sec, 765 secs
lola: 215088623 markings, 750458304 edges, 297749 markings/sec, 770 secs
lola: 216538691 markings, 755496416 edges, 290014 markings/sec, 775 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 200 unknown 407 unknown 200 unknown 10 unknown 10 200 700 407 unknown unknown unknown
lola: memory consumption: 7707884 KB
lola: time consumption: 2003 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1100
lola: SUBRESULT
lola: result: 1100
lola: produced by: state space
lola: The maximum value of the given expression is 1100
lola: 402 markings, 401 edges
lola: ========================================
lola: subprocess 15 will run for 1567 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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 1642 markings, 1641 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 159 markings, 178 edges, 32 markings/sec, 25 secs
lola: 2436530 markings, 5521216 edges, 487274 markings/sec, 30 secs
lola: 4471470 markings, 11091929 edges, 406988 markings/sec, 35 secs
lola: 6096934 markings, 16418193 edges, 325093 markings/sec, 40 secs
lola: 7673146 markings, 21588903 edges, 315242 markings/sec, 45 secs
lola: 9245478 markings, 26745196 edges, 314466 markings/sec, 50 secs
lola: 10893804 markings, 32128474 edges, 329665 markings/sec, 55 secs
lola: 12432665 markings, 37165954 edges, 307772 markings/sec, 60 secs
lola: 13946038 markings, 42123965 edges, 302675 markings/sec, 65 secs
lola: 16023042 markings, 47896598 edges, 415401 markings/sec, 70 secs
lola: 18099614 markings, 53658826 edges, 415314 markings/sec, 75 secs
lola: 20041928 markings, 59072098 edges, 388463 markings/sec, 80 secs
lola: 21859332 markings, 64136497 edges, 363481 markings/sec, 85 secs
lola: 23622042 markings, 69053871 edges, 352542 markings/sec, 90 secs
lola: 25379068 markings, 73960765 edges, 351405 markings/sec, 95 secs
lola: 27237063 markings, 79141280 edges, 371599 markings/sec, 100 secs
lola: 29020440 markings, 84121505 edges, 356675 markings/sec, 105 secs
lola: 30797478 markings, 89090226 edges, 355408 markings/sec, 110 secs
lola: 32563316 markings, 94020596 edges, 353168 markings/sec, 115 secs
lola: 34280233 markings, 98816600 edges, 343383 markings/sec, 120 secs
lola: 36149657 markings, 104033638 edges, 373885 markings/sec, 125 secs
lola: 38047071 markings, 109323490 edges, 379483 markings/sec, 130 secs
lola: 39818243 markings, 114272287 edges, 354234 markings/sec, 135 secs
lola: 41554930 markings, 119124677 edges, 347337 markings/sec, 140 secs
lola: 43299487 markings, 124008299 edges, 348911 markings/sec, 145 secs
lola: 45167782 markings, 129214770 edges, 373659 markings/sec, 150 secs
lola: 46994501 markings, 134310585 edges, 365344 markings/sec, 155 secs
lola: 48697559 markings, 139072210 edges, 340612 markings/sec, 160 secs
lola: 50376725 markings, 143759131 edges, 335833 markings/sec, 165 secs
lola: 52074281 markings, 148508851 edges, 339511 markings/sec, 170 secs
lola: 53920481 markings, 153677779 edges, 369240 markings/sec, 175 secs
lola: 55759259 markings, 158798071 edges, 367756 markings/sec, 180 secs
lola: 57453981 markings, 163541588 edges, 338944 markings/sec, 185 secs
lola: 59133387 markings, 168215424 edges, 335881 markings/sec, 190 secs
lola: 60818703 markings, 172934185 edges, 337063 markings/sec, 195 secs
lola: 62545497 markings, 177752878 edges, 345359 markings/sec, 200 secs
lola: 64353684 markings, 182808561 edges, 361637 markings/sec, 205 secs
lola: 66015035 markings, 187440343 edges, 332270 markings/sec, 210 secs
lola: 67657953 markings, 192033674 edges, 328584 markings/sec, 215 secs
lola: 69308471 markings, 196655704 edges, 330104 markings/sec, 220 secs
lola: 71084748 markings, 201607401 edges, 355255 markings/sec, 225 secs
lola: 72934899 markings, 206769684 edges, 370030 markings/sec, 230 secs
lola: 74631263 markings, 211518104 edges, 339273 markings/sec, 235 secs
lola: 76355890 markings, 216317700 edges, 344925 markings/sec, 240 secs
lola: 78023855 markings, 220999800 edges, 333593 markings/sec, 245 secs
lola: 79860367 markings, 226119172 edges, 367302 markings/sec, 250 secs
lola: 81669650 markings, 231166944 edges, 361857 markings/sec, 255 secs
lola: 83348132 markings, 235845906 edges, 335696 markings/sec, 260 secs
lola: 84993063 markings, 240436480 edges, 328986 markings/sec, 265 secs
lola: 86639451 markings, 245060401 edges, 329278 markings/sec, 270 secs
lola: 88453777 markings, 250122539 edges, 362865 markings/sec, 275 secs
lola: 90233762 markings, 255077711 edges, 355997 markings/sec, 280 secs
lola: 91893453 markings, 259721537 edges, 331938 markings/sec, 285 secs
lola: 93562787 markings, 264382570 edges, 333867 markings/sec, 290 secs
lola: 95207559 markings, 268986968 edges, 328954 markings/sec, 295 secs
lola: 97046792 markings, 274101496 edges, 367847 markings/sec, 300 secs
lola: 98763991 markings, 278896709 edges, 343440 markings/sec, 305 secs
lola: 100440270 markings, 283590802 edges, 335256 markings/sec, 310 secs
lola: 102068618 markings, 288153161 edges, 325670 markings/sec, 315 secs
lola: 103827798 markings, 293062800 edges, 351836 markings/sec, 320 secs
lola: 105652769 markings, 298147646 edges, 364994 markings/sec, 325 secs
lola: 107224167 markings, 302542143 edges, 314280 markings/sec, 330 secs
lola: 108896557 markings, 307195135 edges, 334478 markings/sec, 335 secs
lola: 110584880 markings, 311930452 edges, 337665 markings/sec, 340 secs
lola: 112389647 markings, 316961334 edges, 360953 markings/sec, 345 secs
lola: 114122118 markings, 321788563 edges, 346494 markings/sec, 350 secs
lola: 115658247 markings, 326086448 edges, 307226 markings/sec, 355 secs
lola: 117236288 markings, 330503425 edges, 315608 markings/sec, 360 secs
lola: 118949289 markings, 335280586 edges, 342600 markings/sec, 365 secs
lola: 120519680 markings, 339648744 edges, 314078 markings/sec, 370 secs
lola: 122122347 markings, 344139542 edges, 320533 markings/sec, 375 secs
lola: 123739735 markings, 348655769 edges, 323478 markings/sec, 380 secs
lola: 125398806 markings, 353305817 edges, 331814 markings/sec, 385 secs
lola: 127156284 markings, 358191273 edges, 351496 markings/sec, 390 secs
lola: 128867030 markings, 362958942 edges, 342149 markings/sec, 395 secs
lola: 130463350 markings, 367442311 edges, 319264 markings/sec, 400 secs
lola: 132062108 markings, 371904329 edges, 319752 markings/sec, 405 secs
lola: 133733859 markings, 376565095 edges, 334350 markings/sec, 410 secs
lola: 135567584 markings, 381671964 edges, 366745 markings/sec, 415 secs
lola: 137275151 markings, 386444825 edges, 341513 markings/sec, 420 secs
lola: 138923746 markings, 391049568 edges, 329719 markings/sec, 425 secs
lola: 140601125 markings, 395742518 edges, 335476 markings/sec, 430 secs
lola: 142425479 markings, 400829771 edges, 364871 markings/sec, 435 secs
lola: 144090223 markings, 405482371 edges, 332949 markings/sec, 440 secs
lola: 145713369 markings, 410019234 edges, 324629 markings/sec, 445 secs
lola: 147397537 markings, 414721961 edges, 336834 markings/sec, 450 secs
lola: 149234433 markings, 419837488 edges, 367379 markings/sec, 455 secs
lola: 150924823 markings, 424556770 edges, 338078 markings/sec, 460 secs
lola: 152581705 markings, 429184365 edges, 331376 markings/sec, 465 secs
lola: 154285516 markings, 433953904 edges, 340762 markings/sec, 470 secs
lola: 156090284 markings, 438982839 edges, 360954 markings/sec, 475 secs
lola: 157739830 markings, 443587792 edges, 329909 markings/sec, 480 secs
lola: 159359966 markings, 448121815 edges, 324027 markings/sec, 485 secs
lola: 161109716 markings, 453001606 edges, 349950 markings/sec, 490 secs
lola: 162913862 markings, 458031552 edges, 360829 markings/sec, 495 secs
lola: 164616671 markings, 462799760 edges, 340562 markings/sec, 500 secs
lola: 166281634 markings, 467452342 edges, 332993 markings/sec, 505 secs
lola: 168086305 markings, 472479312 edges, 360934 markings/sec, 510 secs
lola: 169806679 markings, 477286701 edges, 344075 markings/sec, 515 secs
lola: 171435468 markings, 481837088 edges, 325758 markings/sec, 520 secs
lola: 173093806 markings, 486471912 edges, 331668 markings/sec, 525 secs
lola: 174924478 markings, 491562481 edges, 366134 markings/sec, 530 secs
lola: 176597487 markings, 496226876 edges, 334602 markings/sec, 535 secs
lola: 178243615 markings, 500845129 edges, 329226 markings/sec, 540 secs
lola: 180006815 markings, 505755087 edges, 352640 markings/sec, 545 secs
lola: 181729816 markings, 510557604 edges, 344600 markings/sec, 550 secs
lola: 183366094 markings, 515134391 edges, 327256 markings/sec, 555 secs
lola: 185033065 markings, 519793838 edges, 333394 markings/sec, 560 secs
lola: 186913501 markings, 525031272 edges, 376087 markings/sec, 565 secs
lola: 188660326 markings, 529916635 edges, 349365 markings/sec, 570 secs
lola: 190312128 markings, 534530991 edges, 330360 markings/sec, 575 secs
lola: 192146166 markings, 539636858 edges, 366808 markings/sec, 580 secs
lola: 193862212 markings, 544434710 edges, 343209 markings/sec, 585 secs
lola: 195549461 markings, 549154739 edges, 337450 markings/sec, 590 secs
lola: 197353149 markings, 554183225 edges, 360738 markings/sec, 595 secs
lola: 199067305 markings, 558969529 edges, 342831 markings/sec, 600 secs
lola: 200745135 markings, 563647975 edges, 335566 markings/sec, 605 secs
lola: 202515232 markings, 568591010 edges, 354019 markings/sec, 610 secs
lola: 204193147 markings, 573265382 edges, 335583 markings/sec, 615 secs
lola: 205850762 markings, 577904795 edges, 331523 markings/sec, 620 secs
lola: 207599135 markings, 582782230 edges, 349675 markings/sec, 625 secs
lola: 209376998 markings, 587732298 edges, 355573 markings/sec, 630 secs
lola: 211065842 markings, 592460218 edges, 337769 markings/sec, 635 secs
lola: 212839503 markings, 597404766 edges, 354732 markings/sec, 640 secs
lola: 214548919 markings, 602165135 edges, 341883 markings/sec, 645 secs
lola: 216174531 markings, 606712255 edges, 325122 markings/sec, 650 secs
lola: 217903917 markings, 611547445 edges, 345877 markings/sec, 655 secs
lola: 219652031 markings, 616406978 edges, 349623 markings/sec, 660 secs
lola: 221290503 markings, 620988393 edges, 327694 markings/sec, 665 secs
lola: 223035588 markings, 625856816 edges, 349017 markings/sec, 670 secs
lola: 224749861 markings, 630648729 edges, 342855 markings/sec, 675 secs
lola: 226366822 markings, 635161398 edges, 323392 markings/sec, 680 secs
lola: 228189502 markings, 640236677 edges, 364536 markings/sec, 685 secs
lola: 229945018 markings, 645147306 edges, 351103 markings/sec, 690 secs
lola: 231672071 markings, 649971977 edges, 345411 markings/sec, 695 secs
lola: 233471784 markings, 654979476 edges, 359943 markings/sec, 700 secs
lola: 235159095 markings, 659698498 edges, 337462 markings/sec, 705 secs
lola: 236948017 markings, 664678491 edges, 357784 markings/sec, 710 secs
lola: 238701089 markings, 669569178 edges, 350614 markings/sec, 715 secs
lola: 240396391 markings, 674314007 edges, 339060 markings/sec, 720 secs
lola: 242187473 markings, 679296156 edges, 358216 markings/sec, 725 secs
lola: 243855768 markings, 683959744 edges, 333659 markings/sec, 730 secs
lola: 245627506 markings, 688894279 edges, 354348 markings/sec, 735 secs
lola: 247379718 markings, 693789946 edges, 350442 markings/sec, 740 secs
lola: 249125339 markings, 698666717 edges, 349124 markings/sec, 745 secs
lola: 250880353 markings, 703550433 edges, 351003 markings/sec, 750 secs
lola: 252546018 markings, 708210894 edges, 333133 markings/sec, 755 secs
lola: 254334534 markings, 713189599 edges, 357703 markings/sec, 760 secs
lola: 256004174 markings, 717850628 edges, 333928 markings/sec, 765 secs
lola: 257781612 markings, 722806428 edges, 355488 markings/sec, 770 secs
lola: 259444204 markings, 727446606 edges, 332518 markings/sec, 775 secs
lola: 261226329 markings, 732410424 edges, 356425 markings/sec, 780 secs
lola: 262987075 markings, 737324477 edges, 352149 markings/sec, 785 secs
lola: 264785221 markings, 742337586 edges, 359629 markings/sec, 790 secs
lola: 266508351 markings, 747148226 edges, 344626 markings/sec, 795 secs
lola: 268304388 markings, 752156075 edges, 359207 markings/sec, 800 secs
lola: 270034155 markings, 756989180 edges, 345953 markings/sec, 805 secs
lola: 271826454 markings, 761979536 edges, 358460 markings/sec, 810 secs
lola: 273520044 markings, 766709942 edges, 338718 markings/sec, 815 secs
lola: 275347522 markings, 771794247 edges, 365496 markings/sec, 820 secs
lola: 277099113 markings, 776693816 edges, 350318 markings/sec, 825 secs
lola: 278891635 markings, 781681008 edges, 358504 markings/sec, 830 secs
lola: 280639567 markings, 786556409 edges, 349586 markings/sec, 835 secs
lola: 282387327 markings, 791432331 edges, 349552 markings/sec, 840 secs
lola: 284168851 markings, 796392491 edges, 356305 markings/sec, 845 secs
lola: 285866249 markings, 801137469 edges, 339480 markings/sec, 850 secs
lola: 287736382 markings, 806345136 edges, 374027 markings/sec, 855 secs
lola: 289581883 markings, 811487611 edges, 369100 markings/sec, 860 secs
lola: 291376047 markings, 816493150 edges, 358833 markings/sec, 865 secs
lola: 293206557 markings, 821596977 edges, 366102 markings/sec, 870 secs
lola: 295045986 markings, 826717770 edges, 367886 markings/sec, 875 secs
lola: 296894920 markings, 831869706 edges, 369787 markings/sec, 880 secs
lola: 298737419 markings, 837007037 edges, 368500 markings/sec, 885 secs
lola: 300528221 markings, 842003415 edges, 358160 markings/sec, 890 secs
lola: 302361393 markings, 847103561 edges, 366634 markings/sec, 895 secs
lola: 304173696 markings, 852151937 edges, 362461 markings/sec, 900 secs
lola: 306055649 markings, 857395141 edges, 376391 markings/sec, 905 secs
lola: 307912610 markings, 862569530 edges, 371392 markings/sec, 910 secs
lola: 309760822 markings, 867714958 edges, 369642 markings/sec, 915 secs
lola: 311585862 markings, 872803542 edges, 365008 markings/sec, 920 secs
lola: 313438002 markings, 877962267 edges, 370428 markings/sec, 925 secs
lola: 315273923 markings, 883070285 edges, 367184 markings/sec, 930 secs
lola: 317095378 markings, 888134167 edges, 364291 markings/sec, 935 secs
lola: 318939222 markings, 893270815 edges, 368769 markings/sec, 940 secs
lola: 320848085 markings, 898578854 edges, 381773 markings/sec, 945 secs
lola: 322714064 markings, 903773397 edges, 373196 markings/sec, 950 secs
lola: 324614068 markings, 909059127 edges, 380001 markings/sec, 955 secs
lola: 326365591 markings, 913925835 edges, 350305 markings/sec, 960 secs
lola: 328319489 markings, 919349434 edges, 390780 markings/sec, 965 secs
lola: 330244580 markings, 924694523 edges, 385018 markings/sec, 970 secs
lola: 332214995 markings, 930153792 edges, 394083 markings/sec, 975 secs
lola: 334227836 markings, 935736284 edges, 402568 markings/sec, 980 secs
lola: 335830956 markings, 940271605 edges, 320624 markings/sec, 985 secs
lola: 337345364 markings, 944512295 edges, 302882 markings/sec, 990 secs
lola: 338886590 markings, 948829015 edges, 308245 markings/sec, 995 secs
lola: 340461277 markings, 953239403 edges, 314937 markings/sec, 1000 secs
lola: 342098654 markings, 957825630 edges, 327475 markings/sec, 1005 secs
lola: 343875035 markings, 962802729 edges, 355276 markings/sec, 1010 secs
lola: 345517452 markings, 967468149 edges, 328483 markings/sec, 1015 secs
lola: 347027318 markings, 971696298 edges, 301973 markings/sec, 1020 secs
lola: 348550467 markings, 975961842 edges, 304630 markings/sec, 1025 secs
lola: 350120500 markings, 980359115 edges, 314007 markings/sec, 1030 secs
lola: 351760686 markings, 984953471 edges, 328037 markings/sec, 1035 secs
lola: 353337512 markings, 989370611 edges, 315365 markings/sec, 1040 secs
lola: 355054774 markings, 994246002 edges, 343452 markings/sec, 1045 secs
lola: 356608532 markings, 998597842 edges, 310752 markings/sec, 1050 secs
lola: 358139696 markings, 1002885909 edges, 306233 markings/sec, 1055 secs
lola: 359700226 markings, 1007256440 edges, 312106 markings/sec, 1060 secs
lola: 361289166 markings, 1011706997 edges, 317788 markings/sec, 1065 secs
lola: 362862925 markings, 1016115293 edges, 314752 markings/sec, 1070 secs
lola: 364520738 markings, 1020824387 edges, 331563 markings/sec, 1075 secs
lola: 366069958 markings, 1025163642 edges, 309844 markings/sec, 1080 secs
lola: 367492124 markings, 1029146571 edges, 284433 markings/sec, 1085 secs
lola: 369009098 markings, 1033394441 edges, 303395 markings/sec, 1090 secs
lola: 370533536 markings, 1037664162 edges, 304888 markings/sec, 1095 secs
lola: 372134756 markings, 1042149617 edges, 320244 markings/sec, 1100 secs
lola: 373881166 markings, 1047107643 edges, 349282 markings/sec, 1105 secs
lola: 375458198 markings, 1051523454 edges, 315406 markings/sec, 1110 secs
lola: 376945581 markings, 1055689594 edges, 297477 markings/sec, 1115 secs
lola: 378453488 markings, 1059911974 edges, 301581 markings/sec, 1120 secs
lola: 379985141 markings, 1064202239 edges, 306331 markings/sec, 1125 secs
lola: 381571097 markings, 1068644119 edges, 317191 markings/sec, 1130 secs
lola: 383281734 markings, 1073436957 edges, 342127 markings/sec, 1135 secs
lola: 384908950 markings, 1078059108 edges, 325443 markings/sec, 1140 secs
lola: 386402824 markings, 1082242482 edges, 298775 markings/sec, 1145 secs
lola: 387909836 markings, 1086463303 edges, 301402 markings/sec, 1150 secs
lola: 389447228 markings, 1090769168 edges, 307478 markings/sec, 1155 secs
lola: 391021536 markings, 1095178437 edges, 314862 markings/sec, 1160 secs
lola: 392713910 markings, 1099919406 edges, 338475 markings/sec, 1165 secs
lola: 394403156 markings, 1104715956 edges, 337849 markings/sec, 1170 secs
lola: 395914315 markings, 1108948008 edges, 302232 markings/sec, 1175 secs
lola: 397406225 markings, 1113126027 edges, 298382 markings/sec, 1180 secs
lola: 398930740 markings, 1117395544 edges, 304903 markings/sec, 1185 secs
lola: 400475926 markings, 1121723389 edges, 309037 markings/sec, 1190 secs
lola: 402109390 markings, 1126299084 edges, 326693 markings/sec, 1195 secs
lola: 403826799 markings, 1131174283 edges, 343482 markings/sec, 1200 secs
lola: 405362424 markings, 1135475162 edges, 307125 markings/sec, 1205 secs
lola: 406847224 markings, 1139633822 edges, 296960 markings/sec, 1210 secs
lola: 408354153 markings, 1143853539 edges, 301386 markings/sec, 1215 secs
lola: 409894678 markings, 1148168322 edges, 308105 markings/sec, 1220 secs
lola: 411499510 markings, 1152663467 edges, 320966 markings/sec, 1225 secs
lola: 413228948 markings, 1157512289 edges, 345888 markings/sec, 1230 secs
lola: 414808452 markings, 1161996361 edges, 315901 markings/sec, 1235 secs
lola: 416292784 markings, 1166153602 edges, 296866 markings/sec, 1240 secs
lola: 417797771 markings, 1170368541 edges, 300997 markings/sec, 1245 secs
lola: 419320750 markings, 1174633594 edges, 304596 markings/sec, 1250 secs
lola: 420890182 markings, 1179029245 edges, 313886 markings/sec, 1255 secs
lola: 422560828 markings, 1183709792 edges, 334129 markings/sec, 1260 secs
lola: 424214599 markings, 1188405538 edges, 330754 markings/sec, 1265 secs
lola: 425705876 markings, 1192581755 edges, 298255 markings/sec, 1270 secs
lola: 427191802 markings, 1196743532 edges, 297185 markings/sec, 1275 secs
lola: 428708304 markings, 1200990907 edges, 303300 markings/sec, 1280 secs
lola: 430252497 markings, 1205316136 edges, 308839 markings/sec, 1285 secs
lola: 431874340 markings, 1209858775 edges, 324369 markings/sec, 1290 secs
lola: 433579590 markings, 1214699371 edges, 341050 markings/sec, 1295 secs
lola: 435117951 markings, 1219008090 edges, 307672 markings/sec, 1300 secs
lola: 436611792 markings, 1223191412 edges, 298768 markings/sec, 1305 secs
lola: 438136636 markings, 1227461533 edges, 304969 markings/sec, 1310 secs
lola: 439689340 markings, 1231810879 edges, 310541 markings/sec, 1315 secs
lola: 441281206 markings, 1236269556 edges, 318373 markings/sec, 1320 secs
lola: 442979300 markings, 1241080570 edges, 339619 markings/sec, 1325 secs
lola: 444565759 markings, 1245533003 edges, 317292 markings/sec, 1330 secs
lola: 446056299 markings, 1249707216 edges, 298108 markings/sec, 1335 secs
lola: 447563911 markings, 1253930094 edges, 301522 markings/sec, 1340 secs
lola: 449090855 markings, 1258206270 edges, 305389 markings/sec, 1345 secs
lola: 450675153 markings, 1262643905 edges, 316860 markings/sec, 1350 secs
lola: 452351100 markings, 1267339283 edges, 335189 markings/sec, 1355 secs
lola: 453990132 markings, 1271992808 edges, 327806 markings/sec, 1360 secs
lola: 455482718 markings, 1276173231 edges, 298517 markings/sec, 1365 secs
lola: 456903300 markings, 1280151368 edges, 284116 markings/sec, 1370 secs
lola: 457985311 markings, 1283181640 edges, 216402 markings/sec, 1375 secs
lola: 458563811 markings, 1284802213 edges, 115700 markings/sec, 1380 secs
lola: 459765522 markings, 1288167640 edges, 240342 markings/sec, 1385 secs
lola: 460941780 markings, 1291462331 edges, 235252 markings/sec, 1390 secs
lola: 461987584 markings, 1294392491 edges, 209161 markings/sec, 1395 secs
lola: 463059083 markings, 1297456588 edges, 214300 markings/sec, 1400 secs
lola: 464045756 markings, 1300220359 edges, 197335 markings/sec, 1405 secs
lola: 465500621 markings, 1304294183 edges, 290973 markings/sec, 1410 secs
lola: 466956090 markings, 1308370845 edges, 291094 markings/sec, 1415 secs
lola: 468449140 markings, 1312552548 edges, 298610 markings/sec, 1420 secs
lola: 469957681 markings, 1316777664 edges, 301708 markings/sec, 1425 secs
lola: 471535244 markings, 1321196611 edges, 315513 markings/sec, 1430 secs
lola: 473173501 markings, 1325848463 edges, 327651 markings/sec, 1435 secs
lola: 474651921 markings, 1329988757 edges, 295684 markings/sec, 1440 secs
lola: 476086674 markings, 1334006841 edges, 286951 markings/sec, 1445 secs
lola: 477558690 markings, 1338129388 edges, 294403 markings/sec, 1450 secs
lola: 479037601 markings, 1342271622 edges, 295782 markings/sec, 1455 secs
lola: 480565024 markings, 1346549775 edges, 305485 markings/sec, 1460 secs
lola: 482202426 markings, 1351137878 edges, 327480 markings/sec, 1465 secs
lola: 483746823 markings, 1355524772 edges, 308879 markings/sec, 1470 secs
lola: 485252713 markings, 1359742617 edges, 301178 markings/sec, 1475 secs
lola: 486689480 markings, 1363766324 edges, 287353 markings/sec, 1480 secs
lola: 488160120 markings, 1367885134 edges, 294128 markings/sec, 1485 secs
lola: 489653796 markings, 1372068261 edges, 298735 markings/sec, 1490 secs
lola: 491198832 markings, 1376396290 edges, 309007 markings/sec, 1495 secs
lola: 492841533 markings, 1381060525 edges, 328540 markings/sec, 1500 secs
lola: 494329934 markings, 1385228659 edges, 297680 markings/sec, 1505 secs
lola: 495770452 markings, 1389262810 edges, 288104 markings/sec, 1510 secs
lola: 497234991 markings, 1393364509 edges, 292908 markings/sec, 1515 secs
lola: 498719456 markings, 1397521920 edges, 296893 markings/sec, 1520 secs
lola: 500246530 markings, 1401799261 edges, 305415 markings/sec, 1525 secs
lola: 501858334 markings, 1406315266 edges, 322361 markings/sec, 1530 secs
lola: 503411963 markings, 1410728732 edges, 310726 markings/sec, 1535 secs
lola: 504855652 markings, 1414771655 edges, 288738 markings/sec, 1540 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 200 unknown 407 unknown 200 unknown 10 unknown 10 200 700 407 unknown 1100 10
lola:
preliminary result: 1 200 unknown 407 unknown 200 unknown 10 unknown 10 200 700 407 unknown 1100 10
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 200 unknown 407 unknown 200 unknown 10 unknown 10 200 700 407 unknown 1100 10
lola: memory consumption: 1564 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPPP-PT-C0100N0000000100"
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 GPPP-PT-C0100N0000000100, 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 r170-smll-158987815900501"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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