Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806700413.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is CloudOpsManagement-PT-00160by00080, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806700413
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 4.5K Mar 30 01:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Mar 27 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 26 08:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 26 08:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591343021453

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

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-00 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-01 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-03 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-04 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-05 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-06 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-07 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-08 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-10 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-11 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-12 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-14 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-UpperBounds-15 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

{
"exit":
{
"memory": 5448584,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p5)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"preliminary_value": "80 160 unknown 160 80 160 80 80 80 unknown 80 80 80 unknown 80 80 "
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}

"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p4)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 80
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 276
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p14)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 549403,
"markings": 298363,
"produced_by": "search",
"value": 80
},
"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": 301
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p16)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 160
},
"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": 331
},
"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(p10)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 549403,
"markings": 298363,
"produced_by": "search",
"value": 80
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 473
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p3)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 239,
"markings": 161,
"produced_by": "search",
"value": 80
},
"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": 567
},
"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(p7)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 80,
"markings": 81,
"produced_by": "search",
"value": 80
},
"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": 709
},
"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(p17)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 152476,
"markings": 100608,
"produced_by": "search",
"value": 80
},
"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": 946
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p12)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 8162,
"markings": 4382,
"produced_by": "search",
"value": 80
},
"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": 1893
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p15)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 8162,
"markings": 4382,
"produced_by": "search",
"value": 80
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 5448584,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 77,
"conflict_clusters": 11,
"places": 23,
"places_significant": 15,
"singleton_clusters": 0,
"transitions": 26
},
"result":
{
"interim_value": "80 160 unknown 160 80 160 80 80 80 unknown 80 80 80 unknown 80 80 ",
"preliminary_value": "80 160 unknown 160 80 160 80 80 80 unknown 80 80 80 unknown 80 80 "
},
"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: 49/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 736
lola: finding significant places
lola: 23 places, 26 transitions, 15 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p4) : MAX(p13) : MAX(p21) : MAX(p22) : MAX(p14) : MAX(p16) : MAX(p10) : MAX(p19) : MAX(p0) : MAX(p5) : MAX(p3) : MAX(p7) : MAX(p17) : MAX(p21) : MAX(p12) : MAX(p15)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p13)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 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: 240
lola: 2575329 markings, 6025119 edges, 515066 markings/sec, 0 secs
lola: 4949995 markings, 11614010 edges, 474933 markings/sec, 5 secs
lola: 7424318 markings, 17438721 edges, 494865 markings/sec, 10 secs
lola: 9867193 markings, 23189921 edges, 488575 markings/sec, 15 secs
lola: 12308655 markings, 28939391 edges, 488292 markings/sec, 20 secs
lola: 14740167 markings, 34665736 edges, 486302 markings/sec, 25 secs
lola: 17138278 markings, 40313665 edges, 479622 markings/sec, 30 secs
lola: 19419803 markings, 45688137 edges, 456305 markings/sec, 35 secs
lola: 21831137 markings, 51368017 edges, 482267 markings/sec, 40 secs
lola: 24221982 markings, 57000131 edges, 478169 markings/sec, 45 secs
lola: 26570735 markings, 62534112 edges, 469751 markings/sec, 50 secs
lola: 28991718 markings, 68237759 edges, 484197 markings/sec, 55 secs
lola: 31371467 markings, 73844771 edges, 475950 markings/sec, 60 secs
lola: 33739245 markings, 79423993 edges, 473556 markings/sec, 65 secs
lola: 36110104 markings, 85009675 edges, 474172 markings/sec, 70 secs
lola: 38460803 markings, 90548603 edges, 470140 markings/sec, 75 secs
lola: 40873411 markings, 96234808 edges, 482522 markings/sec, 80 secs
lola: 43283715 markings, 101914453 edges, 482061 markings/sec, 85 secs
lola: 45704180 markings, 107617254 edges, 484093 markings/sec, 90 secs
lola: 48112211 markings, 113292575 edges, 481606 markings/sec, 95 secs
lola: 50518566 markings, 118963154 edges, 481271 markings/sec, 100 secs
lola: 52897751 markings, 124571664 edges, 475837 markings/sec, 105 secs
lola: 55292343 markings, 130215919 edges, 478918 markings/sec, 110 secs
lola: 57678815 markings, 135841547 edges, 477294 markings/sec, 115 secs
lola: 59928819 markings, 141156892 edges, 450001 markings/sec, 120 secs
lola: 62191264 markings, 146501649 edges, 452489 markings/sec, 125 secs
lola: 64457004 markings, 151854041 edges, 453148 markings/sec, 130 secs
lola: 66751327 markings, 157274287 edges, 458865 markings/sec, 135 secs
lola: 68958022 markings, 162487289 edges, 441339 markings/sec, 140 secs
lola: 71193598 markings, 167768208 edges, 447115 markings/sec, 145 secs
lola: 73436086 markings, 173066018 edges, 448498 markings/sec, 150 secs
lola: 75710435 markings, 178438918 edges, 454870 markings/sec, 155 secs
lola: 77962403 markings, 183758728 edges, 450394 markings/sec, 160 secs
lola: 80211639 markings, 189072437 edges, 449847 markings/sec, 165 secs
lola: 82495619 markings, 194467550 edges, 456796 markings/sec, 170 secs
lola: 84828490 markings, 199979705 edges, 466574 markings/sec, 175 secs
lola: 87192206 markings, 205564252 edges, 472743 markings/sec, 180 secs
lola: 89561447 markings, 211159645 edges, 473848 markings/sec, 185 secs
lola: 91948491 markings, 216798834 edges, 477409 markings/sec, 190 secs
lola: 94363894 markings, 222505513 edges, 483081 markings/sec, 195 secs
lola: 96807327 markings, 228276995 edges, 488687 markings/sec, 200 secs
lola: 99317299 markings, 234206597 edges, 501994 markings/sec, 205 secs
lola: 101915579 markings, 240369707 edges, 519656 markings/sec, 210 secs
lola: 104377745 markings, 246365205 edges, 492433 markings/sec, 215 secs
lola: 106803517 markings, 252273232 edges, 485154 markings/sec, 220 secs
lola: 109173940 markings, 258045419 edges, 474085 markings/sec, 225 secs
lola: 111523576 markings, 263769533 edges, 469927 markings/sec, 230 secs
lola: 113857440 markings, 269454202 edges, 466773 markings/sec, 235 secs
lola: 116188993 markings, 275132522 edges, 466311 markings/sec, 240 secs
lola: 118482480 markings, 280720154 edges, 458697 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 80 160 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4194340 KB
lola: time consumption: 257 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p22)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 298363 markings, 549403 edges
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 298363 markings, 549403 edges
lola: ========================================
lola: subprocess 7 will run for 368 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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 4382 markings, 8162 edges
lola: ========================================
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 160
lola: 2338733 markings, 5207274 edges, 467747 markings/sec, 0 secs
lola: 4539570 markings, 10763652 edges, 440167 markings/sec, 5 secs
lola: 7089656 markings, 15940037 edges, 510017 markings/sec, 10 secs
lola: 9120352 markings, 20444599 edges, 406139 markings/sec, 15 secs
lola: 10856027 markings, 25698656 edges, 347135 markings/sec, 20 secs
lola: 12462637 markings, 30684223 edges, 321322 markings/sec, 25 secs
lola: 14084160 markings, 35725760 edges, 324305 markings/sec, 30 secs
lola: 15797841 markings, 41163968 edges, 342736 markings/sec, 35 secs
lola: 17487325 markings, 46568149 edges, 337897 markings/sec, 40 secs
lola: 19124438 markings, 51857533 edges, 327423 markings/sec, 45 secs
lola: 20748674 markings, 57105074 edges, 324847 markings/sec, 50 secs
lola: 22379166 markings, 62377853 edges, 326098 markings/sec, 55 secs
lola: 24042498 markings, 67762035 edges, 332666 markings/sec, 60 secs
lola: 25755637 markings, 73427650 edges, 342628 markings/sec, 65 secs
lola: 27891184 markings, 78824944 edges, 427109 markings/sec, 70 secs
lola: 30206287 markings, 84005706 edges, 463021 markings/sec, 75 secs
lola: 32010295 markings, 89036132 edges, 360802 markings/sec, 80 secs
lola: 33484615 markings, 93828224 edges, 294864 markings/sec, 85 secs
lola: 35054358 markings, 99059849 edges, 313949 markings/sec, 90 secs
lola: 36562956 markings, 104146301 edges, 301720 markings/sec, 95 secs
lola: 38093626 markings, 109318006 edges, 306134 markings/sec, 100 secs
lola: 40022917 markings, 114883745 edges, 385858 markings/sec, 105 secs
lola: 42650377 markings, 120189411 edges, 525492 markings/sec, 110 secs
lola: 45016785 markings, 124972251 edges, 473282 markings/sec, 115 secs
lola: 47198071 markings, 129373566 edges, 436257 markings/sec, 120 secs
lola: 49394738 markings, 134240204 edges, 439333 markings/sec, 125 secs
lola: 50916617 markings, 139130502 edges, 304376 markings/sec, 130 secs
lola: 52427498 markings, 143987223 edges, 302176 markings/sec, 135 secs
lola: 53918224 markings, 148785025 edges, 298145 markings/sec, 140 secs
lola: 55406166 markings, 153572748 edges, 297588 markings/sec, 145 secs
lola: 56899259 markings, 158378307 edges, 298619 markings/sec, 150 secs
lola: 58421833 markings, 163280792 edges, 304515 markings/sec, 155 secs
lola: 59957075 markings, 168224752 edges, 307048 markings/sec, 160 secs
lola: 61533003 markings, 173304639 edges, 315186 markings/sec, 165 secs
lola: 63134869 markings, 178609806 edges, 320373 markings/sec, 170 secs
lola: 64575195 markings, 183731786 edges, 288065 markings/sec, 175 secs
lola: 65961821 markings, 188765832 edges, 277325 markings/sec, 180 secs
lola: 67344767 markings, 193789287 edges, 276589 markings/sec, 185 secs
lola: 68718387 markings, 198781077 edges, 274724 markings/sec, 190 secs
lola: 70085428 markings, 203749204 edges, 273408 markings/sec, 195 secs
lola: 71433625 markings, 208652017 edges, 269639 markings/sec, 200 secs
lola: 72775984 markings, 213536862 edges, 268472 markings/sec, 205 secs
lola: 74122598 markings, 218432379 edges, 269323 markings/sec, 210 secs
lola: 75472549 markings, 223349103 edges, 269990 markings/sec, 215 secs
lola: 76852885 markings, 228375665 edges, 276067 markings/sec, 220 secs
lola: 78222725 markings, 233365624 edges, 273968 markings/sec, 225 secs
lola: 79608657 markings, 238413349 edges, 277186 markings/sec, 230 secs
lola: 81015663 markings, 243541675 edges, 281401 markings/sec, 235 secs
lola: 82468629 markings, 248838363 edges, 290593 markings/sec, 240 secs
lola: 83906066 markings, 254296222 edges, 287487 markings/sec, 245 secs
lola: 85316052 markings, 259543780 edges, 281997 markings/sec, 250 secs
lola: 86867294 markings, 264952840 edges, 310248 markings/sec, 255 secs
lola: 88387185 markings, 270326275 edges, 303978 markings/sec, 260 secs
lola: 89899903 markings, 275675139 edges, 302544 markings/sec, 265 secs
lola: 91407026 markings, 281006142 edges, 301425 markings/sec, 270 secs
lola: 92929096 markings, 286389669 edges, 304414 markings/sec, 275 secs
lola: 94430873 markings, 291702626 edges, 300355 markings/sec, 280 secs
lola: 95921091 markings, 296977691 edges, 298044 markings/sec, 285 secs
lola: 97397673 markings, 302205636 edges, 295316 markings/sec, 290 secs
lola: 98906053 markings, 307540922 edges, 301676 markings/sec, 295 secs
lola: 100391566 markings, 312799600 edges, 297103 markings/sec, 300 secs
lola: 101882757 markings, 318083074 edges, 298238 markings/sec, 305 secs
lola: 103222051 markings, 322825116 edges, 267859 markings/sec, 310 secs
lola: 104714937 markings, 328112570 edges, 298577 markings/sec, 315 secs
lola: 106097485 markings, 333011074 edges, 276510 markings/sec, 320 secs
lola: 107480696 markings, 337909788 edges, 276642 markings/sec, 325 secs
lola: 108939664 markings, 343082261 edges, 291794 markings/sec, 330 secs
lola: 110404279 markings, 348273691 edges, 292923 markings/sec, 335 secs
lola: 111911861 markings, 353617207 edges, 301516 markings/sec, 340 secs
lola: 113419497 markings, 358958630 edges, 301527 markings/sec, 345 secs
lola: 114954539 markings, 364400554 edges, 307008 markings/sec, 350 secs
lola: 116505402 markings, 369949847 edges, 310173 markings/sec, 355 secs
lola: 118002271 markings, 375411207 edges, 299374 markings/sec, 360 secs
lola: 119475587 markings, 380788533 edges, 294663 markings/sec, 365 secs
lola: 121464164 markings, 386179018 edges, 397715 markings/sec, 370 secs
lola: 123520659 markings, 391506515 edges, 411299 markings/sec, 375 secs
lola: 125706002 markings, 396555912 edges, 437069 markings/sec, 380 secs
lola: 127164342 markings, 401283780 edges, 291668 markings/sec, 385 secs
lola: 128710007 markings, 406360727 edges, 309133 markings/sec, 390 secs
lola: 130191478 markings, 411349766 edges, 296294 markings/sec, 395 secs
lola: 131665482 markings, 416324577 edges, 294801 markings/sec, 400 secs
lola: 133235358 markings, 421674874 edges, 313975 markings/sec, 405 secs
lola: 135558959 markings, 426893038 edges, 464720 markings/sec, 410 secs
lola: 137786388 markings, 431398966 edges, 445486 markings/sec, 415 secs
lola: 139784408 markings, 436296123 edges, 399604 markings/sec, 420 secs
lola: 141221762 markings, 441126459 edges, 287471 markings/sec, 425 secs
lola: 142595352 markings, 445682625 edges, 274718 markings/sec, 430 secs
lola: 143953472 markings, 450191378 edges, 271624 markings/sec, 435 secs
lola: 145366923 markings, 454888557 edges, 282690 markings/sec, 440 secs
lola: 146868249 markings, 459972170 edges, 300265 markings/sec, 445 secs
lola: 148155392 markings, 464779237 edges, 257429 markings/sec, 450 secs
lola: 149412823 markings, 469479381 edges, 251486 markings/sec, 455 secs
lola: 150578469 markings, 473838991 edges, 233129 markings/sec, 460 secs
lola: 151796165 markings, 478397436 edges, 243539 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 80 160 unknown 160 80 160 80 80 80 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5188804 KB
lola: time consumption: 731 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 161 markings, 239 edges
lola: ========================================
lola: subprocess 11 will run for 567 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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================
lola: subprocess 12 will run for 709 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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 100608 markings, 152476 edges
lola: ========================================
lola: subprocess 13 will run for 946 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: 240
lola: 2451883 markings, 5734107 edges, 490377 markings/sec, 0 secs
lola: 5024262 markings, 11787841 edges, 514476 markings/sec, 5 secs
lola: 8822621 markings, 20730642 edges, 759672 markings/sec, 10 secs
lola: 11301077 markings, 26567042 edges, 495691 markings/sec, 15 secs
lola: 13751160 markings, 32335958 edges, 490017 markings/sec, 20 secs
lola: 16014223 markings, 37666752 edges, 452613 markings/sec, 25 secs
lola: 18471015 markings, 43452728 edges, 491358 markings/sec, 30 secs
lola: 20890991 markings, 49154135 edges, 483995 markings/sec, 35 secs
lola: 23300376 markings, 54828733 edges, 481877 markings/sec, 40 secs
lola: 25683957 markings, 60444337 edges, 476716 markings/sec, 45 secs
lola: 28091034 markings, 66115886 edges, 481415 markings/sec, 50 secs
lola: 30481241 markings, 71747805 edges, 478041 markings/sec, 55 secs
lola: 32838693 markings, 77301524 edges, 471490 markings/sec, 60 secs
lola: 35211817 markings, 82893070 edges, 474625 markings/sec, 65 secs
lola: 37564054 markings, 88435567 edges, 470447 markings/sec, 70 secs
lola: 39906066 markings, 93954791 edges, 468402 markings/sec, 75 secs
lola: 42340769 markings, 99691884 edges, 486941 markings/sec, 80 secs
lola: 44761087 markings, 105395095 edges, 484064 markings/sec, 85 secs
lola: 47139563 markings, 111000171 edges, 475695 markings/sec, 90 secs
lola: 49551713 markings, 116684920 edges, 482430 markings/sec, 95 secs
lola: 51930153 markings, 122290867 edges, 475688 markings/sec, 100 secs
lola: 54306307 markings, 127890163 edges, 475231 markings/sec, 105 secs
lola: 56710618 markings, 133556936 edges, 480862 markings/sec, 110 secs
lola: 58996033 markings, 138953554 edges, 457083 markings/sec, 115 secs
lola: 61257910 markings, 144296572 edges, 452375 markings/sec, 120 secs
lola: 63521250 markings, 149643503 edges, 452668 markings/sec, 125 secs
lola: 65795571 markings, 155016659 edges, 454864 markings/sec, 130 secs
lola: 68041707 markings, 160322770 edges, 449227 markings/sec, 135 secs
lola: 70284507 markings, 165621219 edges, 448560 markings/sec, 140 secs
lola: 72536095 markings, 170940682 edges, 450318 markings/sec, 145 secs
lola: 74807785 markings, 176306999 edges, 454338 markings/sec, 150 secs
lola: 77080281 markings, 181675850 edges, 454499 markings/sec, 155 secs
lola: 79356625 markings, 187053806 edges, 455269 markings/sec, 160 secs
lola: 81648203 markings, 192465806 edges, 458316 markings/sec, 165 secs
lola: 83986722 markings, 197990126 edges, 467704 markings/sec, 170 secs
lola: 86353994 markings, 203582493 edges, 473454 markings/sec, 175 secs
lola: 88772374 markings, 209296613 edges, 483676 markings/sec, 180 secs
lola: 91187134 markings, 215000171 edges, 482952 markings/sec, 185 secs
lola: 93631502 markings, 220774581 edges, 488874 markings/sec, 190 secs
lola: 96089354 markings, 226581994 edges, 491570 markings/sec, 195 secs
lola: 98606931 markings, 232528408 edges, 503515 markings/sec, 200 secs
lola: 101211124 markings, 238679128 edges, 520839 markings/sec, 205 secs
lola: 103732214 markings, 244792646 edges, 504218 markings/sec, 210 secs
lola: 106166779 markings, 250722541 edges, 486913 markings/sec, 215 secs
lola: 108572279 markings, 256580029 edges, 481100 markings/sec, 220 secs
lola: 110954381 markings, 262381732 edges, 476420 markings/sec, 225 secs
lola: 113297800 markings, 268091122 edges, 468684 markings/sec, 230 secs
lola: 115665003 markings, 273856566 edges, 473441 markings/sec, 235 secs
lola: 117998075 markings, 279540349 edges, 466614 markings/sec, 240 secs
lola: 120352006 markings, 285274566 edges, 470786 markings/sec, 245 secs
lola: 122708209 markings, 291015209 edges, 471241 markings/sec, 250 secs
lola: 125010933 markings, 296624858 edges, 460545 markings/sec, 255 secs
lola: 127325018 markings, 302263305 edges, 462817 markings/sec, 260 secs
lola: 129617609 markings, 307848343 edges, 458518 markings/sec, 265 secs
lola: 131863846 markings, 313320034 edges, 449247 markings/sec, 270 secs
lola: 134167885 markings, 318934794 edges, 460808 markings/sec, 275 secs
lola: 136442043 markings, 324474813 edges, 454832 markings/sec, 280 secs
lola: 138670200 markings, 329904426 edges, 445631 markings/sec, 285 secs
lola: 140958162 markings, 335479560 edges, 457592 markings/sec, 290 secs
lola: 143181610 markings, 340896483 edges, 444690 markings/sec, 295 secs
lola: 145419287 markings, 346349331 edges, 447535 markings/sec, 300 secs
lola: 147708536 markings, 351926910 edges, 457850 markings/sec, 305 secs
lola: 150005163 markings, 357524058 edges, 459325 markings/sec, 310 secs
lola: 152299368 markings, 363113425 edges, 458841 markings/sec, 315 secs
lola: 154554074 markings, 368607533 edges, 450941 markings/sec, 320 secs
lola: 156830168 markings, 374154247 edges, 455219 markings/sec, 325 secs
lola: 159097832 markings, 379679805 edges, 453533 markings/sec, 330 secs
lola: 161358190 markings, 385188031 edges, 452072 markings/sec, 335 secs
lola: 163595380 markings, 390639436 edges, 447438 markings/sec, 340 secs
lola: 165908268 markings, 396275465 edges, 462578 markings/sec, 345 secs
lola: 167999396 markings, 401375092 edges, 418226 markings/sec, 350 secs
lola: 170115959 markings, 406537712 edges, 423313 markings/sec, 355 secs
lola: 172298084 markings, 411859090 edges, 436425 markings/sec, 360 secs
lola: 174478876 markings, 417178209 edges, 436158 markings/sec, 365 secs
lola: 176626288 markings, 422414901 edges, 429482 markings/sec, 370 secs
lola: 178610266 markings, 427254044 edges, 396796 markings/sec, 375 secs
lola: 180602341 markings, 432112672 edges, 398415 markings/sec, 380 secs
lola: 182752994 markings, 437358842 edges, 430131 markings/sec, 385 secs
lola: 184928986 markings, 442664763 edges, 435198 markings/sec, 390 secs
lola: 187136523 markings, 448049566 edges, 441507 markings/sec, 395 secs
lola: 189309729 markings, 453349169 edges, 434641 markings/sec, 400 secs
lola: 191493207 markings, 458675322 edges, 436696 markings/sec, 405 secs
lola: 193690674 markings, 464033947 edges, 439493 markings/sec, 410 secs
lola: 195895222 markings, 469411517 edges, 440910 markings/sec, 415 secs
lola: 198141873 markings, 474890091 edges, 449330 markings/sec, 420 secs
lola: 200420048 markings, 480447353 edges, 455635 markings/sec, 425 secs
lola: 202730000 markings, 486080769 edges, 461990 markings/sec, 430 secs
lola: 205031420 markings, 491694874 edges, 460284 markings/sec, 435 secs
lola: 207356415 markings, 497364809 edges, 464999 markings/sec, 440 secs
lola: 209676647 markings, 503023078 edges, 464046 markings/sec, 445 secs
lola: 212044764 markings, 508800017 edges, 473623 markings/sec, 450 secs
lola: 214463803 markings, 514699384 edges, 483808 markings/sec, 455 secs
lola: 216918006 markings, 520727737 edges, 490841 markings/sec, 460 secs
lola: 219076023 markings, 526289010 edges, 431603 markings/sec, 465 secs
lola: 221156914 markings, 531646813 edges, 416178 markings/sec, 470 secs
lola: 223220723 markings, 536957667 edges, 412762 markings/sec, 475 secs
lola: 225268737 markings, 542224636 edges, 409603 markings/sec, 480 secs
lola: 227301147 markings, 547450261 edges, 406482 markings/sec, 485 secs
lola: 229301402 markings, 552592195 edges, 400051 markings/sec, 490 secs
lola: 231312212 markings, 557760190 edges, 402162 markings/sec, 495 secs
lola: 233304569 markings, 562879200 edges, 398471 markings/sec, 500 secs
lola: 235289582 markings, 567976998 edges, 397003 markings/sec, 505 secs
lola: 237283250 markings, 573098673 edges, 398734 markings/sec, 510 secs
lola: 239287240 markings, 578243797 edges, 400798 markings/sec, 515 secs
lola: 241284392 markings, 583372925 edges, 399430 markings/sec, 520 secs
lola: 243260988 markings, 588448024 edges, 395319 markings/sec, 525 secs
lola: 245269453 markings, 593601296 edges, 401693 markings/sec, 530 secs
lola: 247228605 markings, 598587183 edges, 391830 markings/sec, 535 secs
lola: 249231771 markings, 603684294 edges, 400633 markings/sec, 540 secs
lola: 251217154 markings, 608736517 edges, 397077 markings/sec, 545 secs
lola: 253195124 markings, 613770804 edges, 395594 markings/sec, 550 secs
lola: 255185209 markings, 618836047 edges, 398017 markings/sec, 555 secs
lola: 257196042 markings, 623954248 edges, 402167 markings/sec, 560 secs
lola: 259248259 markings, 629176549 edges, 410443 markings/sec, 565 secs
lola: 261274444 markings, 634331641 edges, 405237 markings/sec, 570 secs
lola: 263361265 markings, 639644595 edges, 417364 markings/sec, 575 secs
lola: 265489545 markings, 645059361 edges, 425656 markings/sec, 580 secs
lola: 267827270 markings, 650903049 edges, 467545 markings/sec, 585 secs
lola: 270288682 markings, 656897072 edges, 492282 markings/sec, 590 secs
lola: 272698612 markings, 662766758 edges, 481986 markings/sec, 595 secs
lola: 275075280 markings, 668555411 edges, 475334 markings/sec, 600 secs
lola: 277388759 markings, 674190100 edges, 462696 markings/sec, 605 secs
lola: 279704036 markings, 679829105 edges, 463055 markings/sec, 610 secs
lola: 281983685 markings, 685382655 edges, 455930 markings/sec, 615 secs
lola: 284289353 markings, 690997992 edges, 461134 markings/sec, 620 secs
lola: 286597576 markings, 696621252 edges, 461645 markings/sec, 625 secs
lola: 288919872 markings, 702278855 edges, 464459 markings/sec, 630 secs
lola: 291189517 markings, 707808229 edges, 453929 markings/sec, 635 secs
lola: 293476658 markings, 713381316 edges, 457428 markings/sec, 640 secs
lola: 295738491 markings, 718892020 edges, 452367 markings/sec, 645 secs
lola: 297907585 markings, 724175484 edges, 433819 markings/sec, 650 secs
lola: 300202430 markings, 729767091 edges, 458969 markings/sec, 655 secs
lola: 302417001 markings, 735162962 edges, 442914 markings/sec, 660 secs
lola: 304573660 markings, 740418075 edges, 431332 markings/sec, 665 secs
lola: 306773976 markings, 745779107 edges, 440063 markings/sec, 670 secs
lola: 308851403 markings, 750841775 edges, 415485 markings/sec, 675 secs
lola: 310972948 markings, 756009954 edges, 424309 markings/sec, 680 secs
lola: 313209865 markings, 761460543 edges, 447383 markings/sec, 685 secs
lola: 315539592 markings, 767137933 edges, 465945 markings/sec, 690 secs
lola: 317839332 markings, 772741379 edges, 459948 markings/sec, 695 secs
lola: 320112545 markings, 778281152 edges, 454643 markings/sec, 700 secs
lola: 322401828 markings, 783860046 edges, 457857 markings/sec, 705 secs
lola: 324677212 markings, 789403121 edges, 455077 markings/sec, 710 secs
lola: 326936457 markings, 794908370 edges, 451849 markings/sec, 715 secs
lola: 329186921 markings, 800392483 edges, 450093 markings/sec, 720 secs
lola: 331474527 markings, 805968793 edges, 457521 markings/sec, 725 secs
lola: 333670112 markings, 811320078 edges, 439117 markings/sec, 730 secs
lola: 335815373 markings, 816552548 edges, 429052 markings/sec, 735 secs
lola: 337991795 markings, 821861786 edges, 435284 markings/sec, 740 secs
lola: 340132939 markings, 827083122 edges, 428229 markings/sec, 745 secs
lola: 342311293 markings, 832396605 edges, 435671 markings/sec, 750 secs
lola: 344460315 markings, 837636741 edges, 429804 markings/sec, 755 secs
lola: 346586564 markings, 842823400 edges, 425250 markings/sec, 760 secs
lola: 348739015 markings, 848073994 edges, 430490 markings/sec, 765 secs
lola: 350892588 markings, 853325004 edges, 430715 markings/sec, 770 secs
lola: 353094408 markings, 858696221 edges, 440364 markings/sec, 775 secs
lola: 355251503 markings, 863956116 edges, 431419 markings/sec, 780 secs
lola: 357427916 markings, 869264646 edges, 435283 markings/sec, 785 secs
lola: 359620978 markings, 874614374 edges, 438612 markings/sec, 790 secs
lola: 361826933 markings, 879993481 edges, 441191 markings/sec, 795 secs
lola: 364059553 markings, 885440179 edges, 446524 markings/sec, 800 secs
lola: 366313737 markings, 890936956 edges, 450837 markings/sec, 805 secs
lola: 368608033 markings, 896532104 edges, 458859 markings/sec, 810 secs
lola: 370901747 markings, 902127334 edges, 458743 markings/sec, 815 secs
lola: 373218724 markings, 907777789 edges, 463395 markings/sec, 820 secs
lola: 375520009 markings, 913389828 edges, 460257 markings/sec, 825 secs
lola: 377867353 markings, 919115807 edges, 469469 markings/sec, 830 secs
lola: 380258680 markings, 924947530 edges, 478265 markings/sec, 835 secs
lola: 382722348 markings, 930980225 edges, 492734 markings/sec, 840 secs
lola: 384979828 markings, 936797255 edges, 451496 markings/sec, 845 secs
lola: 387146947 markings, 942377699 edges, 433424 markings/sec, 850 secs
lola: 389294138 markings, 947902558 edges, 429438 markings/sec, 855 secs
lola: 391428127 markings, 953391561 edges, 426798 markings/sec, 860 secs
lola: 393550101 markings, 958846994 edges, 424395 markings/sec, 865 secs
lola: 395637468 markings, 964212077 edges, 417473 markings/sec, 870 secs
lola: 397739732 markings, 969613835 edges, 420453 markings/sec, 875 secs
lola: 399809168 markings, 974930361 edges, 413887 markings/sec, 880 secs
lola: 401855083 markings, 980186794 edges, 409183 markings/sec, 885 secs
lola: 403960245 markings, 985592993 edges, 421032 markings/sec, 890 secs
lola: 406008893 markings, 990854295 edges, 409730 markings/sec, 895 secs
lola: 408094855 markings, 996209322 edges, 417192 markings/sec, 900 secs
lola: 410166519 markings, 1001528025 edges, 414333 markings/sec, 905 secs
lola: 412220652 markings, 1006776908 edges, 410827 markings/sec, 910 secs
lola: 414296047 markings, 1012058389 edges, 415079 markings/sec, 915 secs
lola: 416374131 markings, 1017346712 edges, 415617 markings/sec, 920 secs
lola: 418419134 markings, 1022552299 edges, 409001 markings/sec, 925 secs
lola: 420490500 markings, 1027822119 edges, 414273 markings/sec, 930 secs
lola: 422574525 markings, 1033127109 edges, 416805 markings/sec, 935 secs
lola: local time limit reached - aborting
lola:
preliminary result: 80 160 unknown 160 80 160 80 80 80 unknown 80 80 80 unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 946 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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 4382 markings, 8162 edges
lola: subprocess 15 will run for 1893 seconds at most (--localtimelimit=0)lola:
========================================
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 4382 markings, 8162 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 240
lola: 2571055 markings, 6014841 edges, 514211 markings/sec, 0 secs
lola: 4955693 markings, 11626438 edges, 476928 markings/sec, 5 secs
lola: 7438595 markings, 17472631 edges, 496580 markings/sec, 10 secs
lola: 9889580 markings, 23242758 edges, 490197 markings/sec, 15 secs
lola: 12338308 markings, 29009554 edges, 489746 markings/sec, 20 secs
lola: 14739788 markings, 34664876 edges, 480296 markings/sec, 25 secs
lola: 17170199 markings, 40388768 edges, 486082 markings/sec, 30 secs
lola: 19592143 markings, 46093382 edges, 484389 markings/sec, 35 secs
lola: 21978016 markings, 51713915 edges, 477175 markings/sec, 40 secs
lola: 24355339 markings, 57315099 edges, 475465 markings/sec, 45 secs
lola: 26719778 markings, 62885414 edges, 472888 markings/sec, 50 secs
lola: 29119649 markings, 68538673 edges, 479974 markings/sec, 55 secs
lola: 31477192 markings, 74094575 edges, 471509 markings/sec, 60 secs
lola: 33820297 markings, 79614199 edges, 468621 markings/sec, 65 secs
lola: 36160699 markings, 85129325 edges, 468080 markings/sec, 70 secs
lola: 38363475 markings, 90319241 edges, 440555 markings/sec, 75 secs
lola: 40741912 markings, 95924050 edges, 475687 markings/sec, 80 secs
lola: 43140868 markings, 101577253 edges, 479791 markings/sec, 85 secs
lola: 45544371 markings, 107240950 edges, 480701 markings/sec, 90 secs
lola: 47920319 markings, 112840452 edges, 475190 markings/sec, 95 secs
lola: 50318467 markings, 118491700 edges, 479630 markings/sec, 100 secs
lola: 52662409 markings, 124016049 edges, 468788 markings/sec, 105 secs
lola: 55001193 markings, 129527916 edges, 467757 markings/sec, 110 secs
lola: 57401569 markings, 135186915 edges, 480075 markings/sec, 115 secs
lola: 59479669 markings, 140095931 edges, 415620 markings/sec, 120 secs
lola: 61719343 markings, 145386989 edges, 447935 markings/sec, 125 secs
lola: 63959796 markings, 150679722 edges, 448091 markings/sec, 130 secs
lola: 66227781 markings, 156037418 edges, 453597 markings/sec, 135 secs
lola: 68439249 markings, 161261559 edges, 442294 markings/sec, 140 secs
lola: 70669601 markings, 166530612 edges, 446070 markings/sec, 145 secs
lola: 72904574 markings, 171810425 edges, 446995 markings/sec, 150 secs
lola: 75153884 markings, 177123770 edges, 449862 markings/sec, 155 secs
lola: 77235493 markings, 182041274 edges, 416322 markings/sec, 160 secs
lola: 79504281 markings, 187401276 edges, 453758 markings/sec, 165 secs
lola: 81782061 markings, 192782048 edges, 455556 markings/sec, 170 secs
lola: 84090931 markings, 198236620 edges, 461774 markings/sec, 175 secs
lola: 86258683 markings, 203357399 edges, 433550 markings/sec, 180 secs
lola: 88638486 markings, 208979273 edges, 475961 markings/sec, 185 secs
lola: 90864639 markings, 214238120 edges, 445231 markings/sec, 190 secs
lola: 93288891 markings, 219966173 edges, 484850 markings/sec, 195 secs
lola: 95669807 markings, 225589736 edges, 476183 markings/sec, 200 secs
lola: 98166695 markings, 231488715 edges, 499378 markings/sec, 205 secs
lola: 100696783 markings, 237465352 edges, 506018 markings/sec, 210 secs
lola: 103100875 markings, 243256672 edges, 480818 markings/sec, 215 secs
lola: 105448716 markings, 248973488 edges, 469568 markings/sec, 220 secs
lola: 107747651 markings, 254572488 edges, 459787 markings/sec, 225 secs
lola: 110067446 markings, 260222490 edges, 463959 markings/sec, 230 secs
lola: 112328024 markings, 265728243 edges, 452116 markings/sec, 235 secs
lola: 114641713 markings, 271365062 edges, 462738 markings/sec, 240 secs
lola: 116919110 markings, 276911176 edges, 455479 markings/sec, 245 secs
lola: 119176662 markings, 282411192 edges, 451510 markings/sec, 250 secs
lola: 121492341 markings, 288052319 edges, 463136 markings/sec, 255 secs
lola: 123790407 markings, 293650794 edges, 459613 markings/sec, 260 secs
lola: 125954373 markings, 298922328 edges, 432793 markings/sec, 265 secs
lola: 128234015 markings, 304477180 edges, 455928 markings/sec, 270 secs
lola: 130488456 markings, 309969646 edges, 450888 markings/sec, 275 secs
lola: 132757533 markings, 315497443 edges, 453815 markings/sec, 280 secs
lola: 135019563 markings, 321009901 edges, 452406 markings/sec, 285 secs
lola: 137262064 markings, 326472653 edges, 448500 markings/sec, 290 secs
lola: 139464313 markings, 331839119 edges, 440450 markings/sec, 295 secs
lola: 141684340 markings, 337249320 edges, 444005 markings/sec, 300 secs
lola: 143837254 markings, 342494765 edges, 430583 markings/sec, 305 secs
lola: 145948580 markings, 347638201 edges, 422265 markings/sec, 310 secs
lola: 148218267 markings, 353168797 edges, 453937 markings/sec, 315 secs
lola: 150503002 markings, 358736345 edges, 456947 markings/sec, 320 secs
lola: 152778278 markings, 364281012 edges, 455055 markings/sec, 325 secs
lola: 155023432 markings, 369752239 edges, 449031 markings/sec, 330 secs
lola: 157307218 markings, 375316591 edges, 456757 markings/sec, 335 secs
lola: 159568177 markings, 380826260 edges, 452192 markings/sec, 340 secs
lola: 161819884 markings, 386312931 edges, 450341 markings/sec, 345 secs
lola: 164017301 markings, 391668591 edges, 439483 markings/sec, 350 secs
lola: 166333301 markings, 397312545 edges, 463200 markings/sec, 355 secs
lola: 168484220 markings, 402556942 edges, 430184 markings/sec, 360 secs
lola: 170472479 markings, 407406401 edges, 397652 markings/sec, 365 secs
lola: 172659342 markings, 412741145 edges, 437373 markings/sec, 370 secs
lola: 174837467 markings, 418052083 edges, 435625 markings/sec, 375 secs
lola: 177055156 markings, 423462235 edges, 443538 markings/sec, 380 secs
lola: 179171952 markings, 428623633 edges, 423359 markings/sec, 385 secs
lola: 181313703 markings, 433847927 edges, 428350 markings/sec, 390 secs
lola: 183478847 markings, 439129192 edges, 433029 markings/sec, 395 secs
lola: 185639913 markings, 444399046 edges, 432213 markings/sec, 400 secs
lola: 187834940 markings, 449753159 edges, 439005 markings/sec, 405 secs
lola: 189994812 markings, 455019976 edges, 431974 markings/sec, 410 secs
lola: 192173613 markings, 460334937 edges, 435760 markings/sec, 415 secs
lola: 194342709 markings, 465624259 edges, 433819 markings/sec, 420 secs
lola: 196526620 markings, 470951360 edges, 436782 markings/sec, 425 secs
lola: 198755249 markings, 476387641 edges, 445726 markings/sec, 430 secs
lola: 201014586 markings, 481896976 edges, 451867 markings/sec, 435 secs
lola: 203309212 markings, 487493354 edges, 458925 markings/sec, 440 secs
lola: 205621355 markings, 493133555 edges, 462429 markings/sec, 445 secs
lola: 207952647 markings, 498818574 edges, 466258 markings/sec, 450 secs
lola: 210154076 markings, 504188894 edges, 440286 markings/sec, 455 secs
lola: 212548224 markings, 510027254 edges, 478830 markings/sec, 460 secs
lola: 214937985 markings, 515855789 edges, 477952 markings/sec, 465 secs
lola: 217369182 markings, 521891101 edges, 486239 markings/sec, 470 secs
lola: 219498023 markings, 527375741 edges, 425768 markings/sec, 475 secs
lola: 221555528 markings, 532673424 edges, 411501 markings/sec, 480 secs
lola: 223598671 markings, 537930387 edges, 408629 markings/sec, 485 secs
lola: 225659474 markings, 543228852 edges, 412161 markings/sec, 490 secs
lola: 227656348 markings, 548363357 edges, 399375 markings/sec, 495 secs
lola: 229574394 markings, 553292590 edges, 383609 markings/sec, 500 secs
lola: 231552311 markings, 558375825 edges, 395583 markings/sec, 505 secs
lola: 233526575 markings, 563447682 edges, 394853 markings/sec, 510 secs
lola: 235476848 markings, 568459261 edges, 390055 markings/sec, 515 secs
lola: 237464814 markings, 573563333 edges, 397593 markings/sec, 520 secs
lola: 239434950 markings, 578624582 edges, 394027 markings/sec, 525 secs
lola: 241402936 markings, 583678680 edges, 393597 markings/sec, 530 secs
lola: 243309752 markings, 588573843 edges, 381363 markings/sec, 535 secs
lola: 245288698 markings, 593649922 edges, 395789 markings/sec, 540 secs
lola: 247223466 markings, 598574209 edges, 386954 markings/sec, 545 secs
lola: 249182717 markings, 603560343 edges, 391850 markings/sec, 550 secs
lola: 251144138 markings, 608551971 edges, 392284 markings/sec, 555 secs
lola: 253093200 markings, 613512366 edges, 389812 markings/sec, 560 secs
lola: 255057642 markings, 618511622 edges, 392888 markings/sec, 565 secs
lola: 257033013 markings, 623538485 edges, 395074 markings/sec, 570 secs
lola: 259037843 markings, 628639600 edges, 400966 markings/sec, 575 secs
lola: 261057444 markings, 633780599 edges, 403920 markings/sec, 580 secs
lola: 263040189 markings, 638826957 edges, 396549 markings/sec, 585 secs
lola: 265155158 markings, 644208609 edges, 422994 markings/sec, 590 secs
lola: 267417635 markings, 649919226 edges, 452495 markings/sec, 595 secs
lola: 269874633 markings, 655888889 edges, 491400 markings/sec, 600 secs
lola: 272267689 markings, 661715958 edges, 478611 markings/sec, 605 secs
lola: 274610309 markings, 667421740 edges, 468524 markings/sec, 610 secs
lola: 276948959 markings, 673117547 edges, 467730 markings/sec, 615 secs
lola: 279245423 markings, 678712076 edges, 459293 markings/sec, 620 secs
lola: 281589657 markings, 684421947 edges, 468847 markings/sec, 625 secs
lola: 283879003 markings, 689999187 edges, 457869 markings/sec, 630 secs
lola: 286171931 markings, 695584852 edges, 458586 markings/sec, 635 secs
lola: 288505421 markings, 701270009 edges, 466698 markings/sec, 640 secs
lola: 290767546 markings, 706781069 edges, 452425 markings/sec, 645 secs
lola: 293081001 markings, 712416747 edges, 462691 markings/sec, 650 secs
lola: 295329705 markings, 717894860 edges, 449741 markings/sec, 655 secs
lola: 297541851 markings, 723286016 edges, 442429 markings/sec, 660 secs
lola: 299856120 markings, 728923409 edges, 462854 markings/sec, 665 secs
lola: 302097476 markings, 734384618 edges, 448271 markings/sec, 670 secs
lola: 304350039 markings, 739873033 edges, 450513 markings/sec, 675 secs
lola: 306550501 markings, 745234890 edges, 440092 markings/sec, 680 secs
lola: 308795739 markings, 750706107 edges, 449048 markings/sec, 685 secs
lola: 311083870 markings, 756280286 edges, 457626 markings/sec, 690 secs
lola: 313291082 markings, 761658648 edges, 441442 markings/sec, 695 secs
lola: 315522857 markings, 767097552 edges, 446355 markings/sec, 700 secs
lola: 317794130 markings, 772631103 edges, 454255 markings/sec, 705 secs
lola: 320043169 markings, 778111899 edges, 449808 markings/sec, 710 secs
lola: 322230804 markings, 783442867 edges, 437527 markings/sec, 715 secs
lola: 324498143 markings, 788967826 edges, 453468 markings/sec, 720 secs
lola: 326690874 markings, 794310844 edges, 438546 markings/sec, 725 secs
lola: 328875103 markings, 799633118 edges, 436846 markings/sec, 730 secs
lola: 331127088 markings, 805121707 edges, 450397 markings/sec, 735 secs
lola: 333254385 markings, 810306500 edges, 425459 markings/sec, 740 secs
lola: 335362552 markings, 815449205 edges, 421633 markings/sec, 745 secs
lola: 337499213 markings, 820659394 edges, 427332 markings/sec, 750 secs
lola: 339647143 markings, 825898632 edges, 429586 markings/sec, 755 secs
lola: 341826005 markings, 831213638 edges, 435772 markings/sec, 760 secs
lola: 343981962 markings, 836470783 edges, 431191 markings/sec, 765 secs
lola: 346118921 markings, 841682851 edges, 427392 markings/sec, 770 secs
lola: 348276829 markings, 846945336 edges, 431582 markings/sec, 775 secs
lola: 350413476 markings, 852156850 edges, 427329 markings/sec, 780 secs
lola: 352588376 markings, 857461954 edges, 434980 markings/sec, 785 secs
lola: 354747686 markings, 862727642 edges, 431862 markings/sec, 790 secs
lola: 356920583 markings, 868027993 edges, 434579 markings/sec, 795 secs
lola: 359103999 markings, 873352094 edges, 436683 markings/sec, 800 secs
lola: 361275607 markings, 878649390 edges, 434322 markings/sec, 805 secs
lola: 363508153 markings, 884093585 edges, 446509 markings/sec, 810 secs
lola: 365750023 markings, 889562249 edges, 448374 markings/sec, 815 secs
lola: 368036077 markings, 895137334 edges, 457211 markings/sec, 820 secs
lola: 370327072 markings, 900725769 edges, 458199 markings/sec, 825 secs
lola: 372630790 markings, 906343825 edges, 460744 markings/sec, 830 secs
lola: 374942451 markings, 911981166 edges, 462332 markings/sec, 835 secs
lola: 377278155 markings, 917678734 edges, 467141 markings/sec, 840 secs
lola: 379660317 markings, 923488197 edges, 476432 markings/sec, 845 secs
lola: 382105503 markings, 929451916 edges, 489037 markings/sec, 850 secs
lola: 384432884 markings, 935389019 edges, 465476 markings/sec, 855 secs
lola: 386572044 markings, 940897656 edges, 427832 markings/sec, 860 secs
lola: 388679911 markings, 946322550 edges, 421573 markings/sec, 865 secs
lola: 390768337 markings, 951694780 edges, 417685 markings/sec, 870 secs
lola: 392877966 markings, 957118784 edges, 421926 markings/sec, 875 secs
lola: 394935626 markings, 962408677 edges, 411532 markings/sec, 880 secs
lola: 397024857 markings, 967776222 edges, 417846 markings/sec, 885 secs
lola: 399047185 markings, 972972199 edges, 404466 markings/sec, 890 secs
lola: 401101966 markings, 978251253 edges, 410956 markings/sec, 895 secs
lola: 403140190 markings, 983487800 edges, 407645 markings/sec, 900 secs
lola: 405209872 markings, 988801281 edges, 413936 markings/sec, 905 secs
lola: 407266782 markings, 994084085 edges, 411382 markings/sec, 910 secs
lola: 409296330 markings, 999295754 edges, 405910 markings/sec, 915 secs
lola: 411367223 markings, 1004604763 edges, 414179 markings/sec, 920 secs
lola: 413381296 markings, 1009731213 edges, 402815 markings/sec, 925 secs
lola: 415467927 markings, 1015039779 edges, 417326 markings/sec, 930 secs
lola: 417502453 markings, 1020218394 edges, 406905 markings/sec, 935 secs
lola: 419464022 markings, 1025210555 edges, 392314 markings/sec, 940 secs
lola: 421483033 markings, 1030349635 edges, 403802 markings/sec, 945 secs
lola: 423565004 markings, 1035646565 edges, 416394 markings/sec, 950 secs
lola: 425662119 markings, 1040985025 edges, 419423 markings/sec, 955 secs
lola: 427782913 markings, 1046380446 edges, 424159 markings/sec, 960 secs
lola: 429928161 markings, 1051841649 edges, 429050 markings/sec, 965 secs
lola: 432151420 markings, 1057499944 edges, 444652 markings/sec, 970 secs
lola: 434491969 markings, 1063307759 edges, 468110 markings/sec, 975 secs
lola: 436679753 markings, 1068661974 edges, 437557 markings/sec, 980 secs
lola: 438827641 markings, 1073916487 edges, 429578 markings/sec, 985 secs
lola: 440953599 markings, 1079115117 edges, 425192 markings/sec, 990 secs
lola: 443068513 markings, 1084285045 edges, 422983 markings/sec, 995 secs
lola: 445194572 markings, 1089481613 edges, 425212 markings/sec, 1000 secs
lola: 447272658 markings, 1094561298 edges, 415617 markings/sec, 1005 secs
lola: 449341049 markings, 1099614255 edges, 413678 markings/sec, 1010 secs
lola: 451418557 markings, 1104690785 edges, 415502 markings/sec, 1015 secs
lola: 453467703 markings, 1109696973 edges, 409829 markings/sec, 1020 secs
lola: 455516047 markings, 1114700073 edges, 409669 markings/sec, 1025 secs
lola: 457554275 markings, 1119679259 edges, 407646 markings/sec, 1030 secs
lola: 459608329 markings, 1124696946 edges, 410811 markings/sec, 1035 secs
lola: 461691312 markings, 1129783111 edges, 416597 markings/sec, 1040 secs
lola: 463726862 markings, 1134754989 edges, 407110 markings/sec, 1045 secs
lola: 465762745 markings, 1139726942 edges, 407177 markings/sec, 1050 secs
lola: 467822286 markings, 1144755383 edges, 411908 markings/sec, 1055 secs
lola: 469962233 markings, 1149979507 edges, 427989 markings/sec, 1060 secs
lola: 470187450 markings, 1150525514 edges, 45043 markings/sec, 1065 secs
lola: 471997883 markings, 1154921655 edges, 362087 markings/sec, 1070 secs
lola: 474639465 markings, 1161335569 edges, 528316 markings/sec, 1075 secs
lola: 475277859 markings, 1162886258 edges, 127679 markings/sec, 1080 secs
lola: 475380701 markings, 1163135011 edges, 20568 markings/sec, 1085 secs
lola: 477316063 markings, 1167834377 edges, 387072 markings/sec, 1090 secs
lola: 478123071 markings, 1169794607 edges, 161402 markings/sec, 1095 secs
lola: 479465067 markings, 1173052429 edges, 268399 markings/sec, 1100 secs
lola: 481017711 markings, 1176822680 edges, 310529 markings/sec, 1105 secs
lola: 482913573 markings, 1181424475 edges, 379172 markings/sec, 1110 secs
lola: 484459526 markings, 1185179421 edges, 309191 markings/sec, 1115 secs
lola: 485738626 markings, 1188284326 edges, 255820 markings/sec, 1120 secs
lola: 487817972 markings, 1193333725 edges, 415869 markings/sec, 1125 secs
lola: 489841029 markings, 1198246414 edges, 404611 markings/sec, 1130 secs
lola: 491888749 markings, 1203217689 edges, 409544 markings/sec, 1135 secs
lola: 493995856 markings, 1208333591 edges, 421421 markings/sec, 1140 secs
lola: 496140881 markings, 1213541963 edges, 429005 markings/sec, 1145 secs
lola: 498437735 markings, 1219092291 edges, 459371 markings/sec, 1150 secs
lola: 500803733 markings, 1224854754 edges, 473200 markings/sec, 1155 secs
lola: 503122018 markings, 1230499651 edges, 463657 markings/sec, 1160 secs
lola: 505384646 markings, 1236010557 edges, 452526 markings/sec, 1165 secs
lola: 507673733 markings, 1241585391 edges, 457817 markings/sec, 1170 secs
lola: 509718880 markings, 1246567146 edges, 409029 markings/sec, 1175 secs
lola: 511746027 markings, 1251505143 edges, 405429 markings/sec, 1180 secs
lola: 513979132 markings, 1256945354 edges, 446621 markings/sec, 1185 secs
lola: 516218591 markings, 1262401069 edges, 447892 markings/sec, 1190 secs
lola: 518485509 markings, 1267923735 edges, 453384 markings/sec, 1195 secs
lola: 520480851 markings, 1272784283 edges, 399068 markings/sec, 1200 secs
lola: 522693798 markings, 1278174839 edges, 442589 markings/sec, 1205 secs
lola: 524885123 markings, 1283514211 edges, 438265 markings/sec, 1210 secs
lola: 526964687 markings, 1288580364 edges, 415913 markings/sec, 1215 secs
lola: 529152357 markings, 1293910777 edges, 437534 markings/sec, 1220 secs
lola: 531351405 markings, 1299268619 edges, 439810 markings/sec, 1225 secs
lola: 533544787 markings, 1304613366 edges, 438676 markings/sec, 1230 secs
lola: 535723186 markings, 1309921191 edges, 435680 markings/sec, 1235 secs
lola: 537892405 markings, 1315205885 edges, 433844 markings/sec, 1240 secs
lola: 540047593 markings, 1320457427 edges, 431038 markings/sec, 1245 secs
lola: 541937547 markings, 1325062236 edges, 377991 markings/sec, 1250 secs
lola: 543088043 markings, 1327865985 edges, 230099 markings/sec, 1255 secs
lola: 545139918 markings, 1332866059 edges, 410375 markings/sec, 1260 secs
lola: 546596105 markings, 1336414676 edges, 291237 markings/sec, 1265 secs
lola: 548247299 markings, 1340437892 edges, 330239 markings/sec, 1270 secs
lola: 549201606 markings, 1342762629 edges, 190861 markings/sec, 1275 secs
lola: 551347090 markings, 1347990542 edges, 429097 markings/sec, 1280 secs
lola: 551646713 markings, 1348721519 edges, 59925 markings/sec, 1285 secs
lola: 553849180 markings, 1354088688 edges, 440493 markings/sec, 1290 secs
lola: 554391378 markings, 1355408678 edges, 108440 markings/sec, 1295 secs
lola: 555280383 markings, 1357576031 edges, 177801 markings/sec, 1300 secs
lola: 557371558 markings, 1362671073 edges, 418235 markings/sec, 1305 secs
lola: 557371558 markings, 1362671073 edges, 0 markings/sec, 1310 secs
lola: 559344526 markings, 1367479192 edges, 394594 markings/sec, 1315 secs
lola: 561549993 markings, 1372853163 edges, 441093 markings/sec, 1320 secs
lola: 563750128 markings, 1378215492 edges, 440027 markings/sec, 1325 secs
lola: 565805611 markings, 1383229079 edges, 411097 markings/sec, 1330 secs
lola: 567860428 markings, 1388240804 edges, 410963 markings/sec, 1335 secs
lola: 569634995 markings, 1392568689 edges, 354913 markings/sec, 1340 secs
lola: 570142037 markings, 1393804972 edges, 101408 markings/sec, 1345 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 160
lola: 2252282 markings, 4966511 edges, 450456 markings/sec, 0 secs
lola: 4412768 markings, 10500723 edges, 432097 markings/sec, 5 secs
lola: 6993873 markings, 15746096 edges, 516221 markings/sec, 10 secs
lola: 9215589 markings, 20722261 edges, 444343 markings/sec, 15 secs
lola: 10956943 markings, 26011190 edges, 348271 markings/sec, 20 secs
lola: 12582480 markings, 31055384 edges, 325107 markings/sec, 25 secs
lola: 14213761 markings, 36126595 edges, 326256 markings/sec, 30 secs
lola: 15947564 markings, 41614434 edges, 346761 markings/sec, 35 secs
lola: 17617160 markings, 46987618 edges, 333919 markings/sec, 40 secs
lola: 19259243 markings, 52290435 edges, 328417 markings/sec, 45 secs
lola: 20888553 markings, 57560268 edges, 325862 markings/sec, 50 secs
lola: 22537239 markings, 62889508 edges, 329737 markings/sec, 55 secs
lola: 24225640 markings, 68353537 edges, 337680 markings/sec, 60 secs
lola: 25946639 markings, 74066990 edges, 344200 markings/sec, 65 secs
lola: 28108578 markings, 79463772 edges, 432388 markings/sec, 70 secs
lola: 30491655 markings, 84588692 edges, 476615 markings/sec, 75 secs
lola: 32181757 markings, 89591541 edges, 338020 markings/sec, 80 secs
lola: 33643424 markings, 94345512 edges, 292333 markings/sec, 85 secs
lola: 35193973 markings, 99529718 edges, 310110 markings/sec, 90 secs
lola: 36631865 markings, 104379245 edges, 287578 markings/sec, 95 secs
lola: 38193028 markings, 109652012 edges, 312233 markings/sec, 100 secs
lola: 41742318 markings, 118353825 edges, 709858 markings/sec, 105 secs
lola: 44242680 markings, 123409094 edges, 500072 markings/sec, 110 secs
lola: 46267142 markings, 127495665 edges, 404892 markings/sec, 115 secs
lola: 48496651 markings, 131989839 edges, 445902 markings/sec, 120 secs
lola: 50242122 markings, 136962926 edges, 349094 markings/sec, 125 secs
lola: 51745381 markings, 141794556 edges, 300652 markings/sec, 130 secs
lola: 53245758 markings, 146618978 edges, 300075 markings/sec, 135 secs
lola: 54729449 markings, 151393375 edges, 296738 markings/sec, 140 secs
lola: 56198518 markings, 156119824 edges, 293814 markings/sec, 145 secs
lola: 57639817 markings, 160760701 edges, 288260 markings/sec, 150 secs
lola: 59146762 markings, 165614411 edges, 301389 markings/sec, 155 secs
lola: 60700630 markings, 170621111 edges, 310774 markings/sec, 160 secs
lola: 62296289 markings, 175814873 edges, 319132 markings/sec, 165 secs
lola: 63808448 markings, 180949510 edges, 302432 markings/sec, 170 secs
lola: 65188788 markings, 185959867 edges, 276068 markings/sec, 175 secs
lola: 66545530 markings, 190889164 edges, 271348 markings/sec, 180 secs
lola: 67921139 markings, 195882558 edges, 275122 markings/sec, 185 secs
lola: 69223351 markings, 200619158 edges, 260442 markings/sec, 190 secs
lola: 70463386 markings, 205128301 edges, 248007 markings/sec, 195 secs
lola: 71824581 markings, 210072504 edges, 272239 markings/sec, 200 secs
lola: 73162732 markings, 214939795 edges, 267630 markings/sec, 205 secs
lola: 74501473 markings, 219815376 edges, 267748 markings/sec, 210 secs
lola: 75875993 markings, 224819077 edges, 274904 markings/sec, 215 secs
lola: 77254325 markings, 229834249 edges, 275666 markings/sec, 220 secs
lola: 78619931 markings, 234811872 edges, 273121 markings/sec, 225 secs
lola: 80024080 markings, 239928296 edges, 280830 markings/sec, 230 secs
lola: 81406647 markings, 244968544 edges, 276513 markings/sec, 235 secs
lola: 82686960 markings, 249641125 edges, 256063 markings/sec, 240 secs
lola: 84087429 markings, 254989365 edges, 280094 markings/sec, 245 secs
lola: 85559036 markings, 260376193 edges, 294321 markings/sec, 250 secs
lola: 87092731 markings, 265749527 edges, 306739 markings/sec, 255 secs
lola: 88603043 markings, 271088945 edges, 302062 markings/sec, 260 secs
lola: 90101599 markings, 276388309 edges, 299711 markings/sec, 265 secs
lola: 91604920 markings, 281705277 edges, 300664 markings/sec, 270 secs
lola: 93111810 markings, 287035426 edges, 301378 markings/sec, 275 secs
lola: 94589627 markings, 292263573 edges, 295563 markings/sec, 280 secs
lola: 96058451 markings, 297463054 edges, 293765 markings/sec, 285 secs
lola: 97510279 markings, 302601588 edges, 290366 markings/sec, 290 secs
lola: 98981051 markings, 307814002 edges, 294154 markings/sec, 295 secs
lola: 100446735 markings, 312994532 edges, 293137 markings/sec, 300 secs
lola: 101909340 markings, 318176827 edges, 292521 markings/sec, 305 secs
lola: 103269267 markings, 322991887 edges, 271985 markings/sec, 310 secs
lola: 104754425 markings, 328251961 edges, 297032 markings/sec, 315 secs
lola: 106253147 markings, 333560633 edges, 299744 markings/sec, 320 secs
lola: 107746238 markings, 338857092 edges, 298618 markings/sec, 325 secs
lola: 109231536 markings, 344116554 edges, 297060 markings/sec, 330 secs
lola: 110723384 markings, 349403522 edges, 298370 markings/sec, 335 secs
lola: 112093882 markings, 354260110 edges, 274100 markings/sec, 340 secs
lola: 113478842 markings, 359170512 edges, 276992 markings/sec, 345 secs
lola: 114963109 markings, 364430784 edges, 296853 markings/sec, 350 secs
lola: 116489892 markings, 369893060 edges, 305357 markings/sec, 355 secs
lola: 117957823 markings, 375248136 edges, 293586 markings/sec, 360 secs
lola: 119364700 markings, 380382286 edges, 281375 markings/sec, 365 secs
lola: 121315196 markings, 385845533 edges, 390099 markings/sec, 370 secs
lola: 123359550 markings, 391178540 edges, 408871 markings/sec, 375 secs
lola: 125493680 markings, 395898728 edges, 426826 markings/sec, 380 secs
lola: 126956846 markings, 400607807 edges, 292633 markings/sec, 385 secs
lola: 128469597 markings, 405572565 edges, 302550 markings/sec, 390 secs
lola: 129873262 markings, 410279977 edges, 280733 markings/sec, 395 secs
lola: 131330810 markings, 415194460 edges, 291510 markings/sec, 400 secs
lola: 132768227 markings, 420051991 edges, 287483 markings/sec, 405 secs
lola: 134785178 markings, 425334121 edges, 403390 markings/sec, 410 secs
lola: 137036764 markings, 429885228 edges, 450317 markings/sec, 415 secs
lola: 139086861 markings, 434115471 edges, 410019 markings/sec, 420 secs
lola: 140451138 markings, 438541925 edges, 272855 markings/sec, 425 secs
lola: 141639751 markings, 442511484 edges, 237723 markings/sec, 430 secs
lola: 142965660 markings, 446910994 edges, 265182 markings/sec, 435 secs
lola: 144254695 markings, 451192034 edges, 257807 markings/sec, 440 secs
lola: 145563371 markings, 455541509 edges, 261735 markings/sec, 445 secs
lola: 146939756 markings, 460237894 edges, 275277 markings/sec, 450 secs
lola: 148111217 markings, 464614129 edges, 234292 markings/sec, 455 secs
lola: 149290213 markings, 469021149 edges, 235799 markings/sec, 460 secs
lola: 150536604 markings, 473682604 edges, 249278 markings/sec, 465 secs
lola: 151760878 markings, 478265539 edges, 244855 markings/sec, 470 secs
lola: 152880521 markings, 482458575 edges, 223929 markings/sec, 475 secs
lola: 154057554 markings, 486868295 edges, 235407 markings/sec, 480 secs
lola: 155281979 markings, 491457187 edges, 244885 markings/sec, 485 secs
lola: 156582755 markings, 496374030 edges, 260155 markings/sec, 490 secs
lola: 157859037 markings, 501233309 edges, 255256 markings/sec, 495 secs
lola: 159249858 markings, 506306409 edges, 278164 markings/sec, 500 secs
lola: time limit reached - aborting
lola:
preliminary result: 80 160 unknown 160 80 160 80 80 80 unknown 80 80 80 unknown 80 80
lola:
preliminary result: 80 160 unknown 160 80 160 80 80 80 unknown 80 80 80 unknown 80 80
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 80 160 unknown 160 80 160 80 80 80 unknown 80 80 80 unknown 80 80
lola: memory consumption: 5448584 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 5448584 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: lola: writing JSON to UpperBounds.json
writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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