Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r166-smll-158987787600341.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is Angiogenesis-PT-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787600341
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 28 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Apr 28 14:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 28 14:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 28 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 28 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 28 14:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 28 14:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 28 14:22 instance
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 iscolored
-rw-r--r-- 1 mcc users 33K Apr 28 14:22 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591425991646

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 06:46:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 06:46:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 06:46:34] [INFO ] Load time of PNML (sax parser for PT used): 73 ms
[2020-06-06 06:46:34] [INFO ] Transformed 39 places.
[2020-06-06 06:46:34] [INFO ] Transformed 64 transitions.
[2020-06-06 06:46:34] [INFO ] Parsed PT model containing 39 places and 64 transitions in 140 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 21 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-06 06:46:35] [INFO ] Flatten gal took : 45 ms
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 64 rows 39 cols
[2020-06-06 06:46:35] [INFO ] Computed 8 place invariants in 7 ms
Support contains 14 out of 39 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 39/39 places, 64/64 transitions.
Discarding 1 places :
Also discarding 0 output transitions
Graph (complete) has 117 edges and 39 vertex of which 38 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.8 ms
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 1 place count 38 transition count 63
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 3 rules applied. Total rules applied 4 place count 36 transition count 63
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 5 place count 36 transition count 62
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 7 place count 35 transition count 61
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 1 with 3 rules applied. Total rules applied 10 place count 35 transition count 58
Reduce places removed 3 places and 0 transitions.
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 16 place count 32 transition count 55
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 17 place count 32 transition count 55
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 19 place count 32 transition count 53
Applied a total of 19 rules in 49 ms. Remains 32 /39 variables (removed 7) and now considering 53/64 (removed 11) transitions.
Finished structural reductions, in 1 iterations. Remains : 32/39 places, 53/64 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 53 rows 32 cols
[2020-06-06 06:46:35] [INFO ] Computed 6 place invariants in 2 ms
Support contains 14 out of 32 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32/32 places, 53/53 transitions.
Applied a total of 0 rules in 5 ms. Remains 32 /32 variables (removed 0) and now considering 53/53 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 32/32 places, 53/53 transitions.
Starting structural reductions, iteration 0 : 32/32 places, 53/53 transitions.
Applied a total of 0 rules in 4 ms. Remains 32 /32 variables (removed 0) and now considering 53/53 (removed 0) transitions.
// Phase 1: matrix 53 rows 32 cols
[2020-06-06 06:46:35] [INFO ] Computed 6 place invariants in 5 ms
[2020-06-06 06:46:35] [INFO ] Implicit Places using invariants in 140 ms returned [26, 28]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 142 ms to find 2 implicit places.
[2020-06-06 06:46:35] [INFO ] Redundant transitions in 11 ms returned []
// Phase 1: matrix 53 rows 30 cols
[2020-06-06 06:46:35] [INFO ] Computed 4 place invariants in 2 ms
[2020-06-06 06:46:35] [INFO ] Dead Transitions using invariants and state equation in 78 ms returned []
Starting structural reductions, iteration 1 : 30/32 places, 53/53 transitions.
Graph (trivial) has 2 edges and 30 vertex of which 2 / 30 are part of one of the 1 SCC in 4 ms
Free SCC test removed 1 places
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 3 place count 29 transition count 51
Drop transitions removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 1 with 3 rules applied. Total rules applied 6 place count 29 transition count 48
Applied a total of 6 rules in 11 ms. Remains 29 /30 variables (removed 1) and now considering 48/53 (removed 5) transitions.
// Phase 1: matrix 48 rows 29 cols
[2020-06-06 06:46:35] [INFO ] Computed 4 place invariants in 2 ms
[2020-06-06 06:46:35] [INFO ] Implicit Places using invariants in 38 ms returned []
// Phase 1: matrix 48 rows 29 cols
[2020-06-06 06:46:35] [INFO ] Computed 4 place invariants in 1 ms
[2020-06-06 06:46:35] [INFO ] Implicit Places using invariants and state equation in 75 ms returned []
Implicit Place search using SMT with State Equation took 115 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 29/32 places, 48/53 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 48 rows 29 cols
[2020-06-06 06:46:35] [INFO ] Computed 4 place invariants in 2 ms
Support contains 14 out of 29 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29/29 places, 48/48 transitions.
Applied a total of 0 rules in 4 ms. Remains 29 /29 variables (removed 0) and now considering 48/48 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 29/29 places, 48/48 transitions.
Starting structural reductions, iteration 0 : 29/29 places, 48/48 transitions.
Applied a total of 0 rules in 3 ms. Remains 29 /29 variables (removed 0) and now considering 48/48 (removed 0) transitions.
// Phase 1: matrix 48 rows 29 cols
[2020-06-06 06:46:35] [INFO ] Computed 4 place invariants in 5 ms
[2020-06-06 06:46:35] [INFO ] Implicit Places using invariants in 54 ms returned []
// Phase 1: matrix 48 rows 29 cols
[2020-06-06 06:46:35] [INFO ] Computed 4 place invariants in 2 ms
[2020-06-06 06:46:35] [INFO ] Implicit Places using invariants and state equation in 77 ms returned []
Implicit Place search using SMT with State Equation took 134 ms to find 0 implicit places.
[2020-06-06 06:46:35] [INFO ] Redundant transitions in 6 ms returned []
// Phase 1: matrix 48 rows 29 cols
[2020-06-06 06:46:35] [INFO ] Computed 4 place invariants in 3 ms
[2020-06-06 06:46:35] [INFO ] Dead Transitions using invariants and state equation in 91 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29/29 places, 48/48 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 12 ms. Remains 29 /29 variables (removed 0) and now considering 48/48 (removed 0) transitions.
// Phase 1: matrix 48 rows 29 cols
[2020-06-06 06:46:35] [INFO ] Computed 4 place invariants in 1 ms
[2020-06-06 06:46:35] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2020-06-06 06:46:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 7 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Angiogenesis-PT-15 @ 3570 seconds

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

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

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

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

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

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

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

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

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

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

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

FORMULA Angiogenesis-PT-15-UpperBounds-00 7 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Angiogenesis-PT-15

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p26)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 15,
"markings": 16,
"produced_by": "search",
"value": 15
},
"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": 238
},
"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(p7)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 15,
"markings": 16,
"produced_by": "search",
"value": 15
},
"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": 258
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p18)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 74,
"markings": 61,
"produced_by": "search",
"value": 15
},
"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": 282
},
"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(p17)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 45,
"markings": 46,
"produced_by": "search",
"value": 15
},
"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": 310
},
"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": 1636,
"markings": 1162,
"produced_by": "search",
"value": 15
},
"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": 349
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p21)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 15,
"markings": 16,
"produced_by": "search",
"value": 15
},
"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": 407
},
"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": 1636,
"markings": 1162,
"produced_by": "search",
"value": 15
},
"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": 489
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p27)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 9926,
"markings": 6365,
"produced_by": "search",
"value": 15
},
"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": 611
},
"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(p14)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 199836497,
"markings": 107214745,
"produced_by": "search",
"value": 7
},
"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": 725
},
"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": 44,
"markings": 31,
"produced_by": "search",
"value": 15
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

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

