Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r170-smll-158987816000517.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is GPPP-PT-C0100N0000010000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987816000517
=====================================================================

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

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591480301961

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 21:51:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 21:51:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 21:51:44] [INFO ] Load time of PNML (sax parser for PT used): 41 ms
[2020-06-06 21:51:44] [INFO ] Transformed 33 places.
[2020-06-06 21:51:44] [INFO ] Transformed 22 transitions.
[2020-06-06 21:51:44] [INFO ] Parsed PT model containing 33 places and 22 transitions in 91 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 14 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-06 21:51:44] [INFO ] Flatten gal took : 35 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 22 rows 33 cols
[2020-06-06 21:51:44] [INFO ] Computed 12 place invariants in 7 ms
Support contains 14 out of 33 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 33/33 places, 22/22 transitions.
Graph (trivial) has 3 edges and 33 vertex of which 2 / 33 are part of one of the 1 SCC in 4 ms
Free SCC test removed 1 places
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 3 rules applied. Total rules applied 4 place count 32 transition count 19
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 5 place count 31 transition count 19
Applied a total of 5 rules in 22 ms. Remains 31 /33 variables (removed 2) and now considering 19/22 (removed 3) transitions.
// Phase 1: matrix 19 rows 31 cols
[2020-06-06 21:51:44] [INFO ] Computed 12 place invariants in 3 ms
[2020-06-06 21:51:44] [INFO ] Dead Transitions using invariants and state equation in 142 ms returned []
Finished structural reductions, in 1 iterations. Remains : 31/33 places, 19/22 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 19 rows 31 cols
[2020-06-06 21:51:44] [INFO ] Computed 12 place invariants in 8 ms
Support contains 14 out of 31 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 31/31 places, 19/19 transitions.
Applied a total of 0 rules in 2 ms. Remains 31 /31 variables (removed 0) and now considering 19/19 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 31/31 places, 19/19 transitions.
Starting structural reductions, iteration 0 : 31/31 places, 19/19 transitions.
Applied a total of 0 rules in 2 ms. Remains 31 /31 variables (removed 0) and now considering 19/19 (removed 0) transitions.
// Phase 1: matrix 19 rows 31 cols
[2020-06-06 21:51:45] [INFO ] Computed 12 place invariants in 4 ms
[2020-06-06 21:51:45] [INFO ] Implicit Places using invariants in 63 ms returned [2, 3, 18]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 65 ms to find 3 implicit places.
[2020-06-06 21:51:45] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 19 rows 28 cols
[2020-06-06 21:51:45] [INFO ] Computed 9 place invariants in 3 ms
[2020-06-06 21:51:45] [INFO ] Dead Transitions using invariants and state equation in 54 ms returned []
Starting structural reductions, iteration 1 : 28/31 places, 19/19 transitions.
Applied a total of 0 rules in 2 ms. Remains 28 /28 variables (removed 0) and now considering 19/19 (removed 0) transitions.
[2020-06-06 21:51:45] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 19 rows 28 cols
[2020-06-06 21:51:45] [INFO ] Computed 9 place invariants in 2 ms
[2020-06-06 21:51:45] [INFO ] Dead Transitions using invariants and state equation in 39 ms returned []
Finished structural reductions, in 2 iterations. Remains : 28/31 places, 19/19 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 19 rows 28 cols
[2020-06-06 21:51:45] [INFO ] Computed 9 place invariants in 1 ms
Support contains 14 out of 28 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 28/28 places, 19/19 transitions.
Applied a total of 0 rules in 1 ms. Remains 28 /28 variables (removed 0) and now considering 19/19 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 28/28 places, 19/19 transitions.
Starting structural reductions, iteration 0 : 28/28 places, 19/19 transitions.
Applied a total of 0 rules in 2 ms. Remains 28 /28 variables (removed 0) and now considering 19/19 (removed 0) transitions.
// Phase 1: matrix 19 rows 28 cols
[2020-06-06 21:51:45] [INFO ] Computed 9 place invariants in 1 ms
[2020-06-06 21:51:45] [INFO ] Implicit Places using invariants in 59 ms returned []
// Phase 1: matrix 19 rows 28 cols
[2020-06-06 21:51:45] [INFO ] Computed 9 place invariants in 2 ms
[2020-06-06 21:51:45] [INFO ] Implicit Places using invariants and state equation in 67 ms returned [2, 4]
Discarding 2 places :
Implicit Place search using SMT with State Equation took 129 ms to find 2 implicit places.
[2020-06-06 21:51:45] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 19 rows 26 cols
[2020-06-06 21:51:45] [INFO ] Computed 7 place invariants in 1 ms
[2020-06-06 21:51:45] [INFO ] Dead Transitions using invariants and state equation in 54 ms returned []
Starting structural reductions, iteration 1 : 26/28 places, 19/19 transitions.
Applied a total of 0 rules in 2 ms. Remains 26 /26 variables (removed 0) and now considering 19/19 (removed 0) transitions.
[2020-06-06 21:51:45] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 19 rows 26 cols
[2020-06-06 21:51:45] [INFO ] Computed 7 place invariants in 1 ms
[2020-06-06 21:51:45] [INFO ] Dead Transitions using invariants and state equation in 40 ms returned []
Finished structural reductions, in 2 iterations. Remains : 26/28 places, 19/19 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 19 rows 26 cols
[2020-06-06 21:51:45] [INFO ] Computed 7 place invariants in 3 ms
Support contains 14 out of 26 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 26/26 places, 19/19 transitions.
Applied a total of 0 rules in 2 ms. Remains 26 /26 variables (removed 0) and now considering 19/19 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 26/26 places, 19/19 transitions.
Starting structural reductions, iteration 0 : 26/26 places, 19/19 transitions.
Applied a total of 0 rules in 1 ms. Remains 26 /26 variables (removed 0) and now considering 19/19 (removed 0) transitions.
// Phase 1: matrix 19 rows 26 cols
[2020-06-06 21:51:45] [INFO ] Computed 7 place invariants in 1 ms
[2020-06-06 21:51:45] [INFO ] Implicit Places using invariants in 30 ms returned []
// Phase 1: matrix 19 rows 26 cols
[2020-06-06 21:51:45] [INFO ] Computed 7 place invariants in 1 ms
[2020-06-06 21:51:45] [INFO ] Implicit Places using invariants and state equation in 44 ms returned []
Implicit Place search using SMT with State Equation took 76 ms to find 0 implicit places.
[2020-06-06 21:51:45] [INFO ] Redundant transitions in 1 ms returned []
// Phase 1: matrix 19 rows 26 cols
[2020-06-06 21:51:45] [INFO ] Computed 7 place invariants in 1 ms
[2020-06-06 21:51:45] [INFO ] Dead Transitions using invariants and state equation in 44 ms returned []
Finished structural reductions, in 1 iterations. Remains : 26/26 places, 19/19 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 5 ms. Remains 26 /26 variables (removed 0) and now considering 19/19 (removed 0) transitions.
// Phase 1: matrix 19 rows 26 cols
[2020-06-06 21:51:45] [INFO ] Computed 7 place invariants in 0 ms
[2020-06-06 21:51:45] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2020-06-06 21:51:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ GPPP-PT-C0100N0000010000 @ 3570 seconds

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-00 796 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-05 700 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-08 300 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-09 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-11 796 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-14 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-15 396 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-03 1592 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ GPPP-PT-C0100N0000010000

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 243
},
"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": 0,
"markings": 0,
"produced_by": "search",
"value": 1
},
"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": 265
},
"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": 1,
"markings": 2,
"produced_by": "search",
"value": 700
},
"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": 292
},
"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": 937,
"markings": 938,
"produced_by": "search",
"value": 10
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 328
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p21)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 300
},
"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": 375
},
"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": 611,
"markings": 612,
"produced_by": "search",
"value": 2
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 611
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p8)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 13,
"markings": 14,
"produced_by": "search",
"value": 1
},
"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": 815
},
"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": 1,
"markings": 2,
"produced_by": "search",
"value": 400
},
"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": 1630
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p5)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 1688012,
"markings": 987237,
"produced_by": "search",
"value": 396
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p3)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 285125984,
"markings": 178936806,
"produced_by": "search",
"value": 1592
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 184672,
"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": 63,
"conflict_clusters": 13,
"places": 26,
"places_significant": 19,
"singleton_clusters": 0,
"transitions": 19
},
"result":
{
"interim_value": "796 unknown 1 1592 1 700 unknown 10 300 2 10 796 1 unknown 400 396 ",
"preliminary_value": "796 unknown 1 1592 1 700 unknown 10 300 2 10 796 1 unknown 400 396 "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 45/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 832
lola: finding significant places
lola: 26 places, 19 transitions, 19 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p2) : MAX(p25) : MAX(p8) : MAX(p3) : MAX(p17) : MAX(p0) : MAX(p1) : MAX(p14) : MAX(p21) : MAX(p7) : MAX(p18) : MAX(p2) : MAX(p8) : MAX(p11) : MAX(p19) : MAX(p5)
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(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 804
lola: 1536282 markings, 3059296 edges, 307256 markings/sec, 5 secs
lola: 4292750 markings, 9216317 edges, 551294 markings/sec, 10 secs
lola: 7041591 markings, 15314266 edges, 549768 markings/sec, 15 secs
lola: 9767366 markings, 21367792 edges, 545155 markings/sec, 20 secs
lola: 12460931 markings, 27362787 edges, 538713 markings/sec, 25 secs
lola: 15124179 markings, 33296770 edges, 532650 markings/sec, 30 secs
lola: 17759772 markings, 39168461 edges, 527119 markings/sec, 35 secs
lola: 20386511 markings, 45018642 edges, 525348 markings/sec, 40 secs
lola: 22968626 markings, 50766401 edges, 516423 markings/sec, 45 secs
lola: 25570508 markings, 56550580 edges, 520376 markings/sec, 50 secs
lola: 28215283 markings, 62417367 edges, 528955 markings/sec, 55 secs
lola: 30836248 markings, 68235319 edges, 524193 markings/sec, 60 secs
lola: 33418548 markings, 74002931 edges, 516460 markings/sec, 65 secs
lola: 36030930 markings, 79794526 edges, 522476 markings/sec, 70 secs
lola: 38631079 markings, 85591297 edges, 520030 markings/sec, 75 secs
lola: 41285976 markings, 91470039 edges, 530979 markings/sec, 80 secs
lola: 43985353 markings, 97472253 edges, 539875 markings/sec, 85 secs
lola: 46636683 markings, 103368155 edges, 530266 markings/sec, 90 secs
lola: 49302619 markings, 109306347 edges, 533187 markings/sec, 95 secs
lola: 51450662 markings, 113704415 edges, 429609 markings/sec, 100 secs
lola: 53353007 markings, 117507929 edges, 380469 markings/sec, 105 secs
lola: 55994620 markings, 122786635 edges, 528323 markings/sec, 110 secs
lola: 58521829 markings, 127847586 edges, 505442 markings/sec, 115 secs
lola: 61139960 markings, 133477736 edges, 523626 markings/sec, 120 secs
lola: 63871102 markings, 139461666 edges, 546228 markings/sec, 125 secs
lola: 66540251 markings, 145315654 edges, 533830 markings/sec, 130 secs
lola: 69265824 markings, 151276154 edges, 545115 markings/sec, 135 secs
lola: 72007605 markings, 157272989 edges, 548356 markings/sec, 140 secs
lola: 74739528 markings, 163236133 edges, 546385 markings/sec, 145 secs
lola: 77445242 markings, 169133678 edges, 541143 markings/sec, 150 secs
lola: 80269673 markings, 175286973 edges, 564886 markings/sec, 155 secs
lola: 83040861 markings, 181326029 edges, 554238 markings/sec, 160 secs
lola: 85814028 markings, 187367209 edges, 554633 markings/sec, 165 secs
lola: 88639318 markings, 193523356 edges, 565058 markings/sec, 170 secs
lola: SUBRESULT
lola: result: 796
lola: produced by: state space
lola: The maximum value of the given expression is 796
lola: 89751306 markings, 195940484 edges
lola: ========================================
lola: subprocess 1 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p25)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 99 markings, 99 edges, 20 markings/sec, 25 secs
lola: 2390058 markings, 4890012 edges, 477992 markings/sec, 30 secs
lola: 4705803 markings, 9478297 edges, 463149 markings/sec, 35 secs
lola: 7143153 markings, 14305434 edges, 487470 markings/sec, 40 secs
lola: 9433857 markings, 18938985 edges, 458141 markings/sec, 45 secs
lola: 11670493 markings, 23465242 edges, 447327 markings/sec, 50 secs
lola: 13722233 markings, 27626224 edges, 410348 markings/sec, 55 secs
lola: 15884252 markings, 32012418 edges, 432404 markings/sec, 60 secs
lola: 18040277 markings, 36387247 edges, 431205 markings/sec, 65 secs
lola: 20184168 markings, 40744317 edges, 428778 markings/sec, 70 secs
lola: 22312601 markings, 45076750 edges, 425687 markings/sec, 75 secs
lola: 24452097 markings, 49429458 edges, 427899 markings/sec, 80 secs
lola: 26982470 markings, 54431224 edges, 506075 markings/sec, 85 secs
lola: 29403339 markings, 59373088 edges, 484174 markings/sec, 90 secs
lola: 31804627 markings, 64274871 edges, 480258 markings/sec, 95 secs
lola: 34176947 markings, 69131771 edges, 474464 markings/sec, 100 secs
lola: 36532576 markings, 73953558 edges, 471126 markings/sec, 105 secs
lola: 38859347 markings, 78723100 edges, 465354 markings/sec, 110 secs
lola: 41175135 markings, 83476155 edges, 463158 markings/sec, 115 secs
lola: 43474628 markings, 88192927 edges, 459899 markings/sec, 120 secs
lola: 45761231 markings, 92898163 edges, 457321 markings/sec, 125 secs
lola: 48037312 markings, 97577914 edges, 455216 markings/sec, 130 secs
lola: 50284728 markings, 102205059 edges, 449483 markings/sec, 135 secs
lola: 52554341 markings, 106891986 edges, 453923 markings/sec, 140 secs
lola: 54754533 markings, 111423441 edges, 440038 markings/sec, 145 secs
lola: 56931577 markings, 115923963 edges, 435409 markings/sec, 150 secs
lola: 59422382 markings, 120879392 edges, 498161 markings/sec, 155 secs
lola: 62220575 markings, 126356762 edges, 559639 markings/sec, 160 secs
lola: 64933688 markings, 131686891 edges, 542623 markings/sec, 165 secs
lola: 67634087 markings, 136980536 edges, 540080 markings/sec, 170 secs
lola: 69964862 markings, 141597867 edges, 466155 markings/sec, 175 secs
lola: 72181047 markings, 146013846 edges, 443237 markings/sec, 180 secs
lola: 74365813 markings, 150367525 edges, 436953 markings/sec, 185 secs
lola: 76528459 markings, 154677197 edges, 432529 markings/sec, 190 secs
lola: 78692787 markings, 158990058 edges, 432866 markings/sec, 195 secs
lola: 80844247 markings, 163274338 edges, 430292 markings/sec, 200 secs
lola: 82994460 markings, 167558776 edges, 430043 markings/sec, 205 secs
lola: 85126769 markings, 171807698 edges, 426462 markings/sec, 210 secs
lola: 87253951 markings, 176046498 edges, 425436 markings/sec, 215 secs
lola: 89409808 markings, 180342601 edges, 431171 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: 796 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3357464 KB
lola: time consumption: 406 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 2 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges
lola: ========================================
lola: subprocess 3 will run for 243 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: 1608
lola: 3224848 markings, 5011493 edges, 644970 markings/sec, 0 secs
lola: 6760299 markings, 10713691 edges, 707090 markings/sec, 5 secs
lola: 10254551 markings, 16357280 edges, 698850 markings/sec, 10 secs
lola: 13682709 markings, 21886770 edges, 685632 markings/sec, 15 secs
lola: 17082547 markings, 27369398 edges, 679968 markings/sec, 20 secs
lola: 20549319 markings, 32962597 edges, 693354 markings/sec, 25 secs
lola: 23958431 markings, 38471930 edges, 681822 markings/sec, 30 secs
lola: 27387091 markings, 44005190 edges, 685732 markings/sec, 35 secs
lola: 30796540 markings, 49503324 edges, 681890 markings/sec, 40 secs
lola: 34178261 markings, 54942862 edges, 676344 markings/sec, 45 secs
lola: 37604067 markings, 60457138 edges, 685161 markings/sec, 50 secs
lola: 40911773 markings, 65783261 edges, 661541 markings/sec, 55 secs
lola: 44198891 markings, 71084493 edges, 657424 markings/sec, 60 secs
lola: 47473818 markings, 76382564 edges, 654985 markings/sec, 65 secs
lola: 50737712 markings, 81656548 edges, 652779 markings/sec, 70 secs
lola: 54123463 markings, 87093808 edges, 677150 markings/sec, 75 secs
lola: 57418627 markings, 92397529 edges, 659033 markings/sec, 80 secs
lola: 60682179 markings, 97681095 edges, 652710 markings/sec, 85 secs
lola: 63950063 markings, 102936540 edges, 653577 markings/sec, 90 secs
lola: 67201455 markings, 108161848 edges, 650278 markings/sec, 95 secs
lola: 70487168 markings, 113489151 edges, 657143 markings/sec, 100 secs
lola: 73754236 markings, 118728890 edges, 653414 markings/sec, 105 secs
lola: 77048585 markings, 124062692 edges, 658870 markings/sec, 110 secs
lola: 80388998 markings, 129417114 edges, 668083 markings/sec, 115 secs
lola: 83781697 markings, 134893791 edges, 678540 markings/sec, 120 secs
lola: 87165827 markings, 140359779 edges, 676826 markings/sec, 125 secs
lola: 90524378 markings, 145772903 edges, 671710 markings/sec, 130 secs
lola: 93883531 markings, 151171003 edges, 671831 markings/sec, 135 secs
lola: 97233950 markings, 156558883 edges, 670084 markings/sec, 140 secs
lola: 100277661 markings, 161376417 edges, 608742 markings/sec, 145 secs
lola: 102699428 markings, 165021234 edges, 484353 markings/sec, 150 secs
lola: 104897986 markings, 168344417 edges, 439712 markings/sec, 155 secs
lola: 107789321 markings, 172691264 edges, 578267 markings/sec, 160 secs
lola: 110970086 markings, 177478371 edges, 636153 markings/sec, 165 secs
lola: 114044960 markings, 182105759 edges, 614975 markings/sec, 170 secs
lola: 116953400 markings, 186500763 edges, 581688 markings/sec, 175 secs
lola: 120180884 markings, 191616233 edges, 645497 markings/sec, 180 secs
lola: 123588570 markings, 197052508 edges, 681537 markings/sec, 185 secs
lola: 126987874 markings, 202475478 edges, 679861 markings/sec, 190 secs
lola: 130395469 markings, 207900098 edges, 681519 markings/sec, 195 secs
lola: 133722094 markings, 213209199 edges, 665325 markings/sec, 200 secs
lola: 137136562 markings, 218649402 edges, 682894 markings/sec, 205 secs
lola: 140572824 markings, 224127039 edges, 687252 markings/sec, 210 secs
lola: 143964821 markings, 229527923 edges, 678399 markings/sec, 215 secs
lola: 147402747 markings, 235001983 edges, 687585 markings/sec, 220 secs
lola: 150774842 markings, 240367243 edges, 674419 markings/sec, 225 secs
lola: 154157730 markings, 245749271 edges, 676578 markings/sec, 230 secs
lola: 157669686 markings, 251328512 edges, 702391 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: 796 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5937060 KB
lola: time consumption: 649 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 4 will run for 243 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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 265 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: 700
lola: SUBRESULT
lola: result: 700
lola: produced by: state space
lola: The maximum value of the given expression is 700
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 101 markings, 101 edges, 20 markings/sec, 25 secs
lola: 1943981 markings, 5415673 edges, 388776 markings/sec, 30 secs
lola: 3752497 markings, 10297183 edges, 361703 markings/sec, 35 secs
lola: 5642163 markings, 15373989 edges, 377933 markings/sec, 40 secs
lola: 7614012 markings, 20605357 edges, 394370 markings/sec, 45 secs
lola: 9533512 markings, 25754979 edges, 383900 markings/sec, 50 secs
lola: 11319442 markings, 30717686 edges, 357186 markings/sec, 55 secs
lola: 13067260 markings, 35571326 edges, 349564 markings/sec, 60 secs
lola: 14804810 markings, 40400504 edges, 347510 markings/sec, 65 secs
lola: 16538514 markings, 45215317 edges, 346741 markings/sec, 70 secs
lola: 18250338 markings, 49971243 edges, 342365 markings/sec, 75 secs
lola: 19927510 markings, 54629462 edges, 335434 markings/sec, 80 secs
lola: 21607299 markings, 59294523 edges, 335958 markings/sec, 85 secs
lola: 23286076 markings, 63956173 edges, 335755 markings/sec, 90 secs
lola: 24965256 markings, 68617567 edges, 335836 markings/sec, 95 secs
lola: 26656735 markings, 73316374 edges, 338296 markings/sec, 100 secs
lola: 28346892 markings, 78009143 edges, 338031 markings/sec, 105 secs
lola: 30031377 markings, 82685726 edges, 336897 markings/sec, 110 secs
lola: 31738042 markings, 87485634 edges, 341333 markings/sec, 115 secs
lola: 33442083 markings, 92450911 edges, 340808 markings/sec, 120 secs
lola: 34908679 markings, 96823168 edges, 293319 markings/sec, 125 secs
lola: 36328248 markings, 101061979 edges, 283914 markings/sec, 130 secs
lola: 37831895 markings, 105540119 edges, 300729 markings/sec, 135 secs
lola: 39588536 markings, 110652301 edges, 351328 markings/sec, 140 secs
lola: 41100470 markings, 115159487 edges, 302387 markings/sec, 145 secs
lola: 42566218 markings, 119536947 edges, 293150 markings/sec, 150 secs
lola: 44209107 markings, 124056244 edges, 328578 markings/sec, 155 secs
lola: 46231468 markings, 129572622 edges, 404472 markings/sec, 160 secs
lola: 48172546 markings, 134963510 edges, 388216 markings/sec, 165 secs
lola: 50092205 markings, 140291035 edges, 383932 markings/sec, 170 secs
lola: 52013619 markings, 145622774 edges, 384283 markings/sec, 175 secs
lola: 53916606 markings, 150902820 edges, 380597 markings/sec, 180 secs
lola: 55803169 markings, 156137100 edges, 377313 markings/sec, 185 secs
lola: 57684649 markings, 161356946 edges, 376296 markings/sec, 190 secs
lola: 59556657 markings, 166550248 edges, 374402 markings/sec, 195 secs
lola: 61382087 markings, 171613993 edges, 365086 markings/sec, 200 secs
lola: 63207268 markings, 176676165 edges, 365036 markings/sec, 205 secs
lola: 65020431 markings, 181704540 edges, 362633 markings/sec, 210 secs
lola: 66833015 markings, 186731582 edges, 362517 markings/sec, 215 secs
lola: 68647150 markings, 191761786 edges, 362827 markings/sec, 220 secs
lola: 70455153 markings, 196775145 edges, 361601 markings/sec, 225 secs
lola: 72272488 markings, 201813741 edges, 363467 markings/sec, 230 secs
lola: 74068928 markings, 206793481 edges, 359288 markings/sec, 235 secs
lola: 75853316 markings, 211740455 edges, 356878 markings/sec, 240 secs
lola: 77641345 markings, 216696378 edges, 357606 markings/sec, 245 secs
lola: 79422824 markings, 221634169 edges, 356296 markings/sec, 250 secs
lola: 81173070 markings, 226485142 edges, 350049 markings/sec, 255 secs
lola: 82913032 markings, 231306683 edges, 347992 markings/sec, 260 secs
lola: 84654087 markings, 236131087 edges, 348211 markings/sec, 265 secs
lola: 86443083 markings, 241130969 edges, 357799 markings/sec, 270 secs
lola: 88069211 markings, 245874240 edges, 325226 markings/sec, 275 secs
lola: 89465529 markings, 250036755 edges, 279264 markings/sec, 280 secs
lola: 90822149 markings, 254088211 edges, 271324 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: 796 unknown 1 unknown 1 700 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3253012 KB
lola: time consumption: 941 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 292 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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 938 markings, 937 edges
lola: ========================================
lola: subprocess 8 will run for 328 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: 300
lola: SUBRESULT
lola: result: 300
lola: produced by: state space
lola: The maximum value of the given expression is 300
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 9 will run for 375 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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 612 markings, 611 edges
lola: ========================================
lola: subprocess 10 will run for 437 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 968 markings, 967 edges
lola: ========================================
lola: subprocess 11 will run for 524 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 804
lola: 1437605 markings, 2856125 edges, 287521 markings/sec, 5 secs
lola: 4188007 markings, 8969310 edges, 550080 markings/sec, 10 secs
lola: 6907879 markings, 14996616 edges, 543974 markings/sec, 15 secs
lola: 9586303 markings, 20974370 edges, 535685 markings/sec, 20 secs
lola: 12246337 markings, 26912080 edges, 532007 markings/sec, 25 secs
lola: 14862253 markings, 32723517 edges, 523183 markings/sec, 30 secs
lola: 17489809 markings, 38550563 edges, 525511 markings/sec, 35 secs
lola: 20113713 markings, 44384093 edges, 524781 markings/sec, 40 secs
lola: 22682154 markings, 50102199 edges, 513688 markings/sec, 45 secs
lola: 25270347 markings, 55857981 edges, 517639 markings/sec, 50 secs
lola: 27874388 markings, 61651328 edges, 520808 markings/sec, 55 secs
lola: 30448287 markings, 67391091 edges, 514780 markings/sec, 60 secs
lola: 33008683 markings, 73094454 edges, 512079 markings/sec, 65 secs
lola: 35612737 markings, 78860117 edges, 520811 markings/sec, 70 secs
lola: 38180213 markings, 84591036 edges, 513495 markings/sec, 75 secs
lola: 40809851 markings, 90414495 edges, 525928 markings/sec, 80 secs
lola: 43487397 markings, 96359225 edges, 535509 markings/sec, 85 secs
lola: 46123190 markings, 102219201 edges, 527159 markings/sec, 90 secs
lola: 48722715 markings, 107992976 edges, 519905 markings/sec, 95 secs
lola: 50996084 markings, 112796380 edges, 454674 markings/sec, 100 secs
lola: 52801444 markings, 116406478 edges, 361072 markings/sec, 105 secs
lola: 55363563 markings, 121527534 edges, 512424 markings/sec, 110 secs
lola: 57923900 markings, 126647498 edges, 512067 markings/sec, 115 secs
lola: 60282038 markings, 131596553 edges, 471628 markings/sec, 120 secs
lola: 62949860 markings, 137453275 edges, 533564 markings/sec, 125 secs
lola: 65585376 markings, 143223402 edges, 527103 markings/sec, 130 secs
lola: 68210032 markings, 148969976 edges, 524931 markings/sec, 135 secs
lola: 70926155 markings, 154902216 edges, 543225 markings/sec, 140 secs
lola: 73599212 markings, 160746003 edges, 534611 markings/sec, 145 secs
lola: 76229517 markings, 166480858 edges, 526061 markings/sec, 150 secs
lola: 78988903 markings, 172495902 edges, 551877 markings/sec, 155 secs
lola: 81774070 markings, 178565380 edges, 557033 markings/sec, 160 secs
lola: 84496392 markings, 184497013 edges, 544464 markings/sec, 165 secs
lola: 87286958 markings, 190576832 edges, 558113 markings/sec, 170 secs
lola: SUBRESULT
lola: result: 796
lola: produced by: state space
lola: The maximum value of the given expression is 796
lola: 89751306 markings, 195940484 edges
lola: ========================================
lola: subprocess 12 will run for 611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges
lola: ========================================
lola: subprocess 13 will run for 814 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: 2180162 markings, 6054705 edges, 436032 markings/sec, 0 secs
lola: 4233966 markings, 12024734 edges, 410761 markings/sec, 5 secs
lola: 6328864 markings, 17845083 edges, 418980 markings/sec, 10 secs
lola: 8338696 markings, 23513655 edges, 401966 markings/sec, 15 secs
lola: 10304496 markings, 29126547 edges, 393160 markings/sec, 20 secs
lola: 12281611 markings, 34813461 edges, 395423 markings/sec, 25 secs
lola: 14156353 markings, 40468026 edges, 374948 markings/sec, 30 secs
lola: 16145006 markings, 45947699 edges, 397731 markings/sec, 35 secs
lola: 18186059 markings, 51436751 edges, 408211 markings/sec, 40 secs
lola: 19935893 markings, 56877874 edges, 349967 markings/sec, 45 secs
lola: 22010388 markings, 62367226 edges, 414899 markings/sec, 50 secs
lola: 23923595 markings, 67827052 edges, 382641 markings/sec, 55 secs
lola: 25751114 markings, 73262590 edges, 365504 markings/sec, 60 secs
lola: 27817020 markings, 78758074 edges, 413181 markings/sec, 65 secs
lola: 29542761 markings, 84136455 edges, 345148 markings/sec, 70 secs
lola: 31641108 markings, 89572556 edges, 419669 markings/sec, 75 secs
lola: 33342936 markings, 94826164 edges, 340366 markings/sec, 80 secs
lola: 35435029 markings, 100269522 edges, 418419 markings/sec, 85 secs
lola: 36985282 markings, 104733249 edges, 310051 markings/sec, 90 secs
lola: 38821781 markings, 110217261 edges, 367300 markings/sec, 95 secs
lola: 40978796 markings, 115732269 edges, 431403 markings/sec, 100 secs
lola: 42612475 markings, 121235882 edges, 326736 markings/sec, 105 secs
lola: 44786613 markings, 126590244 edges, 434828 markings/sec, 110 secs
lola: 46438349 markings, 131973241 edges, 330347 markings/sec, 115 secs
lola: 48529512 markings, 137357881 edges, 418233 markings/sec, 120 secs
lola: 50481118 markings, 142745050 edges, 390321 markings/sec, 125 secs
lola: 52091364 markings, 148045443 edges, 322049 markings/sec, 130 secs
lola: 54255660 markings, 153367219 edges, 432859 markings/sec, 135 secs
lola: 55996883 markings, 158792346 edges, 348245 markings/sec, 140 secs
lola: 57938276 markings, 164211934 edges, 388279 markings/sec, 145 secs
lola: 60035411 markings, 169569566 edges, 419427 markings/sec, 150 secs
lola: 61574007 markings, 174859369 edges, 307719 markings/sec, 155 secs
lola: 63655485 markings, 180169141 edges, 416296 markings/sec, 160 secs
lola: 65717795 markings, 185520551 edges, 412462 markings/sec, 165 secs
lola: 67181115 markings, 190824745 edges, 292664 markings/sec, 170 secs
lola: 69306833 markings, 196076051 edges, 425144 markings/sec, 175 secs
lola: 71328104 markings, 201351155 edges, 404254 markings/sec, 180 secs
lola: 72763979 markings, 206539148 edges, 287175 markings/sec, 185 secs
lola: 74861154 markings, 211858634 edges, 419435 markings/sec, 190 secs
lola: 76959556 markings, 217294352 edges, 419680 markings/sec, 195 secs
lola: 78498163 markings, 222596882 edges, 307721 markings/sec, 200 secs
lola: 80526050 markings, 227996118 edges, 405577 markings/sec, 205 secs
lola: 82606216 markings, 233317958 edges, 416033 markings/sec, 210 secs
lola: 84292801 markings, 238685796 edges, 337317 markings/sec, 215 secs
lola: 86108757 markings, 244045153 edges, 363191 markings/sec, 220 secs
lola: 88215951 markings, 249265624 edges, 421439 markings/sec, 225 secs
lola: 90103594 markings, 254640638 edges, 377529 markings/sec, 230 secs
lola: 91575666 markings, 259928422 edges, 294414 markings/sec, 235 secs
lola: 93746012 markings, 265017626 edges, 434069 markings/sec, 240 secs
lola: 95731829 markings, 270240624 edges, 397163 markings/sec, 245 secs
lola: 97268231 markings, 275431457 edges, 307280 markings/sec, 250 secs
lola: 99104282 markings, 280734558 edges, 367210 markings/sec, 255 secs
lola: 101223357 markings, 285964791 edges, 423815 markings/sec, 260 secs
lola: 103171498 markings, 291340620 edges, 389628 markings/sec, 265 secs
lola: 104554238 markings, 296481151 edges, 276548 markings/sec, 270 secs
lola: 106699520 markings, 301802836 edges, 429056 markings/sec, 275 secs
lola: 108750362 markings, 307013454 edges, 410168 markings/sec, 280 secs
lola: 110504480 markings, 312375380 edges, 350824 markings/sec, 285 secs
lola: 112021823 markings, 317630152 edges, 303469 markings/sec, 290 secs
lola: 114172399 markings, 322683383 edges, 430115 markings/sec, 295 secs
lola: 116171438 markings, 327956246 edges, 399808 markings/sec, 300 secs
lola: 117844603 markings, 333244600 edges, 334633 markings/sec, 305 secs
lola: 119467826 markings, 338538388 edges, 324645 markings/sec, 310 secs
lola: 121567282 markings, 343477606 edges, 419891 markings/sec, 315 secs
lola: 123521207 markings, 348664691 edges, 390785 markings/sec, 320 secs
lola: 125162360 markings, 353847017 edges, 328231 markings/sec, 325 secs
lola: 126709218 markings, 359068744 edges, 309372 markings/sec, 330 secs
lola: 128862517 markings, 364130811 edges, 430660 markings/sec, 335 secs
lola: 130903715 markings, 369492987 edges, 408240 markings/sec, 340 secs
lola: 132642683 markings, 374862011 edges, 347794 markings/sec, 345 secs
lola: 134170712 markings, 380212806 edges, 305606 markings/sec, 350 secs
lola: 136372199 markings, 385381969 edges, 440297 markings/sec, 355 secs
lola: 138432997 markings, 390683752 edges, 412160 markings/sec, 360 secs
lola: 140224936 markings, 396071648 edges, 358388 markings/sec, 365 secs
lola: 141640558 markings, 401274712 edges, 283124 markings/sec, 370 secs
lola: 143779785 markings, 406486201 edges, 427845 markings/sec, 375 secs
lola: 145839653 markings, 411693145 edges, 411974 markings/sec, 380 secs
lola: 147778354 markings, 416995367 edges, 387740 markings/sec, 385 secs
lola: 149144913 markings, 422070099 edges, 273312 markings/sec, 390 secs
lola: 151041729 markings, 427341692 edges, 379363 markings/sec, 395 secs
lola: 153142224 markings, 432278821 edges, 420099 markings/sec, 400 secs
lola: 155036866 markings, 437425817 edges, 378928 markings/sec, 405 secs
lola: 156637261 markings, 442580223 edges, 320079 markings/sec, 410 secs
lola: 158035902 markings, 447676179 edges, 279728 markings/sec, 415 secs
lola: 160207087 markings, 452764923 edges, 434237 markings/sec, 420 secs
lola: 162256425 markings, 457964485 edges, 409868 markings/sec, 425 secs
lola: 164221883 markings, 463262388 edges, 393092 markings/sec, 430 secs
lola: 165590596 markings, 468334055 edges, 273743 markings/sec, 435 secs
lola: 167397374 markings, 473636645 edges, 361356 markings/sec, 440 secs
lola: 169493694 markings, 478560857 edges, 419264 markings/sec, 445 secs
lola: 171459463 markings, 483765579 edges, 393154 markings/sec, 450 secs
lola: 173233453 markings, 489045951 edges, 354798 markings/sec, 455 secs
lola: 174590692 markings, 494084119 edges, 271448 markings/sec, 460 secs
lola: 176591665 markings, 499307580 edges, 400195 markings/sec, 465 secs
lola: 178691671 markings, 504255718 edges, 420001 markings/sec, 470 secs
lola: 180610069 markings, 509494338 edges, 383680 markings/sec, 475 secs
lola: 182253450 markings, 514689573 edges, 328676 markings/sec, 480 secs
lola: 183636667 markings, 519789472 edges, 276643 markings/sec, 485 secs
lola: 185702548 markings, 524872071 edges, 413176 markings/sec, 490 secs
lola: 187745015 markings, 529788749 edges, 408493 markings/sec, 495 secs
lola: 189603719 markings, 534811471 edges, 371741 markings/sec, 500 secs
lola: 191197522 markings, 539874089 edges, 318761 markings/sec, 505 secs
lola: 192521246 markings, 544791903 edges, 264745 markings/sec, 510 secs
lola: 194559884 markings, 549935186 edges, 407728 markings/sec, 515 secs
lola: 196636094 markings, 554812198 edges, 415242 markings/sec, 520 secs
lola: 198574323 markings, 560133486 edges, 387646 markings/sec, 525 secs
lola: 200282737 markings, 565407441 edges, 341683 markings/sec, 530 secs
lola: 201645751 markings, 570469739 edges, 272603 markings/sec, 535 secs
lola: 203702018 markings, 575750932 edges, 411253 markings/sec, 540 secs
lola: 205808110 markings, 580701528 edges, 421218 markings/sec, 545 secs
lola: 207727877 markings, 585970265 edges, 383953 markings/sec, 550 secs
lola: 209504183 markings, 591276577 edges, 355261 markings/sec, 555 secs
lola: 210869785 markings, 596344835 edges, 273120 markings/sec, 560 secs
lola: 212809621 markings, 601576029 edges, 387967 markings/sec, 565 secs
lola: 214884213 markings, 606454124 edges, 414918 markings/sec, 570 secs
lola: 216845331 markings, 611590024 edges, 392224 markings/sec, 575 secs
lola: 218698975 markings, 616872775 edges, 370729 markings/sec, 580 secs
lola: 220039534 markings, 621849071 edges, 268112 markings/sec, 585 secs
lola: 221721165 markings, 627028826 edges, 336326 markings/sec, 590 secs
lola: 223753861 markings, 631805186 edges, 406539 markings/sec, 595 secs
lola: 225715074 markings, 636828029 edges, 392243 markings/sec, 600 secs
lola: 227594701 markings, 641735535 edges, 375925 markings/sec, 605 secs
lola: 229096945 markings, 646759167 edges, 300449 markings/sec, 610 secs
lola: 230393528 markings, 651574249 edges, 259317 markings/sec, 615 secs
lola: 232397235 markings, 656714208 edges, 400741 markings/sec, 620 secs
lola: 234433555 markings, 661498343 edges, 407264 markings/sec, 625 secs
lola: 236384347 markings, 666623417 edges, 390158 markings/sec, 630 secs
lola: 238266152 markings, 671918371 edges, 376361 markings/sec, 635 secs
lola: 239604800 markings, 676888166 edges, 267730 markings/sec, 640 secs
lola: 241190272 markings, 682058301 edges, 317094 markings/sec, 645 secs
lola: 243276539 markings, 686962152 edges, 417253 markings/sec, 650 secs
lola: 245308539 markings, 691966923 edges, 406400 markings/sec, 655 secs
lola: 247171536 markings, 696980110 edges, 372599 markings/sec, 660 secs
lola: 248834503 markings, 702099844 edges, 332593 markings/sec, 665 secs
lola: 250144432 markings, 706965188 edges, 261986 markings/sec, 670 secs
lola: 251944175 markings, 712098676 edges, 359949 markings/sec, 675 secs
lola: 253940179 markings, 716790004 edges, 399201 markings/sec, 680 secs
lola: 255905968 markings, 721858939 edges, 393158 markings/sec, 685 secs
lola: 257802628 markings, 726814390 edges, 379332 markings/sec, 690 secs
lola: 259344386 markings, 731900453 edges, 308352 markings/sec, 695 secs
lola: 260665537 markings, 736803618 edges, 264230 markings/sec, 700 secs
lola: 262580702 markings, 741944103 edges, 383033 markings/sec, 705 secs
lola: 264569874 markings, 746619058 edges, 397834 markings/sec, 710 secs
lola: 266481618 markings, 751593654 edges, 382349 markings/sec, 715 secs
lola: 268334144 markings, 756449892 edges, 370505 markings/sec, 720 secs
lola: 269832916 markings, 761449689 edges, 299754 markings/sec, 725 secs
lola: 271117860 markings, 766220606 edges, 256989 markings/sec, 730 secs
lola: 273006008 markings, 771378623 edges, 377630 markings/sec, 735 secs
lola: 275027332 markings, 776132360 edges, 404265 markings/sec, 740 secs
lola: 277010645 markings, 781270340 edges, 396663 markings/sec, 745 secs
lola: 278932989 markings, 786302654 edges, 384469 markings/sec, 750 secs
lola: 280467033 markings, 791382391 edges, 306809 markings/sec, 755 secs
lola: 281760540 markings, 796180501 edges, 258701 markings/sec, 760 secs
lola: 283634699 markings, 801374972 edges, 374832 markings/sec, 765 secs
lola: 285669682 markings, 806157416 edges, 406997 markings/sec, 770 secs
lola: 287617314 markings, 811164896 edges, 389526 markings/sec, 775 secs
lola: 289475838 markings, 816055935 edges, 371705 markings/sec, 780 secs
lola: 291078884 markings, 821064235 edges, 320609 markings/sec, 785 secs
lola: 292343804 markings, 825759186 edges, 252984 markings/sec, 790 secs
lola: 293959172 markings, 830736269 edges, 323074 markings/sec, 795 secs
lola: 295901330 markings, 835303000 edges, 388432 markings/sec, 800 secs
lola: 297868596 markings, 839926729 edges, 393453 markings/sec, 805 secs
lola: local time limit reached - aborting
lola:
preliminary result: 796 unknown 1 unknown 1 700 unknown 10 300 2 10 796 1 unknown unknown unknown
lola: memory consumption: 10893548 KB
lola: time consumption: 1940 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 815 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: 400
lola: SUBRESULT
lola: result: 400
lola: produced by: state space
lola: The maximum value of the given expression is 400
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 15 will run for 1630 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: 398
lola: SUBRESULT
lola: result: 396
lola: produced by: state space
lola: The maximum value of the given expression is 396
lola: 987237 markings, 1688012 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p25)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 505 markings, 507 edges, 101 markings/sec, 25 secs
lola: 2363040 markings, 4836129 edges, 472507 markings/sec, 30 secs
lola: 4636332 markings, 9340693 edges, 454658 markings/sec, 35 secs
lola: 7048349 markings, 14112102 edges, 482403 markings/sec, 40 secs
lola: 9273165 markings, 18613405 edges, 444963 markings/sec, 45 secs
lola: 11485659 markings, 23090983 edges, 442499 markings/sec, 50 secs
lola: 13684847 markings, 27546572 edges, 439838 markings/sec, 55 secs
lola: 15855977 markings, 31950608 edges, 434226 markings/sec, 60 secs
lola: 17999385 markings, 36303764 edges, 428682 markings/sec, 65 secs
lola: 20156759 markings, 40689487 edges, 431475 markings/sec, 70 secs
lola: 22298605 markings, 45048753 edges, 428369 markings/sec, 75 secs
lola: 24405172 markings, 49335272 edges, 421313 markings/sec, 80 secs
lola: 26926882 markings, 54320029 edges, 504342 markings/sec, 85 secs
lola: 29319938 markings, 59199459 edges, 478611 markings/sec, 90 secs
lola: 31679540 markings, 64024638 edges, 471920 markings/sec, 95 secs
lola: 34037001 markings, 68844208 edges, 471492 markings/sec, 100 secs
lola: 36367397 markings, 73615127 edges, 466079 markings/sec, 105 secs
lola: 38672449 markings, 78340830 edges, 461010 markings/sec, 110 secs
lola: 40999190 markings, 83115405 edges, 465348 markings/sec, 115 secs
lola: 43270030 markings, 87774486 edges, 454168 markings/sec, 120 secs
lola: 45546073 markings, 92458018 edges, 455209 markings/sec, 125 secs
lola: 47793685 markings, 97080645 edges, 449522 markings/sec, 130 secs
lola: 50055051 markings, 101735324 edges, 452273 markings/sec, 135 secs
lola: 52322047 markings, 106405991 edges, 453399 markings/sec, 140 secs
lola: 54536314 markings, 110975898 edges, 442853 markings/sec, 145 secs
lola: 56719934 markings, 115489227 edges, 436724 markings/sec, 150 secs
lola: 59149807 markings, 120350133 edges, 485975 markings/sec, 155 secs
lola: 61962689 markings, 125849430 edges, 562576 markings/sec, 160 secs
lola: 64602301 markings, 131036114 edges, 527922 markings/sec, 165 secs
lola: 67295719 markings, 136317390 edges, 538684 markings/sec, 170 secs
lola: 69552367 markings, 140777379 edges, 451330 markings/sec, 175 secs
lola: 71785445 markings, 145227856 edges, 446616 markings/sec, 180 secs
lola: 73958047 markings, 149554076 edges, 434520 markings/sec, 185 secs
lola: 76047431 markings, 153717224 edges, 417877 markings/sec, 190 secs
lola: 78162427 markings, 157931588 edges, 422999 markings/sec, 195 secs
lola: 80264703 markings, 162120644 edges, 420455 markings/sec, 200 secs
lola: 82367932 markings, 166311676 edges, 420646 markings/sec, 205 secs
lola: 84459864 markings, 170480168 edges, 418386 markings/sec, 210 secs
lola: 86555531 markings, 174655812 edges, 419133 markings/sec, 215 secs
lola: 88709153 markings, 178944393 edges, 430724 markings/sec, 220 secs
lola: 90887824 markings, 183285590 edges, 435734 markings/sec, 225 secs
lola: 93036031 markings, 187566240 edges, 429641 markings/sec, 230 secs
lola: 95082715 markings, 191644311 edges, 409337 markings/sec, 235 secs
lola: 97194325 markings, 195852028 edges, 422322 markings/sec, 240 secs
lola: 99299859 markings, 200047220 edges, 421107 markings/sec, 245 secs
lola: 101407655 markings, 204244403 edges, 421559 markings/sec, 250 secs
lola: 103521758 markings, 208456638 edges, 422821 markings/sec, 255 secs
lola: 105637712 markings, 212672766 edges, 423191 markings/sec, 260 secs
lola: 107783730 markings, 216949013 edges, 429204 markings/sec, 265 secs
lola: 109987881 markings, 221342242 edges, 440830 markings/sec, 270 secs
lola: 112144067 markings, 225634792 edges, 431237 markings/sec, 275 secs
lola: 114272156 markings, 229874814 edges, 425618 markings/sec, 280 secs
lola: 116392988 markings, 234100614 edges, 424166 markings/sec, 285 secs
lola: 118513773 markings, 238326432 edges, 424157 markings/sec, 290 secs
lola: 120641348 markings, 242565883 edges, 425515 markings/sec, 295 secs
lola: 122801054 markings, 246868511 edges, 431941 markings/sec, 300 secs
lola: 124977155 markings, 251202071 edges, 435220 markings/sec, 305 secs
lola: 127190367 markings, 255612146 edges, 442642 markings/sec, 310 secs
lola: 129373734 markings, 259962906 edges, 436673 markings/sec, 315 secs
lola: 131546810 markings, 264292239 edges, 434615 markings/sec, 320 secs
lola: 133734854 markings, 268649490 edges, 437609 markings/sec, 325 secs
lola: 135919944 markings, 273003405 edges, 437018 markings/sec, 330 secs
lola: 138097823 markings, 277343133 edges, 435576 markings/sec, 335 secs
lola: 140270345 markings, 281671439 edges, 434504 markings/sec, 340 secs
lola: 142447378 markings, 286006575 edges, 435407 markings/sec, 345 secs
lola: 144621418 markings, 290338336 edges, 434808 markings/sec, 350 secs
lola: 146775805 markings, 294631102 edges, 430877 markings/sec, 355 secs
lola: 148927747 markings, 298919076 edges, 430388 markings/sec, 360 secs
lola: 151054428 markings, 303153155 edges, 425336 markings/sec, 365 secs
lola: 153156214 markings, 307340509 edges, 420357 markings/sec, 370 secs
lola: 155279691 markings, 311571359 edges, 424695 markings/sec, 375 secs
lola: 157386553 markings, 315769191 edges, 421372 markings/sec, 380 secs
lola: 159498911 markings, 319978047 edges, 422472 markings/sec, 385 secs
lola: 161603033 markings, 324169439 edges, 420824 markings/sec, 390 secs
lola: 163734269 markings, 328413214 edges, 426247 markings/sec, 395 secs
lola: 165813340 markings, 332555410 edges, 415814 markings/sec, 400 secs
lola: 167923101 markings, 336759093 edges, 421952 markings/sec, 405 secs
lola: 169943994 markings, 340785569 edges, 404179 markings/sec, 410 secs
lola: 172113503 markings, 345105328 edges, 433902 markings/sec, 415 secs
lola: 174189005 markings, 349240622 edges, 415100 markings/sec, 420 secs
lola: 176336883 markings, 353520108 edges, 429576 markings/sec, 425 secs
lola: 178470649 markings, 357769289 edges, 426753 markings/sec, 430 secs
lola: 180595359 markings, 362002962 edges, 424942 markings/sec, 435 secs
lola: 182730577 markings, 366254995 edges, 427044 markings/sec, 440 secs
lola: 184864456 markings, 370504764 edges, 426776 markings/sec, 445 secs
lola: 186988443 markings, 374737027 edges, 424797 markings/sec, 450 secs
lola: 189153560 markings, 379048861 edges, 433023 markings/sec, 455 secs
lola: 191275341 markings, 383274582 edges, 424356 markings/sec, 460 secs
lola: 193450128 markings, 387606272 edges, 434957 markings/sec, 465 secs
lola: 195670668 markings, 392029185 edges, 444108 markings/sec, 470 secs
lola: 197810841 markings, 396291964 edges, 428035 markings/sec, 475 secs
lola: 199979089 markings, 400610670 edges, 433650 markings/sec, 480 secs
lola: 202135059 markings, 404905057 edges, 431194 markings/sec, 485 secs
lola: 204286025 markings, 409189655 edges, 430193 markings/sec, 490 secs
lola: 206449437 markings, 413499772 edges, 432682 markings/sec, 495 secs
lola: 208616608 markings, 417814506 edges, 433434 markings/sec, 500 secs
lola: 210774310 markings, 422113036 edges, 431540 markings/sec, 505 secs
lola: 212950905 markings, 426447422 edges, 435319 markings/sec, 510 secs
lola: 215146487 markings, 430820134 edges, 439116 markings/sec, 515 secs
lola: 217352892 markings, 435214644 edges, 441281 markings/sec, 520 secs
lola: 219556421 markings, 439603554 edges, 440706 markings/sec, 525 secs
lola: 221749297 markings, 443971470 edges, 438575 markings/sec, 530 secs
lola: 223957861 markings, 448370608 edges, 441713 markings/sec, 535 secs
lola: 226183665 markings, 452803932 edges, 445161 markings/sec, 540 secs
lola: 228398336 markings, 457215133 edges, 442934 markings/sec, 545 secs
lola: 230640674 markings, 461681844 edges, 448468 markings/sec, 550 secs
lola: 232809817 markings, 466002549 edges, 433829 markings/sec, 555 secs
lola: 235065280 markings, 470494181 edges, 451093 markings/sec, 560 secs
lola: 237294683 markings, 474933701 edges, 445881 markings/sec, 565 secs
lola: 239550527 markings, 479425125 edges, 451169 markings/sec, 570 secs
lola: 241810109 markings, 483923360 edges, 451916 markings/sec, 575 secs
lola: 244126292 markings, 488533662 edges, 463237 markings/sec, 580 secs
lola: 246442531 markings, 493142827 edges, 463248 markings/sec, 585 secs
lola: 248770505 markings, 497773985 edges, 465595 markings/sec, 590 secs
lola: 251108959 markings, 502424686 edges, 467691 markings/sec, 595 secs
lola: 253467601 markings, 507112928 edges, 471728 markings/sec, 600 secs
lola: 255889146 markings, 511922968 edges, 484309 markings/sec, 605 secs
lola: 258368636 markings, 516840758 edges, 495898 markings/sec, 610 secs
lola: 261022492 markings, 522103618 edges, 530771 markings/sec, 615 secs
lola: 263563195 markings, 527163320 edges, 508141 markings/sec, 620 secs
lola: 266071601 markings, 532158603 edges, 501681 markings/sec, 625 secs
lola: 268553069 markings, 537101475 edges, 496294 markings/sec, 630 secs
lola: 271017475 markings, 542008895 edges, 492881 markings/sec, 635 secs
lola: 273459290 markings, 546874138 edges, 488363 markings/sec, 640 secs
lola: 275898044 markings, 551731971 edges, 487751 markings/sec, 645 secs
lola: 278328456 markings, 556572546 edges, 486082 markings/sec, 650 secs
lola: 280740242 markings, 561376608 edges, 482357 markings/sec, 655 secs
lola: 282909494 markings, 565700621 edges, 433850 markings/sec, 660 secs
lola: 284835487 markings, 569575699 edges, 385199 markings/sec, 665 secs
lola: 286776322 markings, 573484883 edges, 388167 markings/sec, 670 secs
lola: 288856020 markings, 577688295 edges, 415940 markings/sec, 675 secs
lola: 291181832 markings, 582328776 edges, 465162 markings/sec, 680 secs
lola: 293483266 markings, 586922405 edges, 460287 markings/sec, 685 secs
lola: 295796223 markings, 591537276 edges, 462591 markings/sec, 690 secs
lola: 298099963 markings, 596135453 edges, 460748 markings/sec, 695 secs
lola: 300409349 markings, 600741268 edges, 461877 markings/sec, 700 secs
lola: 302706170 markings, 605324013 edges, 459364 markings/sec, 705 secs
lola: 304987803 markings, 609878693 edges, 456327 markings/sec, 710 secs
lola: 307283236 markings, 614456648 edges, 459087 markings/sec, 715 secs
lola: 309574570 markings, 619026446 edges, 458267 markings/sec, 720 secs
lola: 311859360 markings, 623583326 edges, 456958 markings/sec, 725 secs
lola: 314134918 markings, 628121963 edges, 455112 markings/sec, 730 secs
lola: 316422956 markings, 632685436 edges, 457608 markings/sec, 735 secs
lola: 318713456 markings, 637253689 edges, 458100 markings/sec, 740 secs
lola: 321006747 markings, 641827877 edges, 458658 markings/sec, 745 secs
lola: 323295628 markings, 646391130 edges, 457776 markings/sec, 750 secs
lola: 325593247 markings, 650968964 edges, 459524 markings/sec, 755 secs
lola: 327847321 markings, 655465354 edges, 450815 markings/sec, 760 secs
lola: 330110046 markings, 659978530 edges, 452545 markings/sec, 765 secs
lola: 332382194 markings, 664508757 edges, 454430 markings/sec, 770 secs
lola: 334656752 markings, 669041209 edges, 454912 markings/sec, 775 secs
lola: 336885753 markings, 673487618 edges, 445800 markings/sec, 780 secs
lola: 339134917 markings, 677969290 edges, 449833 markings/sec, 785 secs
lola: 341357531 markings, 682400898 edges, 444523 markings/sec, 790 secs
lola: 343586187 markings, 686844447 edges, 445731 markings/sec, 795 secs
lola: 345832422 markings, 691321038 edges, 449247 markings/sec, 800 secs
lola: 348051701 markings, 695746098 edges, 443856 markings/sec, 805 secs
lola: 350292066 markings, 700210601 edges, 448073 markings/sec, 810 secs
lola: 352533449 markings, 704677916 edges, 448277 markings/sec, 815 secs
lola: 354762146 markings, 709121640 edges, 445739 markings/sec, 820 secs
lola: 356998717 markings, 713576468 edges, 447314 markings/sec, 825 secs
lola: 359228994 markings, 718025951 edges, 446055 markings/sec, 830 secs
lola: 361475271 markings, 722500124 edges, 449255 markings/sec, 835 secs
lola: 363731112 markings, 726995421 edges, 451168 markings/sec, 840 secs
lola: 365968432 markings, 731457230 edges, 447464 markings/sec, 845 secs
lola: 368210621 markings, 735923216 edges, 448438 markings/sec, 850 secs
lola: 370467329 markings, 740417940 edges, 451342 markings/sec, 855 secs
lola: 372698924 markings, 744870821 edges, 446319 markings/sec, 860 secs
lola: 374942621 markings, 749339838 edges, 448739 markings/sec, 865 secs
lola: 377186512 markings, 753809705 edges, 448778 markings/sec, 870 secs
lola: 379419901 markings, 758261411 edges, 446678 markings/sec, 875 secs
lola: 381662053 markings, 762732029 edges, 448430 markings/sec, 880 secs
lola: 383907106 markings, 767203964 edges, 449011 markings/sec, 885 secs
lola: 386150566 markings, 771672832 edges, 448692 markings/sec, 890 secs
lola: 388386335 markings, 776126610 edges, 447154 markings/sec, 895 secs
lola: 390612241 markings, 780563874 edges, 445181 markings/sec, 900 secs
lola: 392849659 markings, 785025285 edges, 447484 markings/sec, 905 secs
lola: 395099308 markings, 789506377 edges, 449930 markings/sec, 910 secs
lola: 397331982 markings, 793953712 edges, 446535 markings/sec, 915 secs
lola: 399560847 markings, 798393753 edges, 445773 markings/sec, 920 secs
lola: 401795286 markings, 802844774 edges, 446888 markings/sec, 925 secs
lola: 404032683 markings, 807301884 edges, 447479 markings/sec, 930 secs
lola: 406277872 markings, 811774371 edges, 449038 markings/sec, 935 secs
lola: 408516534 markings, 816236423 edges, 447732 markings/sec, 940 secs
lola: 410728868 markings, 820646037 edges, 442467 markings/sec, 945 secs
lola: 412977497 markings, 825128306 edges, 449726 markings/sec, 950 secs
lola: 415232950 markings, 829621483 edges, 451091 markings/sec, 955 secs
lola: 417482335 markings, 834102517 edges, 449877 markings/sec, 960 secs
lola: 419731575 markings, 838583279 edges, 449848 markings/sec, 965 secs
lola: 421975796 markings, 843053946 edges, 448844 markings/sec, 970 secs
lola: 424218004 markings, 847520894 edges, 448442 markings/sec, 975 secs
lola: 426448986 markings, 851965231 edges, 446196 markings/sec, 980 secs
lola: 428675654 markings, 856401208 edges, 445334 markings/sec, 985 secs
lola: 430913549 markings, 860859363 edges, 447579 markings/sec, 990 secs
lola: 433161054 markings, 865336809 edges, 449501 markings/sec, 995 secs
lola: 435329630 markings, 869751017 edges, 433715 markings/sec, 1000 secs
lola: 437437137 markings, 874103546 edges, 421501 markings/sec, 1005 secs
lola: 439650608 markings, 877849943 edges, 442694 markings/sec, 1010 secs
lola: 440817246 markings, 880154683 edges, 233328 markings/sec, 1015 secs
lola: 443041356 markings, 884580867 edges, 444822 markings/sec, 1020 secs
lola: 445265719 markings, 889007736 edges, 444873 markings/sec, 1025 secs
lola: 447299073 markings, 893054916 edges, 406671 markings/sec, 1030 secs
lola: 449484803 markings, 897404745 edges, 437146 markings/sec, 1035 secs
lola: 451683968 markings, 901783516 edges, 439833 markings/sec, 1040 secs
lola: 453810294 markings, 906016266 edges, 425265 markings/sec, 1045 secs
lola: 455610269 markings, 909596715 edges, 359995 markings/sec, 1050 secs
lola: 457344386 markings, 913048983 edges, 346823 markings/sec, 1055 secs
lola: 459339719 markings, 917020812 edges, 399067 markings/sec, 1060 secs
lola: 461252177 markings, 920827988 edges, 382492 markings/sec, 1065 secs
lola: 463410260 markings, 925122890 edges, 431617 markings/sec, 1070 secs
lola: 465328366 markings, 928941456 edges, 383621 markings/sec, 1075 secs
lola: 467139451 markings, 932546907 edges, 362217 markings/sec, 1080 secs
lola: 469073644 markings, 936397453 edges, 386839 markings/sec, 1085 secs
lola: 470931887 markings, 940089400 edges, 371649 markings/sec, 1090 secs
lola: 472929428 markings, 944065548 edges, 399508 markings/sec, 1095 secs
lola: 474960381 markings, 948107767 edges, 406191 markings/sec, 1100 secs
lola: 476899907 markings, 951968805 edges, 387905 markings/sec, 1105 secs
lola: 478154236 markings, 954468690 edges, 250866 markings/sec, 1110 secs
lola: 479697527 markings, 957534738 edges, 308658 markings/sec, 1115 secs
lola: 481647285 markings, 961416038 edges, 389952 markings/sec, 1120 secs
lola: 483518414 markings, 965141134 edges, 374226 markings/sec, 1125 secs
lola: 485165999 markings, 968422459 edges, 329517 markings/sec, 1130 secs
lola: 487017958 markings, 972101752 edges, 370392 markings/sec, 1135 secs
lola: 488567100 markings, 975187131 edges, 309828 markings/sec, 1140 secs
lola: 490531425 markings, 979097578 edges, 392865 markings/sec, 1145 secs
lola: 492265914 markings, 982551307 edges, 346898 markings/sec, 1150 secs
lola: 494194357 markings, 986382548 edges, 385689 markings/sec, 1155 secs
lola: 496228987 markings, 990432594 edges, 406926 markings/sec, 1160 secs
lola: 498083060 markings, 994124085 edges, 370815 markings/sec, 1165 secs
lola: 499869421 markings, 997680900 edges, 357272 markings/sec, 1170 secs
lola: 501552406 markings, 1001026668 edges, 336597 markings/sec, 1175 secs
lola: 503395099 markings, 1004693161 edges, 368539 markings/sec, 1180 secs
lola: 505244363 markings, 1008375194 edges, 369853 markings/sec, 1185 secs
lola: 507033641 markings, 1011938087 edges, 357856 markings/sec, 1190 secs
lola: 509117811 markings, 1016082003 edges, 416834 markings/sec, 1195 secs
lola: 510746045 markings, 1019321551 edges, 325647 markings/sec, 1200 secs
lola: 511958141 markings, 1021737477 edges, 242419 markings/sec, 1205 secs
lola: 513844301 markings, 1025485070 edges, 377232 markings/sec, 1210 secs
lola: 515786942 markings, 1029352411 edges, 388528 markings/sec, 1215 secs
lola: 517415480 markings, 1032595922 edges, 325708 markings/sec, 1220 secs
lola: 518917259 markings, 1035579530 edges, 300356 markings/sec, 1225 secs
lola: 520810330 markings, 1039348491 edges, 378614 markings/sec, 1230 secs
lola: 522158762 markings, 1042035652 edges, 269686 markings/sec, 1235 secs
lola: 523810217 markings, 1045316520 edges, 330291 markings/sec, 1240 secs
lola: 525208979 markings, 1048103556 edges, 279752 markings/sec, 1245 secs
lola: 526882974 markings, 1051429574 edges, 334799 markings/sec, 1250 secs
lola: 528556056 markings, 1054761736 edges, 334616 markings/sec, 1255 secs
lola: 530537759 markings, 1058706732 edges, 396341 markings/sec, 1260 secs
lola: 532287152 markings, 1062182598 edges, 349879 markings/sec, 1265 secs
lola: 534103419 markings, 1065798907 edges, 363253 markings/sec, 1270 secs
lola: 535552499 markings, 1068686163 edges, 289816 markings/sec, 1275 secs
lola: 537069868 markings, 1071700613 edges, 303474 markings/sec, 1280 secs
lola: 538459368 markings, 1074469535 edges, 277900 markings/sec, 1285 secs
lola: 539505548 markings, 1076548106 edges, 209236 markings/sec, 1290 secs
lola: 540200941 markings, 1077929341 edges, 139079 markings/sec, 1295 secs
lola: 540246979 markings, 1078020728 edges, 9208 markings/sec, 1300 secs
lola: 540883204 markings, 1079288915 edges, 127245 markings/sec, 1305 secs
lola: Child process aborted or communication problem between parent and child process
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: 1608
lola: 3009589 markings, 4664251 edges, 601918 markings/sec, 0 secs
lola: 6561219 markings, 10390497 edges, 710326 markings/sec, 5 secs
lola: 10088488 markings, 16073265 edges, 705454 markings/sec, 10 secs
lola: 13545289 markings, 21650892 edges, 691360 markings/sec, 15 secs
lola: 16968845 markings, 27170623 edges, 684711 markings/sec, 20 secs
lola: 20464875 markings, 32823533 edges, 699206 markings/sec, 25 secs
lola: 23893359 markings, 38354880 edges, 685697 markings/sec, 30 secs
lola: 27312927 markings, 43884899 edges, 683914 markings/sec, 35 secs
lola: 30714084 markings, 49374113 edges, 680231 markings/sec, 40 secs
lola: 34051420 markings, 54750663 edges, 667467 markings/sec, 45 secs
lola: 37459547 markings, 60229897 edges, 681625 markings/sec, 50 secs
lola: 40696446 markings, 65447227 edges, 647380 markings/sec, 55 secs
lola: 43978598 markings, 70731980 edges, 656430 markings/sec, 60 secs
lola: 47293717 markings, 76076239 edges, 663024 markings/sec, 65 secs
lola: 50606685 markings, 81439896 edges, 662594 markings/sec, 70 secs
lola: 53966939 markings, 86850004 edges, 672051 markings/sec, 75 secs
lola: 57074935 markings, 91853415 edges, 621599 markings/sec, 80 secs
lola: 60384745 markings, 97173509 edges, 661962 markings/sec, 85 secs
lola: 63628971 markings, 102430759 edges, 648845 markings/sec, 90 secs
lola: 66880651 markings, 107659482 edges, 650336 markings/sec, 95 secs
lola: 70199985 markings, 113006846 edges, 663867 markings/sec, 100 secs
lola: 73454675 markings, 118264056 edges, 650938 markings/sec, 105 secs
lola: 76765875 markings, 123581620 edges, 662240 markings/sec, 110 secs
lola: 79791930 markings, 128480435 edges, 605211 markings/sec, 115 secs
lola: 83194331 markings, 133942731 edges, 680480 markings/sec, 120 secs
lola: 86605671 markings, 139437603 edges, 682268 markings/sec, 125 secs
lola: 89712739 markings, 144467487 edges, 621414 markings/sec, 130 secs
lola: 93097343 markings, 149912695 edges, 676921 markings/sec, 135 secs
lola: 96431036 markings, 155270648 edges, 666739 markings/sec, 140 secs
lola: 99703943 markings, 160515193 edges, 654581 markings/sec, 145 secs
lola: 102172910 markings, 164221738 edges, 493793 markings/sec, 150 secs
lola: 104178867 markings, 167253345 edges, 401191 markings/sec, 155 secs
lola: 106544414 markings, 170823718 edges, 473109 markings/sec, 160 secs
lola: 109640280 markings, 175471866 edges, 619173 markings/sec, 165 secs
lola: 112687729 markings, 180067815 edges, 609490 markings/sec, 170 secs
lola: 115583534 markings, 184426986 edges, 579161 markings/sec, 175 secs
lola: 118427974 markings, 188818093 edges, 568888 markings/sec, 180 secs
lola: 121815252 markings, 194218667 edges, 677456 markings/sec, 185 secs
lola: 125203678 markings, 199625655 edges, 677685 markings/sec, 190 secs
lola: 128575870 markings, 205009833 edges, 674438 markings/sec, 195 secs
lola: 131966803 markings, 210408437 edges, 678187 markings/sec, 200 secs
lola: 135324786 markings, 215761102 edges, 671597 markings/sec, 205 secs
lola: 138801234 markings, 221304842 edges, 695290 markings/sec, 210 secs
lola: 142266214 markings, 226823329 edges, 692996 markings/sec, 215 secs
lola: 145672012 markings, 232253314 edges, 681160 markings/sec, 220 secs
lola: 149129047 markings, 237747302 edges, 691407 markings/sec, 225 secs
lola: 152520054 markings, 243143255 edges, 678201 markings/sec, 230 secs
lola: 155999949 markings, 248673214 edges, 695979 markings/sec, 235 secs
lola: 159536382 markings, 254295821 edges, 707287 markings/sec, 240 secs
lola: 163036222 markings, 259858040 edges, 699968 markings/sec, 245 secs
lola: 166478326 markings, 265330032 edges, 688421 markings/sec, 250 secs
lola: 169960314 markings, 270865381 edges, 696398 markings/sec, 255 secs
lola: 173481794 markings, 276463838 edges, 704296 markings/sec, 260 secs
lola: 177096555 markings, 282206870 edges, 722952 markings/sec, 265 secs
lola: SUBRESULT
lola: result: 1592
lola: produced by: state space
lola: The maximum value of the given expression is 1592
lola: 178936806 markings, 285125984 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 2 markings, 1 edges, 0 markings/sec, 25 secs
lola: 1844476 markings, 5147328 edges, 368895 markings/sec, 30 secs
lola: 3640973 markings, 9998745 edges, 359299 markings/sec, 35 secs
lola: time limit reached - aborting
lola:
preliminary result: 796 unknown 1 1592 1 700 unknown 10 300 2 10 796 1 unknown 400 396
lola:
preliminary result: 796 unknown 1 1592 1 700 unknown 10 300 2 10 796 1 unknown 400 396
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 796 unknown 1 1592 1 700 unknown 10 300 2 10 796 1 unknown 400 396
lola: memory consumption: 184672 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 184672 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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