Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r174-csrt-158987853500637.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is PermAdmissibility-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987853500637
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 920K
-rw-r--r-- 1 mcc users 4.0K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 27K Apr 10 23:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 100K Apr 10 23:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.5K Apr 10 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 10 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Apr 9 12:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Apr 9 12:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 484K 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 PermAdmissibility-PT-10-UpperBounds-00
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-01
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-02
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-03
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-04
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-05
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-06
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-07
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-08
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-09
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-10
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-11
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-12
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-13
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-14
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591159984524

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 04:53:06] [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-03 04:53:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 04:53:06] [INFO ] Load time of PNML (sax parser for PT used): 108 ms
[2020-06-03 04:53:06] [INFO ] Transformed 168 places.
[2020-06-03 04:53:06] [INFO ] Transformed 592 transitions.
[2020-06-03 04:53:06] [INFO ] Parsed PT model containing 168 places and 592 transitions in 157 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 21 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-03 04:53:06] [INFO ] Flatten gal took : 124 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 592 rows 168 cols
[2020-06-03 04:53:06] [INFO ] Computed 32 place invariants in 35 ms
Support contains 29 out of 168 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 168/168 places, 592/592 transitions.
Discarding 62 places :
Also discarding 0 output transitions
Graph (complete) has 1615 edges and 168 vertex of which 106 are kept as prefixes of interest. Removing 62 places using SCC suffix rule.13 ms
Symmetric choice reduction at 0 with 19 rule applications. Total rules 20 place count 106 transition count 592
Deduced a syphon composed of 19 places in 2 ms
Reduce places removed 19 places and 234 transitions.
Iterating global reduction 0 with 38 rules applied. Total rules applied 58 place count 87 transition count 358
Symmetric choice reduction at 0 with 4 rule applications. Total rules 62 place count 87 transition count 358
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 64 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 70 place count 83 transition count 294
Applied a total of 70 rules in 57 ms. Remains 83 /168 variables (removed 85) and now considering 294/592 (removed 298) transitions.
Finished structural reductions, in 1 iterations. Remains : 83/168 places, 294/592 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 294 rows 83 cols
[2020-06-03 04:53:07] [INFO ] Computed 16 place invariants in 3 ms
Support contains 29 out of 83 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 83/83 places, 294/294 transitions.
Applied a total of 0 rules in 17 ms. Remains 83 /83 variables (removed 0) and now considering 294/294 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 83/83 places, 294/294 transitions.
Starting structural reductions, iteration 0 : 83/83 places, 294/294 transitions.
Applied a total of 0 rules in 13 ms. Remains 83 /83 variables (removed 0) and now considering 294/294 (removed 0) transitions.
// Phase 1: matrix 294 rows 83 cols
[2020-06-03 04:53:07] [INFO ] Computed 16 place invariants in 3 ms
[2020-06-03 04:53:07] [INFO ] Implicit Places using invariants in 256 ms returned [3, 8]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 260 ms to find 2 implicit places.
[2020-06-03 04:53:07] [INFO ] Redundant transitions in 23 ms returned []
// Phase 1: matrix 294 rows 81 cols
[2020-06-03 04:53:07] [INFO ] Computed 14 place invariants in 4 ms
[2020-06-03 04:53:07] [INFO ] Dead Transitions using invariants and state equation in 476 ms returned []
Starting structural reductions, iteration 1 : 81/83 places, 294/294 transitions.
Applied a total of 0 rules in 18 ms. Remains 81 /81 variables (removed 0) and now considering 294/294 (removed 0) transitions.
[2020-06-03 04:53:07] [INFO ] Redundant transitions in 7 ms returned []
// Phase 1: matrix 294 rows 81 cols
[2020-06-03 04:53:07] [INFO ] Computed 14 place invariants in 4 ms
[2020-06-03 04:53:08] [INFO ] Dead Transitions using invariants and state equation in 307 ms returned []
Finished structural reductions, in 2 iterations. Remains : 81/83 places, 294/294 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 294 rows 81 cols
[2020-06-03 04:53:08] [INFO ] Computed 14 place invariants in 4 ms
Support contains 29 out of 81 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 81/81 places, 294/294 transitions.
Applied a total of 0 rules in 16 ms. Remains 81 /81 variables (removed 0) and now considering 294/294 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 81/81 places, 294/294 transitions.
Starting structural reductions, iteration 0 : 81/81 places, 294/294 transitions.
Applied a total of 0 rules in 17 ms. Remains 81 /81 variables (removed 0) and now considering 294/294 (removed 0) transitions.
// Phase 1: matrix 294 rows 81 cols
[2020-06-03 04:53:08] [INFO ] Computed 14 place invariants in 3 ms
[2020-06-03 04:53:08] [INFO ] Implicit Places using invariants in 119 ms returned []
// Phase 1: matrix 294 rows 81 cols
[2020-06-03 04:53:08] [INFO ] Computed 14 place invariants in 5 ms
[2020-06-03 04:53:08] [INFO ] Implicit Places using invariants and state equation in 311 ms returned []
Implicit Place search using SMT with State Equation took 433 ms to find 0 implicit places.
[2020-06-03 04:53:08] [INFO ] Redundant transitions in 7 ms returned []
// Phase 1: matrix 294 rows 81 cols
[2020-06-03 04:53:08] [INFO ] Computed 14 place invariants in 6 ms
[2020-06-03 04:53:08] [INFO ] Dead Transitions using invariants and state equation in 275 ms returned []
Finished structural reductions, in 1 iterations. Remains : 81/81 places, 294/294 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 13 ms. Remains 81 /81 variables (removed 0) and now considering 294/294 (removed 0) transitions.
// Phase 1: matrix 294 rows 81 cols
[2020-06-03 04:53:08] [INFO ] Computed 14 place invariants in 3 ms
[2020-06-03 04:53:09] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-03 04:53:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 9 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PermAdmissibility-PT-10 @ 3570 seconds

FORMULA PermAdmissibility-PT-10-UpperBounds-01 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-02 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-06 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA PermAdmissibility-PT-10-UpperBounds-11 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-12 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-13 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-04 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-00 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-05 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-03 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-10-UpperBounds-07 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ PermAdmissibility-PT-10