{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p20)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 340962309,
"markings": 180302578,
"produced_by": "search",
"value": 7
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 160,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 132,
"conflict_clusters": 13,
"places": 29,
"places_significant": 25,
"singleton_clusters": 0,
"transitions": 48
},
"result":
{
"interim_value": "7 15 unknown 15 15 15 unknown 15 unknown 15 15 15 7 unknown 15 15 ",
"preliminary_value": "7 15 unknown 15 15 15 unknown 15 unknown 15 15 15 7 unknown 15 15 "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 77/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 928
lola: finding significant places
lola: 29 places, 48 transitions, 25 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p20) : MAX(p26) : MAX(p8) : MAX(p7) : MAX(p18) : MAX(p17) : MAX(p24) : MAX(p19) : MAX(p12) : MAX(p21) : MAX(p19) : MAX(p27) : MAX(p14) : MAX(p12) : MAX(p9) : MAX(p11)
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(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 7
lola: 2002789 markings, 3231284 edges, 400558 markings/sec, 0 secs
lola: 4015397 markings, 6524409 edges, 402522 markings/sec, 5 secs
lola: 5971418 markings, 9747816 edges, 391204 markings/sec, 10 secs
lola: 7797333 markings, 12785258 edges, 365183 markings/sec, 15 secs
lola: 9655907 markings, 15886521 edges, 371715 markings/sec, 20 secs
lola: 11463911 markings, 18929953 edges, 361601 markings/sec, 25 secs
lola: 13249214 markings, 21948657 edges, 357061 markings/sec, 30 secs
lola: 14944540 markings, 24826116 edges, 339065 markings/sec, 35 secs
lola: 16676937 markings, 27793315 edges, 346479 markings/sec, 40 secs
lola: 18321808 markings, 30626634 edges, 328974 markings/sec, 45 secs
lola: 20007244 markings, 33536192 edges, 337087 markings/sec, 50 secs
lola: 21613817 markings, 36324866 edges, 321315 markings/sec, 55 secs
lola: 23273534 markings, 39227833 edges, 331943 markings/sec, 60 secs
lola: 24915921 markings, 42111833 edges, 328477 markings/sec, 65 secs
lola: 26560439 markings, 44993524 edges, 328904 markings/sec, 70 secs
lola: 28168873 markings, 47849076 edges, 321687 markings/sec, 75 secs
lola: 29763077 markings, 50693367 edges, 318841 markings/sec, 80 secs
lola: 31350336 markings, 53521545 edges, 317452 markings/sec, 85 secs
lola: 32929848 markings, 56350955 edges, 315902 markings/sec, 90 secs
lola: 34506466 markings, 59172953 edges, 315324 markings/sec, 95 secs
lola: 36080908 markings, 61994661 edges, 314888 markings/sec, 100 secs
lola: 37638873 markings, 64795741 edges, 311593 markings/sec, 105 secs
lola: 39189833 markings, 67598290 edges, 310192 markings/sec, 110 secs
lola: 40724027 markings, 70393520 edges, 306839 markings/sec, 115 secs
lola: 42252955 markings, 73173852 edges, 305786 markings/sec, 120 secs
lola: 43767992 markings, 75942330 edges, 303007 markings/sec, 125 secs
lola: 45281144 markings, 78708791 edges, 302630 markings/sec, 130 secs
lola: 46789850 markings, 81467597 edges, 301741 markings/sec, 135 secs
lola: 48291299 markings, 84225176 edges, 300290 markings/sec, 140 secs
lola: 49775450 markings, 86958452 edges, 296830 markings/sec, 145 secs
lola: 51216248 markings, 89625254 edges, 288160 markings/sec, 150 secs
lola: 52665250 markings, 92304041 edges, 289800 markings/sec, 155 secs
lola: 53967836 markings, 94716274 edges, 260517 markings/sec, 160 secs
lola: 55292144 markings, 97170680 edges, 264862 markings/sec, 165 secs
lola: 56598073 markings, 99599355 edges, 261186 markings/sec, 170 secs
lola: 57888608 markings, 102004409 edges, 258107 markings/sec, 175 secs
lola: 59191434 markings, 104427279 edges, 260565 markings/sec, 180 secs
lola: 60599592 markings, 107068480 edges, 281632 markings/sec, 185 secs
lola: 62020558 markings, 109720786 edges, 284193 markings/sec, 190 secs
lola: 63442943 markings, 112384561 edges, 284477 markings/sec, 195 secs
lola: 64852565 markings, 115041210 edges, 281924 markings/sec, 200 secs
lola: 66259370 markings, 117678734 edges, 281361 markings/sec, 205 secs
lola: 67671199 markings, 120324803 edges, 282366 markings/sec, 210 secs
lola: 69084366 markings, 122975518 edges, 282633 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6986140 KB
lola: time consumption: 226 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p26)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 16 markings, 15 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
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: 15
lola: 1569614 markings, 3484951 edges, 313923 markings/sec, 0 secs
lola: 2954902 markings, 6679375 edges, 277058 markings/sec, 5 secs
lola: 4289603 markings, 9772142 edges, 266940 markings/sec, 10 secs
lola: 5577371 markings, 12807149 edges, 257554 markings/sec, 15 secs
lola: 6835903 markings, 15775837 edges, 251706 markings/sec, 20 secs
lola: 8065152 markings, 18708214 edges, 245850 markings/sec, 25 secs
lola: 9273726 markings, 21596040 edges, 241715 markings/sec, 30 secs
lola: 10473528 markings, 24457554 edges, 239960 markings/sec, 35 secs
lola: 11680808 markings, 27319322 edges, 241456 markings/sec, 40 secs
lola: 12852339 markings, 30138090 edges, 234306 markings/sec, 45 secs
lola: 14017285 markings, 32924283 edges, 232989 markings/sec, 50 secs
lola: 15176845 markings, 35707203 edges, 231912 markings/sec, 55 secs
lola: 16319778 markings, 38484181 edges, 228587 markings/sec, 60 secs
lola: 17463761 markings, 41256864 edges, 228797 markings/sec, 65 secs
lola: 18605357 markings, 44021715 edges, 228319 markings/sec, 70 secs
lola: 19737613 markings, 46764672 edges, 226451 markings/sec, 75 secs
lola: 20855657 markings, 49479043 edges, 223609 markings/sec, 80 secs
lola: 21969207 markings, 52195877 edges, 222710 markings/sec, 85 secs
lola: 23080305 markings, 54894582 edges, 222220 markings/sec, 90 secs
lola: 24200961 markings, 57615145 edges, 224131 markings/sec, 95 secs
lola: 25306118 markings, 60312929 edges, 221031 markings/sec, 100 secs
lola: 26397040 markings, 62982596 edges, 218184 markings/sec, 105 secs
lola: 27484648 markings, 65636805 edges, 217522 markings/sec, 110 secs
lola: 28583795 markings, 68305678 edges, 219829 markings/sec, 115 secs
lola: 29661734 markings, 70952026 edges, 215588 markings/sec, 120 secs
lola: 30740740 markings, 73583187 edges, 215801 markings/sec, 125 secs
lola: 31825738 markings, 76241457 edges, 217000 markings/sec, 130 secs
lola: 32905964 markings, 78887362 edges, 216045 markings/sec, 135 secs
lola: 33996502 markings, 81553163 edges, 218108 markings/sec, 140 secs
lola: 35076709 markings, 84190620 edges, 216041 markings/sec, 145 secs
lola: 36153625 markings, 86829259 edges, 215383 markings/sec, 150 secs
lola: 37202278 markings, 89422338 edges, 209731 markings/sec, 155 secs
lola: 38260294 markings, 92013616 edges, 211603 markings/sec, 160 secs
lola: 39308856 markings, 94591037 edges, 209712 markings/sec, 165 secs
lola: 40356462 markings, 97170860 edges, 209521 markings/sec, 170 secs
lola: 41402907 markings, 99753238 edges, 209289 markings/sec, 175 secs
lola: 42444409 markings, 102320889 edges, 208300 markings/sec, 180 secs
lola: 43491894 markings, 104902507 edges, 209497 markings/sec, 185 secs
lola: 44530978 markings, 107466290 edges, 207817 markings/sec, 190 secs
lola: 45562414 markings, 110024454 edges, 206287 markings/sec, 195 secs
lola: 46596753 markings, 112579993 edges, 206868 markings/sec, 200 secs
lola: 47646038 markings, 115159994 edges, 209857 markings/sec, 205 secs
lola: 48686914 markings, 117722861 edges, 208175 markings/sec, 210 secs
lola: 49723755 markings, 120289072 edges, 207368 markings/sec, 215 secs
lola: 50751002 markings, 122841992 edges, 205449 markings/sec, 220 secs
lola: 51784101 markings, 125394249 edges, 206620 markings/sec, 225 secs
lola: 52818733 markings, 127949685 edges, 206926 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5712364 KB
lola: time consumption: 464 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 16 markings, 15 edges
lola: ========================================
lola: subprocess 4 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 61 markings, 74 edges
lola: ========================================
lola: subprocess 5 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p17)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 46 markings, 45 edges
lola: ========================================
lola: subprocess 6 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24)
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: 15
lola: 1466336 markings, 3019139 edges, 293267 markings/sec, 0 secs
lola: 2955834 markings, 6193472 edges, 297900 markings/sec, 5 secs
lola: 4390217 markings, 9304017 edges, 286877 markings/sec, 10 secs
lola: 5792373 markings, 12401338 edges, 280431 markings/sec, 15 secs
lola: 7180309 markings, 15454087 edges, 277587 markings/sec, 20 secs
lola: 8554809 markings, 18483426 edges, 274900 markings/sec, 25 secs
lola: 9921604 markings, 21502609 edges, 273359 markings/sec, 30 secs
lola: 11251255 markings, 24490200 edges, 265930 markings/sec, 35 secs
lola: 12566916 markings, 27457044 edges, 263132 markings/sec, 40 secs
lola: 13887942 markings, 30413965 edges, 264205 markings/sec, 45 secs
lola: 15190144 markings, 33350404 edges, 260440 markings/sec, 50 secs
lola: 16477700 markings, 36276922 edges, 257511 markings/sec, 55 secs
lola: 17775944 markings, 39198227 edges, 259649 markings/sec, 60 secs
lola: 19055498 markings, 42101348 edges, 255911 markings/sec, 65 secs
lola: 20336382 markings, 44998181 edges, 256177 markings/sec, 70 secs
lola: 21613661 markings, 47895044 edges, 255456 markings/sec, 75 secs
lola: 22877697 markings, 50772398 edges, 252807 markings/sec, 80 secs
lola: 24136382 markings, 53631181 edges, 251737 markings/sec, 85 secs
lola: 25380599 markings, 56494624 edges, 248843 markings/sec, 90 secs
lola: 26640293 markings, 59349986 edges, 251939 markings/sec, 95 secs
lola: 27897550 markings, 62196346 edges, 251451 markings/sec, 100 secs
lola: 29141483 markings, 65033544 edges, 248787 markings/sec, 105 secs
lola: 30370117 markings, 67867325 edges, 245727 markings/sec, 110 secs
lola: 31593695 markings, 70678175 edges, 244716 markings/sec, 115 secs
lola: 32821045 markings, 73492397 edges, 245470 markings/sec, 120 secs
lola: 34038399 markings, 76303703 edges, 243471 markings/sec, 125 secs
lola: 35257097 markings, 79113866 edges, 243740 markings/sec, 130 secs
lola: 36480523 markings, 81918955 edges, 244685 markings/sec, 135 secs
lola: 37699050 markings, 84718286 edges, 243705 markings/sec, 140 secs
lola: 38899729 markings, 87496411 edges, 240136 markings/sec, 145 secs
lola: 40105973 markings, 90256442 edges, 241249 markings/sec, 150 secs
lola: 41313539 markings, 93039736 edges, 241513 markings/sec, 155 secs
lola: 42508522 markings, 95806302 edges, 238997 markings/sec, 160 secs
lola: 43707567 markings, 98591743 edges, 239809 markings/sec, 165 secs
lola: 44896222 markings, 101349523 edges, 237731 markings/sec, 170 secs
lola: 46100402 markings, 104117711 edges, 240836 markings/sec, 175 secs
lola: 47292797 markings, 106878851 edges, 238479 markings/sec, 180 secs
lola: 48483747 markings, 109639084 edges, 238190 markings/sec, 185 secs
lola: 49672421 markings, 112391406 edges, 237735 markings/sec, 190 secs
lola: 50864207 markings, 115143105 edges, 238357 markings/sec, 195 secs
lola: 52045865 markings, 117879575 edges, 236332 markings/sec, 200 secs
lola: 53233647 markings, 120645535 edges, 237556 markings/sec, 205 secs
lola: 54402703 markings, 123386670 edges, 233811 markings/sec, 210 secs
lola: 55578032 markings, 126118249 edges, 235066 markings/sec, 215 secs
lola: 56761449 markings, 128844034 edges, 236683 markings/sec, 220 secs
lola: 57924956 markings, 131574645 edges, 232701 markings/sec, 225 secs
lola: 59088300 markings, 134295169 edges, 232669 markings/sec, 230 secs
lola: 60249729 markings, 137023508 edges, 232286 markings/sec, 235 secs
lola: 61408237 markings, 139731195 edges, 231702 markings/sec, 240 secs
lola: 62579857 markings, 142454552 edges, 234324 markings/sec, 245 secs
lola: 63687549 markings, 145061145 edges, 221538 markings/sec, 250 secs
lola: 64847317 markings, 147769285 edges, 231954 markings/sec, 255 secs
lola: 65996449 markings, 150473035 edges, 229826 markings/sec, 260 secs
lola: 67155511 markings, 153173739 edges, 231812 markings/sec, 265 secs
lola: 68303566 markings, 155869228 edges, 229611 markings/sec, 270 secs
lola: 69443069 markings, 158541585 edges, 227901 markings/sec, 275 secs
lola: 70588684 markings, 161203040 edges, 229123 markings/sec, 280 secs
lola: 71733960 markings, 163898296 edges, 229055 markings/sec, 285 secs
lola: 72885678 markings, 166590173 edges, 230344 markings/sec, 290 secs
lola: 74028361 markings, 169287552 edges, 228537 markings/sec, 295 secs
lola: 75179793 markings, 171976431 edges, 230286 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 15 unknown 15 15 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8800152 KB
lola: time consumption: 774 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 310 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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 1162 markings, 1636 edges
lola: ========================================
lola: subprocess 8 will run for 349 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: 15
lola: 1911375 markings, 3244762 edges, 382275 markings/sec, 0 secs
lola: 3898631 markings, 6707858 edges, 397451 markings/sec, 5 secs
lola: 5769272 markings, 10115001 edges, 374128 markings/sec, 10 secs
lola: 7668597 markings, 13518068 edges, 379865 markings/sec, 15 secs
lola: 9500921 markings, 16876549 edges, 366465 markings/sec, 20 secs
lola: 11322605 markings, 20241277 edges, 364337 markings/sec, 25 secs
lola: 13165845 markings, 23595707 edges, 368648 markings/sec, 30 secs
lola: 14988363 markings, 26920005 edges, 364504 markings/sec, 35 secs
lola: 16765670 markings, 30226793 edges, 355461 markings/sec, 40 secs
lola: 18510877 markings, 33523795 edges, 349041 markings/sec, 45 secs
lola: 20258317 markings, 36817155 edges, 349488 markings/sec, 50 secs
lola: 21961419 markings, 40078713 edges, 340620 markings/sec, 55 secs
lola: 23633388 markings, 43324331 edges, 334394 markings/sec, 60 secs
lola: 25314732 markings, 46559909 edges, 336269 markings/sec, 65 secs
lola: 27067894 markings, 49788626 edges, 350632 markings/sec, 70 secs
lola: 28740787 markings, 52996501 edges, 334579 markings/sec, 75 secs
lola: 30400489 markings, 56223272 edges, 331940 markings/sec, 80 secs
lola: 32094971 markings, 59438159 edges, 338896 markings/sec, 85 secs
lola: 33792110 markings, 62649590 edges, 339428 markings/sec, 90 secs
lola: 35461981 markings, 65867857 edges, 333974 markings/sec, 95 secs
lola: 37104931 markings, 69089564 edges, 328590 markings/sec, 100 secs
lola: 38759419 markings, 72297748 edges, 330898 markings/sec, 105 secs
lola: 40412510 markings, 75505575 edges, 330618 markings/sec, 110 secs
lola: 42080248 markings, 78718913 edges, 333548 markings/sec, 115 secs
lola: 43737355 markings, 81922799 edges, 331421 markings/sec, 120 secs
lola: 45340731 markings, 85109168 edges, 320675 markings/sec, 125 secs
lola: 46959716 markings, 88295314 edges, 323797 markings/sec, 130 secs
lola: 48586779 markings, 91484405 edges, 325413 markings/sec, 135 secs
lola: 50192342 markings, 94663744 edges, 321113 markings/sec, 140 secs
lola: 51783493 markings, 97827877 edges, 318230 markings/sec, 145 secs
lola: 53369631 markings, 100990369 edges, 317228 markings/sec, 150 secs
lola: 55017566 markings, 104159071 edges, 329587 markings/sec, 155 secs
lola: 56723628 markings, 107330339 edges, 341212 markings/sec, 160 secs
lola: 58344233 markings, 110486514 edges, 324121 markings/sec, 165 secs
lola: 59939373 markings, 113621711 edges, 319028 markings/sec, 170 secs
lola: 61535957 markings, 116757505 edges, 319317 markings/sec, 175 secs
lola: 63102753 markings, 119878366 edges, 313359 markings/sec, 180 secs
lola: 64678524 markings, 123023250 edges, 315154 markings/sec, 185 secs
lola: 66314478 markings, 126174108 edges, 327191 markings/sec, 190 secs
lola: 67982966 markings, 129333857 edges, 333698 markings/sec, 195 secs
lola: 69540540 markings, 132443576 edges, 311515 markings/sec, 200 secs
lola: 71094359 markings, 135563537 edges, 310764 markings/sec, 205 secs
lola: 72647178 markings, 138673634 edges, 310564 markings/sec, 210 secs
lola: 74218891 markings, 141769325 edges, 314343 markings/sec, 215 secs
lola: 75791090 markings, 144867948 edges, 314440 markings/sec, 220 secs
lola: 77503869 markings, 148027760 edges, 342556 markings/sec, 225 secs
lola: 79071409 markings, 151120540 edges, 313508 markings/sec, 230 secs
lola: 80615972 markings, 154240139 edges, 308913 markings/sec, 235 secs
lola: 82229624 markings, 157376084 edges, 322730 markings/sec, 240 secs
lola: 83837587 markings, 160470001 edges, 321593 markings/sec, 245 secs
lola: 85368984 markings, 163551710 edges, 306279 markings/sec, 250 secs
lola: 86951311 markings, 166646453 edges, 316465 markings/sec, 255 secs
lola: 88489064 markings, 169708009 edges, 307551 markings/sec, 260 secs
lola: 90064029 markings, 172800388 edges, 314993 markings/sec, 265 secs
lola: 91616612 markings, 175871774 edges, 310517 markings/sec, 270 secs
lola: 93226480 markings, 178944784 edges, 321974 markings/sec, 275 secs
lola: 94662133 markings, 181757289 edges, 287131 markings/sec, 280 secs
lola: 96110749 markings, 184697537 edges, 289723 markings/sec, 285 secs
lola: 97618250 markings, 187747760 edges, 301500 markings/sec, 290 secs
lola: 99060568 markings, 190665871 edges, 288464 markings/sec, 295 secs
lola: 100556265 markings, 193638932 edges, 299139 markings/sec, 300 secs
lola: 102071251 markings, 196704866 edges, 302997 markings/sec, 305 secs
lola: 103431141 markings, 199455684 edges, 271978 markings/sec, 310 secs
lola: 104938348 markings, 202363868 edges, 301441 markings/sec, 315 secs
lola: 106351926 markings, 205221392 edges, 282716 markings/sec, 320 secs
lola: 107750846 markings, 208064241 edges, 279784 markings/sec, 325 secs
lola: 109149364 markings, 210902464 edges, 279704 markings/sec, 330 secs
lola: 110601138 markings, 213767476 edges, 290355 markings/sec, 335 secs
lola: 112053327 markings, 216636048 edges, 290438 markings/sec, 340 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 15 unknown 15 15 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 12006208 KB
lola: time consumption: 1124 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 349 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 16 markings, 15 edges
lola: ========================================
lola: subprocess 10 will run for 407 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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 1162 markings, 1636 edges
lola: ========================================
lola: subprocess 11 will run for 489 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p27)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 6365 markings, 9926 edges
lola: ========================================
lola: subprocess 12 will run for 611 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: 7
lola: 2050165 markings, 3328341 edges, 410033 markings/sec, 0 secs
lola: 3961292 markings, 6590271 edges, 382225 markings/sec, 5 secs
lola: 5818954 markings, 9820653 edges, 371532 markings/sec, 10 secs
lola: 7648509 markings, 13036703 edges, 365911 markings/sec, 15 secs
lola: 9458923 markings, 16230705 edges, 362083 markings/sec, 20 secs
lola: 11239184 markings, 19391843 edges, 356052 markings/sec, 25 secs
lola: 12999364 markings, 22542208 edges, 352036 markings/sec, 30 secs
lola: 14744106 markings, 25676633 edges, 348948 markings/sec, 35 secs
lola: 16481274 markings, 28803344 edges, 347434 markings/sec, 40 secs
lola: 18197623 markings, 31906491 edges, 343270 markings/sec, 45 secs
lola: 19908522 markings, 35006978 edges, 342180 markings/sec, 50 secs
lola: 21616887 markings, 38115282 edges, 341673 markings/sec, 55 secs
lola: 23320110 markings, 41215836 edges, 340645 markings/sec, 60 secs
lola: 25002443 markings, 44289237 edges, 336467 markings/sec, 65 secs
lola: 26676018 markings, 47359563 edges, 334715 markings/sec, 70 secs
lola: 28345547 markings, 50428524 edges, 333906 markings/sec, 75 secs
lola: 30011088 markings, 53493407 edges, 333108 markings/sec, 80 secs
lola: 31667544 markings, 56549400 edges, 331291 markings/sec, 85 secs
lola: 33315726 markings, 59598215 edges, 329636 markings/sec, 90 secs
lola: 34966876 markings, 62651198 edges, 330230 markings/sec, 95 secs
lola: 36613119 markings, 65689633 edges, 329249 markings/sec, 100 secs
lola: 38250999 markings, 68722768 edges, 327576 markings/sec, 105 secs
lola: 39884331 markings, 71758412 edges, 326666 markings/sec, 110 secs
lola: 41515763 markings, 74789624 edges, 326286 markings/sec, 115 secs
lola: 43138203 markings, 77811658 edges, 324488 markings/sec, 120 secs
lola: 44749604 markings, 80821990 edges, 322280 markings/sec, 125 secs
lola: 46361416 markings, 83836078 edges, 322362 markings/sec, 130 secs
lola: 47968127 markings, 86840096 edges, 321342 markings/sec, 135 secs
lola: 49574799 markings, 89855134 edges, 321334 markings/sec, 140 secs
lola: 51183037 markings, 92871988 edges, 321648 markings/sec, 145 secs
lola: 52772208 markings, 95865250 edges, 317834 markings/sec, 150 secs
lola: 54362859 markings, 98859402 edges, 318130 markings/sec, 155 secs
lola: 55954875 markings, 101856350 edges, 318403 markings/sec, 160 secs
lola: 57533951 markings, 104837627 edges, 315815 markings/sec, 165 secs
lola: 59117295 markings, 107822858 edges, 316669 markings/sec, 170 secs
lola: 60693211 markings, 110807088 edges, 315183 markings/sec, 175 secs
lola: 62261765 markings, 113773119 edges, 313711 markings/sec, 180 secs
lola: 63828729 markings, 116739775 edges, 313393 markings/sec, 185 secs
lola: 65392386 markings, 119701240 edges, 312731 markings/sec, 190 secs
lola: 66949264 markings, 122650081 edges, 311376 markings/sec, 195 secs
lola: 68503593 markings, 125595766 edges, 310866 markings/sec, 200 secs
lola: 70054052 markings, 128534190 edges, 310092 markings/sec, 205 secs
lola: 71607020 markings, 131484187 edges, 310594 markings/sec, 210 secs
lola: 73155004 markings, 134430712 edges, 309597 markings/sec, 215 secs
lola: 74710956 markings, 137386844 edges, 311190 markings/sec, 220 secs
lola: 76251115 markings, 140324080 edges, 308032 markings/sec, 225 secs
lola: 77783168 markings, 143249624 edges, 306411 markings/sec, 230 secs
lola: 79319091 markings, 146177308 edges, 307185 markings/sec, 235 secs
lola: 80850945 markings, 149112932 edges, 306371 markings/sec, 240 secs
lola: 82382328 markings, 152043248 edges, 306277 markings/sec, 245 secs
lola: 83908829 markings, 154959596 edges, 305300 markings/sec, 250 secs
lola: 85425741 markings, 157867475 edges, 303382 markings/sec, 255 secs
lola: 86948103 markings, 160785725 edges, 304472 markings/sec, 260 secs
lola: 88459350 markings, 163691146 edges, 302249 markings/sec, 265 secs
lola: 89969828 markings, 166592472 edges, 302096 markings/sec, 270 secs
lola: 91392505 markings, 169330600 edges, 284535 markings/sec, 275 secs
lola: 92827102 markings, 172082452 edges, 286919 markings/sec, 280 secs
lola: 94178080 markings, 174669311 edges, 270196 markings/sec, 285 secs
lola: 95664725 markings, 177529072 edges, 297329 markings/sec, 290 secs
lola: 97161501 markings, 180412866 edges, 299355 markings/sec, 295 secs
lola: 98663491 markings, 183309531 edges, 300398 markings/sec, 300 secs
lola: 100152562 markings, 186180626 edges, 297814 markings/sec, 305 secs
lola: 101635456 markings, 189049233 edges, 296579 markings/sec, 310 secs
lola: 103099180 markings, 191873611 edges, 292745 markings/sec, 315 secs
lola: 104570505 markings, 194721473 edges, 294265 markings/sec, 320 secs
lola: 106049298 markings, 197584485 edges, 295759 markings/sec, 325 secs
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 107214745 markings, 199836497 edges
lola: ========================================
lola: subprocess 13 will run for 704 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: 15
lola: 1923277 markings, 3263905 edges, 384655 markings/sec, 0 secs
lola: 3894417 markings, 6700179 edges, 394228 markings/sec, 5 secs
lola: 5757991 markings, 10093948 edges, 372715 markings/sec, 10 secs
lola: 7632815 markings, 13453513 edges, 374965 markings/sec, 15 secs
lola: 9449912 markings, 16776601 edges, 363419 markings/sec, 20 secs
lola: 11193477 markings, 20011766 edges, 348713 markings/sec, 25 secs
lola: 13032258 markings, 23348920 edges, 367756 markings/sec, 30 secs
lola: 14836108 markings, 26662784 edges, 360770 markings/sec, 35 secs
lola: 16617090 markings, 29972174 edges, 356196 markings/sec, 40 secs
lola: 18378716 markings, 33269794 edges, 352325 markings/sec, 45 secs
lola: 20119513 markings, 36563234 edges, 348159 markings/sec, 50 secs
lola: 21834654 markings, 39839144 edges, 343028 markings/sec, 55 secs
lola: 23514406 markings, 43092281 edges, 335950 markings/sec, 60 secs
lola: 25203745 markings, 46351335 edges, 337868 markings/sec, 65 secs
lola: 26966230 markings, 49607834 edges, 352497 markings/sec, 70 secs
lola: 28666229 markings, 52849509 edges, 340000 markings/sec, 75 secs
lola: 30323140 markings, 56073710 edges, 331382 markings/sec, 80 secs
lola: 32029647 markings, 59306744 edges, 341301 markings/sec, 85 secs
lola: 33726990 markings, 62538993 edges, 339469 markings/sec, 90 secs
lola: 35402875 markings, 65749518 edges, 335177 markings/sec, 95 secs
lola: 37025417 markings, 68938051 edges, 324508 markings/sec, 100 secs
lola: 38667560 markings, 72113623 edges, 328429 markings/sec, 105 secs
lola: 40308036 markings, 75304468 edges, 328095 markings/sec, 110 secs
lola: 41967309 markings, 78499442 edges, 331855 markings/sec, 115 secs
lola: 43601107 markings, 81679535 edges, 326760 markings/sec, 120 secs
lola: 45210623 markings, 84848851 edges, 321903 markings/sec, 125 secs
lola: 46821421 markings, 88005640 edges, 322160 markings/sec, 130 secs
lola: 48415963 markings, 91152005 edges, 318908 markings/sec, 135 secs
lola: 50012216 markings, 94302526 edges, 319251 markings/sec, 140 secs
lola: 51568416 markings, 97420239 edges, 311240 markings/sec, 145 secs
lola: 53157011 markings, 100554843 edges, 317719 markings/sec, 150 secs
lola: 54772840 markings, 103697797 edges, 323166 markings/sec, 155 secs
lola: 56473181 markings, 106857684 edges, 340068 markings/sec, 160 secs
lola: 58094034 markings, 109996622 edges, 324171 markings/sec, 165 secs
lola: 59701861 markings, 113145765 edges, 321565 markings/sec, 170 secs
lola: 61285644 markings, 116277574 edges, 316757 markings/sec, 175 secs
lola: 62870126 markings, 119411016 edges, 316896 markings/sec, 180 secs
lola: 64429739 markings, 122543682 edges, 311923 markings/sec, 185 secs
lola: 66045307 markings, 125671697 edges, 323114 markings/sec, 190 secs
lola: 67718261 markings, 128828184 edges, 334591 markings/sec, 195 secs
lola: 69300897 markings, 131960085 edges, 316527 markings/sec, 200 secs
lola: 70842829 markings, 135064797 edges, 308386 markings/sec, 205 secs
lola: 72392925 markings, 138172603 edges, 310019 markings/sec, 210 secs
lola: 73973936 markings, 141300590 edges, 316202 markings/sec, 215 secs
lola: 75570068 markings, 144421872 edges, 319226 markings/sec, 220 secs
lola: 77273879 markings, 147568604 edges, 340762 markings/sec, 225 secs
lola: 78856451 markings, 150687753 edges, 316514 markings/sec, 230 secs
lola: 80383545 markings, 153777468 edges, 305419 markings/sec, 235 secs
lola: 81960929 markings, 156890804 edges, 315477 markings/sec, 240 secs
lola: 83594511 markings, 160005715 edges, 326716 markings/sec, 245 secs
lola: 85157334 markings, 163114580 edges, 312565 markings/sec, 250 secs
lola: 86733146 markings, 166213739 edges, 315162 markings/sec, 255 secs
lola: 88293509 markings, 169324376 edges, 312073 markings/sec, 260 secs
lola: 89872162 markings, 172422219 edges, 315731 markings/sec, 265 secs
lola: 91263317 markings, 175220394 edges, 278231 markings/sec, 270 secs
lola: 92834138 markings, 178177731 edges, 314164 markings/sec, 275 secs
lola: 94358453 markings, 181158825 edges, 304863 markings/sec, 280 secs
lola: 95879500 markings, 184214472 edges, 304209 markings/sec, 285 secs
lola: 97374691 markings, 187257495 edges, 299038 markings/sec, 290 secs
lola: 98877133 markings, 190307369 edges, 300488 markings/sec, 295 secs
lola: 100420830 markings, 193370196 edges, 308739 markings/sec, 300 secs
lola: 101941905 markings, 196429615 edges, 304215 markings/sec, 305 secs
lola: 103442488 markings, 199476600 edges, 300117 markings/sec, 310 secs
lola: 105035094 markings, 202563672 edges, 318521 markings/sec, 315 secs
lola: 106525323 markings, 205583064 edges, 298046 markings/sec, 320 secs
lola: 108018133 markings, 208603818 edges, 298562 markings/sec, 325 secs
lola: 109503362 markings, 211619062 edges, 297046 markings/sec, 330 secs
lola: 111016751 markings, 214605020 edges, 302678 markings/sec, 335 secs
lola: 112562415 markings, 217645542 edges, 309133 markings/sec, 340 secs
lola: 114048159 markings, 220646782 edges, 297149 markings/sec, 345 secs
lola: 115568486 markings, 223661865 edges, 304065 markings/sec, 350 secs
lola: 117082671 markings, 226688133 edges, 302837 markings/sec, 355 secs
lola: 118579174 markings, 229713763 edges, 299301 markings/sec, 360 secs
lola: 120101831 markings, 232739562 edges, 304531 markings/sec, 365 secs
lola: 121588664 markings, 235744889 edges, 297367 markings/sec, 370 secs
lola: 123029189 markings, 238718387 edges, 288105 markings/sec, 375 secs
lola: 124565228 markings, 241714007 edges, 307208 markings/sec, 380 secs
lola: 126035439 markings, 244685900 edges, 294042 markings/sec, 385 secs
lola: 127494051 markings, 247645897 edges, 291722 markings/sec, 390 secs
lola: 128945087 markings, 250627081 edges, 290207 markings/sec, 395 secs
lola: 130419895 markings, 253612067 edges, 294962 markings/sec, 400 secs
lola: 131834837 markings, 256569095 edges, 282988 markings/sec, 405 secs
lola: 133349803 markings, 259548170 edges, 302993 markings/sec, 410 secs
lola: 134845745 markings, 262519593 edges, 299188 markings/sec, 415 secs
lola: 136263514 markings, 265467454 edges, 283554 markings/sec, 420 secs
lola: 137713390 markings, 268436164 edges, 289975 markings/sec, 425 secs
lola: 139216209 markings, 271429265 edges, 300564 markings/sec, 430 secs
lola: 140711318 markings, 274412756 edges, 299022 markings/sec, 435 secs
lola: 142133960 markings, 277383818 edges, 284528 markings/sec, 440 secs
lola: 143628115 markings, 280363389 edges, 298831 markings/sec, 445 secs
lola: 145130255 markings, 283359465 edges, 300428 markings/sec, 450 secs
lola: 146583554 markings, 286332470 edges, 290660 markings/sec, 455 secs
lola: 148037784 markings, 289308503 edges, 290846 markings/sec, 460 secs
lola: 149452311 markings, 292268437 edges, 282905 markings/sec, 465 secs
lola: 150982438 markings, 295276993 edges, 306025 markings/sec, 470 secs
lola: 152461775 markings, 298235349 edges, 295867 markings/sec, 475 secs
lola: 154023852 markings, 301372057 edges, 312415 markings/sec, 480 secs
lola: 155565612 markings, 304454158 edges, 308352 markings/sec, 485 secs
lola: 156542684 markings, 306455544 edges, 195414 markings/sec, 490 secs
lola: 157622380 markings, 308531643 edges, 215939 markings/sec, 495 secs
lola: 158669759 markings, 310647803 edges, 209476 markings/sec, 500 secs
lola: 159709305 markings, 312678952 edges, 207909 markings/sec, 505 secs
lola: 160741285 markings, 314638089 edges, 206396 markings/sec, 510 secs
lola: 161839946 markings, 316870301 edges, 219732 markings/sec, 515 secs
lola: 162903626 markings, 319066349 edges, 212736 markings/sec, 520 secs
lola: 164053031 markings, 321342380 edges, 229881 markings/sec, 525 secs
lola: 165025898 markings, 323372193 edges, 194573 markings/sec, 530 secs
lola: 166113920 markings, 325624490 edges, 217604 markings/sec, 535 secs
lola: 167321088 markings, 328113942 edges, 241434 markings/sec, 540 secs
lola: 168465584 markings, 330492065 edges, 228899 markings/sec, 545 secs
lola: 169690267 markings, 333021450 edges, 244937 markings/sec, 550 secs
lola: 170743621 markings, 335117010 edges, 210671 markings/sec, 555 secs
lola: 172056167 markings, 337848244 edges, 262509 markings/sec, 560 secs
lola: 173461863 markings, 340705718 edges, 281139 markings/sec, 565 secs
lola: 174940560 markings, 343602444 edges, 295739 markings/sec, 570 secs
lola: 176161823 markings, 346103895 edges, 244253 markings/sec, 575 secs
lola: 177412170 markings, 348585347 edges, 250069 markings/sec, 580 secs
lola: 178793908 markings, 351444399 edges, 276348 markings/sec, 585 secs
lola: 179887598 markings, 353689972 edges, 218738 markings/sec, 590 secs
lola: 181198459 markings, 356340644 edges, 262172 markings/sec, 595 secs
lola: 182548019 markings, 359098392 edges, 269912 markings/sec, 600 secs
lola: 183832412 markings, 361705269 edges, 256879 markings/sec, 605 secs
lola: 184857257 markings, 363806889 edges, 204969 markings/sec, 610 secs
lola: 186196609 markings, 366588530 edges, 267870 markings/sec, 615 secs
lola: 187234560 markings, 368765463 edges, 207590 markings/sec, 620 secs
lola: 188249271 markings, 370867934 edges, 202942 markings/sec, 625 secs
lola: 189367276 markings, 373189463 edges, 223601 markings/sec, 630 secs
lola: 190611248 markings, 375716857 edges, 248794 markings/sec, 635 secs
lola: 190725830 markings, 375969116 edges, 22916 markings/sec, 640 secs
lola: 190922965 markings, 376389424 edges, 39427 markings/sec, 645 secs
lola: 190940927 markings, 376430212 edges, 3592 markings/sec, 650 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 725 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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 31 markings, 44 edges
lola: ========================================
lola: subprocess 15 will run for 1449 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 91 markings, 105 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 7
lola: 2196306 markings, 3546015 edges, 439261 markings/sec, 0 secs
lola: 4208337 markings, 6842124 edges, 402406 markings/sec, 5 secs
lola: 6149789 markings, 10042938 edges, 388290 markings/sec, 10 secs
lola: 8027401 markings, 13167116 edges, 375522 markings/sec, 15 secs
lola: 9862985 markings, 16235928 edges, 367117 markings/sec, 20 secs
lola: 11653224 markings, 19249194 edges, 358048 markings/sec, 25 secs
lola: 13416562 markings, 22229897 edges, 352668 markings/sec, 30 secs
lola: 15145788 markings, 25172984 edges, 345845 markings/sec, 35 secs
lola: 16850346 markings, 28090404 edges, 340912 markings/sec, 40 secs
lola: 18525163 markings, 30977098 edges, 334963 markings/sec, 45 secs
lola: 20182303 markings, 33839600 edges, 331428 markings/sec, 50 secs
lola: 21825189 markings, 36693941 edges, 328577 markings/sec, 55 secs
lola: 23440008 markings, 39520481 edges, 322964 markings/sec, 60 secs
lola: 25046837 markings, 42339404 edges, 321366 markings/sec, 65 secs
lola: 26650690 markings, 45151382 edges, 320771 markings/sec, 70 secs
lola: 28221325 markings, 47943237 edges, 314127 markings/sec, 75 secs
lola: 29775863 markings, 50716017 edges, 310908 markings/sec, 80 secs
lola: 31327043 markings, 53479548 edges, 310236 markings/sec, 85 secs
lola: 32862000 markings, 56230061 edges, 306991 markings/sec, 90 secs
lola: 34395965 markings, 58974453 edges, 306793 markings/sec, 95 secs
lola: 35927672 markings, 61718456 edges, 306341 markings/sec, 100 secs
lola: 37450742 markings, 64456514 edges, 304614 markings/sec, 105 secs
lola: 38964378 markings, 67187881 edges, 302727 markings/sec, 110 secs
lola: 40455371 markings, 69903610 edges, 298199 markings/sec, 115 secs
lola: 41941827 markings, 72604213 edges, 297291 markings/sec, 120 secs
lola: 43415588 markings, 75296643 edges, 294752 markings/sec, 125 secs
lola: 44885578 markings, 77987542 edges, 293998 markings/sec, 130 secs
lola: 46357724 markings, 80675688 edges, 294429 markings/sec, 135 secs
lola: 47759746 markings, 83252132 edges, 280404 markings/sec, 140 secs
lola: 49219691 markings, 85934753 edges, 291989 markings/sec, 145 secs
lola: 50659535 markings, 88595965 edges, 287969 markings/sec, 150 secs
lola: 52098769 markings, 91254044 edges, 287847 markings/sec, 155 secs
lola: 53533952 markings, 93916085 edges, 287037 markings/sec, 160 secs
lola: 54970431 markings, 96578144 edges, 287296 markings/sec, 165 secs
lola: 56398766 markings, 99225254 edges, 285667 markings/sec, 170 secs
lola: 57818827 markings, 101873408 edges, 284012 markings/sec, 175 secs
lola: 59238412 markings, 104514505 edges, 283917 markings/sec, 180 secs
lola: 60640334 markings, 107142402 edges, 280384 markings/sec, 185 secs
lola: 62055608 markings, 109785541 edges, 283055 markings/sec, 190 secs
lola: 63462820 markings, 112422967 edges, 281442 markings/sec, 195 secs
lola: 64860926 markings, 115056729 edges, 279621 markings/sec, 200 secs
lola: 66262849 markings, 117686053 edges, 280385 markings/sec, 205 secs
lola: 67668481 markings, 120320141 edges, 281126 markings/sec, 210 secs
lola: 69069556 markings, 122947659 edges, 280215 markings/sec, 215 secs
lola: 70453407 markings, 125564669 edges, 276770 markings/sec, 220 secs
lola: 71840823 markings, 128172544 edges, 277483 markings/sec, 225 secs
lola: 73214707 markings, 130776600 edges, 274777 markings/sec, 230 secs
lola: 74583191 markings, 133370520 edges, 273697 markings/sec, 235 secs
lola: 75947805 markings, 135955369 edges, 272923 markings/sec, 240 secs
lola: 77304150 markings, 138529823 edges, 271269 markings/sec, 245 secs
lola: 78667840 markings, 141110590 edges, 272738 markings/sec, 250 secs
lola: 80029535 markings, 143695012 edges, 272339 markings/sec, 255 secs
lola: 81390893 markings, 146280934 edges, 272272 markings/sec, 260 secs
lola: 82748698 markings, 148872249 edges, 271561 markings/sec, 265 secs
lola: 84109117 markings, 151472509 edges, 272084 markings/sec, 270 secs
lola: 85455591 markings, 154046643 edges, 269295 markings/sec, 275 secs
lola: 86801238 markings, 156616478 edges, 269129 markings/sec, 280 secs
lola: 88129330 markings, 159160702 edges, 265618 markings/sec, 285 secs
lola: 89461607 markings, 161724817 edges, 266455 markings/sec, 290 secs
lola: 90795201 markings, 164288966 edges, 266719 markings/sec, 295 secs
lola: 92140425 markings, 166863490 edges, 269045 markings/sec, 300 secs
lola: 93463967 markings, 169411945 edges, 264708 markings/sec, 305 secs
lola: 94791261 markings, 171979724 edges, 265459 markings/sec, 310 secs
lola: 96123789 markings, 174555230 edges, 266506 markings/sec, 315 secs
lola: 97464315 markings, 177134996 edges, 268105 markings/sec, 320 secs
lola: 98785554 markings, 179679461 edges, 264248 markings/sec, 325 secs
lola: 100107394 markings, 182238164 edges, 264368 markings/sec, 330 secs
lola: 101421127 markings, 184780652 edges, 262747 markings/sec, 335 secs
lola: 102729682 markings, 187332175 edges, 261711 markings/sec, 340 secs
lola: 104032149 markings, 189843789 edges, 260493 markings/sec, 345 secs
lola: 105323375 markings, 192355784 edges, 258245 markings/sec, 350 secs
lola: 106619469 markings, 194873121 edges, 259219 markings/sec, 355 secs
lola: 107912023 markings, 197379615 edges, 258511 markings/sec, 360 secs
lola: 109214299 markings, 199904725 edges, 260455 markings/sec, 365 secs
lola: 110510856 markings, 202429341 edges, 259311 markings/sec, 370 secs
lola: 111811076 markings, 204957252 edges, 260044 markings/sec, 375 secs
lola: 113096083 markings, 207458690 edges, 257001 markings/sec, 380 secs
lola: 114385890 markings, 209975948 edges, 257961 markings/sec, 385 secs
lola: 115673140 markings, 212478942 edges, 257450 markings/sec, 390 secs
lola: 116944753 markings, 214971278 edges, 254323 markings/sec, 395 secs
lola: 118214445 markings, 217460960 edges, 253938 markings/sec, 400 secs
lola: 119492201 markings, 219942805 edges, 255551 markings/sec, 405 secs
lola: 120764741 markings, 222427740 edges, 254508 markings/sec, 410 secs
lola: 122043382 markings, 224922010 edges, 255728 markings/sec, 415 secs
lola: 123328809 markings, 227435144 edges, 257085 markings/sec, 420 secs
lola: 124597421 markings, 229915561 edges, 253722 markings/sec, 425 secs
lola: 125865248 markings, 232409712 edges, 253565 markings/sec, 430 secs
lola: 127137752 markings, 234899923 edges, 254501 markings/sec, 435 secs
lola: 128380339 markings, 237339733 edges, 248517 markings/sec, 440 secs
lola: 129642960 markings, 239820746 edges, 252524 markings/sec, 445 secs
lola: 130835415 markings, 242182497 edges, 238491 markings/sec, 450 secs
lola: 132009784 markings, 244493591 edges, 234874 markings/sec, 455 secs
lola: 133212372 markings, 246869251 edges, 240518 markings/sec, 460 secs
lola: 134429722 markings, 249272258 edges, 243470 markings/sec, 465 secs
lola: 135639969 markings, 251676279 edges, 242049 markings/sec, 470 secs
lola: 136813541 markings, 254005504 edges, 234714 markings/sec, 475 secs
lola: 138058934 markings, 256486110 edges, 249079 markings/sec, 480 secs
lola: 139267371 markings, 258885701 edges, 241687 markings/sec, 485 secs
lola: 140513827 markings, 261353387 edges, 249291 markings/sec, 490 secs
lola: 141751845 markings, 263809817 edges, 247604 markings/sec, 495 secs
lola: 142982685 markings, 266265959 edges, 246168 markings/sec, 500 secs
lola: 144221973 markings, 268733864 edges, 247858 markings/sec, 505 secs
lola: 145459479 markings, 271194115 edges, 247501 markings/sec, 510 secs
lola: 146704234 markings, 273652681 edges, 248951 markings/sec, 515 secs
lola: 147938715 markings, 276104132 edges, 246896 markings/sec, 520 secs
lola: 149175606 markings, 278565712 edges, 247378 markings/sec, 525 secs
lola: 150408880 markings, 281019484 edges, 246655 markings/sec, 530 secs
lola: 151637955 markings, 283467048 edges, 245815 markings/sec, 535 secs
lola: 152861011 markings, 285911994 edges, 244611 markings/sec, 540 secs
lola: 154083896 markings, 288358475 edges, 244577 markings/sec, 545 secs
lola: 155310097 markings, 290810819 edges, 245240 markings/sec, 550 secs
lola: 156529528 markings, 293246765 edges, 243886 markings/sec, 555 secs
lola: 157755015 markings, 295696337 edges, 245097 markings/sec, 560 secs
lola: 158994067 markings, 298173476 edges, 247810 markings/sec, 565 secs
lola: 160150518 markings, 300491337 edges, 231290 markings/sec, 570 secs
lola: 161207007 markings, 302605202 edges, 211298 markings/sec, 575 secs
lola: 162027911 markings, 304256357 edges, 164181 markings/sec, 580 secs
lola: 163065274 markings, 306325840 edges, 207473 markings/sec, 585 secs
lola: 163971026 markings, 308135910 edges, 181150 markings/sec, 590 secs
lola: 164925985 markings, 310041743 edges, 190992 markings/sec, 595 secs
lola: 165875770 markings, 311935996 edges, 189957 markings/sec, 600 secs
lola: 166784859 markings, 313755645 edges, 181818 markings/sec, 605 secs
lola: 167707693 markings, 315617271 edges, 184567 markings/sec, 610 secs
lola: 168573937 markings, 317357443 edges, 173249 markings/sec, 615 secs
lola: 169559960 markings, 319337570 edges, 197205 markings/sec, 620 secs
lola: 170314954 markings, 320852333 edges, 150999 markings/sec, 625 secs
lola: 171378521 markings, 322991411 edges, 212713 markings/sec, 630 secs
lola: 172452992 markings, 325149762 edges, 214894 markings/sec, 635 secs
lola: 173332238 markings, 326918868 edges, 175849 markings/sec, 640 secs
lola: 174187360 markings, 328634918 edges, 171024 markings/sec, 645 secs
lola: 175103411 markings, 330479835 edges, 183210 markings/sec, 650 secs
lola: 176155631 markings, 332593942 edges, 210444 markings/sec, 655 secs
lola: 177043408 markings, 334394174 edges, 177555 markings/sec, 660 secs
lola: 178056176 markings, 336436108 edges, 202554 markings/sec, 665 secs
lola: 179053779 markings, 338436559 edges, 199521 markings/sec, 670 secs
lola: 180067048 markings, 340486682 edges, 202654 markings/sec, 675 secs
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 180302578 markings, 340962309 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
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: 15
lola: 1509888 markings, 3348410 edges, 301978 markings/sec, 0 secs
lola: 2901385 markings, 6554531 edges, 278299 markings/sec, 5 secs
lola: 4175731 markings, 9507986 edges, 254869 markings/sec, 10 secs
lola: 5412514 markings, 12424352 edges, 247357 markings/sec, 15 secs
lola: 6664111 markings, 15376301 edges, 250319 markings/sec, 20 secs
lola: 7847946 markings, 18187836 edges, 236767 markings/sec, 25 secs
lola: 9009611 markings, 20965220 edges, 232333 markings/sec, 30 secs
lola: 10195396 markings, 23788822 edges, 237157 markings/sec, 35 secs
lola: 11371338 markings, 26583722 edges, 235188 markings/sec, 40 secs
lola: 12525733 markings, 29353042 edges, 230879 markings/sec, 45 secs
lola: 13668660 markings, 32089084 edges, 228585 markings/sec, 50 secs
lola: 14802621 markings, 34803146 edges, 226792 markings/sec, 55 secs
lola: 15923990 markings, 37525850 edges, 224274 markings/sec, 60 secs
lola: 17045095 markings, 40236907 edges, 224221 markings/sec, 65 secs
lola: 18160608 markings, 42936328 edges, 223103 markings/sec, 70 secs
lola: 19274956 markings, 45646359 edges, 222870 markings/sec, 75 secs
lola: 20382244 markings, 48334077 edges, 221458 markings/sec, 80 secs
lola: 21472732 markings, 50982835 edges, 218098 markings/sec, 85 secs
lola: 22570821 markings, 53663318 edges, 219618 markings/sec, 90 secs
lola: 23670343 markings, 56326969 edges, 219904 markings/sec, 95 secs
lola: 24748914 markings, 58955397 edges, 215714 markings/sec, 100 secs
lola: 25828692 markings, 61590814 edges, 215956 markings/sec, 105 secs
lola: 26883027 markings, 64171466 edges, 210867 markings/sec, 110 secs
lola: 27943225 markings, 66748064 edges, 212040 markings/sec, 115 secs
lola: 28963501 markings, 69239945 edges, 204055 markings/sec, 120 secs
lola: 29980961 markings, 71733285 edges, 203492 markings/sec, 125 secs
lola: 31049484 markings, 74340370 edges, 213705 markings/sec, 130 secs
lola: 32099695 markings, 76916523 edges, 210042 markings/sec, 135 secs
lola: 33147471 markings, 79477285 edges, 209555 markings/sec, 140 secs
lola: 34196714 markings, 82042518 edges, 209849 markings/sec, 145 secs
lola: 35243596 markings, 84600739 edges, 209376 markings/sec, 150 secs
lola: 36277781 markings, 87136912 edges, 206837 markings/sec, 155 secs
lola: 37302087 markings, 89670583 edges, 204861 markings/sec, 160 secs
lola: 38340512 markings, 92207629 edges, 207685 markings/sec, 165 secs
lola: 39357435 markings, 94709710 edges, 203385 markings/sec, 170 secs
lola: 40372459 markings, 97207672 edges, 203005 markings/sec, 175 secs
lola: 41384357 markings, 99707508 edges, 202380 markings/sec, 180 secs
lola: 42392044 markings, 102190702 edges, 201537 markings/sec, 185 secs
lola: 43400462 markings, 104681944 edges, 201684 markings/sec, 190 secs
lola: 44407644 markings, 107164814 edges, 201436 markings/sec, 195 secs
lola: 45415665 markings, 109653894 edges, 201604 markings/sec, 200 secs
lola: 46420824 markings, 112138099 edges, 201032 markings/sec, 205 secs
lola: 47427597 markings, 114626687 edges, 201355 markings/sec, 210 secs
lola: 48432520 markings, 117100578 edges, 200985 markings/sec, 215 secs
lola: 49435121 markings, 119576377 edges, 200520 markings/sec, 220 secs
lola: 50441958 markings, 122076461 edges, 201367 markings/sec, 225 secs
lola: 51457264 markings, 124584382 edges, 203061 markings/sec, 230 secs
lola: 52465396 markings, 127075245 edges, 201626 markings/sec, 235 secs
lola: 53472444 markings, 129565675 edges, 201410 markings/sec, 240 secs
lola: 54470514 markings, 132045128 edges, 199614 markings/sec, 245 secs
lola: 55465359 markings, 134521111 edges, 198969 markings/sec, 250 secs
lola: 56458341 markings, 136995261 edges, 198596 markings/sec, 255 secs
lola: 57454185 markings, 139466042 edges, 199169 markings/sec, 260 secs
lola: 58450295 markings, 141944602 edges, 199222 markings/sec, 265 secs
lola: 59440602 markings, 144414627 edges, 198061 markings/sec, 270 secs
lola: 60439070 markings, 146886676 edges, 199694 markings/sec, 275 secs
lola: 61428781 markings, 149342354 edges, 197942 markings/sec, 280 secs
lola: 62416113 markings, 151802272 edges, 197466 markings/sec, 285 secs
lola: 63405584 markings, 154261984 edges, 197894 markings/sec, 290 secs
lola: 64389920 markings, 156708931 edges, 196867 markings/sec, 295 secs
lola: 65370881 markings, 159148869 edges, 196192 markings/sec, 300 secs
lola: 66353175 markings, 161594651 edges, 196459 markings/sec, 305 secs
lola: 67338200 markings, 164039633 edges, 197005 markings/sec, 310 secs
lola: 68317173 markings, 166471167 edges, 195795 markings/sec, 315 secs
lola: 69287401 markings, 168898614 edges, 194046 markings/sec, 320 secs
lola: 70258812 markings, 171322236 edges, 194282 markings/sec, 325 secs
lola: 71228350 markings, 173744309 edges, 193908 markings/sec, 330 secs
lola: 72190949 markings, 176171018 edges, 192520 markings/sec, 335 secs
lola: 73164250 markings, 178593813 edges, 194660 markings/sec, 340 secs
lola: 74138516 markings, 181019921 edges, 194853 markings/sec, 345 secs
lola: 75106530 markings, 183439631 edges, 193603 markings/sec, 350 secs
lola: 76079475 markings, 185867060 edges, 194589 markings/sec, 355 secs
lola: 77046454 markings, 188283950 edges, 193396 markings/sec, 360 secs
lola: 78007315 markings, 190694490 edges, 192172 markings/sec, 365 secs
lola: 78967972 markings, 193104210 edges, 192131 markings/sec, 370 secs
lola: 79930007 markings, 195515157 edges, 192407 markings/sec, 375 secs
lola: 80902823 markings, 197931453 edges, 194563 markings/sec, 380 secs
lola: 81865923 markings, 200338192 edges, 192620 markings/sec, 385 secs
lola: 82821327 markings, 202739022 edges, 191081 markings/sec, 390 secs
lola: 83781985 markings, 205151275 edges, 192132 markings/sec, 395 secs
lola: 84740550 markings, 207549687 edges, 191713 markings/sec, 400 secs
lola: 85700343 markings, 209950862 edges, 191959 markings/sec, 405 secs
lola: 86657612 markings, 212338245 edges, 191454 markings/sec, 410 secs
lola: 87610956 markings, 214725946 edges, 190669 markings/sec, 415 secs
lola: 88569902 markings, 217118445 edges, 191789 markings/sec, 420 secs
lola: 89521394 markings, 219509496 edges, 190298 markings/sec, 425 secs
lola: 90478808 markings, 221908386 edges, 191483 markings/sec, 430 secs
lola: 91426225 markings, 224287233 edges, 189483 markings/sec, 435 secs
lola: 92345240 markings, 226597692 edges, 183803 markings/sec, 440 secs
lola: 93306730 markings, 228997134 edges, 192298 markings/sec, 445 secs
lola: 94259372 markings, 231386996 edges, 190528 markings/sec, 450 secs
lola: 95211242 markings, 233774113 edges, 190374 markings/sec, 455 secs
lola: 96155342 markings, 236145514 edges, 188820 markings/sec, 460 secs
lola: 97002533 markings, 238260102 edges, 169438 markings/sec, 465 secs
lola: 97835227 markings, 240360354 edges, 166539 markings/sec, 470 secs
lola: 98765155 markings, 242682919 edges, 185986 markings/sec, 475 secs
lola: 99710504 markings, 245046964 edges, 189070 markings/sec, 480 secs
lola: 100640734 markings, 247387850 edges, 186046 markings/sec, 485 secs
lola: 101580860 markings, 249747436 edges, 188025 markings/sec, 490 secs
lola: 102519041 markings, 252115693 edges, 187636 markings/sec, 495 secs
lola: 103468839 markings, 254484751 edges, 189960 markings/sec, 500 secs
lola: 104402261 markings, 256830166 edges, 186684 markings/sec, 505 secs
lola: 105334054 markings, 259168006 edges, 186359 markings/sec, 510 secs
lola: 106263259 markings, 261505318 edges, 185841 markings/sec, 515 secs
lola: 107197705 markings, 263854042 edges, 186889 markings/sec, 520 secs
lola: 108114623 markings, 266167330 edges, 183384 markings/sec, 525 secs
lola: 109058282 markings, 268529240 edges, 188732 markings/sec, 530 secs
lola: 110000394 markings, 270890799 edges, 188422 markings/sec, 535 secs
lola: 110935758 markings, 273251103 edges, 187073 markings/sec, 540 secs
lola: 111868131 markings, 275604942 edges, 186475 markings/sec, 545 secs
lola: 112802516 markings, 277959753 edges, 186877 markings/sec, 550 secs
lola: 113736317 markings, 280310267 edges, 186760 markings/sec, 555 secs
lola: 114669235 markings, 282650619 edges, 186584 markings/sec, 560 secs
lola: 115607213 markings, 285002614 edges, 187596 markings/sec, 565 secs
lola: 116530947 markings, 287348362 edges, 184747 markings/sec, 570 secs
lola: 117457333 markings, 289686778 edges, 185277 markings/sec, 575 secs
lola: 118382820 markings, 292026687 edges, 185097 markings/sec, 580 secs
lola: 119312867 markings, 294365232 edges, 186009 markings/sec, 585 secs
lola: 120236886 markings, 296701912 edges, 184804 markings/sec, 590 secs
lola: 121157590 markings, 299032534 edges, 184141 markings/sec, 595 secs
lola: 122080929 markings, 301358751 edges, 184668 markings/sec, 600 secs
lola: 123007610 markings, 303689617 edges, 185336 markings/sec, 605 secs
lola: 123917955 markings, 306013752 edges, 182069 markings/sec, 610 secs
lola: 124840622 markings, 308341078 edges, 184533 markings/sec, 615 secs
lola: 125772332 markings, 310678925 edges, 186342 markings/sec, 620 secs
lola: 126696306 markings, 313003869 edges, 184795 markings/sec, 625 secs
lola: 127619980 markings, 315333328 edges, 184735 markings/sec, 630 secs
lola: 128543163 markings, 317658915 edges, 184637 markings/sec, 635 secs
lola: 129462431 markings, 319987214 edges, 183854 markings/sec, 640 secs
lola: 130383039 markings, 322311480 edges, 184122 markings/sec, 645 secs
lola: 131307999 markings, 324636265 edges, 184992 markings/sec, 650 secs
lola: 132228237 markings, 326947941 edges, 184048 markings/sec, 655 secs
lola: 133149075 markings, 329266188 edges, 184168 markings/sec, 660 secs
lola: 134065401 markings, 331577265 edges, 183265 markings/sec, 665 secs
lola: 134972526 markings, 333886452 edges, 181425 markings/sec, 670 secs
lola: 135880862 markings, 336185918 edges, 181667 markings/sec, 675 secs
lola: 136793605 markings, 338485597 edges, 182549 markings/sec, 680 secs
lola: 137706621 markings, 340793299 edges, 182603 markings/sec, 685 secs
lola: 138612161 markings, 343093051 edges, 181108 markings/sec, 690 secs
lola: 139520511 markings, 345390416 edges, 181670 markings/sec, 695 secs
lola: 140434195 markings, 347692809 edges, 182737 markings/sec, 700 secs
lola: 141343562 markings, 349995281 edges, 181873 markings/sec, 705 secs
lola: 142247066 markings, 352285652 edges, 180701 markings/sec, 710 secs
lola: 143152176 markings, 354577288 edges, 181022 markings/sec, 715 secs
lola: 144056084 markings, 356870545 edges, 180782 markings/sec, 720 secs
lola: 144964115 markings, 359169820 edges, 181606 markings/sec, 725 secs
lola: 145865617 markings, 361462267 edges, 180300 markings/sec, 730 secs
lola: 146779623 markings, 363753595 edges, 182801 markings/sec, 735 secs
lola: 147694010 markings, 366055635 edges, 182877 markings/sec, 740 secs
lola: 148492526 markings, 368088868 edges, 159703 markings/sec, 745 secs
lola: 149186292 markings, 369849970 edges, 138753 markings/sec, 750 secs
lola: 149878840 markings, 371605396 edges, 138510 markings/sec, 755 secs
lola: 150740355 markings, 373796888 edges, 172303 markings/sec, 760 secs
lola: time limit reached - aborting
lola:
preliminary result: 7 15 unknown 15 15 15 unknown 15 unknown 15 15 15 7 unknown 15 15
lola:
preliminary result: 7 15 unknown 15 15 15 unknown 15 unknown 15 15 15 7 unknown 15 15
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 7 15 unknown 15 15 15 unknown 15 unknown 15 15 15 7 unknown 15 15
lola: memory consumption: 160 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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