Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806700429.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is CloudOpsManagement-PT-00640by00320, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806700429
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Mar 26 08:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591354348136

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 10:52:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 10:52:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 10:52:30] [INFO ] Load time of PNML (sax parser for PT used): 40 ms
[2020-06-05 10:52:30] [INFO ] Transformed 27 places.
[2020-06-05 10:52:30] [INFO ] Transformed 29 transitions.
[2020-06-05 10:52:30] [INFO ] Parsed PT model containing 27 places and 29 transitions in 92 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-05 10:52:31] [INFO ] Flatten gal took : 52 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 29 rows 27 cols
[2020-06-05 10:52:31] [INFO ] Computed 11 place invariants in 7 ms
Support contains 12 out of 27 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27/27 places, 29/29 transitions.
Graph (trivial) has 6 edges and 27 vertex of which 6 / 27 are part of one of the 3 SCC in 6 ms
Free SCC test removed 3 places
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 8 place count 24 transition count 22
Applied a total of 8 rules in 30 ms. Remains 24 /27 variables (removed 3) and now considering 22/29 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 24/27 places, 22/29 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 22 rows 24 cols
[2020-06-05 10:52:31] [INFO ] Computed 11 place invariants in 1 ms
Support contains 12 out of 24 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 24/24 places, 22/22 transitions.
Applied a total of 0 rules in 4 ms. Remains 24 /24 variables (removed 0) and now considering 22/22 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 24/24 places, 22/22 transitions.
Starting structural reductions, iteration 0 : 24/24 places, 22/22 transitions.
Applied a total of 0 rules in 7 ms. Remains 24 /24 variables (removed 0) and now considering 22/22 (removed 0) transitions.
// Phase 1: matrix 22 rows 24 cols
[2020-06-05 10:52:31] [INFO ] Computed 11 place invariants in 7 ms
[2020-06-05 10:52:31] [INFO ] Implicit Places using invariants in 157 ms returned []
// Phase 1: matrix 22 rows 24 cols
[2020-06-05 10:52:31] [INFO ] Computed 11 place invariants in 2 ms
[2020-06-05 10:52:31] [INFO ] State equation strengthened by 2 read => feed constraints.
[2020-06-05 10:52:31] [INFO ] Implicit Places using invariants and state equation in 81 ms returned [2]
Discarding 1 places :
Implicit Place search using SMT with State Equation took 244 ms to find 1 implicit places.
[2020-06-05 10:52:31] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 22 rows 23 cols
[2020-06-05 10:52:31] [INFO ] Computed 10 place invariants in 2 ms
[2020-06-05 10:52:31] [INFO ] Dead Transitions using invariants and state equation in 64 ms returned []
Starting structural reductions, iteration 1 : 23/24 places, 22/22 transitions.
Applied a total of 0 rules in 3 ms. Remains 23 /23 variables (removed 0) and now considering 22/22 (removed 0) transitions.
[2020-06-05 10:52:31] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 22 rows 23 cols
[2020-06-05 10:52:31] [INFO ] Computed 10 place invariants in 1 ms
[2020-06-05 10:52:31] [INFO ] Dead Transitions using invariants and state equation in 54 ms returned []
Finished structural reductions, in 2 iterations. Remains : 23/24 places, 22/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 22 rows 23 cols
[2020-06-05 10:52:31] [INFO ] Computed 10 place invariants in 1 ms
Support contains 12 out of 23 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 23/23 places, 22/22 transitions.
Applied a total of 0 rules in 2 ms. Remains 23 /23 variables (removed 0) and now considering 22/22 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 23/23 places, 22/22 transitions.
Starting structural reductions, iteration 0 : 23/23 places, 22/22 transitions.
Applied a total of 0 rules in 2 ms. Remains 23 /23 variables (removed 0) and now considering 22/22 (removed 0) transitions.
// Phase 1: matrix 22 rows 23 cols
[2020-06-05 10:52:31] [INFO ] Computed 10 place invariants in 1 ms
[2020-06-05 10:52:31] [INFO ] Implicit Places using invariants in 31 ms returned []
// Phase 1: matrix 22 rows 23 cols
[2020-06-05 10:52:31] [INFO ] Computed 10 place invariants in 1 ms
[2020-06-05 10:52:31] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-06-05 10:52:31] [INFO ] Implicit Places using invariants and state equation in 57 ms returned []
Implicit Place search using SMT with State Equation took 92 ms to find 0 implicit places.
[2020-06-05 10:52:31] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 22 rows 23 cols
[2020-06-05 10:52:31] [INFO ] Computed 10 place invariants in 1 ms
[2020-06-05 10:52:31] [INFO ] Dead Transitions using invariants and state equation in 46 ms returned []
Finished structural reductions, in 1 iterations. Remains : 23/23 places, 22/22 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 7 ms. Remains 23 /23 variables (removed 0) and now considering 22/22 (removed 0) transitions.
// Phase 1: matrix 22 rows 23 cols
[2020-06-05 10:52:31] [INFO ] Computed 10 place invariants in 0 ms
[2020-06-05 10:52:31] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-05 10:52:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ CloudOpsManagement-PT-00640by00320 @ 3570 seconds

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-00 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-01 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-02 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-03 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-04 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-05 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-06 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-07 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-08 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-09 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-10 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-11 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-12 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-13 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-14 1280 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 904
rslt: Output for UpperBounds @ CloudOpsManagement-PT-00640by00320

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 10:52:33 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 223
},
"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": 320,
"markings": 321,
"produced_by": "search",
"value": 320
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

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

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

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

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

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1783
},
"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": 1117905,
"markings": 561196,
"produced_by": "search",
"value": 1280
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 3228,
"runtime": 2666.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 73,
"conflict_clusters": 9,
"places": 23,
"places_significant": 13,
"singleton_clusters": 0,
"transitions": 22
},
"result":
{
"preliminary_value": "320 640 320 640 320 640 640 320 320 320 640 320 320 320 1280 unknown ",
"value": "320 640 320 640 320 640 640 320 320 320 640 320 320 320 1280 unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 45/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 736
lola: finding significant places
lola: 23 places, 22 transitions, 13 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p2) : MAX(p16) : MAX(p4) : MAX(p22) : MAX(p9) : MAX(p14) : MAX(p19) : MAX(p15) : MAX(p12) : MAX(p9) : MAX(p22) : MAX(p4) : MAX(p3) : MAX(p3) : MAX(p6) : MAX(p21)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 321 markings, 320 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 641 markings, 959 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 2235 markings, 3826 edges
lola: ========================================
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 1318480 markings, 1983397 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 641 markings, 959 edges
lola: ========================================
lola: subprocess 10 will run for 594 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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 891 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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 641 markings, 959 edges
lola: ========================================
lola: subprocess 13 will run for 1188 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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 641 markings, 959 edges
lola: ========================================
lola: subprocess 14 will run for 1783 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: 1280
lola: SUBRESULT
lola: result: 1280
lola: produced by: state space
lola: The maximum value of the given expression is 1280
lola: 561196 markings, 1117905 edges
lola: subprocess 15 will run for 3565 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 960
lola: 2736774 markings, 6211724 edges, 547355 markings/sec, 0 secs
lola: 5282973 markings, 12005233 edges, 509240 markings/sec, 5 secs
lola: 8007091 markings, 18436101 edges, 544824 markings/sec, 10 secs
lola: 10508508 markings, 24360381 edges, 500283 markings/sec, 15 secs
lola: 12999480 markings, 30267049 edges, 498194 markings/sec, 20 secs
lola: 15684795 markings, 36615214 edges, 537063 markings/sec, 25 secs
lola: 18176001 markings, 42516421 edges, 498241 markings/sec, 30 secs
lola: 20708232 markings, 48519237 edges, 506446 markings/sec, 35 secs
lola: 23291374 markings, 54625668 edges, 516628 markings/sec, 40 secs
lola: 25670789 markings, 60263748 edges, 475883 markings/sec, 45 secs
lola: 28166281 markings, 66175916 edges, 499098 markings/sec, 50 secs
lola: 30653990 markings, 72059656 edges, 497542 markings/sec, 55 secs
lola: 32999602 markings, 77618591 edges, 469122 markings/sec, 60 secs
lola: 35508750 markings, 83558990 edges, 501830 markings/sec, 65 secs
lola: 37908173 markings, 89238600 edges, 479885 markings/sec, 70 secs
lola: 40263647 markings, 94824896 edges, 471095 markings/sec, 75 secs
lola: 42783879 markings, 100780785 edges, 504046 markings/sec, 80 secs
lola: 45095743 markings, 106259718 edges, 462373 markings/sec, 85 secs
lola: 47540333 markings, 112051484 edges, 488918 markings/sec, 90 secs
lola: 49908549 markings, 117652986 edges, 473643 markings/sec, 95 secs
lola: 52202787 markings, 123089898 edges, 458848 markings/sec, 100 secs
lola: 54673450 markings, 128935570 edges, 494133 markings/sec, 105 secs
lola: 56908197 markings, 134229413 edges, 446949 markings/sec, 110 secs
lola: 59244121 markings, 139763889 edges, 467185 markings/sec, 115 secs
lola: 61607358 markings, 145354313 edges, 472647 markings/sec, 120 secs
lola: 63790026 markings, 150526880 edges, 436534 markings/sec, 125 secs
lola: 66262057 markings, 156375194 edges, 494406 markings/sec, 130 secs
lola: 68466335 markings, 161597710 edges, 440856 markings/sec, 135 secs
lola: 70800903 markings, 167128268 edges, 466914 markings/sec, 140 secs
lola: 73066835 markings, 172488777 edges, 453186 markings/sec, 145 secs
lola: 75360401 markings, 177929960 edges, 458713 markings/sec, 150 secs
lola: 77805226 markings, 183706688 edges, 488965 markings/sec, 155 secs
lola: 80061903 markings, 189055175 edges, 451335 markings/sec, 160 secs
lola: 82418863 markings, 194638026 edges, 471392 markings/sec, 165 secs
lola: 84698193 markings, 200031138 edges, 455866 markings/sec, 170 secs
lola: 86894445 markings, 205239819 edges, 439250 markings/sec, 175 secs
lola: 89301203 markings, 210928292 edges, 481352 markings/sec, 180 secs
lola: 91556433 markings, 216272892 edges, 451046 markings/sec, 185 secs
lola: 93943843 markings, 221925619 edges, 477482 markings/sec, 190 secs
lola: 96194649 markings, 227253091 edges, 450161 markings/sec, 195 secs
lola: 98444052 markings, 232586210 edges, 449881 markings/sec, 200 secs
lola: 100811080 markings, 238182223 edges, 473406 markings/sec, 205 secs
lola: 103013767 markings, 243403076 edges, 440537 markings/sec, 210 secs
lola: 105426517 markings, 249113168 edges, 482550 markings/sec, 215 secs
lola: 107666406 markings, 254417255 edges, 447978 markings/sec, 220 secs
lola: 109957305 markings, 259846902 edges, 458180 markings/sec, 225 secs
lola: 112261093 markings, 265294545 edges, 460758 markings/sec, 230 secs
lola: 114440527 markings, 270460724 edges, 435887 markings/sec, 235 secs
lola: 116814607 markings, 276076770 edges, 474816 markings/sec, 240 secs
lola: 118945298 markings, 281125729 edges, 426138 markings/sec, 245 secs
lola: 121313823 markings, 286735304 edges, 473705 markings/sec, 250 secs
lola: 123614899 markings, 292181013 edges, 460215 markings/sec, 255 secs
lola: 125887569 markings, 297571005 edges, 454534 markings/sec, 260 secs
lola: 128307803 markings, 303290781 edges, 484047 markings/sec, 265 secs
lola: 130534671 markings, 308568266 edges, 445374 markings/sec, 270 secs
lola: 132907191 markings, 314186343 edges, 474504 markings/sec, 275 secs
lola: 135185477 markings, 319578696 edges, 455657 markings/sec, 280 secs
lola: 137483696 markings, 325028303 edges, 459644 markings/sec, 285 secs
lola: 139895853 markings, 330729587 edges, 482431 markings/sec, 290 secs
lola: 142159800 markings, 336095240 edges, 452789 markings/sec, 295 secs
lola: 144517743 markings, 341677633 edges, 471589 markings/sec, 300 secs
lola: 146787538 markings, 347050614 edges, 453959 markings/sec, 305 secs
lola: 149040422 markings, 352392557 edges, 450577 markings/sec, 310 secs
lola: 151399823 markings, 357968975 edges, 471880 markings/sec, 315 secs
lola: 153628340 markings, 363251840 edges, 445703 markings/sec, 320 secs
lola: 155971206 markings, 368796896 edges, 468573 markings/sec, 325 secs
lola: 158147147 markings, 373950258 edges, 435188 markings/sec, 330 secs
lola: 160416011 markings, 379325613 edges, 453773 markings/sec, 335 secs
lola: 162701881 markings, 384732670 edges, 457174 markings/sec, 340 secs
lola: 164912277 markings, 389976474 edges, 442079 markings/sec, 345 secs
lola: 167307395 markings, 395636957 edges, 479024 markings/sec, 350 secs
lola: 169512320 markings, 400862111 edges, 440985 markings/sec, 355 secs
lola: 171803737 markings, 406288484 edges, 458283 markings/sec, 360 secs
lola: 173985683 markings, 411452932 edges, 436389 markings/sec, 365 secs
lola: 176204340 markings, 416711642 edges, 443731 markings/sec, 370 secs
lola: 178524868 markings, 422197994 edges, 464106 markings/sec, 375 secs
lola: 180751379 markings, 427475856 edges, 445302 markings/sec, 380 secs
lola: 183161727 markings, 433180430 edges, 482070 markings/sec, 385 secs
lola: 185424295 markings, 438538406 edges, 452514 markings/sec, 390 secs
lola: 187743280 markings, 444034403 edges, 463797 markings/sec, 395 secs
lola: 190074013 markings, 449546520 edges, 466147 markings/sec, 400 secs
lola: 192320925 markings, 454871350 edges, 449382 markings/sec, 405 secs
lola: 194709003 markings, 460522004 edges, 477616 markings/sec, 410 secs
lola: 196921049 markings, 465761582 edges, 442409 markings/sec, 415 secs
lola: 199239918 markings, 471255521 edges, 463774 markings/sec, 420 secs
lola: 201517097 markings, 476642440 edges, 455436 markings/sec, 425 secs
lola: 203747327 markings, 481932573 edges, 446046 markings/sec, 430 secs
lola: 206104241 markings, 487502104 edges, 471383 markings/sec, 435 secs
lola: 208280107 markings, 492659537 edges, 435173 markings/sec, 440 secs
lola: 210601320 markings, 498154523 edges, 464243 markings/sec, 445 secs
lola: 212828136 markings, 503426917 edges, 445363 markings/sec, 450 secs
lola: 215110157 markings, 508836100 edges, 456404 markings/sec, 455 secs
lola: 217359371 markings, 514153919 edges, 449843 markings/sec, 460 secs
lola: 219518882 markings, 519272387 edges, 431902 markings/sec, 465 secs
lola: 221829197 markings, 524738081 edges, 462063 markings/sec, 470 secs
lola: 224012764 markings, 529912057 edges, 436713 markings/sec, 475 secs
lola: 226750952 markings, 536399368 edges, 547638 markings/sec, 480 secs
lola: 229012329 markings, 541746969 edges, 452275 markings/sec, 485 secs
lola: 231235901 markings, 547016916 edges, 444714 markings/sec, 490 secs
lola: 233580914 markings, 552565335 edges, 469003 markings/sec, 495 secs
lola: 235753353 markings, 557712267 edges, 434488 markings/sec, 500 secs
lola: 238013874 markings, 563064833 edges, 452104 markings/sec, 505 secs
lola: 240239360 markings, 568332505 edges, 445097 markings/sec, 510 secs
lola: 242448804 markings, 573571564 edges, 441889 markings/sec, 515 secs
lola: 244827122 markings, 579193201 edges, 475664 markings/sec, 520 secs
lola: 247106887 markings, 584596728 edges, 455953 markings/sec, 525 secs
lola: 249468023 markings, 590185509 edges, 472227 markings/sec, 530 secs
lola: 251700407 markings, 595471442 edges, 446477 markings/sec, 535 secs
lola: 253978167 markings, 600869789 edges, 455552 markings/sec, 540 secs
lola: 256310079 markings, 606383891 edges, 466382 markings/sec, 545 secs
lola: 258548011 markings, 611688351 edges, 447586 markings/sec, 550 secs
lola: 260881988 markings, 617210510 edges, 466795 markings/sec, 555 secs
lola: 263069979 markings, 622394040 edges, 437598 markings/sec, 560 secs
lola: 265341709 markings, 627774792 edges, 454346 markings/sec, 565 secs
lola: 267558257 markings, 633019955 edges, 443310 markings/sec, 570 secs
lola: 269738131 markings, 638189304 edges, 435975 markings/sec, 575 secs
lola: 272047494 markings, 643648160 edges, 461873 markings/sec, 580 secs
lola: 274210911 markings, 648775838 edges, 432683 markings/sec, 585 secs
lola: 276539093 markings, 654285860 edges, 465636 markings/sec, 590 secs
lola: 278708377 markings, 659423490 edges, 433857 markings/sec, 595 secs
lola: 280951395 markings, 664736344 edges, 448604 markings/sec, 600 secs
lola: 283134087 markings, 669900729 edges, 436538 markings/sec, 605 secs
lola: 285271385 markings, 674969216 edges, 427460 markings/sec, 610 secs
lola: 287512819 markings, 680267973 edges, 448287 markings/sec, 615 secs
lola: 289646780 markings, 685325993 edges, 426792 markings/sec, 620 secs
lola: 291942809 markings, 690758535 edges, 459206 markings/sec, 625 secs
lola: 294094085 markings, 695855570 edges, 430255 markings/sec, 630 secs
lola: 296354022 markings, 701206813 edges, 451987 markings/sec, 635 secs
lola: 298535575 markings, 706370505 edges, 436311 markings/sec, 640 secs
lola: 300729898 markings, 711572546 edges, 438865 markings/sec, 645 secs
lola: 303032953 markings, 717017875 edges, 460611 markings/sec, 650 secs
lola: 305235877 markings, 722239104 edges, 440585 markings/sec, 655 secs
lola: 307595039 markings, 727820689 edges, 471832 markings/sec, 660 secs
lola: 309797696 markings, 733039419 edges, 440531 markings/sec, 665 secs
lola: 312071362 markings, 738425154 edges, 454733 markings/sec, 670 secs
lola: 314300445 markings, 743698754 edges, 445817 markings/sec, 675 secs
lola: 316494178 markings, 748900979 edges, 438747 markings/sec, 680 secs
lola: 318777817 markings, 754299128 edges, 456728 markings/sec, 685 secs
lola: 320940317 markings, 759424943 edges, 432500 markings/sec, 690 secs
lola: 323214811 markings, 764806247 edges, 454899 markings/sec, 695 secs
lola: 325360738 markings, 769890678 edges, 429185 markings/sec, 700 secs
lola: 327583437 markings, 775155417 edges, 444540 markings/sec, 705 secs
lola: 329764455 markings, 780316574 edges, 436204 markings/sec, 710 secs
lola: 331903651 markings, 785388748 edges, 427839 markings/sec, 715 secs
lola: 334146711 markings, 790691634 edges, 448612 markings/sec, 720 secs
lola: 336263167 markings, 795707659 edges, 423291 markings/sec, 725 secs
lola: 338573702 markings, 801173692 edges, 462107 markings/sec, 730 secs
lola: 340727999 markings, 806278752 edges, 430859 markings/sec, 735 secs
lola: 342968507 markings, 811583286 edges, 448102 markings/sec, 740 secs
lola: 345087344 markings, 816599447 edges, 423767 markings/sec, 745 secs
lola: 347230040 markings, 821676390 edges, 428539 markings/sec, 750 secs
lola: 349410795 markings, 826835791 edges, 436151 markings/sec, 755 secs
lola: 351560323 markings, 831933686 edges, 429906 markings/sec, 760 secs
lola: 353822038 markings, 837279479 edges, 452343 markings/sec, 765 secs
lola: 355953803 markings, 842332356 edges, 426353 markings/sec, 770 secs
lola: 358177769 markings, 847594115 edges, 444793 markings/sec, 775 secs
lola: 360303541 markings, 852630886 edges, 425154 markings/sec, 780 secs
lola: 362536375 markings, 857917840 edges, 446567 markings/sec, 785 secs
lola: 364731605 markings, 863114407 edges, 439046 markings/sec, 790 secs
lola: 366937461 markings, 868343575 edges, 441171 markings/sec, 795 secs
lola: 369224271 markings, 873750526 edges, 457362 markings/sec, 800 secs
lola: 371351963 markings, 878793355 edges, 425538 markings/sec, 805 secs
lola: 373630243 markings, 884183390 edges, 455656 markings/sec, 810 secs
lola: 375777539 markings, 889271359 edges, 429459 markings/sec, 815 secs
lola: 378005695 markings, 894546668 edges, 445631 markings/sec, 820 secs
lola: 380156834 markings, 899639387 edges, 430228 markings/sec, 825 secs
lola: 382311655 markings, 904745801 edges, 430964 markings/sec, 830 secs
lola: 384503473 markings, 909929956 edges, 438364 markings/sec, 835 secs
lola: 386634464 markings, 914986068 edges, 426198 markings/sec, 840 secs
lola: 388893106 markings, 920322117 edges, 451728 markings/sec, 845 secs
lola: 391007711 markings, 925335200 edges, 422921 markings/sec, 850 secs
lola: 393284377 markings, 930723080 edges, 455333 markings/sec, 855 secs
lola: 395401991 markings, 935738933 edges, 423523 markings/sec, 860 secs
lola: 397616512 markings, 940984199 edges, 442904 markings/sec, 865 secs
lola: 399752223 markings, 946038207 edges, 427142 markings/sec, 870 secs
lola: 401906175 markings, 951144912 edges, 430790 markings/sec, 875 secs
lola: 404111740 markings, 956359920 edges, 441113 markings/sec, 880 secs
lola: 406200737 markings, 961316678 edges, 417799 markings/sec, 885 secs
lola: 408425836 markings, 966573465 edges, 445020 markings/sec, 890 secs
lola: 410509224 markings, 971512370 edges, 416678 markings/sec, 895 secs
lola: 412711685 markings, 976723594 edges, 440492 markings/sec, 900 secs
lola: 414770071 markings, 981600239 edges, 411677 markings/sec, 905 secs
lola: 416956406 markings, 986778121 edges, 437267 markings/sec, 910 secs
lola: 419073816 markings, 991789878 edges, 423482 markings/sec, 915 secs
lola: 421219222 markings, 996873880 edges, 429081 markings/sec, 920 secs
lola: 423372933 markings, 1001968268 edges, 430742 markings/sec, 925 secs
lola: 425480867 markings, 1006967734 edges, 421587 markings/sec, 930 secs
lola: 427746101 markings, 1012321606 edges, 453047 markings/sec, 935 secs
lola: 429851092 markings, 1017311350 edges, 420998 markings/sec, 940 secs
lola: 432121249 markings, 1022682948 edges, 454031 markings/sec, 945 secs
lola: 434219365 markings, 1027653771 edges, 419623 markings/sec, 950 secs
lola: 436419673 markings, 1032863341 edges, 440062 markings/sec, 955 secs
lola: 438524639 markings, 1037846685 edges, 420993 markings/sec, 960 secs
lola: 440677773 markings, 1042949345 edges, 430627 markings/sec, 965 secs
lola: 442824734 markings, 1048027944 edges, 429392 markings/sec, 970 secs
lola: 444899203 markings, 1052948098 edges, 414894 markings/sec, 975 secs
lola: 447061434 markings, 1058058689 edges, 432446 markings/sec, 980 secs
lola: 449080979 markings, 1062845517 edges, 403909 markings/sec, 985 secs
lola: 451273139 markings, 1068029339 edges, 438432 markings/sec, 990 secs
lola: 453306284 markings, 1072849975 edges, 406629 markings/sec, 995 secs
lola: 455514261 markings, 1078074491 edges, 441595 markings/sec, 1000 secs
lola: 457598165 markings, 1083011096 edges, 416781 markings/sec, 1005 secs
lola: 459812237 markings, 1088254954 edges, 442814 markings/sec, 1010 secs
lola: 461929492 markings, 1093266192 edges, 423451 markings/sec, 1015 secs
lola: 464090122 markings, 1098387176 edges, 432126 markings/sec, 1020 secs
lola: 466270335 markings, 1103543507 edges, 436043 markings/sec, 1025 secs
lola: 468363827 markings, 1108510171 edges, 418698 markings/sec, 1030 secs
lola: 470593971 markings, 1113779247 edges, 446029 markings/sec, 1035 secs
lola: 472523627 markings, 1118354761 edges, 385931 markings/sec, 1040 secs
lola: 474511583 markings, 1123055836 edges, 397591 markings/sec, 1045 secs
lola: 475914943 markings, 1126387621 edges, 280672 markings/sec, 1050 secs
lola: 477931365 markings, 1131154831 edges, 403284 markings/sec, 1055 secs
lola: 480543047 markings, 1137343180 edges, 522336 markings/sec, 1060 secs
lola: 482718389 markings, 1142489786 edges, 435068 markings/sec, 1065 secs
lola: 484566971 markings, 1146871092 edges, 369716 markings/sec, 1070 secs
lola: 486732963 markings, 1151997152 edges, 433198 markings/sec, 1075 secs
lola: 488766348 markings, 1156813962 edges, 406677 markings/sec, 1080 secs
lola: 490954383 markings, 1161995370 edges, 437607 markings/sec, 1085 secs
lola: 493121983 markings, 1167125829 edges, 433520 markings/sec, 1090 secs
lola: 495285953 markings, 1172255327 edges, 432794 markings/sec, 1095 secs
lola: 497516931 markings, 1177531019 edges, 446196 markings/sec, 1100 secs
lola: 499588039 markings, 1182444868 edges, 414222 markings/sec, 1105 secs
lola: 501670137 markings, 1187363886 edges, 416420 markings/sec, 1110 secs
lola: 503628805 markings, 1192007765 edges, 391734 markings/sec, 1115 secs
lola: 505862015 markings, 1197289661 edges, 446642 markings/sec, 1120 secs
lola: 507966497 markings, 1202277552 edges, 420896 markings/sec, 1125 secs
lola: 510197182 markings, 1207558623 edges, 446137 markings/sec, 1130 secs
lola: 512251451 markings, 1212423067 edges, 410854 markings/sec, 1135 secs
lola: 514388039 markings, 1217483559 edges, 427318 markings/sec, 1140 secs
lola: 515600086 markings, 1220353739 edges, 242409 markings/sec, 1145 secs
lola: 517674756 markings, 1225261975 edges, 414934 markings/sec, 1150 secs
lola: 519178095 markings, 1228826440 edges, 300668 markings/sec, 1155 secs
lola: 521406529 markings, 1234096202 edges, 445687 markings/sec, 1160 secs
lola: 522358989 markings, 1236359735 edges, 190492 markings/sec, 1165 secs
lola: 524155243 markings, 1240608667 edges, 359251 markings/sec, 1170 secs
lola: 526321216 markings, 1245742672 edges, 433195 markings/sec, 1175 secs
lola: 528481573 markings, 1250851830 edges, 432071 markings/sec, 1180 secs
lola: 530558314 markings, 1255777379 edges, 415348 markings/sec, 1185 secs
lola: 532745312 markings, 1260945452 edges, 437400 markings/sec, 1190 secs
lola: 534774261 markings, 1265755996 edges, 405790 markings/sec, 1195 secs
lola: 536985355 markings, 1270985882 edges, 442219 markings/sec, 1200 secs
lola: 539021322 markings, 1275811765 edges, 407193 markings/sec, 1205 secs
lola: 541210391 markings, 1280992497 edges, 437814 markings/sec, 1210 secs
lola: 543250651 markings, 1285824998 edges, 408052 markings/sec, 1215 secs
lola: 545398577 markings, 1290911909 edges, 429585 markings/sec, 1220 secs
lola: 547458950 markings, 1295789078 edges, 412075 markings/sec, 1225 secs
lola: 549567953 markings, 1300786124 edges, 421801 markings/sec, 1230 secs
lola: 551695982 markings, 1305820690 edges, 425606 markings/sec, 1235 secs
lola: 553826864 markings, 1310873810 edges, 426176 markings/sec, 1240 secs
lola: 556057201 markings, 1316145093 edges, 446067 markings/sec, 1245 secs
lola: 558085581 markings, 1320954091 edges, 405676 markings/sec, 1250 secs
lola: 560247335 markings, 1326066950 edges, 432351 markings/sec, 1255 secs
lola: 562292063 markings, 1330914055 edges, 408946 markings/sec, 1260 secs
lola: 564509990 markings, 1336162571 edges, 443585 markings/sec, 1265 secs
lola: 566564018 markings, 1341028488 edges, 410806 markings/sec, 1270 secs
lola: 568716621 markings, 1346125319 edges, 430521 markings/sec, 1275 secs
lola: 570794080 markings, 1351043980 edges, 415492 markings/sec, 1280 secs
lola: 572886059 markings, 1356000761 edges, 418396 markings/sec, 1285 secs
lola: 574964455 markings, 1360917102 edges, 415679 markings/sec, 1290 secs
lola: 577018053 markings, 1365786663 edges, 410720 markings/sec, 1295 secs
lola: 579109145 markings, 1370731265 edges, 418218 markings/sec, 1300 secs
lola: 581125439 markings, 1375513819 edges, 403259 markings/sec, 1305 secs
lola: 583305046 markings, 1380665374 edges, 435921 markings/sec, 1310 secs
lola: 583312004 markings, 1380681042 edges, 1392 markings/sec, 1315 secs
lola: 583312072 markings, 1380681184 edges, 14 markings/sec, 1320 secs
lola: 583312103 markings, 1380681257 edges, 6 markings/sec, 1325 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 960
lola: 2661159 markings, 6038168 edges, 532232 markings/sec, 0 secs
lola: 5241807 markings, 11911425 edges, 516130 markings/sec, 5 secs
lola: 7960976 markings, 18326582 edges, 543834 markings/sec, 10 secs
lola: 10478068 markings, 24288285 edges, 503418 markings/sec, 15 secs
lola: 13037209 markings, 30356082 edges, 511828 markings/sec, 20 secs
lola: 15754067 markings, 36779909 edges, 543372 markings/sec, 25 secs
lola: 18283583 markings, 42770373 edges, 505903 markings/sec, 30 secs
lola: 20806476 markings, 48752281 edges, 504579 markings/sec, 35 secs
lola: 23419987 markings, 54930942 edges, 522702 markings/sec, 40 secs
lola: 25827423 markings, 60634161 edges, 481487 markings/sec, 45 secs
lola: 28323605 markings, 66550008 edges, 499236 markings/sec, 50 secs
lola: 30872079 markings, 72575216 edges, 509695 markings/sec, 55 secs
lola: 33279416 markings, 78280226 edges, 481467 markings/sec, 60 secs
lola: 35769489 markings, 84178389 edges, 498015 markings/sec, 65 secs
lola: 38227162 markings, 89992758 edges, 491535 markings/sec, 70 secs
lola: 40628035 markings, 95682161 edges, 480175 markings/sec, 75 secs
lola: 43163183 markings, 101683115 edges, 507030 markings/sec, 80 secs
lola: 45551735 markings, 107338061 edges, 477710 markings/sec, 85 secs
lola: 47951333 markings, 113027225 edges, 479920 markings/sec, 90 secs
lola: 50469616 markings, 118979085 edges, 503657 markings/sec, 95 secs
lola: 52804181 markings, 124512376 edges, 466913 markings/sec, 100 secs
lola: 55230903 markings, 130259780 edges, 485344 markings/sec, 105 secs
lola: 57651635 markings, 135987066 edges, 484146 markings/sec, 110 secs
lola: 60055788 markings, 141684550 edges, 480831 markings/sec, 115 secs
lola: 62543991 markings, 147572652 edges, 497641 markings/sec, 120 secs
lola: 64830672 markings, 152988513 edges, 457336 markings/sec, 125 secs
lola: 67189417 markings, 158579158 edges, 471749 markings/sec, 130 secs
lola: 69590901 markings, 164256804 edges, 480297 markings/sec, 135 secs
lola: 71825722 markings, 169554255 edges, 446964 markings/sec, 140 secs
lola: 74254677 markings, 175302471 edges, 485791 markings/sec, 145 secs
lola: 76481426 markings, 180575928 edges, 445350 markings/sec, 150 secs
lola: 78774107 markings, 186009102 edges, 458536 markings/sec, 155 secs
lola: 81127531 markings, 191574132 edges, 470685 markings/sec, 160 secs
lola: 83367202 markings, 196883112 edges, 447934 markings/sec, 165 secs
lola: 85829839 markings, 202711145 edges, 492527 markings/sec, 170 secs
lola: 88086117 markings, 208054795 edges, 451256 markings/sec, 175 secs
lola: 90482915 markings, 213734144 edges, 479360 markings/sec, 180 secs
lola: 92879299 markings, 219401376 edges, 479277 markings/sec, 185 secs
lola: 95168891 markings, 224827588 edges, 457918 markings/sec, 190 secs
lola: 97595574 markings, 230570523 edges, 485337 markings/sec, 195 secs
lola: 99849473 markings, 235908814 edges, 450780 markings/sec, 200 secs
lola: 102171443 markings, 241411168 edges, 464394 markings/sec, 205 secs
lola: 104528872 markings, 246985277 edges, 471486 markings/sec, 210 secs
lola: 106792485 markings, 252351031 edges, 452723 markings/sec, 215 secs
lola: 109181192 markings, 258003964 edges, 477741 markings/sec, 220 secs
lola: 111384293 markings, 263221769 edges, 440620 markings/sec, 225 secs
lola: 113671842 markings, 268641648 edges, 457510 markings/sec, 230 secs
lola: 115948435 markings, 274027281 edges, 455319 markings/sec, 235 secs
lola: 118152142 markings, 279254769 edges, 440741 markings/sec, 240 secs
lola: 120622270 markings, 285092896 edges, 494026 markings/sec, 245 secs
lola: 122898752 markings, 290487276 edges, 455296 markings/sec, 250 secs
lola: 125279156 markings, 296124676 edges, 476081 markings/sec, 255 secs
lola: 127620370 markings, 301664261 edges, 468243 markings/sec, 260 secs
lola: 129898135 markings, 307068612 edges, 455553 markings/sec, 265 secs
lola: 132369273 markings, 312908820 edges, 494228 markings/sec, 270 secs
lola: 134644271 markings, 318298771 edges, 455000 markings/sec, 275 secs
lola: 137006025 markings, 323894164 edges, 472351 markings/sec, 280 secs
lola: 139318377 markings, 329363785 edges, 462470 markings/sec, 285 secs
lola: 141556810 markings, 334673574 edges, 447687 markings/sec, 290 secs
lola: 143962592 markings, 340359759 edges, 481156 markings/sec, 295 secs
lola: 146167612 markings, 345585054 edges, 441004 markings/sec, 300 secs
lola: 148514099 markings, 351142161 edges, 469297 markings/sec, 305 secs
lola: 150809752 markings, 356574387 edges, 459131 markings/sec, 310 secs
lola: 153091805 markings, 361986598 edges, 456411 markings/sec, 315 secs
lola: 155473242 markings, 367614485 edges, 476287 markings/sec, 320 secs
lola: 157695501 markings, 372881721 edges, 444452 markings/sec, 325 secs
lola: 160029721 markings, 378408191 edges, 466844 markings/sec, 330 secs
lola: 162268085 markings, 383707457 edges, 447673 markings/sec, 335 secs
lola: 164531821 markings, 389073331 edges, 452747 markings/sec, 340 secs
lola: 166882574 markings, 394631633 edges, 470151 markings/sec, 345 secs
lola: 169058484 markings, 399788631 edges, 435182 markings/sec, 350 secs
lola: 171403084 markings, 405335704 edges, 468920 markings/sec, 355 secs
lola: 173503481 markings, 410311985 edges, 420079 markings/sec, 360 secs
lola: 175782033 markings, 415709369 edges, 455710 markings/sec, 365 secs
lola: 178063559 markings, 421107835 edges, 456305 markings/sec, 370 secs
lola: 180277293 markings, 426358155 edges, 442747 markings/sec, 375 secs
lola: 182654113 markings, 431974998 edges, 475364 markings/sec, 380 secs
lola: 184875814 markings, 437241500 edges, 444340 markings/sec, 385 secs
lola: 187244947 markings, 442849745 edges, 473827 markings/sec, 390 secs
lola: 189469620 markings, 448117267 edges, 444935 markings/sec, 395 secs
lola: 191720604 markings, 453451694 edges, 450197 markings/sec, 400 secs
lola: 193998937 markings, 458839692 edges, 455667 markings/sec, 405 secs
lola: 196202809 markings, 464062841 edges, 440774 markings/sec, 410 secs
lola: 198550779 markings, 469618105 edges, 469594 markings/sec, 415 secs
lola: 200729888 markings, 474780614 edges, 435822 markings/sec, 420 secs
lola: 203039836 markings, 480252489 edges, 461990 markings/sec, 425 secs
lola: 205271775 markings, 485533677 edges, 446388 markings/sec, 430 secs
lola: 207502333 markings, 490822504 edges, 446112 markings/sec, 435 secs
lola: 209864362 markings, 496405661 edges, 472406 markings/sec, 440 secs
lola: 212087407 markings, 501675055 edges, 444609 markings/sec, 445 secs
lola: 214450689 markings, 507269476 edges, 472656 markings/sec, 450 secs
lola: 216682221 markings, 512553274 edges, 446306 markings/sec, 455 secs
lola: 218950419 markings, 517929077 edges, 453640 markings/sec, 460 secs
lola: 221242868 markings, 523349492 edges, 458490 markings/sec, 465 secs
lola: 223406453 markings, 528477780 edges, 432717 markings/sec, 470 secs
lola: 225776747 markings, 534085769 edges, 474059 markings/sec, 475 secs
lola: 227960232 markings, 539258912 edges, 436697 markings/sec, 480 secs
lola: 230266427 markings, 544720823 edges, 461239 markings/sec, 485 secs
lola: 232486305 markings, 549974468 edges, 443976 markings/sec, 490 secs
lola: 234671874 markings, 555156364 edges, 437114 markings/sec, 495 secs
lola: 236934821 markings, 560506279 edges, 452589 markings/sec, 500 secs
lola: 239081905 markings, 565595029 edges, 429417 markings/sec, 505 secs
lola: 241420375 markings, 571127127 edges, 467694 markings/sec, 510 secs
lola: 243598648 markings, 576288809 edges, 435655 markings/sec, 515 secs
lola: 245937088 markings, 581828142 edges, 467688 markings/sec, 520 secs
lola: 248229254 markings, 587250980 edges, 458433 markings/sec, 525 secs
lola: 250454707 markings, 592529455 edges, 445091 markings/sec, 530 secs
lola: 252825203 markings, 598131198 edges, 474099 markings/sec, 535 secs
lola: 255029929 markings, 603356884 edges, 440945 markings/sec, 540 secs
lola: 257355721 markings, 608863031 edges, 465158 markings/sec, 545 secs
lola: 259552929 markings, 614065362 edges, 439442 markings/sec, 550 secs
lola: 261764951 markings, 619308510 edges, 442404 markings/sec, 555 secs
lola: 264044958 markings, 624699796 edges, 456001 markings/sec, 560 secs
lola: 266222575 markings, 629860803 edges, 435523 markings/sec, 565 secs
lola: 268553542 markings, 635374762 edges, 466193 markings/sec, 570 secs
lola: 270695925 markings, 640451365 edges, 428477 markings/sec, 575 secs
lola: 272991315 markings, 645887369 edges, 459078 markings/sec, 580 secs
lola: 275202893 markings, 651121605 edges, 442316 markings/sec, 585 secs
lola: 277428119 markings, 656396594 edges, 445045 markings/sec, 590 secs
lola: 279709403 markings, 661790286 edges, 456257 markings/sec, 595 secs
lola: 281845267 markings, 666853082 edges, 427173 markings/sec, 600 secs
lola: 284131277 markings, 672260813 edges, 457202 markings/sec, 605 secs
lola: 286228459 markings, 677230888 edges, 419436 markings/sec, 610 secs
lola: 288463883 markings, 682522906 edges, 447085 markings/sec, 615 secs
lola: 290555626 markings, 687475789 edges, 418349 markings/sec, 620 secs
lola: 292775043 markings, 692734368 edges, 443883 markings/sec, 625 secs
lola: 294919931 markings, 697808332 edges, 428978 markings/sec, 630 secs
lola: 297082379 markings, 702937916 edges, 432490 markings/sec, 635 secs
lola: 299305510 markings, 708191279 edges, 444626 markings/sec, 640 secs
lola: 301410339 markings, 713180619 edges, 420966 markings/sec, 645 secs
lola: 303714907 markings, 718632677 edges, 460914 markings/sec, 650 secs
lola: 305884535 markings, 723773621 edges, 433926 markings/sec, 655 secs
lola: 308175764 markings, 729200887 edges, 458246 markings/sec, 660 secs
lola: 310320998 markings, 734275914 edges, 429047 markings/sec, 665 secs
lola: 312485233 markings, 739407820 edges, 432847 markings/sec, 670 secs
lola: 314759483 markings, 744784700 edges, 454850 markings/sec, 675 secs
lola: 316934693 markings, 749940225 edges, 435042 markings/sec, 680 secs
lola: 319237838 markings, 755389675 edges, 460629 markings/sec, 685 secs
lola: 321380492 markings, 760465785 edges, 428531 markings/sec, 690 secs
lola: 323605089 markings, 765734424 edges, 444919 markings/sec, 695 secs
lola: 325746843 markings, 770803352 edges, 428351 markings/sec, 700 secs
lola: 327832863 markings, 775747873 edges, 417204 markings/sec, 705 secs
lola: 330022996 markings, 780927700 edges, 438027 markings/sec, 710 secs
lola: 332099593 markings, 785853702 edges, 415319 markings/sec, 715 secs
lola: 334367562 markings, 791212780 edges, 453594 markings/sec, 720 secs
lola: 336454223 markings, 796159605 edges, 417332 markings/sec, 725 secs
lola: 338746769 markings, 801584589 edges, 458509 markings/sec, 730 secs
lola: 340892065 markings, 806666412 edges, 429059 markings/sec, 735 secs
lola: 343106086 markings, 811910253 edges, 442804 markings/sec, 740 secs
lola: 345258992 markings, 817005277 edges, 430581 markings/sec, 745 secs
lola: 347403269 markings, 822088085 edges, 428855 markings/sec, 750 secs
lola: 349594417 markings, 827269469 edges, 438230 markings/sec, 755 secs
lola: 351673774 markings, 832202891 edges, 415871 markings/sec, 760 secs
lola: 353925450 markings, 837523856 edges, 450335 markings/sec, 765 secs
lola: 356011913 markings, 842469365 edges, 417293 markings/sec, 770 secs
lola: 358248454 markings, 847762309 edges, 447308 markings/sec, 775 secs
lola: 360316051 markings, 852660388 edges, 413519 markings/sec, 780 secs
lola: 362515787 markings, 857868972 edges, 439947 markings/sec, 785 secs
lola: 364669389 markings, 862967147 edges, 430720 markings/sec, 790 secs
lola: 366844759 markings, 868123562 edges, 435074 markings/sec, 795 secs
lola: 369083039 markings, 873415645 edges, 447656 markings/sec, 800 secs
lola: 371186601 markings, 878407903 edges, 420712 markings/sec, 805 secs
lola: 373486817 markings, 883841756 edges, 460043 markings/sec, 810 secs
lola: 375577334 markings, 888797778 edges, 418103 markings/sec, 815 secs
lola: 377826338 markings, 894120723 edges, 449801 markings/sec, 820 secs
lola: 379938083 markings, 899121973 edges, 422349 markings/sec, 825 secs
lola: 382134875 markings, 904326758 edges, 439358 markings/sec, 830 secs
lola: 384281229 markings, 909404591 edges, 429271 markings/sec, 835 secs
lola: 386406092 markings, 914443032 edges, 424973 markings/sec, 840 secs
lola: 388622155 markings, 919682059 edges, 443213 markings/sec, 845 secs
lola: 390710935 markings, 924632928 edges, 417756 markings/sec, 850 secs
lola: 393003295 markings, 930055316 edges, 458472 markings/sec, 855 secs
lola: 395116509 markings, 935063707 edges, 422643 markings/sec, 860 secs
lola: 397345977 markings, 940341391 edges, 445894 markings/sec, 865 secs
lola: 399431761 markings, 945280592 edges, 417157 markings/sec, 870 secs
lola: 401561361 markings, 950324904 edges, 425920 markings/sec, 875 secs
lola: 403685889 markings, 955352454 edges, 424906 markings/sec, 880 secs
lola: 405702159 markings, 960132167 edges, 403254 markings/sec, 885 secs
lola: 407862851 markings, 965241865 edges, 432138 markings/sec, 890 secs
lola: 409929041 markings, 970143709 edges, 413238 markings/sec, 895 secs
lola: 412112547 markings, 975304130 edges, 436701 markings/sec, 900 secs
lola: 414141671 markings, 980113923 edges, 405825 markings/sec, 905 secs
lola: 416353863 markings, 985346511 edges, 442438 markings/sec, 910 secs
lola: 418251765 markings, 989845682 edges, 379580 markings/sec, 915 secs
lola: 420429201 markings, 994997961 edges, 435487 markings/sec, 920 secs
lola: 422461494 markings, 999812500 edges, 406459 markings/sec, 925 secs
lola: 424606999 markings, 1004892251 edges, 429101 markings/sec, 930 secs
lola: 426737083 markings, 1009935264 edges, 426017 markings/sec, 935 secs
lola: 428922931 markings, 1015114653 edges, 437170 markings/sec, 940 secs
lola: 431074106 markings, 1020203899 edges, 430235 markings/sec, 945 secs
lola: 433042433 markings, 1024870992 edges, 393665 markings/sec, 950 secs
lola: 435219503 markings, 1030018172 edges, 435414 markings/sec, 955 secs
lola: 437276819 markings, 1034900089 edges, 411463 markings/sec, 960 secs
lola: 439517121 markings, 1040193964 edges, 448060 markings/sec, 965 secs
lola: 441614929 markings, 1045166261 edges, 419562 markings/sec, 970 secs
lola: 443838161 markings, 1050427203 edges, 444646 markings/sec, 975 secs
lola: 445897745 markings, 1055306260 edges, 411917 markings/sec, 980 secs
lola: 448024237 markings, 1060341170 edges, 425298 markings/sec, 985 secs
lola: 450086242 markings, 1065223415 edges, 412401 markings/sec, 990 secs
lola: 452217975 markings, 1070274719 edges, 426347 markings/sec, 995 secs
lola: 454359671 markings, 1075341158 edges, 428339 markings/sec, 1000 secs
lola: 456467271 markings, 1080338667 edges, 421520 markings/sec, 1005 secs
lola: 458710539 markings, 1085642412 edges, 448654 markings/sec, 1010 secs
lola: 460802647 markings, 1090600928 edges, 418422 markings/sec, 1015 secs
lola: 463059948 markings, 1095939534 edges, 451460 markings/sec, 1020 secs
lola: 465156514 markings, 1100909102 edges, 419313 markings/sec, 1025 secs
lola: 467396532 markings, 1106211962 edges, 448004 markings/sec, 1030 secs
lola: 469499750 markings, 1111191902 edges, 420644 markings/sec, 1035 secs
lola: 471669252 markings, 1116331996 edges, 433900 markings/sec, 1040 secs
lola: 473806007 markings, 1121387948 edges, 427351 markings/sec, 1045 secs
lola: 475772252 markings, 1126048897 edges, 393249 markings/sec, 1050 secs
lola: 476300957 markings, 1127298960 edges, 105741 markings/sec, 1055 secs
lola: 478188659 markings, 1131763758 edges, 377540 markings/sec, 1060 secs
lola: 480181880 markings, 1136493032 edges, 398644 markings/sec, 1065 secs
lola: 481717753 markings, 1140120739 edges, 307175 markings/sec, 1070 secs
lola: 483279715 markings, 1143823101 edges, 312392 markings/sec, 1075 secs
lola: 485351049 markings, 1148725121 edges, 414267 markings/sec, 1080 secs
lola: 487435221 markings, 1153665495 edges, 416834 markings/sec, 1085 secs
lola: 489594657 markings, 1158772068 edges, 431887 markings/sec, 1090 secs
lola: 491643729 markings, 1163633220 edges, 409814 markings/sec, 1095 secs
lola: 493917395 markings, 1169006280 edges, 454733 markings/sec, 1100 secs
lola: 496041153 markings, 1174040950 edges, 424752 markings/sec, 1105 secs
lola: 498311776 markings, 1179414025 edges, 454125 markings/sec, 1110 secs
lola: 500415599 markings, 1184397328 edges, 420765 markings/sec, 1115 secs
lola: 502625972 markings, 1189631753 edges, 442075 markings/sec, 1120 secs
lola: 504761783 markings, 1194687020 edges, 427162 markings/sec, 1125 secs
lola: 506928331 markings, 1199823446 edges, 433310 markings/sec, 1130 secs
lola: 509133667 markings, 1205037757 edges, 441067 markings/sec, 1135 secs
lola: 511216132 markings, 1209978727 edges, 416493 markings/sec, 1140 secs
lola: 513462581 markings, 1215287032 edges, 449290 markings/sec, 1145 secs
lola: 515544053 markings, 1220221148 edges, 416294 markings/sec, 1150 secs
lola: 517783981 markings, 1225520870 edges, 447986 markings/sec, 1155 secs
lola: 519897103 markings, 1230527440 edges, 422624 markings/sec, 1160 secs
lola: 522118361 markings, 1235788209 edges, 444252 markings/sec, 1165 secs
lola: 524266515 markings, 1240872053 edges, 429631 markings/sec, 1170 secs
lola: 526116219 markings, 1245255011 edges, 369941 markings/sec, 1175 secs
lola: 528238266 markings, 1250276226 edges, 424409 markings/sec, 1180 secs
lola: 530340188 markings, 1255259112 edges, 420384 markings/sec, 1185 secs
lola: 532487311 markings, 1260336425 edges, 429425 markings/sec, 1190 secs
lola: 534521781 markings, 1265162881 edges, 406894 markings/sec, 1195 secs
lola: 536723060 markings, 1270364557 edges, 440256 markings/sec, 1200 secs
lola: 538786556 markings, 1275256503 edges, 412699 markings/sec, 1205 secs
lola: 541002459 markings, 1280498019 edges, 443181 markings/sec, 1210 secs
lola: 543037844 markings, 1285322077 edges, 407077 markings/sec, 1215 secs
lola: 545217702 markings, 1290482780 edges, 435972 markings/sec, 1220 secs
lola: 547294619 markings, 1295400453 edges, 415383 markings/sec, 1225 secs
lola: 549444248 markings, 1300492564 edges, 429926 markings/sec, 1230 secs
lola: 551578474 markings, 1305542799 edges, 426845 markings/sec, 1235 secs
lola: 553695535 markings, 1310561336 edges, 423412 markings/sec, 1240 secs
lola: 555907116 markings, 1315791250 edges, 442316 markings/sec, 1245 secs
lola: 557966471 markings, 1320678566 edges, 411871 markings/sec, 1250 secs
lola: 559412225 markings, 1324092024 edges, 289151 markings/sec, 1255 secs
lola: 561474341 markings, 1328980403 edges, 412423 markings/sec, 1260 secs
lola: 563652046 markings, 1334130552 edges, 435541 markings/sec, 1265 secs
lola: 565709045 markings, 1339010838 edges, 411400 markings/sec, 1270 secs
lola: 567812885 markings, 1343981952 edges, 420768 markings/sec, 1275 secs
lola: 569842597 markings, 1348793305 edges, 405942 markings/sec, 1280 secs
lola: 571685239 markings, 1353151048 edges, 368528 markings/sec, 1285 secs
lola: 573222423 markings, 1356800143 edges, 307437 markings/sec, 1290 secs
lola: 575353759 markings, 1361838399 edges, 426267 markings/sec, 1295 secs
lola: 577170007 markings, 1366148002 edges, 363250 markings/sec, 1300 secs
lola: 578656457 markings, 1369660170 edges, 297290 markings/sec, 1305 secs
lola: 579278905 markings, 1371132077 edges, 124490 markings/sec, 1310 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 320 640 320 640 320 640 640 320 320 320 640 320 320 320 1280 unknown
lola:
preliminary result: 320 640 320 640 320 640 640 320 320 320 640 320 320 320 1280 unknown
lola: memory consumption: 3228 KB
lola: time consumption: 2666 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudOpsManagement-PT-00640by00320"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is CloudOpsManagement-PT-00640by00320, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806700429"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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