{
"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": "Wed Jun 3 04:53:09 2020
",
"timelimit": 3570
},
"child":
[

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 332
},
"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(p59)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"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": 374
},
"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(p63)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 60,
"markings": 61,
"produced_by": "search",
"value": 10
},
"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": 428
},
"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": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "MAX(p42 + p43 + p53 + p54)",
"processed_size": 26,
"rewrites": 0
},
"result":
{
"edges": 30,
"markings": 31,
"produced_by": "search",
"value": 20
},
"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": 535
},
"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": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)",
"processed_size": 47,
"rewrites": 0
},
"result":
{
"edges": 90,
"markings": 91,
"produced_by": "search",
"value": 20
},
"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": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)",
"processed_size": 47,
"rewrites": 0
},
"result":
{
"edges": 90,
"markings": 91,
"produced_by": "search",
"value": 20
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1070
},
"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": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)",
"processed_size": 47,
"rewrites": 0
},
"result":
{
"edges": 90,
"markings": 91,
"produced_by": "search",
"value": 20
},
"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": 2140
},
"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": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "MAX(p26 + p27 + p28 + p29 + p30 + p31 + p32 + p41)",
"processed_size": 50,
"rewrites": 0
},
"result":
{
"edges": 80,
"markings": 81,
"produced_by": "search",
"value": 20
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 19720,
"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": 1477,
"conflict_clusters": 10,
"places": 81,
"places_significant": 67,
"singleton_clusters": 0,
"transitions": 294
},
"result":
{
"interim_value": "20 10 10 20 20 20 10 20 unknown 10 unknown 10 10 10 unknown unknown ",
"preliminary_value": "20 10 10 20 20 20 10 20 unknown 10 unknown 10 10 10 unknown unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 375/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2592
lola: finding significant places
lola: 81 places, 294 transitions, 67 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(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15) : MAX(p77) : MAX(p3) : MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15) : MAX(p42 + p43 + p53 + p54) : MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15) : MAX(p19) : MAX(p26 + p27 + p28 + p29 + p30 + p31 + p32 + p41) : MAX(p6) : MAX(p37) : MAX(p29) : MAX(p13) : MAX(p59) : MAX(p63) : MAX(p66) : MAX(p4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p77)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p77)
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 151 markings, 150 edges
lola: ========================================
lola: subprocess 2 will run for 254 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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 71 markings, 70 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1067296 markings, 2637024 edges, 213459 markings/sec, 0 secs
lola: 2152191 markings, 5032603 edges, 216979 markings/sec, 5 secs
lola: 3186198 markings, 7399412 edges, 206801 markings/sec, 10 secs
lola: 4173427 markings, 9742604 edges, 197446 markings/sec, 15 secs
lola: 5106218 markings, 12065684 edges, 186558 markings/sec, 20 secs
lola: 5932554 markings, 14353357 edges, 165267 markings/sec, 25 secs
lola: 6910501 markings, 16709621 edges, 195589 markings/sec, 30 secs
lola: 7988845 markings, 19083957 edges, 215669 markings/sec, 35 secs
lola: 9020537 markings, 21456222 edges, 206338 markings/sec, 40 secs
lola: 10035435 markings, 23898213 edges, 202980 markings/sec, 45 secs
lola: 11029332 markings, 26361202 edges, 198779 markings/sec, 50 secs
lola: 11939760 markings, 28770287 edges, 182086 markings/sec, 55 secs
lola: 12764706 markings, 31293094 edges, 164989 markings/sec, 60 secs
lola: 13879801 markings, 33864740 edges, 223019 markings/sec, 65 secs
lola: 14904359 markings, 36374778 edges, 204912 markings/sec, 70 secs
lola: 15856022 markings, 38915898 edges, 190333 markings/sec, 75 secs
lola: 16848579 markings, 41524806 edges, 198511 markings/sec, 80 secs
lola: 17878002 markings, 44070212 edges, 205885 markings/sec, 85 secs
lola: 18799206 markings, 46631595 edges, 184241 markings/sec, 90 secs
lola: 19730405 markings, 49176101 edges, 186240 markings/sec, 95 secs
lola: 20658440 markings, 51677556 edges, 185607 markings/sec, 100 secs
lola: 21532616 markings, 54183068 edges, 174835 markings/sec, 105 secs
lola: 22380628 markings, 56778118 edges, 169602 markings/sec, 110 secs
lola: 23420960 markings, 59376403 edges, 208066 markings/sec, 115 secs
lola: 24584437 markings, 61905009 edges, 232695 markings/sec, 120 secs
lola: 25681508 markings, 64398523 edges, 219414 markings/sec, 125 secs
lola: 26714943 markings, 66956104 edges, 206687 markings/sec, 130 secs
lola: 27706233 markings, 69456629 edges, 198258 markings/sec, 135 secs
lola: 28575547 markings, 72086584 edges, 173863 markings/sec, 140 secs
lola: 29674533 markings, 74652973 edges, 219797 markings/sec, 145 secs
lola: 30690541 markings, 77187192 edges, 203202 markings/sec, 150 secs
lola: 31639341 markings, 79715450 edges, 189760 markings/sec, 155 secs
lola: 32544234 markings, 82296780 edges, 180979 markings/sec, 160 secs
lola: 33514805 markings, 84764253 edges, 194114 markings/sec, 165 secs
lola: 34442889 markings, 87242007 edges, 185617 markings/sec, 170 secs
lola: 35371204 markings, 89645299 edges, 185663 markings/sec, 175 secs
lola: 36232112 markings, 92090445 edges, 172182 markings/sec, 180 secs
lola: 37109623 markings, 94581043 edges, 175502 markings/sec, 185 secs
lola: 37970292 markings, 97049609 edges, 172134 markings/sec, 190 secs
lola: 38824374 markings, 99546921 edges, 170816 markings/sec, 195 secs
lola: 39924103 markings, 102114010 edges, 219946 markings/sec, 200 secs
lola: 40896999 markings, 104684622 edges, 194579 markings/sec, 205 secs
lola: 41916428 markings, 107283473 edges, 203886 markings/sec, 210 secs
lola: 42914172 markings, 109833851 edges, 199549 markings/sec, 215 secs
lola: 43827701 markings, 112421878 edges, 182706 markings/sec, 220 secs
lola: 44762010 markings, 114960984 edges, 186862 markings/sec, 225 secs
lola: 45698711 markings, 117759492 edges, 187340 markings/sec, 230 secs
lola: 46541031 markings, 120412358 edges, 168464 markings/sec, 235 secs
lola: 47571336 markings, 122935162 edges, 206061 markings/sec, 240 secs
lola: 48503083 markings, 125554792 edges, 186349 markings/sec, 245 secs
lola: 49476023 markings, 128004184 edges, 194588 markings/sec, 250 secs
lola: 50337286 markings, 130336329 edges, 172253 markings/sec, 255 secs
lola: 51169101 markings, 132840602 edges, 166363 markings/sec, 260 secs
lola: 51983423 markings, 135432354 edges, 162864 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 10 unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1935760 KB
lola: time consumption: 277 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 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p37)
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: 71 markings, 70 edges
lola: ========================================
lola: subprocess 5 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p29)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1004409 markings, 3198196 edges, 200882 markings/sec, 0 secs
lola: 1892923 markings, 6425072 edges, 177703 markings/sec, 5 secs
lola: 2776179 markings, 9458259 edges, 176651 markings/sec, 10 secs
lola: 3629865 markings, 12563641 edges, 170737 markings/sec, 15 secs
lola: 4538007 markings, 15557501 edges, 181628 markings/sec, 20 secs
lola: 5403957 markings, 18618716 edges, 173190 markings/sec, 25 secs
lola: 6273131 markings, 21698408 edges, 173835 markings/sec, 30 secs
lola: 7061159 markings, 24675181 edges, 157606 markings/sec, 35 secs
lola: 7867699 markings, 27792608 edges, 161308 markings/sec, 40 secs
lola: 8716158 markings, 30794590 edges, 169692 markings/sec, 45 secs
lola: 9518641 markings, 33753403 edges, 160497 markings/sec, 50 secs
lola: 10236200 markings, 36640486 edges, 143512 markings/sec, 55 secs
lola: 10993536 markings, 39438926 edges, 151467 markings/sec, 60 secs
lola: 11769679 markings, 42196016 edges, 155229 markings/sec, 65 secs
lola: 12490043 markings, 44905429 edges, 144073 markings/sec, 70 secs
lola: 13298376 markings, 47904063 edges, 161667 markings/sec, 75 secs
lola: 14134914 markings, 50964587 edges, 167308 markings/sec, 80 secs
lola: 14908981 markings, 53971999 edges, 154813 markings/sec, 85 secs
lola: 15918875 markings, 57253139 edges, 201979 markings/sec, 90 secs
lola: 16798110 markings, 60413530 edges, 175847 markings/sec, 95 secs
lola: 17699886 markings, 63517440 edges, 180355 markings/sec, 100 secs
lola: 18582395 markings, 66672077 edges, 176502 markings/sec, 105 secs
lola: 19417718 markings, 69658135 edges, 167065 markings/sec, 110 secs
lola: 20431876 markings, 72845875 edges, 202832 markings/sec, 115 secs
lola: 21383172 markings, 75922403 edges, 190259 markings/sec, 120 secs
lola: 22400436 markings, 79145964 edges, 203453 markings/sec, 125 secs
lola: 23367956 markings, 82279754 edges, 193504 markings/sec, 130 secs
lola: 24348588 markings, 85487377 edges, 196126 markings/sec, 135 secs
lola: 25204709 markings, 88644963 edges, 171224 markings/sec, 140 secs
lola: 26106080 markings, 91784111 edges, 180274 markings/sec, 145 secs
lola: 26989910 markings, 94835340 edges, 176766 markings/sec, 150 secs
lola: 27850505 markings, 97879857 edges, 172119 markings/sec, 155 secs
lola: 28715161 markings, 101229972 edges, 172931 markings/sec, 160 secs
lola: 29522863 markings, 104578766 edges, 161540 markings/sec, 165 secs
lola: 30490925 markings, 107922031 edges, 193612 markings/sec, 170 secs
lola: 31493020 markings, 111190585 edges, 200419 markings/sec, 175 secs
lola: 32475058 markings, 114495041 edges, 196408 markings/sec, 180 secs
lola: 33445691 markings, 117745222 edges, 194127 markings/sec, 185 secs
lola: 34346568 markings, 121088187 edges, 180175 markings/sec, 190 secs
lola: 35180487 markings, 124558562 edges, 166784 markings/sec, 195 secs
lola: 36185128 markings, 127848099 edges, 200928 markings/sec, 200 secs
lola: 37133273 markings, 131158105 edges, 189629 markings/sec, 205 secs
lola: 38072494 markings, 134250723 edges, 187844 markings/sec, 210 secs
lola: 38988745 markings, 137422864 edges, 183250 markings/sec, 215 secs
lola: 39891414 markings, 140560227 edges, 180534 markings/sec, 220 secs
lola: 40648772 markings, 143717414 edges, 151472 markings/sec, 225 secs
lola: 41518455 markings, 146859841 edges, 173937 markings/sec, 230 secs
lola: 42375072 markings, 150029479 edges, 171323 markings/sec, 235 secs
lola: 43218146 markings, 153106267 edges, 168615 markings/sec, 240 secs
lola: 44005401 markings, 156245043 edges, 157451 markings/sec, 245 secs
lola: 44851293 markings, 159380577 edges, 169178 markings/sec, 250 secs
lola: 45675506 markings, 162492638 edges, 164843 markings/sec, 255 secs
lola: 46489948 markings, 165551218 edges, 162888 markings/sec, 260 secs
lola: 47347526 markings, 168637209 edges, 171516 markings/sec, 265 secs
lola: 48273687 markings, 171663714 edges, 185232 markings/sec, 270 secs
lola: 49205677 markings, 174752016 edges, 186398 markings/sec, 275 secs
lola: 50127220 markings, 177942152 edges, 184309 markings/sec, 280 secs
lola: 50923614 markings, 181263410 edges, 159279 markings/sec, 285 secs
lola: 51843428 markings, 184533684 edges, 183963 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 10 unknown unknown unknown 10 unknown unknown 10 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1915292 KB
lola: time consumption: 576 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 6 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p13)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 91 markings, 90 edges
lola: ========================================
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 374 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63)
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: 61 markings, 60 edges
lola: ========================================
lola: subprocess 9 will run for 427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p66)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p66)
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: 94 markings, 94 edges, 19 markings/sec, 25 secs
lola: 1202338 markings, 3515045 edges, 240449 markings/sec, 30 secs
lola: 2229282 markings, 7388877 edges, 205389 markings/sec, 35 secs
lola: 3187707 markings, 10818086 edges, 191685 markings/sec, 40 secs
lola: 4194219 markings, 14351217 edges, 201302 markings/sec, 45 secs
lola: 4889863 markings, 18011176 edges, 139129 markings/sec, 50 secs
lola: 5879585 markings, 21578501 edges, 197944 markings/sec, 55 secs
lola: 6758945 markings, 25143827 edges, 175872 markings/sec, 60 secs
lola: 7615597 markings, 28784675 edges, 171330 markings/sec, 65 secs
lola: 8492292 markings, 32346807 edges, 175339 markings/sec, 70 secs
lola: 9454378 markings, 36025684 edges, 192417 markings/sec, 75 secs
lola: 10343924 markings, 39603179 edges, 177909 markings/sec, 80 secs
lola: 11409144 markings, 42854923 edges, 213044 markings/sec, 85 secs
lola: 12317987 markings, 46092052 edges, 181769 markings/sec, 90 secs
lola: 13118396 markings, 49396410 edges, 160082 markings/sec, 95 secs
lola: 13880125 markings, 52722958 edges, 152346 markings/sec, 100 secs
lola: 14545164 markings, 56151788 edges, 133008 markings/sec, 105 secs
lola: 15312343 markings, 59550730 edges, 153436 markings/sec, 110 secs
lola: 16178125 markings, 63355389 edges, 173156 markings/sec, 115 secs
lola: 17095937 markings, 67114742 edges, 183562 markings/sec, 120 secs
lola: 18023452 markings, 70807405 edges, 185503 markings/sec, 125 secs
lola: 19118265 markings, 74759325 edges, 218963 markings/sec, 130 secs
lola: 20283591 markings, 78545728 edges, 233065 markings/sec, 135 secs
lola: 21338577 markings, 82400232 edges, 210997 markings/sec, 140 secs
lola: 22398006 markings, 86296461 edges, 211886 markings/sec, 145 secs
lola: 23263953 markings, 90305945 edges, 173189 markings/sec, 150 secs
lola: 24329753 markings, 94221439 edges, 213160 markings/sec, 155 secs
lola: 25233313 markings, 98210670 edges, 180712 markings/sec, 160 secs
lola: 26173416 markings, 102189676 edges, 188021 markings/sec, 165 secs
lola: 27166230 markings, 105803250 edges, 198563 markings/sec, 170 secs
lola: 28091260 markings, 109489024 edges, 185006 markings/sec, 175 secs
lola: 29049573 markings, 113051311 edges, 191663 markings/sec, 180 secs
lola: 30124235 markings, 116590241 edges, 214932 markings/sec, 185 secs
lola: 31023474 markings, 120283835 edges, 179848 markings/sec, 190 secs
lola: 31849499 markings, 123967739 edges, 165205 markings/sec, 195 secs
lola: 32608749 markings, 127733593 edges, 151850 markings/sec, 200 secs
lola: 33456148 markings, 131388237 edges, 169480 markings/sec, 205 secs
lola: 34369611 markings, 135045418 edges, 182693 markings/sec, 210 secs
lola: 35271488 markings, 138659659 edges, 180375 markings/sec, 215 secs
lola: 36257580 markings, 142536513 edges, 197218 markings/sec, 220 secs
lola: 37185457 markings, 146320445 edges, 185575 markings/sec, 225 secs
lola: 38020102 markings, 149992708 edges, 166929 markings/sec, 230 secs
lola: 39013073 markings, 153696407 edges, 198594 markings/sec, 235 secs
lola: 40130931 markings, 157469373 edges, 223572 markings/sec, 240 secs
lola: 41132347 markings, 161378351 edges, 200283 markings/sec, 245 secs
lola: 42008047 markings, 165277138 edges, 175140 markings/sec, 250 secs
lola: 42854200 markings, 169196271 edges, 169231 markings/sec, 255 secs
lola: 43588146 markings, 173142737 edges, 146789 markings/sec, 260 secs
lola: 44590142 markings, 177022271 edges, 200399 markings/sec, 265 secs
lola: 45344822 markings, 180961692 edges, 150936 markings/sec, 270 secs
lola: 46194494 markings, 184928648 edges, 169934 markings/sec, 275 secs
lola: 47020597 markings, 188787566 edges, 165221 markings/sec, 280 secs
lola: 47908524 markings, 192321378 edges, 177585 markings/sec, 285 secs
lola: 48685683 markings, 196110237 edges, 155432 markings/sec, 290 secs
lola: 49658974 markings, 199773514 edges, 194658 markings/sec, 295 secs
lola: 50691696 markings, 203487396 edges, 206544 markings/sec, 300 secs
lola: 51605874 markings, 206950894 edges, 182836 markings/sec, 305 secs
lola: 52419330 markings, 210645266 edges, 162691 markings/sec, 310 secs
lola: 53223844 markings, 214225479 edges, 160903 markings/sec, 315 secs
lola: 53928792 markings, 217931585 edges, 140990 markings/sec, 320 secs
lola: 54606198 markings, 221585398 edges, 135481 markings/sec, 325 secs
lola: 55291688 markings, 225274882 edges, 137098 markings/sec, 330 secs
lola: 56064974 markings, 228902643 edges, 154657 markings/sec, 335 secs
lola: 56841894 markings, 232476099 edges, 155384 markings/sec, 340 secs
lola: 57582845 markings, 236318821 edges, 148190 markings/sec, 345 secs
lola: 58399104 markings, 240133672 edges, 163252 markings/sec, 350 secs
lola: 59233729 markings, 243737489 edges, 166925 markings/sec, 355 secs
lola: 60212844 markings, 247503178 edges, 195823 markings/sec, 360 secs
lola: 61191250 markings, 251266206 edges, 195681 markings/sec, 365 secs
lola: 61985909 markings, 255071589 edges, 158932 markings/sec, 370 secs
lola: 62819086 markings, 258797341 edges, 166635 markings/sec, 375 secs
lola: 63643242 markings, 262611266 edges, 164831 markings/sec, 380 secs
lola: 64477472 markings, 266405490 edges, 166846 markings/sec, 385 secs
lola: 65284796 markings, 270220795 edges, 161465 markings/sec, 390 secs
lola: 66020783 markings, 273613482 edges, 147197 markings/sec, 395 secs
lola: 66759883 markings, 276800058 edges, 147820 markings/sec, 400 secs
lola: 67513938 markings, 279921094 edges, 150811 markings/sec, 405 secs
lola: 68232741 markings, 283341895 edges, 143761 markings/sec, 410 secs
lola: 69021777 markings, 286466077 edges, 157807 markings/sec, 415 secs
lola: 69738058 markings, 289798984 edges, 143256 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 10 unknown unknown unknown 10 unknown unknown 10 unknown 10 10 10 unknown unknown
lola: memory consumption: 2558424 KB
lola: time consumption: 1003 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1634957 markings, 2339877 edges, 326991 markings/sec, 0 secs
lola: 3098012 markings, 4471871 edges, 292611 markings/sec, 5 secs
lola: 4458492 markings, 6613405 edges, 272096 markings/sec, 10 secs
lola: 5832647 markings, 8876266 edges, 274831 markings/sec, 15 secs
lola: 7359825 markings, 11342511 edges, 305436 markings/sec, 20 secs
lola: 8708383 markings, 13887533 edges, 269712 markings/sec, 25 secs
lola: 10006065 markings, 16324739 edges, 259536 markings/sec, 30 secs
lola: 11323618 markings, 18785534 edges, 263511 markings/sec, 35 secs
lola: 12618154 markings, 21289181 edges, 258907 markings/sec, 40 secs
lola: 13999264 markings, 23757193 edges, 276222 markings/sec, 45 secs
lola: 15323762 markings, 26267214 edges, 264900 markings/sec, 50 secs
lola: 16536666 markings, 28772962 edges, 242581 markings/sec, 55 secs
lola: 17711869 markings, 31181365 edges, 235041 markings/sec, 60 secs
lola: 18903850 markings, 33655042 edges, 238396 markings/sec, 65 secs
lola: 19771780 markings, 35927822 edges, 173586 markings/sec, 70 secs
lola: 20355212 markings, 38141925 edges, 116686 markings/sec, 75 secs
lola: 20982080 markings, 40385344 edges, 125374 markings/sec, 80 secs
lola: 21492923 markings, 42538644 edges, 102169 markings/sec, 85 secs
lola: 21989823 markings, 44712984 edges, 99380 markings/sec, 90 secs
lola: 22493473 markings, 47437481 edges, 100730 markings/sec, 95 secs
lola: 22964968 markings, 49889339 edges, 94299 markings/sec, 100 secs
lola: 23414004 markings, 52355964 edges, 89807 markings/sec, 105 secs
lola: 23946408 markings, 54364595 edges, 106481 markings/sec, 110 secs
lola: 24578252 markings, 56680598 edges, 126369 markings/sec, 115 secs
lola: 25049993 markings, 58843391 edges, 94348 markings/sec, 120 secs
lola: 25541584 markings, 61259669 edges, 98318 markings/sec, 125 secs
lola: 25974848 markings, 63911150 edges, 86653 markings/sec, 130 secs
lola: 26447821 markings, 66035267 edges, 94595 markings/sec, 135 secs
lola: 26865426 markings, 68144187 edges, 83521 markings/sec, 140 secs
lola: 27228468 markings, 70526962 edges, 72608 markings/sec, 145 secs
lola: 27800929 markings, 72654061 edges, 114492 markings/sec, 150 secs
lola: 28287071 markings, 74825439 edges, 97228 markings/sec, 155 secs
lola: 28758859 markings, 77448592 edges, 94358 markings/sec, 160 secs
lola: 29256632 markings, 79728653 edges, 99555 markings/sec, 165 secs
lola: 29689217 markings, 82187405 edges, 86517 markings/sec, 170 secs
lola: 30083056 markings, 84420714 edges, 78768 markings/sec, 175 secs
lola: 30473389 markings, 86687125 edges, 78067 markings/sec, 180 secs
lola: 30838714 markings, 88992183 edges, 73065 markings/sec, 185 secs
lola: 31168173 markings, 91360571 edges, 65892 markings/sec, 190 secs
lola: 31456146 markings, 93951205 edges, 57595 markings/sec, 195 secs
lola: 31796727 markings, 96425627 edges, 68116 markings/sec, 200 secs
lola: 32250989 markings, 98850495 edges, 90852 markings/sec, 205 secs
lola: 32659074 markings, 101326702 edges, 81617 markings/sec, 210 secs
lola: 32997366 markings, 103696221 edges, 67658 markings/sec, 215 secs
lola: 33445803 markings, 106061312 edges, 89687 markings/sec, 220 secs
lola: 33846904 markings, 108357748 edges, 80220 markings/sec, 225 secs
lola: 34189147 markings, 110675807 edges, 68449 markings/sec, 230 secs
lola: 34570500 markings, 112960409 edges, 76271 markings/sec, 235 secs
lola: 34942533 markings, 114856219 edges, 74407 markings/sec, 240 secs
lola: 35313156 markings, 116760789 edges, 74125 markings/sec, 245 secs
lola: 35727142 markings, 118685482 edges, 82797 markings/sec, 250 secs
lola: 36144608 markings, 120840368 edges, 83493 markings/sec, 255 secs
lola: 36495179 markings, 123043904 edges, 70114 markings/sec, 260 secs
lola: 36815202 markings, 125310337 edges, 64005 markings/sec, 265 secs
lola: 37153797 markings, 127449287 edges, 67719 markings/sec, 270 secs
lola: 37517125 markings, 129321399 edges, 72666 markings/sec, 275 secs
lola: 37967906 markings, 131482568 edges, 90156 markings/sec, 280 secs
lola: 38382208 markings, 133763804 edges, 82860 markings/sec, 285 secs
lola: 38758418 markings, 135957889 edges, 75242 markings/sec, 290 secs
lola: 39109568 markings, 138327773 edges, 70230 markings/sec, 295 secs
lola: 39485007 markings, 140628967 edges, 75088 markings/sec, 300 secs
lola: 39874473 markings, 142515615 edges, 77893 markings/sec, 305 secs
lola: 40220724 markings, 144542800 edges, 69250 markings/sec, 310 secs
lola: 40776608 markings, 146566690 edges, 111177 markings/sec, 315 secs
lola: 41340383 markings, 148692908 edges, 112755 markings/sec, 320 secs
lola: 41811396 markings, 150874363 edges, 94203 markings/sec, 325 secs
lola: 42274653 markings, 153384759 edges, 92651 markings/sec, 330 secs
lola: 42688538 markings, 155594359 edges, 82777 markings/sec, 335 secs
lola: 43106707 markings, 157832229 edges, 83634 markings/sec, 340 secs
lola: 43476300 markings, 159862783 edges, 73919 markings/sec, 345 secs
lola: 43998003 markings, 162155656 edges, 104341 markings/sec, 350 secs
lola: 44439735 markings, 164559920 edges, 88346 markings/sec, 355 secs
lola: 44884766 markings, 166827634 edges, 89006 markings/sec, 360 secs
lola: 45213427 markings, 169035640 edges, 65732 markings/sec, 365 secs
lola: 45524961 markings, 171537880 edges, 62307 markings/sec, 370 secs
lola: 45958825 markings, 173942146 edges, 86773 markings/sec, 375 secs
lola: 46343069 markings, 176214125 edges, 76849 markings/sec, 380 secs
lola: 46683687 markings, 178297398 edges, 68124 markings/sec, 385 secs
lola: 47031998 markings, 180213417 edges, 69662 markings/sec, 390 secs
lola: 47382471 markings, 181936971 edges, 70095 markings/sec, 395 secs
lola: 47746965 markings, 183871431 edges, 72899 markings/sec, 400 secs
lola: 48089547 markings, 186048601 edges, 68516 markings/sec, 405 secs
lola: 48440921 markings, 187894957 edges, 70275 markings/sec, 410 secs
lola: 48790237 markings, 189805129 edges, 69863 markings/sec, 415 secs
lola: 49341236 markings, 191871084 edges, 110200 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 10 unknown unknown unknown 10 unknown unknown 10 unknown 10 10 10 unknown unknown
lola: memory consumption: 1790284 KB
lola: time consumption: 1430 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 11 will run for 428 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p42 + p43 + p53 + p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p42 + p43 + p53 + p54)
lola: processed formula length: 26
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 31 markings, 30 edges
lola: ========================================
lola: subprocess 12 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)
lola: processed formula length: 47
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 91 markings, 90 edges
lola: ========================================
lola: subprocess 13 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)
lola: processed formula length: 47
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 91 markings, 90 edges
lola: ========================================
lola: subprocess 14 will run for 1070 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7 + p8 + p9 + p10 + p12 + p13 + p14 + p15)
lola: processed formula length: 47
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 91 markings, 90 edges
lola: ========================================
lola: subprocess 15 will run for 2140 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p26 + p27 + p28 + p29 + p30 + p31 + p32 + p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p26 + p27 + p28 + p29 + p30 + p31 + p32 + p41)
lola: processed formula length: 50
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 81 markings, 80 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1106894 markings, 2721282 edges, 221379 markings/sec, 0 secs
lola: 2282676 markings, 5308868 edges, 235156 markings/sec, 5 secs
lola: 3409585 markings, 7869362 edges, 225382 markings/sec, 10 secs
lola: 4479192 markings, 10504103 edges, 213921 markings/sec, 15 secs
lola: 5477404 markings, 13083361 edges, 199642 markings/sec, 20 secs
lola: 6471674 markings, 15808477 edges, 198854 markings/sec, 25 secs
lola: 7730742 markings, 18483696 edges, 251814 markings/sec, 30 secs
lola: 8873739 markings, 21138810 edges, 228599 markings/sec, 35 secs
lola: 10006405 markings, 23827171 edges, 226533 markings/sec, 40 secs
lola: 11070070 markings, 26457496 edges, 212733 markings/sec, 45 secs
lola: 12062578 markings, 29087919 edges, 198502 markings/sec, 50 secs
lola: 13012685 markings, 31817462 edges, 190021 markings/sec, 55 secs
lola: 14099835 markings, 34353243 edges, 217430 markings/sec, 60 secs
lola: 15098864 markings, 36900024 edges, 199806 markings/sec, 65 secs
lola: 16029429 markings, 39412082 edges, 186113 markings/sec, 70 secs
lola: 17049841 markings, 42013821 edges, 204082 markings/sec, 75 secs
lola: 18066032 markings, 44565030 edges, 203238 markings/sec, 80 secs
lola: 18946375 markings, 47192336 edges, 176069 markings/sec, 85 secs
lola: 19916771 markings, 49683048 edges, 194079 markings/sec, 90 secs
lola: 20869924 markings, 52233613 edges, 190631 markings/sec, 95 secs
lola: 21726952 markings, 54791198 edges, 171406 markings/sec, 100 secs
lola: 22567029 markings, 57403320 edges, 168015 markings/sec, 105 secs
lola: 23712818 markings, 60058806 edges, 229158 markings/sec, 110 secs
lola: 24913265 markings, 62646240 edges, 240089 markings/sec, 115 secs
lola: 26020130 markings, 65266952 edges, 221373 markings/sec, 120 secs
lola: 27064816 markings, 67877549 edges, 208937 markings/sec, 125 secs
lola: 28049450 markings, 70431772 edges, 196927 markings/sec, 130 secs
lola: 29018731 markings, 73101618 edges, 193856 markings/sec, 135 secs
lola: 30082625 markings, 75666275 edges, 212779 markings/sec, 140 secs
lola: 31099146 markings, 78284227 edges, 203304 markings/sec, 145 secs
lola: 32018372 markings, 80842696 edges, 183845 markings/sec, 150 secs
lola: 33011753 markings, 83452084 edges, 198676 markings/sec, 155 secs
lola: 33939532 markings, 86016513 edges, 185556 markings/sec, 160 secs
lola: 34978392 markings, 88590927 edges, 207772 markings/sec, 165 secs
lola: 35871319 markings, 91210872 edges, 178585 markings/sec, 170 secs
lola: 36824636 markings, 93722946 edges, 190663 markings/sec, 175 secs
lola: 37734408 markings, 96292687 edges, 181954 markings/sec, 180 secs
lola: 38518709 markings, 98890360 edges, 156860 markings/sec, 185 secs
lola: 39683596 markings, 101538570 edges, 232977 markings/sec, 190 secs
lola: 40718710 markings, 104175212 edges, 207023 markings/sec, 195 secs
lola: 41740513 markings, 106842079 edges, 204361 markings/sec, 200 secs
lola: 42742764 markings, 109409667 edges, 200450 markings/sec, 205 secs
lola: 43664223 markings, 112035002 edges, 184292 markings/sec, 210 secs
lola: 44558936 markings, 114331552 edges, 178943 markings/sec, 215 secs
lola: 45406861 markings, 116924342 edges, 169585 markings/sec, 220 secs
lola: 46242090 markings, 119444741 edges, 167046 markings/sec, 225 secs
lola: 47154297 markings, 121932170 edges, 182441 markings/sec, 230 secs
lola: 48118270 markings, 124357970 edges, 192795 markings/sec, 235 secs
lola: 48990774 markings, 126832069 edges, 174501 markings/sec, 240 secs
lola: 49969079 markings, 129395275 edges, 195661 markings/sec, 245 secs
lola: 50977395 markings, 132192278 edges, 201663 markings/sec, 250 secs
lola: 51862906 markings, 135006680 edges, 177102 markings/sec, 255 secs
lola: 53018929 markings, 137717617 edges, 231205 markings/sec, 260 secs
lola: 54139929 markings, 140346900 edges, 224200 markings/sec, 265 secs
lola: 55223260 markings, 143058034 edges, 216666 markings/sec, 270 secs
lola: 56235705 markings, 145716061 edges, 202489 markings/sec, 275 secs
lola: 57160047 markings, 148386324 edges, 184868 markings/sec, 280 secs
lola: 58233904 markings, 150986648 edges, 214771 markings/sec, 285 secs
lola: 59203775 markings, 153559402 edges, 193974 markings/sec, 290 secs
lola: 60156598 markings, 156217050 edges, 190565 markings/sec, 295 secs
lola: 61141562 markings, 158873777 edges, 196993 markings/sec, 300 secs
lola: 62085820 markings, 161499116 edges, 188852 markings/sec, 305 secs
lola: 63007330 markings, 164093792 edges, 184302 markings/sec, 310 secs
lola: 63929856 markings, 166750127 edges, 184505 markings/sec, 315 secs
lola: 64854564 markings, 169442672 edges, 184942 markings/sec, 320 secs
lola: 65728349 markings, 172169001 edges, 174757 markings/sec, 325 secs
lola: 66777119 markings, 174959086 edges, 209754 markings/sec, 330 secs
lola: 67737110 markings, 177724832 edges, 191998 markings/sec, 335 secs
lola: 68732003 markings, 180503369 edges, 198979 markings/sec, 340 secs
lola: 69675145 markings, 183255886 edges, 188628 markings/sec, 345 secs
lola: 70523480 markings, 186041024 edges, 169667 markings/sec, 350 secs
lola: 71633295 markings, 188732199 edges, 221963 markings/sec, 355 secs
lola: 72572575 markings, 191428322 edges, 187856 markings/sec, 360 secs
lola: 73537554 markings, 194053469 edges, 192996 markings/sec, 365 secs
lola: 74514997 markings, 196816527 edges, 195489 markings/sec, 370 secs
lola: 75421587 markings, 199698643 edges, 181318 markings/sec, 375 secs
lola: 76333629 markings, 202437767 edges, 182408 markings/sec, 380 secs
lola: 77303479 markings, 205230762 edges, 193970 markings/sec, 385 secs
lola: 78268180 markings, 208159070 edges, 192940 markings/sec, 390 secs
lola: 79362690 markings, 210785950 edges, 218902 markings/sec, 395 secs
lola: 80521736 markings, 213450099 edges, 231809 markings/sec, 400 secs
lola: 81556715 markings, 216126814 edges, 206996 markings/sec, 405 secs
lola: 82562723 markings, 218673647 edges, 201202 markings/sec, 410 secs
lola: 83624167 markings, 221304665 edges, 212289 markings/sec, 415 secs
lola: 84704151 markings, 223967987 edges, 215997 markings/sec, 420 secs
lola: 85758036 markings, 226595647 edges, 210777 markings/sec, 425 secs
lola: 86747321 markings, 229166685 edges, 197857 markings/sec, 430 secs
lola: 87758403 markings, 231761940 edges, 202216 markings/sec, 435 secs
lola: 88801582 markings, 234407383 edges, 208636 markings/sec, 440 secs
lola: 89821054 markings, 237143732 edges, 203894 markings/sec, 445 secs
lola: 90847922 markings, 239826396 edges, 205374 markings/sec, 450 secs
lola: 91972821 markings, 242452682 edges, 224980 markings/sec, 455 secs
lola: 93020278 markings, 245076696 edges, 209491 markings/sec, 460 secs
lola: 94047309 markings, 247671128 edges, 205406 markings/sec, 465 secs
lola: 95047283 markings, 250308636 edges, 199995 markings/sec, 470 secs
lola: 96088910 markings, 253002976 edges, 208325 markings/sec, 475 secs
lola: 97148883 markings, 255662324 edges, 211995 markings/sec, 480 secs
lola: 98175500 markings, 258401606 edges, 205323 markings/sec, 485 secs
lola: 98978748 markings, 261146011 edges, 160650 markings/sec, 490 secs
lola: 99801104 markings, 263731091 edges, 164471 markings/sec, 495 secs
lola: 100868794 markings, 266216413 edges, 213538 markings/sec, 500 secs
lola: 101889606 markings, 268647822 edges, 204162 markings/sec, 505 secs
lola: 102953237 markings, 271125678 edges, 212726 markings/sec, 510 secs
lola: 103920235 markings, 273467909 edges, 193400 markings/sec, 515 secs
lola: 104788033 markings, 275770131 edges, 173560 markings/sec, 520 secs
lola: 105606550 markings, 278021710 edges, 163703 markings/sec, 525 secs
lola: 106445223 markings, 280432983 edges, 167735 markings/sec, 530 secs
lola: 107213888 markings, 282827821 edges, 153733 markings/sec, 535 secs
lola: 108097891 markings, 285179349 edges, 176801 markings/sec, 540 secs
lola: 109068950 markings, 287422921 edges, 194212 markings/sec, 545 secs
lola: 110121730 markings, 289845166 edges, 210556 markings/sec, 550 secs
lola: 111053441 markings, 292212872 edges, 186342 markings/sec, 555 secs
lola: 111860919 markings, 294545117 edges, 161496 markings/sec, 560 secs
lola: 112558888 markings, 296992338 edges, 139594 markings/sec, 565 secs
lola: 113499953 markings, 299137437 edges, 188213 markings/sec, 570 secs
lola: 114438393 markings, 301317637 edges, 187688 markings/sec, 575 secs
lola: 115292072 markings, 303490517 edges, 170736 markings/sec, 580 secs
lola: 116087187 markings, 305766883 edges, 159023 markings/sec, 585 secs
lola: 116813685 markings, 308143522 edges, 145300 markings/sec, 590 secs
lola: 117833093 markings, 310358987 edges, 203882 markings/sec, 595 secs
lola: 118748241 markings, 312671637 edges, 183030 markings/sec, 600 secs
lola: 119476295 markings, 315096329 edges, 145611 markings/sec, 605 secs
lola: 120301084 markings, 317551553 edges, 164958 markings/sec, 610 secs
lola: 121249892 markings, 319864939 edges, 189762 markings/sec, 615 secs
lola: 122112069 markings, 322237562 edges, 172435 markings/sec, 620 secs
lola: 123186468 markings, 324791626 edges, 214880 markings/sec, 625 secs
lola: 124091013 markings, 327206760 edges, 180909 markings/sec, 630 secs
lola: 124967140 markings, 329573571 edges, 175225 markings/sec, 635 secs
lola: 125791981 markings, 331893958 edges, 164968 markings/sec, 640 secs
lola: 126668610 markings, 334309745 edges, 175326 markings/sec, 645 secs
lola: 127567980 markings, 336831157 edges, 179874 markings/sec, 650 secs
lola: 128446313 markings, 339436749 edges, 175667 markings/sec, 655 secs
lola: 129523754 markings, 341993717 edges, 215488 markings/sec, 660 secs
lola: 130457412 markings, 344665630 edges, 186732 markings/sec, 665 secs
lola: 131456717 markings, 347319810 edges, 199861 markings/sec, 670 secs
lola: 132400617 markings, 349995390 edges, 188780 markings/sec, 675 secs
lola: 133316421 markings, 352646510 edges, 183161 markings/sec, 680 secs
lola: 134237240 markings, 355328536 edges, 184164 markings/sec, 685 secs
lola: 135259625 markings, 358065687 edges, 204477 markings/sec, 690 secs
lola: 136219480 markings, 360782752 edges, 191971 markings/sec, 695 secs
lola: 137147230 markings, 363676807 edges, 185550 markings/sec, 700 secs
lola: 138136044 markings, 366364300 edges, 197763 markings/sec, 705 secs
lola: 139052636 markings, 369173095 edges, 183318 markings/sec, 710 secs
lola: 140114547 markings, 371815638 edges, 212382 markings/sec, 715 secs
lola: 141052766 markings, 374509555 edges, 187644 markings/sec, 720 secs
lola: 142000833 markings, 377059956 edges, 189613 markings/sec, 725 secs
lola: 142921301 markings, 379668403 edges, 184094 markings/sec, 730 secs
lola: 143795570 markings, 382242444 edges, 174854 markings/sec, 735 secs
lola: 144653751 markings, 384912532 edges, 171636 markings/sec, 740 secs
lola: 145633747 markings, 387623168 edges, 195999 markings/sec, 745 secs
lola: 146490401 markings, 390292795 edges, 171331 markings/sec, 750 secs
lola: 147453659 markings, 392960832 edges, 192652 markings/sec, 755 secs
lola: 148382969 markings, 395772553 edges, 185862 markings/sec, 760 secs
lola: 149306839 markings, 398591481 edges, 184774 markings/sec, 765 secs
lola: 150154303 markings, 401482332 edges, 169493 markings/sec, 770 secs
lola: 150957874 markings, 404268583 edges, 160714 markings/sec, 775 secs
lola: 151728077 markings, 407027176 edges, 154041 markings/sec, 780 secs
lola: 152673939 markings, 409481075 edges, 189172 markings/sec, 785 secs
lola: 153643988 markings, 412050378 edges, 194010 markings/sec, 790 secs
lola: 154504792 markings, 414633001 edges, 172161 markings/sec, 795 secs
lola: 155285340 markings, 417196368 edges, 156110 markings/sec, 800 secs
lola: 156177123 markings, 419673007 edges, 178357 markings/sec, 805 secs
lola: 156981766 markings, 422260434 edges, 160929 markings/sec, 810 secs
lola: 157770773 markings, 425082011 edges, 157801 markings/sec, 815 secs
lola: 158646680 markings, 427766455 edges, 175181 markings/sec, 820 secs
lola: 159622894 markings, 430274490 edges, 195243 markings/sec, 825 secs
lola: 160378754 markings, 432902786 edges, 151172 markings/sec, 830 secs
lola: 161298192 markings, 435516421 edges, 183888 markings/sec, 835 secs
lola: 162179026 markings, 438101891 edges, 176167 markings/sec, 840 secs
lola: 163122373 markings, 440620126 edges, 188669 markings/sec, 845 secs
lola: 164110350 markings, 443194740 edges, 197595 markings/sec, 850 secs
lola: 165023856 markings, 445735453 edges, 182701 markings/sec, 855 secs
lola: 165920624 markings, 448291682 edges, 179354 markings/sec, 860 secs
lola: 166792910 markings, 450817369 edges, 174457 markings/sec, 865 secs
lola: 167601833 markings, 453284630 edges, 161785 markings/sec, 870 secs
lola: 168422290 markings, 455771724 edges, 164091 markings/sec, 875 secs
lola: 169384979 markings, 458266774 edges, 192538 markings/sec, 880 secs
lola: 170291039 markings, 460815342 edges, 181212 markings/sec, 885 secs
lola: 171163806 markings, 463382988 edges, 174553 markings/sec, 890 secs
lola: 172006072 markings, 465954080 edges, 168453 markings/sec, 895 secs
lola: 172801578 markings, 468474445 edges, 159101 markings/sec, 900 secs
lola: 173742244 markings, 471099742 edges, 188133 markings/sec, 905 secs
lola: 174633270 markings, 473702308 edges, 178205 markings/sec, 910 secs
lola: 175461925 markings, 476442367 edges, 165731 markings/sec, 915 secs
lola: 176354357 markings, 479065826 edges, 178486 markings/sec, 920 secs
lola: 177212743 markings, 481747656 edges, 171677 markings/sec, 925 secs
lola: 178139229 markings, 484258792 edges, 185297 markings/sec, 930 secs
lola: 178997263 markings, 486781390 edges, 171607 markings/sec, 935 secs
lola: 179823287 markings, 489310643 edges, 165205 markings/sec, 940 secs
lola: 180611677 markings, 491794879 edges, 157678 markings/sec, 945 secs
lola: 181415617 markings, 494360748 edges, 160788 markings/sec, 950 secs
lola: 182227911 markings, 496972517 edges, 162459 markings/sec, 955 secs
lola: 183057808 markings, 499578218 edges, 165979 markings/sec, 960 secs
lola: 183877833 markings, 502228479 edges, 164005 markings/sec, 965 secs
lola: 184677045 markings, 504911220 edges, 159842 markings/sec, 970 secs
lola: 185596096 markings, 507506031 edges, 183810 markings/sec, 975 secs
lola: 186444444 markings, 510035756 edges, 169670 markings/sec, 980 secs
lola: 187374602 markings, 512590236 edges, 186032 markings/sec, 985 secs
lola: 188247335 markings, 515143677 edges, 174547 markings/sec, 990 secs
lola: 189133717 markings, 517804099 edges, 177276 markings/sec, 995 secs
lola: 190040428 markings, 520306163 edges, 181342 markings/sec, 1000 secs
lola: 190919242 markings, 522876263 edges, 175763 markings/sec, 1005 secs
lola: 191714367 markings, 525488430 edges, 159025 markings/sec, 1010 secs
lola: 192462912 markings, 527997804 edges, 149709 markings/sec, 1015 secs
lola: 193220838 markings, 530589585 edges, 151585 markings/sec, 1020 secs
lola: 193987309 markings, 532990119 edges, 153294 markings/sec, 1025 secs
lola: 194827859 markings, 535327975 edges, 168110 markings/sec, 1030 secs
lola: 195599142 markings, 537595767 edges, 154257 markings/sec, 1035 secs
lola: 196305856 markings, 539852733 edges, 141343 markings/sec, 1040 secs
lola: 197166246 markings, 542434831 edges, 172078 markings/sec, 1045 secs
lola: 197959392 markings, 544819869 edges, 158629 markings/sec, 1050 secs
lola: 198734765 markings, 547295679 edges, 155075 markings/sec, 1055 secs
lola: 199482055 markings, 549732948 edges, 149458 markings/sec, 1060 secs
lola: 200252372 markings, 552184722 edges, 154063 markings/sec, 1065 secs
lola: 201026606 markings, 554494470 edges, 154847 markings/sec, 1070 secs
lola: 201732922 markings, 556801915 edges, 141263 markings/sec, 1075 secs
lola: 202438715 markings, 559109367 edges, 141159 markings/sec, 1080 secs
lola: 203147463 markings, 561436365 edges, 141750 markings/sec, 1085 secs
lola: 203818737 markings, 563825961 edges, 134255 markings/sec, 1090 secs
lola: 204436939 markings, 566099474 edges, 123640 markings/sec, 1095 secs
lola: 205096572 markings, 568381299 edges, 131927 markings/sec, 1100 secs
lola: 205744793 markings, 570598975 edges, 129644 markings/sec, 1105 secs
lola: 206380192 markings, 572947995 edges, 127080 markings/sec, 1110 secs
lola: 207053093 markings, 575455703 edges, 134580 markings/sec, 1115 secs
lola: 207672876 markings, 577855142 edges, 123957 markings/sec, 1120 secs
lola: 208268622 markings, 580224265 edges, 119149 markings/sec, 1125 secs
lola: 209016495 markings, 582853638 edges, 149575 markings/sec, 1130 secs
lola: 210146194 markings, 585247884 edges, 225940 markings/sec, 1135 secs
lola: 211059192 markings, 587704575 edges, 182600 markings/sec, 1140 secs
lola: 211917982 markings, 590083158 edges, 171758 markings/sec, 1145 secs
lola: 212882366 markings, 592681520 edges, 192877 markings/sec, 1150 secs
lola: 213789715 markings, 595248004 edges, 181470 markings/sec, 1155 secs
lola: 214735361 markings, 597829716 edges, 189129 markings/sec, 1160 secs
lola: 215614926 markings, 600306591 edges, 175913 markings/sec, 1165 secs
lola: 216472450 markings, 602747902 edges, 171505 markings/sec, 1170 secs
lola: 217539612 markings, 605066768 edges, 213432 markings/sec, 1175 secs
lola: 218387618 markings, 607342192 edges, 169601 markings/sec, 1180 secs
lola: 219205331 markings, 609661344 edges, 163543 markings/sec, 1185 secs
lola: 220128310 markings, 612171449 edges, 184596 markings/sec, 1190 secs
lola: 221032627 markings, 614607520 edges, 180863 markings/sec, 1195 secs
lola: 221820010 markings, 616921864 edges, 157477 markings/sec, 1200 secs
lola: 222590518 markings, 619180529 edges, 154102 markings/sec, 1205 secs
lola: 223441877 markings, 621430740 edges, 170272 markings/sec, 1210 secs
lola: 224258367 markings, 623830033 edges, 163298 markings/sec, 1215 secs
lola: 225037959 markings, 626278607 edges, 155918 markings/sec, 1220 secs
lola: 225916974 markings, 628613553 edges, 175803 markings/sec, 1225 secs
lola: 226714142 markings, 630941960 edges, 159434 markings/sec, 1230 secs
lola: 227576591 markings, 633195702 edges, 172490 markings/sec, 1235 secs
lola: 228401620 markings, 635614214 edges, 165006 markings/sec, 1240 secs
lola: 229205246 markings, 637925049 edges, 160725 markings/sec, 1245 secs
lola: 229954223 markings, 640402143 edges, 149795 markings/sec, 1250 secs
lola: 230757854 markings, 642792555 edges, 160726 markings/sec, 1255 secs
lola: 231663326 markings, 645515015 edges, 181094 markings/sec, 1260 secs
lola: 232622834 markings, 648219526 edges, 191902 markings/sec, 1265 secs
lola: 233424658 markings, 650671047 edges, 160365 markings/sec, 1270 secs
lola: 234274491 markings, 653245709 edges, 169967 markings/sec, 1275 secs
lola: 235134034 markings, 655881962 edges, 171909 markings/sec, 1280 secs
lola: 235985004 markings, 658188919 edges, 170194 markings/sec, 1285 secs
lola: 236863055 markings, 660433447 edges, 175610 markings/sec, 1290 secs
lola: 237712651 markings, 662806723 edges, 169919 markings/sec, 1295 secs
lola: 238579416 markings, 665239272 edges, 173353 markings/sec, 1300 secs
lola: 239427904 markings, 667601854 edges, 169698 markings/sec, 1305 secs
lola: 240141606 markings, 669749191 edges, 142740 markings/sec, 1310 secs
lola: 240867015 markings, 672007652 edges, 145082 markings/sec, 1315 secs
lola: 241701095 markings, 674421853 edges, 166816 markings/sec, 1320 secs
lola: 242649698 markings, 676740864 edges, 189721 markings/sec, 1325 secs
lola: 243534619 markings, 679128077 edges, 176984 markings/sec, 1330 secs
lola: 244376201 markings, 681541340 edges, 168316 markings/sec, 1335 secs
lola: 245168495 markings, 683913900 edges, 158459 markings/sec, 1340 secs
lola: 245934720 markings, 686277092 edges, 153245 markings/sec, 1345 secs
lola: 246738208 markings, 688583251 edges, 160698 markings/sec, 1350 secs
lola: 247629275 markings, 690820477 edges, 178213 markings/sec, 1355 secs
lola: 248440927 markings, 693353622 edges, 162330 markings/sec, 1360 secs
lola: 249100164 markings, 695722672 edges, 131847 markings/sec, 1365 secs
lola: 250048132 markings, 697970107 edges, 189594 markings/sec, 1370 secs
lola: 250960615 markings, 700361348 edges, 182497 markings/sec, 1375 secs
lola: 251838114 markings, 702828605 edges, 175500 markings/sec, 1380 secs
lola: 252713109 markings, 705154320 edges, 174999 markings/sec, 1385 secs
lola: 253504914 markings, 707459118 edges, 158361 markings/sec, 1390 secs
lola: 254446023 markings, 709924858 edges, 188222 markings/sec, 1395 secs
lola: 255400009 markings, 712399597 edges, 190797 markings/sec, 1400 secs
lola: 256273493 markings, 714879045 edges, 174697 markings/sec, 1405 secs
lola: 257141680 markings, 717262856 edges, 173637 markings/sec, 1410 secs
lola: 258015270 markings, 719744004 edges, 174718 markings/sec, 1415 secs
lola: 258883034 markings, 722178685 edges, 173553 markings/sec, 1420 secs
lola: 259665083 markings, 724712485 edges, 156410 markings/sec, 1425 secs
lola: 260628756 markings, 727327855 edges, 192735 markings/sec, 1430 secs
lola: 261555487 markings, 729893891 edges, 185346 markings/sec, 1435 secs
lola: 262462826 markings, 732567940 edges, 181468 markings/sec, 1440 secs
lola: 263338488 markings, 735246352 edges, 175132 markings/sec, 1445 secs
lola: 264297056 markings, 737976049 edges, 191714 markings/sec, 1450 secs
lola: 265191524 markings, 740654788 edges, 178894 markings/sec, 1455 secs
lola: 266038731 markings, 743325101 edges, 169441 markings/sec, 1460 secs
lola: 266831852 markings, 745800041 edges, 158624 markings/sec, 1465 secs
lola: 267611915 markings, 748413646 edges, 156013 markings/sec, 1470 secs
lola: 268349676 markings, 750923882 edges, 147552 markings/sec, 1475 secs
lola: 269076843 markings, 753589229 edges, 145433 markings/sec, 1480 secs
lola: 269915723 markings, 756063338 edges, 167776 markings/sec, 1485 secs
lola: 270839500 markings, 758514894 edges, 184755 markings/sec, 1490 secs
lola: 271627637 markings, 761033670 edges, 157627 markings/sec, 1495 secs
lola: 272363987 markings, 763538436 edges, 147270 markings/sec, 1500 secs
lola: 273127618 markings, 766107781 edges, 152726 markings/sec, 1505 secs
lola: 273855269 markings, 768733558 edges, 145530 markings/sec, 1510 secs
lola: 274593767 markings, 771319351 edges, 147700 markings/sec, 1515 secs
lola: 275390013 markings, 773886706 edges, 159249 markings/sec, 1520 secs
lola: 276265887 markings, 776238964 edges, 175175 markings/sec, 1525 secs
lola: 276915528 markings, 778775383 edges, 129928 markings/sec, 1530 secs
lola: 277768042 markings, 781102389 edges, 170503 markings/sec, 1535 secs
lola: 278564029 markings, 783532400 edges, 159197 markings/sec, 1540 secs
lola: 279295630 markings, 785902355 edges, 146320 markings/sec, 1545 secs
lola: 280145085 markings, 788263572 edges, 169891 markings/sec, 1550 secs
lola: 280920120 markings, 790653034 edges, 155007 markings/sec, 1555 secs
lola: 281677041 markings, 793024380 edges, 151384 markings/sec, 1560 secs
lola: 282424669 markings, 795419537 edges, 149526 markings/sec, 1565 secs
lola: 283184330 markings, 797824373 edges, 151932 markings/sec, 1570 secs
lola: 283912919 markings, 800352359 edges, 145718 markings/sec, 1575 secs
lola: 284660130 markings, 802849659 edges, 149442 markings/sec, 1580 secs
lola: 285405916 markings, 805299437 edges, 149157 markings/sec, 1585 secs
lola: 286170899 markings, 807628512 edges, 152997 markings/sec, 1590 secs
lola: 286915297 markings, 810028020 edges, 148880 markings/sec, 1595 secs
lola: 287611169 markings, 812438198 edges, 139174 markings/sec, 1600 secs
lola: 288317597 markings, 814937256 edges, 141286 markings/sec, 1605 secs
lola: 289114626 markings, 817345655 edges, 159406 markings/sec, 1610 secs
lola: 289896695 markings, 819798274 edges, 156414 markings/sec, 1615 secs
lola: 290717407 markings, 822174375 edges, 164142 markings/sec, 1620 secs
lola: 291458895 markings, 824532930 edges, 148298 markings/sec, 1625 secs
lola: 292217754 markings, 826973388 edges, 151772 markings/sec, 1630 secs
lola: 292970346 markings, 829541074 edges, 150518 markings/sec, 1635 secs
lola: 293746398 markings, 832170589 edges, 155210 markings/sec, 1640 secs
lola: 294423020 markings, 834586924 edges, 135324 markings/sec, 1645 secs
lola: 295083888 markings, 837058071 edges, 132174 markings/sec, 1650 secs
lola: 295742635 markings, 839512784 edges, 131749 markings/sec, 1655 secs
lola: 296391320 markings, 842010680 edges, 129737 markings/sec, 1660 secs
lola: 297092311 markings, 844535624 edges, 140198 markings/sec, 1665 secs
lola: 297840996 markings, 846977219 edges, 149737 markings/sec, 1670 secs
lola: 298533818 markings, 849314629 edges, 138564 markings/sec, 1675 secs
lola: 299152372 markings, 851713642 edges, 123711 markings/sec, 1680 secs
lola: 299726349 markings, 854136139 edges, 114795 markings/sec, 1685 secs
lola: 300340984 markings, 856453538 edges, 122927 markings/sec, 1690 secs
lola: 300911084 markings, 858804296 edges, 114020 markings/sec, 1695 secs
lola: 301547441 markings, 861282096 edges, 127271 markings/sec, 1700 secs
lola: 302178622 markings, 863684394 edges, 126236 markings/sec, 1705 secs
lola: 303025420 markings, 866271932 edges, 169360 markings/sec, 1710 secs
lola: 303780203 markings, 868819931 edges, 150957 markings/sec, 1715 secs
lola: 304528342 markings, 871300931 edges, 149628 markings/sec, 1720 secs
lola: 305222322 markings, 873773945 edges, 138796 markings/sec, 1725 secs
lola: 305884828 markings, 876127221 edges, 132501 markings/sec, 1730 secs
lola: 306735746 markings, 878569026 edges, 170184 markings/sec, 1735 secs
lola: 307645578 markings, 880885935 edges, 181966 markings/sec, 1740 secs
lola: 308657123 markings, 883154883 edges, 202309 markings/sec, 1745 secs
lola: 309514534 markings, 885400457 edges, 171482 markings/sec, 1750 secs
lola: 310432446 markings, 887603307 edges, 183582 markings/sec, 1755 secs
lola: 311279602 markings, 889787091 edges, 169431 markings/sec, 1760 secs
lola: 312126685 markings, 892015184 edges, 169417 markings/sec, 1765 secs
lola: 313034003 markings, 894385928 edges, 181464 markings/sec, 1770 secs
lola: 313962400 markings, 896768241 edges, 185679 markings/sec, 1775 secs
lola: 314942583 markings, 899248697 edges, 196037 markings/sec, 1780 secs
lola: 315826227 markings, 901551392 edges, 176729 markings/sec, 1785 secs
lola: 316772270 markings, 904007492 edges, 189209 markings/sec, 1790 secs
lola: 317670896 markings, 906448293 edges, 179725 markings/sec, 1795 secs
lola: 318526512 markings, 908691490 edges, 171123 markings/sec, 1800 secs
lola: 319330267 markings, 910953511 edges, 160751 markings/sec, 1805 secs
lola: 320085969 markings, 913156212 edges, 151140 markings/sec, 1810 secs
lola: 320866876 markings, 915455159 edges, 156181 markings/sec, 1815 secs
lola: 321647650 markings, 917809163 edges, 156155 markings/sec, 1820 secs
lola: 322414164 markings, 920101735 edges, 153303 markings/sec, 1825 secs
lola: 323203831 markings, 922533218 edges, 157933 markings/sec, 1830 secs
lola: 324010428 markings, 924765999 edges, 161319 markings/sec, 1835 secs
lola: 324811053 markings, 927063037 edges, 160125 markings/sec, 1840 secs
lola: 325569871 markings, 929528865 edges, 151764 markings/sec, 1845 secs
lola: 326490599 markings, 931747615 edges, 184146 markings/sec, 1850 secs
lola: 327405714 markings, 933965458 edges, 183023 markings/sec, 1855 secs
lola: 328260659 markings, 936202408 edges, 170989 markings/sec, 1860 secs
lola: 329039580 markings, 938529904 edges, 155784 markings/sec, 1865 secs
lola: 329866617 markings, 940926988 edges, 165407 markings/sec, 1870 secs
lola: 330727517 markings, 943131511 edges, 172180 markings/sec, 1875 secs
lola: 331564183 markings, 945373608 edges, 167333 markings/sec, 1880 secs
lola: 332324799 markings, 947552026 edges, 152123 markings/sec, 1885 secs
lola: 333173568 markings, 949912932 edges, 169754 markings/sec, 1890 secs
lola: 334015488 markings, 952250846 edges, 168384 markings/sec, 1895 secs
lola: 334823403 markings, 954712903 edges, 161583 markings/sec, 1900 secs
lola: 335539583 markings, 957232076 edges, 143236 markings/sec, 1905 secs
lola: 336385319 markings, 959444966 edges, 169147 markings/sec, 1910 secs
lola: 337134746 markings, 961714491 edges, 149885 markings/sec, 1915 secs
lola: 337849997 markings, 964023746 edges, 143050 markings/sec, 1920 secs
lola: 338494137 markings, 966513686 edges, 128828 markings/sec, 1925 secs
lola: 339256711 markings, 968897758 edges, 152515 markings/sec, 1930 secs
lola: 340094494 markings, 971199584 edges, 167557 markings/sec, 1935 secs
lola: 340911821 markings, 973489188 edges, 163465 markings/sec, 1940 secs
lola: 341612260 markings, 975717859 edges, 140088 markings/sec, 1945 secs
lola: 342406289 markings, 977992216 edges, 158806 markings/sec, 1950 secs
lola: 343170869 markings, 980289032 edges, 152916 markings/sec, 1955 secs
lola: 343940438 markings, 982650172 edges, 153914 markings/sec, 1960 secs
lola: 344662200 markings, 984870937 edges, 144352 markings/sec, 1965 secs
lola: 345287031 markings, 987141624 edges, 124966 markings/sec, 1970 secs
lola: 345954912 markings, 989347214 edges, 133576 markings/sec, 1975 secs
lola: 346649817 markings, 991600517 edges, 138981 markings/sec, 1980 secs
lola: 347274766 markings, 993959290 edges, 124990 markings/sec, 1985 secs
lola: 347861507 markings, 996382183 edges, 117348 markings/sec, 1990 secs
lola: 348463020 markings, 998948791 edges, 120303 markings/sec, 1995 secs
lola: 349048277 markings, 1001409110 edges, 117051 markings/sec, 2000 secs
lola: 349583387 markings, 1003787414 edges, 107022 markings/sec, 2005 secs
lola: 350096353 markings, 1006248729 edges, 102593 markings/sec, 2010 secs
lola: 350810900 markings, 1008631233 edges, 142909 markings/sec, 2015 secs
lola: 351502090 markings, 1010966516 edges, 138238 markings/sec, 2020 secs
lola: 352127923 markings, 1013239746 edges, 125167 markings/sec, 2025 secs
lola: 352985046 markings, 1015514606 edges, 171425 markings/sec, 2030 secs
lola: 353827668 markings, 1017633876 edges, 168524 markings/sec, 2035 secs
lola: 354805877 markings, 1019886693 edges, 195642 markings/sec, 2040 secs
lola: 355674834 markings, 1022060546 edges, 173791 markings/sec, 2045 secs
lola: 356475300 markings, 1024135853 edges, 160093 markings/sec, 2050 secs
lola: 357283881 markings, 1026256290 edges, 161716 markings/sec, 2055 secs
lola: 358279609 markings, 1028692513 edges, 199146 markings/sec, 2060 secs
lola: 359243872 markings, 1031168239 edges, 192853 markings/sec, 2065 secs
lola: 360194266 markings, 1033608182 edges, 190079 markings/sec, 2070 secs
lola: 361139982 markings, 1036110533 edges, 189143 markings/sec, 2075 secs
lola: 362049158 markings, 1038519379 edges, 181835 markings/sec, 2080 secs
lola: 362889057 markings, 1040958764 edges, 167980 markings/sec, 2085 secs
lola: 363737357 markings, 1043475684 edges, 169660 markings/sec, 2090 secs
lola: 364543645 markings, 1045972955 edges, 161258 markings/sec, 2095 secs
lola: 365436506 markings, 1048244661 edges, 178572 markings/sec, 2100 secs
lola: 366375758 markings, 1050513779 edges, 187850 markings/sec, 2105 secs
lola: 367183433 markings, 1052885486 edges, 161535 markings/sec, 2110 secs
lola: 368046142 markings, 1055211943 edges, 172542 markings/sec, 2115 secs
lola: 368873214 markings, 1057579099 edges, 165414 markings/sec, 2120 secs
lola: 369649358 markings, 1059956880 edges, 155229 markings/sec, 2125 secs
lola: 370381577 markings, 1062300058 edges, 146444 markings/sec, 2130 secs
lola: time limit reached - aborting
lola:
preliminary result: 20 10 10 20 20 20 10 20 unknown 10 unknown 10 10 10 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 20 10 10 20 20 20 10 20 unknown 10 unknown 10 10 10 unknown unknown

preliminary result: 20 10 10 20 20 20 10 20 unknown 10 unknown 10 10 10 unknown unknown
lola: memory consumption: 19720 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-10"
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 PermAdmissibility-PT-10, 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 r174-csrt-158987853500637"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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