Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r181-csrt-155344535200363.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-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-3954
Executing tool lola
Input is NoC3x3-PT-8A, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535200363
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 908K
-rw-r--r-- 1 mcc users 3.1K Mar 23 12:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.0K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.0K Mar 23 12:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 12:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 12:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 23 12:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 745K Mar 23 10:10 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-8A-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554500893994

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ NoC3x3-PT-8A @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ NoC3x3-PT-8A

{
"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": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Apr 5 21:48:14 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5099048,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 9691,
"conflict_clusters": 56,
"places": 317,
"places_significant": 251,
"singleton_clusters": 0,
"transitions": 4293
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
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: 4610/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 317
lola: finding significant places
lola: 317 places, 4293 transitions, 251 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 GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 40140 fired transitions, 0 secs || 30891 markings, 109674 edges, 6178 markings/sec, 0 secs
lola: 1 tries, 82610 fired transitions, 5 secs || 59911 markings, 210719 edges, 5804 markings/sec, 5 secs
lola: 1 tries, 122290 fired transitions, 10 secs || 88096 markings, 313099 edges, 5637 markings/sec, 10 secs
lola: 1 tries, 163052 fired transitions, 15 secs || 119607 markings, 443750 edges, 6302 markings/sec, 15 secs
lola: 1 tries, 208912 fired transitions, 20 secs || 152392 markings, 593745 edges, 6557 markings/sec, 20 secs
lola: 1 tries, 253386 fired transitions, 25 secs || 181119 markings, 700595 edges, 5745 markings/sec, 25 secs
lola: 1 tries, 295102 fired transitions, 30 secs || 209167 markings, 823324 edges, 5610 markings/sec, 30 secs
lola: 1 tries, 338496 fired transitions, 35 secs || 238510 markings, 967865 edges, 5869 markings/sec, 35 secs
lola: 1 tries, 383296 fired transitions, 40 secs || 270757 markings, 1095423 edges, 6449 markings/sec, 40 secs
lola: 1 tries, 421574 fired transitions, 45 secs || 307506 markings, 1300989 edges, 7350 markings/sec, 45 secs
lola: 1 tries, 463738 fired transitions, 50 secs || 344551 markings, 1505544 edges, 7409 markings/sec, 50 secs
lola: 1 tries, 502388 fired transitions, 55 secs || 382587 markings, 1704162 edges, 7607 markings/sec, 55 secs
lola: 1 tries, 540232 fired transitions, 60 secs || 417723 markings, 1905675 edges, 7027 markings/sec, 60 secs
lola: 1 tries, 579934 fired transitions, 65 secs || 459069 markings, 2114749 edges, 8269 markings/sec, 65 secs
lola: 1 tries, 619168 fired transitions, 70 secs || 501882 markings, 2364157 edges, 8563 markings/sec, 70 secs
lola: 1 tries, 659304 fired transitions, 75 secs || 544261 markings, 2570799 edges, 8476 markings/sec, 75 secs
lola: 1 tries, 698952 fired transitions, 80 secs || 583534 markings, 2807072 edges, 7855 markings/sec, 80 secs
lola: 1 tries, 738500 fired transitions, 85 secs || 623615 markings, 3045401 edges, 8016 markings/sec, 85 secs
lola: 1 tries, 773278 fired transitions, 90 secs || 658728 markings, 3241035 edges, 7023 markings/sec, 90 secs
lola: 1 tries, 814496 fired transitions, 95 secs || 702804 markings, 3485839 edges, 8815 markings/sec, 95 secs
lola: 1 tries, 854736 fired transitions, 100 secs || 750164 markings, 3760696 edges, 9472 markings/sec, 100 secs
lola: 1 tries, 895070 fired transitions, 105 secs || 799191 markings, 4041206 edges, 9805 markings/sec, 105 secs
lola: 1 tries, 937872 fired transitions, 110 secs || 847676 markings, 4339716 edges, 9697 markings/sec, 110 secs
lola: 1 tries, 982528 fired transitions, 115 secs || 896234 markings, 4639374 edges, 9712 markings/sec, 115 secs
lola: 2 tries, 1023940 fired transitions, 120 secs || 945946 markings, 4942360 edges, 9942 markings/sec, 120 secs
lola: 2 tries, 1071894 fired transitions, 125 secs || 992536 markings, 5241075 edges, 9318 markings/sec, 125 secs
lola: 2 tries, 1114650 fired transitions, 130 secs || 1043204 markings, 5560911 edges, 10134 markings/sec, 130 secs
lola: 2 tries, 1158500 fired transitions, 135 secs || 1095069 markings, 5832201 edges, 10373 markings/sec, 135 secs
lola: 2 tries, 1202340 fired transitions, 140 secs || 1146324 markings, 6123098 edges, 10251 markings/sec, 140 secs
lola: 2 tries, 1245360 fired transitions, 145 secs || 1193062 markings, 6395386 edges, 9348 markings/sec, 145 secs
lola: 2 tries, 1289928 fired transitions, 150 secs || 1238573 markings, 6655919 edges, 9102 markings/sec, 150 secs
lola: 2 tries, 1327468 fired transitions, 155 secs || 1285572 markings, 6898629 edges, 9400 markings/sec, 155 secs
lola: 2 tries, 1369556 fired transitions, 160 secs || 1331060 markings, 7065606 edges, 9098 markings/sec, 160 secs
lola: 2 tries, 1413158 fired transitions, 165 secs || 1378087 markings, 7239217 edges, 9405 markings/sec, 165 secs
lola: 2 tries, 1459228 fired transitions, 170 secs || 1423952 markings, 7407885 edges, 9173 markings/sec, 170 secs
lola: 2 tries, 1506976 fired transitions, 175 secs || 1472820 markings, 7581248 edges, 9774 markings/sec, 175 secs
lola: 2 tries, 1550458 fired transitions, 180 secs || 1519130 markings, 7724875 edges, 9262 markings/sec, 180 secs
lola: 2 tries, 1591316 fired transitions, 185 secs || 1567957 markings, 7881176 edges, 9765 markings/sec, 185 secs
lola: 2 tries, 1636218 fired transitions, 190 secs || 1612608 markings, 8046420 edges, 8930 markings/sec, 190 secs
lola: 2 tries, 1680456 fired transitions, 195 secs || 1647641 markings, 8165404 edges, 7007 markings/sec, 195 secs
lola: 2 tries, 1723820 fired transitions, 200 secs || 1679080 markings, 8269546 edges, 6288 markings/sec, 200 secs
lola: 2 tries, 1768200 fired transitions, 205 secs || 1713655 markings, 8393698 edges, 6915 markings/sec, 205 secs
lola: 2 tries, 1808892 fired transitions, 210 secs || 1748875 markings, 8576844 edges, 7044 markings/sec, 210 secs
lola: 2 tries, 1853150 fired transitions, 215 secs || 1782324 markings, 8739711 edges, 6690 markings/sec, 215 secs
lola: 2 tries, 1894796 fired transitions, 220 secs || 1818729 markings, 8838005 edges, 7281 markings/sec, 220 secs
lola: 2 tries, 1934410 fired transitions, 225 secs || 1855358 markings, 8945054 edges, 7326 markings/sec, 225 secs
lola: 2 tries, 1976756 fired transitions, 230 secs || 1894496 markings, 9051491 edges, 7828 markings/sec, 230 secs
lola: 3 tries, 2017612 fired transitions, 235 secs || 1930861 markings, 9163481 edges, 7273 markings/sec, 235 secs
lola: 3 tries, 2059922 fired transitions, 240 secs || 1970542 markings, 9291679 edges, 7936 markings/sec, 240 secs
lola: 3 tries, 2097512 fired transitions, 245 secs || 2011306 markings, 9431906 edges, 8153 markings/sec, 245 secs
lola: 3 tries, 2136076 fired transitions, 250 secs || 2050517 markings, 9556652 edges, 7842 markings/sec, 250 secs
lola: 3 tries, 2177302 fired transitions, 255 secs || 2093856 markings, 9717497 edges, 8668 markings/sec, 255 secs
lola: 3 tries, 2218744 fired transitions, 260 secs || 2133803 markings, 9851135 edges, 7989 markings/sec, 260 secs
lola: 3 tries, 2263076 fired transitions, 265 secs || 2175479 markings, 9980852 edges, 8335 markings/sec, 265 secs
lola: 3 tries, 2310166 fired transitions, 270 secs || 2220184 markings, 10136448 edges, 8941 markings/sec, 270 secs
lola: 3 tries, 2354268 fired transitions, 275 secs || 2262813 markings, 10286697 edges, 8526 markings/sec, 275 secs
lola: 3 tries, 2396508 fired transitions, 280 secs || 2304430 markings, 10428741 edges, 8323 markings/sec, 280 secs
lola: 3 tries, 2442374 fired transitions, 285 secs || 2342378 markings, 10544299 edges, 7590 markings/sec, 285 secs
lola: 3 tries, 2489330 fired transitions, 290 secs || 2387828 markings, 10668918 edges, 9090 markings/sec, 290 secs
lola: 3 tries, 2536976 fired transitions, 295 secs || 2428146 markings, 10800336 edges, 8064 markings/sec, 295 secs
lola: 3 tries, 2582880 fired transitions, 300 secs || 2477065 markings, 10977243 edges, 9784 markings/sec, 300 secs
lola: 3 tries, 2626734 fired transitions, 305 secs || 2521952 markings, 11156889 edges, 8977 markings/sec, 305 secs
lola: 3 tries, 2671660 fired transitions, 310 secs || 2563327 markings, 11338756 edges, 8275 markings/sec, 310 secs
lola: 3 tries, 2713212 fired transitions, 315 secs || 2602314 markings, 11484708 edges, 7797 markings/sec, 315 secs
lola: 3 tries, 2757324 fired transitions, 320 secs || 2640238 markings, 11653941 edges, 7585 markings/sec, 320 secs
lola: 3 tries, 2803400 fired transitions, 325 secs || 2685301 markings, 11801181 edges, 9013 markings/sec, 325 secs
lola: 3 tries, 2849104 fired transitions, 330 secs || 2731414 markings, 11943911 edges, 9223 markings/sec, 330 secs
lola: 3 tries, 2894598 fired transitions, 335 secs || 2772310 markings, 12075209 edges, 8179 markings/sec, 335 secs
lola: 3 tries, 2938368 fired transitions, 340 secs || 2816762 markings, 12220936 edges, 8890 markings/sec, 340 secs
lola: 3 tries, 2985284 fired transitions, 345 secs || 2857308 markings, 12332830 edges, 8109 markings/sec, 345 secs
lola: 4 tries, 3027906 fired transitions, 350 secs || 2905683 markings, 12492408 edges, 9675 markings/sec, 350 secs
lola: 4 tries, 3072014 fired transitions, 355 secs || 2947637 markings, 12623531 edges, 8391 markings/sec, 355 secs
lola: 4 tries, 3114932 fired transitions, 360 secs || 2988251 markings, 12756185 edges, 8123 markings/sec, 360 secs
lola: 4 tries, 3155922 fired transitions, 365 secs || 3028609 markings, 12892565 edges, 8072 markings/sec, 365 secs
lola: 4 tries, 3201458 fired transitions, 370 secs || 3071335 markings, 13023795 edges, 8545 markings/sec, 370 secs
lola: 4 tries, 3245670 fired transitions, 375 secs || 3112525 markings, 13130734 edges, 8238 markings/sec, 375 secs
lola: 4 tries, 3287600 fired transitions, 380 secs || 3154280 markings, 13281600 edges, 8351 markings/sec, 380 secs
lola: 4 tries, 3328726 fired transitions, 385 secs || 3197362 markings, 13443646 edges, 8616 markings/sec, 385 secs
lola: 4 tries, 3373482 fired transitions, 390 secs || 3241808 markings, 13591840 edges, 8889 markings/sec, 390 secs
lola: 4 tries, 3414902 fired transitions, 395 secs || 3286633 markings, 13729624 edges, 8965 markings/sec, 395 secs
lola: 4 tries, 3458560 fired transitions, 400 secs || 3325758 markings, 13828042 edges, 7825 markings/sec, 400 secs
lola: 4 tries, 3498126 fired transitions, 405 secs || 3364381 markings, 13933316 edges, 7725 markings/sec, 405 secs
lola: 4 tries, 3543672 fired transitions, 410 secs || 3410125 markings, 14078279 edges, 9149 markings/sec, 410 secs
lola: 4 tries, 3586922 fired transitions, 415 secs || 3446206 markings, 14177245 edges, 7216 markings/sec, 415 secs
lola: 4 tries, 3632098 fired transitions, 420 secs || 3487369 markings, 14306408 edges, 8233 markings/sec, 420 secs
lola: 4 tries, 3673548 fired transitions, 425 secs || 3522762 markings, 14400964 edges, 7079 markings/sec, 425 secs
lola: 4 tries, 3715174 fired transitions, 430 secs || 3561590 markings, 14533056 edges, 7766 markings/sec, 430 secs
lola: 4 tries, 3756484 fired transitions, 435 secs || 3602826 markings, 14680802 edges, 8247 markings/sec, 435 secs
lola: 4 tries, 3800290 fired transitions, 440 secs || 3640489 markings, 14803225 edges, 7533 markings/sec, 440 secs
lola: 4 tries, 3840234 fired transitions, 445 secs || 3677418 markings, 14919628 edges, 7386 markings/sec, 445 secs
lola: 4 tries, 3883256 fired transitions, 450 secs || 3719789 markings, 15072551 edges, 8474 markings/sec, 450 secs
lola: 4 tries, 3922432 fired transitions, 455 secs || 3759767 markings, 15228665 edges, 7996 markings/sec, 455 secs
lola: 4 tries, 3966076 fired transitions, 460 secs || 3795411 markings, 15360849 edges, 7129 markings/sec, 460 secs
lola: 5 tries, 4007242 fired transitions, 465 secs || 3833314 markings, 15495546 edges, 7581 markings/sec, 465 secs
lola: 5 tries, 4048528 fired transitions, 470 secs || 3875002 markings, 15653829 edges, 8338 markings/sec, 470 secs
lola: 5 tries, 4091854 fired transitions, 475 secs || 3915087 markings, 15797613 edges, 8017 markings/sec, 475 secs
lola: 5 tries, 4135400 fired transitions, 480 secs || 3955243 markings, 15925683 edges, 8031 markings/sec, 480 secs
lola: 5 tries, 4179334 fired transitions, 485 secs || 3994966 markings, 16060318 edges, 7945 markings/sec, 485 secs
lola: 5 tries, 4221580 fired transitions, 490 secs || 4036039 markings, 16201098 edges, 8215 markings/sec, 490 secs
lola: 5 tries, 4264574 fired transitions, 495 secs || 4073820 markings, 16325771 edges, 7556 markings/sec, 495 secs
lola: 5 tries, 4305776 fired transitions, 500 secs || 4112027 markings, 16488083 edges, 7641 markings/sec, 500 secs
lola: 5 tries, 4345752 fired transitions, 505 secs || 4150171 markings, 16634751 edges, 7629 markings/sec, 505 secs
lola: 5 tries, 4386010 fired transitions, 510 secs || 4195379 markings, 16817817 edges, 9042 markings/sec, 510 secs
lola: 5 tries, 4427788 fired transitions, 515 secs || 4235393 markings, 17000863 edges, 8003 markings/sec, 515 secs
lola: 5 tries, 4468080 fired transitions, 520 secs || 4271576 markings, 17129883 edges, 7237 markings/sec, 520 secs
lola: 5 tries, 4512832 fired transitions, 525 secs || 4306228 markings, 17284002 edges, 6930 markings/sec, 525 secs
lola: 5 tries, 4553064 fired transitions, 530 secs || 4339350 markings, 17435168 edges, 6624 markings/sec, 530 secs
lola: 5 tries, 4591828 fired transitions, 535 secs || 4375670 markings, 17587433 edges, 7264 markings/sec, 535 secs
lola: 5 tries, 4632478 fired transitions, 540 secs || 4409189 markings, 17728520 edges, 6704 markings/sec, 540 secs
lola: 5 tries, 4674776 fired transitions, 545 secs || 4440590 markings, 17871553 edges, 6280 markings/sec, 545 secs
lola: 5 tries, 4715834 fired transitions, 550 secs || 4472938 markings, 18018753 edges, 6470 markings/sec, 550 secs
lola: 5 tries, 4758680 fired transitions, 555 secs || 4509928 markings, 18185360 edges, 7398 markings/sec, 555 secs
lola: 5 tries, 4803034 fired transitions, 560 secs || 4546282 markings, 18331157 edges, 7271 markings/sec, 560 secs
lola: 5 tries, 4844332 fired transitions, 565 secs || 4581618 markings, 18481609 edges, 7067 markings/sec, 565 secs
lola: 5 tries, 4883478 fired transitions, 570 secs || 4615851 markings, 18641581 edges, 6847 markings/sec, 570 secs
lola: 5 tries, 4926890 fired transitions, 575 secs || 4656925 markings, 18805729 edges, 8215 markings/sec, 575 secs
lola: 5 tries, 4968340 fired transitions, 580 secs || 4700372 markings, 19050095 edges, 8689 markings/sec, 580 secs
lola: 6 tries, 5011372 fired transitions, 585 secs || 4747527 markings, 19338528 edges, 9431 markings/sec, 585 secs
lola: 6 tries, 5051422 fired transitions, 590 secs || 4799984 markings, 19642828 edges, 10491 markings/sec, 590 secs
lola: 6 tries, 5089910 fired transitions, 595 secs || 4850586 markings, 19955172 edges, 10120 markings/sec, 595 secs
lola: 6 tries, 5127518 fired transitions, 600 secs || 4901777 markings, 20257023 edges, 10238 markings/sec, 600 secs
lola: 6 tries, 5167302 fired transitions, 605 secs || 4954881 markings, 20577319 edges, 10621 markings/sec, 605 secs
lola: 6 tries, 5209982 fired transitions, 610 secs || 5011192 markings, 20907829 edges, 11262 markings/sec, 610 secs
lola: 6 tries, 5251588 fired transitions, 615 secs || 5063131 markings, 21225216 edges, 10388 markings/sec, 615 secs
lola: 6 tries, 5297168 fired transitions, 620 secs || 5113267 markings, 21519711 edges, 10027 markings/sec, 620 secs
lola: 6 tries, 5337800 fired transitions, 625 secs || 5167551 markings, 21833453 edges, 10857 markings/sec, 625 secs
lola: 6 tries, 5376350 fired transitions, 630 secs || 5213453 markings, 22105472 edges, 9180 markings/sec, 630 secs
lola: 6 tries, 5415772 fired transitions, 635 secs || 5262390 markings, 22395782 edges, 9787 markings/sec, 635 secs
lola: 6 tries, 5457120 fired transitions, 640 secs || 5295295 markings, 22506520 edges, 6581 markings/sec, 640 secs
lola: 6 tries, 5497136 fired transitions, 645 secs || 5327895 markings, 22611552 edges, 6520 markings/sec, 645 secs
lola: 6 tries, 5534672 fired transitions, 650 secs || 5362152 markings, 22721506 edges, 6851 markings/sec, 650 secs
lola: 6 tries, 5571348 fired transitions, 655 secs || 5395734 markings, 22827703 edges, 6716 markings/sec, 655 secs
lola: 6 tries, 5611860 fired transitions, 660 secs || 5431924 markings, 22938728 edges, 7238 markings/sec, 660 secs
lola: 6 tries, 5653396 fired transitions, 665 secs || 5465278 markings, 23048799 edges, 6671 markings/sec, 665 secs
lola: 6 tries, 5692660 fired transitions, 670 secs || 5495864 markings, 23160773 edges, 6117 markings/sec, 670 secs
lola: 6 tries, 5733310 fired transitions, 675 secs || 5526190 markings, 23266467 edges, 6065 markings/sec, 675 secs
lola: 6 tries, 5770242 fired transitions, 680 secs || 5555157 markings, 23369327 edges, 5793 markings/sec, 680 secs
lola: 6 tries, 5807248 fired transitions, 685 secs || 5584233 markings, 23474085 edges, 5815 markings/sec, 685 secs
lola: 6 tries, 5843818 fired transitions, 690 secs || 5613710 markings, 23578240 edges, 5895 markings/sec, 690 secs
lola: 6 tries, 5881856 fired transitions, 695 secs || 5643441 markings, 23693578 edges, 5946 markings/sec, 695 secs
lola: 6 tries, 5919442 fired transitions, 700 secs || 5674245 markings, 23812311 edges, 6161 markings/sec, 700 secs
lola: 6 tries, 5960404 fired transitions, 705 secs || 5703697 markings, 23942590 edges, 5890 markings/sec, 705 secs
lola: 6 tries, 5998284 fired transitions, 710 secs || 5733120 markings, 24069595 edges, 5885 markings/sec, 710 secs
lola: 7 tries, 6032998 fired transitions, 715 secs || 5770794 markings, 24272523 edges, 7535 markings/sec, 715 secs
lola: 7 tries, 6070160 fired transitions, 720 secs || 5809333 markings, 24487200 edges, 7708 markings/sec, 720 secs
lola: 7 tries, 6105278 fired transitions, 725 secs || 5847153 markings, 24699797 edges, 7564 markings/sec, 725 secs
lola: 7 tries, 6142126 fired transitions, 730 secs || 5878887 markings, 24868674 edges, 6347 markings/sec, 730 secs
lola: 7 tries, 6178982 fired transitions, 735 secs || 5912902 markings, 25053983 edges, 6803 markings/sec, 735 secs
lola: 7 tries, 6217022 fired transitions, 740 secs || 5952080 markings, 25276011 edges, 7836 markings/sec, 740 secs
lola: 7 tries, 6252426 fired transitions, 745 secs || 5994901 markings, 25524922 edges, 8564 markings/sec, 745 secs
lola: 7 tries, 6286926 fired transitions, 750 secs || 6034204 markings, 25704937 edges, 7861 markings/sec, 750 secs
lola: 7 tries, 6322110 fired transitions, 755 secs || 6072882 markings, 25869493 edges, 7736 markings/sec, 755 secs
lola: 7 tries, 6356748 fired transitions, 760 secs || 6111933 markings, 26038322 edges, 7810 markings/sec, 760 secs
lola: 7 tries, 6393586 fired transitions, 765 secs || 6153004 markings, 26220240 edges, 8214 markings/sec, 765 secs
lola: 7 tries, 6429399 fired transitions, 770 secs || 6191383 markings, 26392830 edges, 7676 markings/sec, 770 secs
lola: 7 tries, 6465252 fired transitions, 775 secs || 6233366 markings, 26565303 edges, 8397 markings/sec, 775 secs
lola: 7 tries, 6502602 fired transitions, 780 secs || 6271827 markings, 26712544 edges, 7692 markings/sec, 780 secs
lola: 7 tries, 6541552 fired transitions, 785 secs || 6305724 markings, 26849734 edges, 6779 markings/sec, 785 secs
lola: 7 tries, 6579492 fired transitions, 790 secs || 6343814 markings, 27004872 edges, 7618 markings/sec, 790 secs
lola: 7 tries, 6614192 fired transitions, 795 secs || 6379291 markings, 27126798 edges, 7095 markings/sec, 795 secs
lola: 7 tries, 6647928 fired transitions, 800 secs || 6411535 markings, 27240262 edges, 6449 markings/sec, 800 secs
lola: 7 tries, 6679886 fired transitions, 805 secs || 6445597 markings, 27351764 edges, 6812 markings/sec, 805 secs
lola: 7 tries, 6718586 fired transitions, 810 secs || 6477468 markings, 27460498 edges, 6374 markings/sec, 810 secs
lola: 7 tries, 6753502 fired transitions, 815 secs || 6510184 markings, 27560495 edges, 6543 markings/sec, 815 secs
lola: 7 tries, 6790776 fired transitions, 820 secs || 6542623 markings, 27677181 edges, 6488 markings/sec, 820 secs
lola: 7 tries, 6826826 fired transitions, 825 secs || 6576921 markings, 27811337 edges, 6860 markings/sec, 825 secs
lola: 7 tries, 6861114 fired transitions, 830 secs || 6608894 markings, 27917478 edges, 6395 markings/sec, 830 secs
lola: 7 tries, 6898028 fired transitions, 835 secs || 6642192 markings, 28041849 edges, 6660 markings/sec, 835 secs
lola: 7 tries, 6931450 fired transitions, 840 secs || 6678753 markings, 28167646 edges, 7312 markings/sec, 840 secs
lola: 7 tries, 6968170 fired transitions, 845 secs || 6710249 markings, 28282221 edges, 6299 markings/sec, 845 secs
lola: 8 tries, 7006172 fired transitions, 850 secs || 6740916 markings, 28375274 edges, 6133 markings/sec, 850 secs
lola: 8 tries, 7038612 fired transitions, 855 secs || 6773637 markings, 28487365 edges, 6544 markings/sec, 855 secs
lola: 8 tries, 7074414 fired transitions, 860 secs || 6805800 markings, 28599075 edges, 6433 markings/sec, 860 secs
lola: 8 tries, 7112152 fired transitions, 865 secs || 6840043 markings, 28718058 edges, 6849 markings/sec, 865 secs
lola: 8 tries, 7147760 fired transitions, 870 secs || 6875898 markings, 28847613 edges, 7171 markings/sec, 870 secs
lola: 8 tries, 7187482 fired transitions, 875 secs || 6914968 markings, 29000082 edges, 7814 markings/sec, 875 secs
lola: 8 tries, 7222814 fired transitions, 880 secs || 6943644 markings, 29086748 edges, 5735 markings/sec, 880 secs
lola: 8 tries, 7258398 fired transitions, 885 secs || 6973255 markings, 29180898 edges, 5922 markings/sec, 885 secs
lola: 8 tries, 7293466 fired transitions, 890 secs || 7003613 markings, 29278264 edges, 6072 markings/sec, 890 secs
lola: 8 tries, 7329420 fired transitions, 895 secs || 7034837 markings, 29381761 edges, 6245 markings/sec, 895 secs
lola: 8 tries, 7365696 fired transitions, 900 secs || 7066626 markings, 29487695 edges, 6358 markings/sec, 900 secs
lola: 8 tries, 7402632 fired transitions, 905 secs || 7097637 markings, 29585716 edges, 6202 markings/sec, 905 secs
lola: 8 tries, 7438932 fired transitions, 910 secs || 7129130 markings, 29692863 edges, 6299 markings/sec, 910 secs
lola: 8 tries, 7474200 fired transitions, 915 secs || 7157277 markings, 29789947 edges, 5629 markings/sec, 915 secs
lola: 8 tries, 7509640 fired transitions, 920 secs || 7184355 markings, 29870805 edges, 5416 markings/sec, 920 secs
lola: 8 tries, 7544346 fired transitions, 925 secs || 7210308 markings, 29951048 edges, 5191 markings/sec, 925 secs
lola: 8 tries, 7583442 fired transitions, 930 secs || 7243809 markings, 30062453 edges, 6700 markings/sec, 930 secs
lola: 8 tries, 7616644 fired transitions, 935 secs || 7274812 markings, 30167612 edges, 6201 markings/sec, 935 secs
lola: 8 tries, 7651040 fired transitions, 940 secs || 7304940 markings, 30276558 edges, 6026 markings/sec, 940 secs
lola: 8 tries, 7685646 fired transitions, 945 secs || 7336138 markings, 30382508 edges, 6240 markings/sec, 945 secs
lola: 8 tries, 7720276 fired transitions, 950 secs || 7361371 markings, 30469880 edges, 5047 markings/sec, 950 secs
lola: 8 tries, 7756158 fired transitions, 955 secs || 7390259 markings, 30565405 edges, 5778 markings/sec, 955 secs
lola: 8 tries, 7792068 fired transitions, 960 secs || 7420412 markings, 30662657 edges, 6031 markings/sec, 960 secs
lola: 8 tries, 7827890 fired transitions, 965 secs || 7451706 markings, 30766236 edges, 6259 markings/sec, 965 secs
lola: 8 tries, 7861798 fired transitions, 970 secs || 7481363 markings, 30863887 edges, 5931 markings/sec, 970 secs
lola: 8 tries, 7897636 fired transitions, 975 secs || 7514005 markings, 30991189 edges, 6528 markings/sec, 975 secs
lola: 8 tries, 7933390 fired transitions, 980 secs || 7545622 markings, 31113904 edges, 6323 markings/sec, 980 secs
lola: 8 tries, 7969598 fired transitions, 985 secs || 7576639 markings, 31219781 edges, 6203 markings/sec, 985 secs
lola: 9 tries, 8004006 fired transitions, 990 secs || 7602083 markings, 31304217 edges, 5089 markings/sec, 990 secs
lola: 9 tries, 8039074 fired transitions, 995 secs || 7629647 markings, 31399159 edges, 5513 markings/sec, 995 secs
lola: 9 tries, 8072128 fired transitions, 1000 secs || 7654781 markings, 31477674 edges, 5027 markings/sec, 1000 secs
lola: 9 tries, 8104810 fired transitions, 1005 secs || 7678977 markings, 31552199 edges, 4839 markings/sec, 1005 secs
lola: 9 tries, 8139698 fired transitions, 1010 secs || 7703750 markings, 31628453 edges, 4955 markings/sec, 1010 secs
lola: 9 tries, 8174088 fired transitions, 1015 secs || 7730038 markings, 31711778 edges, 5258 markings/sec, 1015 secs
lola: 9 tries, 8209128 fired transitions, 1020 secs || 7757093 markings, 31795322 edges, 5411 markings/sec, 1020 secs
lola: 9 tries, 8245390 fired transitions, 1025 secs || 7786761 markings, 31901853 edges, 5934 markings/sec, 1025 secs
lola: 9 tries, 8280098 fired transitions, 1030 secs || 7826347 markings, 32089216 edges, 7917 markings/sec, 1030 secs
lola: 9 tries, 8313786 fired transitions, 1035 secs || 7864366 markings, 32271407 edges, 7604 markings/sec, 1035 secs
lola: 9 tries, 8350528 fired transitions, 1040 secs || 7896788 markings, 32397275 edges, 6484 markings/sec, 1040 secs
lola: 9 tries, 8382572 fired transitions, 1045 secs || 7927033 markings, 32505180 edges, 6049 markings/sec, 1045 secs
lola: 9 tries, 8416524 fired transitions, 1050 secs || 7958011 markings, 32608297 edges, 6196 markings/sec, 1050 secs
lola: 9 tries, 8450048 fired transitions, 1055 secs || 7986726 markings, 32706874 edges, 5743 markings/sec, 1055 secs
lola: 9 tries, 8483456 fired transitions, 1060 secs || 8015707 markings, 32794818 edges, 5796 markings/sec, 1060 secs
lola: 9 tries, 8517270 fired transitions, 1065 secs || 8046829 markings, 32899562 edges, 6224 markings/sec, 1065 secs
lola: 9 tries, 8551178 fired transitions, 1070 secs || 8072104 markings, 32967977 edges, 5055 markings/sec, 1070 secs
lola: 9 tries, 8586074 fired transitions, 1075 secs || 8100433 markings, 33054039 edges, 5666 markings/sec, 1075 secs
lola: 9 tries, 8619286 fired transitions, 1080 secs || 8131029 markings, 33157071 edges, 6119 markings/sec, 1080 secs
lola: 9 tries, 8653348 fired transitions, 1085 secs || 8162829 markings, 33273033 edges, 6360 markings/sec, 1085 secs
lola: 9 tries, 8687840 fired transitions, 1090 secs || 8190990 markings, 33383881 edges, 5632 markings/sec, 1090 secs
lola: 9 tries, 8721432 fired transitions, 1095 secs || 8220272 markings, 33484620 edges, 5856 markings/sec, 1095 secs
lola: 9 tries, 8754174 fired transitions, 1100 secs || 8247064 markings, 33568589 edges, 5358 markings/sec, 1100 secs
lola: 9 tries, 8788820 fired transitions, 1105 secs || 8282715 markings, 33692887 edges, 7130 markings/sec, 1105 secs
lola: 9 tries, 8821958 fired transitions, 1110 secs || 8316556 markings, 33814762 edges, 6768 markings/sec, 1110 secs
lola: 9 tries, 8856744 fired transitions, 1115 secs || 8345320 markings, 33934206 edges, 5753 markings/sec, 1115 secs
lola: 9 tries, 8893388 fired transitions, 1120 secs || 8376087 markings, 34033702 edges, 6153 markings/sec, 1120 secs
lola: 9 tries, 8927566 fired transitions, 1125 secs || 8404192 markings, 34144758 edges, 5621 markings/sec, 1125 secs
lola: 9 tries, 8963204 fired transitions, 1130 secs || 8429629 markings, 34220670 edges, 5087 markings/sec, 1130 secs
lola: 9 tries, 8995536 fired transitions, 1135 secs || 8455626 markings, 34308290 edges, 5199 markings/sec, 1135 secs
lola: 10 tries, 9026952 fired transitions, 1140 secs || 8482627 markings, 34390039 edges, 5400 markings/sec, 1140 secs
lola: 10 tries, 9060182 fired transitions, 1145 secs || 8509180 markings, 34481491 edges, 5311 markings/sec, 1145 secs
lola: 10 tries, 9093314 fired transitions, 1150 secs || 8537266 markings, 34578968 edges, 5617 markings/sec, 1150 secs
lola: 10 tries, 9124900 fired transitions, 1155 secs || 8562072 markings, 34660927 edges, 4961 markings/sec, 1155 secs
lola: 10 tries, 9158290 fired transitions, 1160 secs || 8591853 markings, 34759234 edges, 5956 markings/sec, 1160 secs
lola: 10 tries, 9192798 fired transitions, 1165 secs || 8621313 markings, 34866129 edges, 5892 markings/sec, 1165 secs
lola: 10 tries, 9225950 fired transitions, 1170 secs || 8648896 markings, 34972213 edges, 5517 markings/sec, 1170 secs
lola: 10 tries, 9261320 fired transitions, 1175 secs || 8675109 markings, 35052971 edges, 5243 markings/sec, 1175 secs
lola: 10 tries, 9295568 fired transitions, 1180 secs || 8703596 markings, 35152231 edges, 5697 markings/sec, 1180 secs
lola: 10 tries, 9333988 fired transitions, 1185 secs || 8730955 markings, 35235857 edges, 5472 markings/sec, 1185 secs
lola: 10 tries, 9369534 fired transitions, 1190 secs || 8760123 markings, 35334296 edges, 5834 markings/sec, 1190 secs
lola: 10 tries, 9406952 fired transitions, 1195 secs || 8797085 markings, 35457495 edges, 7392 markings/sec, 1195 secs
lola: 10 tries, 9443684 fired transitions, 1200 secs || 8831526 markings, 35584518 edges, 6888 markings/sec, 1200 secs
lola: 10 tries, 9482992 fired transitions, 1205 secs || 8868953 markings, 35726345 edges, 7485 markings/sec, 1205 secs
lola: 10 tries, 9517678 fired transitions, 1210 secs || 8909023 markings, 35881339 edges, 8014 markings/sec, 1210 secs
lola: 10 tries, 9556024 fired transitions, 1215 secs || 8940610 markings, 35978012 edges, 6317 markings/sec, 1215 secs
lola: 10 tries, 9598688 fired transitions, 1220 secs || 8983683 markings, 36154836 edges, 8615 markings/sec, 1220 secs
lola: 10 tries, 9636283 fired transitions, 1225 secs || 9028055 markings, 36350867 edges, 8874 markings/sec, 1225 secs
lola: 10 tries, 9674626 fired transitions, 1230 secs || 9072070 markings, 36524800 edges, 8803 markings/sec, 1230 secs
lola: 10 tries, 9716142 fired transitions, 1235 secs || 9112471 markings, 36664758 edges, 8080 markings/sec, 1235 secs
lola: 10 tries, 9756604 fired transitions, 1240 secs || 9143192 markings, 36771527 edges, 6144 markings/sec, 1240 secs
lola: 10 tries, 9793260 fired transitions, 1245 secs || 9174174 markings, 36864632 edges, 6196 markings/sec, 1245 secs
lola: 10 tries, 9831144 fired transitions, 1250 secs || 9203834 markings, 36959819 edges, 5932 markings/sec, 1250 secs
lola: 10 tries, 9869244 fired transitions, 1255 secs || 9234254 markings, 37059082 edges, 6084 markings/sec, 1255 secs
lola: 10 tries, 9905640 fired transitions, 1260 secs || 9267360 markings, 37176902 edges, 6621 markings/sec, 1260 secs
lola: 10 tries, 9947122 fired transitions, 1265 secs || 9297505 markings, 37272092 edges, 6029 markings/sec, 1265 secs
lola: 10 tries, 9986900 fired transitions, 1270 secs || 9328992 markings, 37392871 edges, 6297 markings/sec, 1270 secs
lola: 11 tries, 10022504 fired transitions, 1275 secs || 9364005 markings, 37507905 edges, 7003 markings/sec, 1275 secs
lola: 11 tries, 10058436 fired transitions, 1280 secs || 9414066 markings, 37729949 edges, 10012 markings/sec, 1280 secs
lola: 11 tries, 10101916 fired transitions, 1285 secs || 9455394 markings, 37944388 edges, 8266 markings/sec, 1285 secs
lola: 11 tries, 10148316 fired transitions, 1290 secs || 9496532 markings, 38130859 edges, 8228 markings/sec, 1290 secs
lola: 11 tries, 10189006 fired transitions, 1295 secs || 9535792 markings, 38274226 edges, 7852 markings/sec, 1295 secs
lola: 11 tries, 10230872 fired transitions, 1300 secs || 9581172 markings, 38480417 edges, 9076 markings/sec, 1300 secs
lola: 11 tries, 10268820 fired transitions, 1305 secs || 9628411 markings, 38704043 edges, 9448 markings/sec, 1305 secs
lola: 11 tries, 10310508 fired transitions, 1310 secs || 9672523 markings, 38879372 edges, 8822 markings/sec, 1310 secs
lola: 11 tries, 10353678 fired transitions, 1315 secs || 9710018 markings, 39091441 edges, 7499 markings/sec, 1315 secs
lola: 11 tries, 10395440 fired transitions, 1320 secs || 9745871 markings, 39258238 edges, 7171 markings/sec, 1320 secs
lola: 11 tries, 10437810 fired transitions, 1325 secs || 9786654 markings, 39420077 edges, 8157 markings/sec, 1325 secs
lola: 11 tries, 10474398 fired transitions, 1330 secs || 9829475 markings, 39588306 edges, 8564 markings/sec, 1330 secs
lola: 11 tries, 10519166 fired transitions, 1335 secs || 9871082 markings, 39748245 edges, 8321 markings/sec, 1335 secs
lola: 11 tries, 10558608 fired transitions, 1340 secs || 9923250 markings, 40018593 edges, 10434 markings/sec, 1340 secs
lola: 11 tries, 10601052 fired transitions, 1345 secs || 9968595 markings, 40209824 edges, 9069 markings/sec, 1345 secs
lola: 11 tries, 10650302 fired transitions, 1350 secs || 10011739 markings, 40388005 edges, 8629 markings/sec, 1350 secs
lola: 11 tries, 10690048 fired transitions, 1355 secs || 10054588 markings, 40569738 edges, 8570 markings/sec, 1355 secs
lola: 11 tries, 10735970 fired transitions, 1360 secs || 10096434 markings, 40729685 edges, 8369 markings/sec, 1360 secs
lola: 11 tries, 10776454 fired transitions, 1365 secs || 10144945 markings, 40928495 edges, 9702 markings/sec, 1365 secs
lola: 11 tries, 10814430 fired transitions, 1370 secs || 10188069 markings, 41120457 edges, 8625 markings/sec, 1370 secs
lola: 11 tries, 10858522 fired transitions, 1375 secs || 10230485 markings, 41327679 edges, 8483 markings/sec, 1375 secs
lola: 11 tries, 10903738 fired transitions, 1380 secs || 10272993 markings, 41527779 edges, 8502 markings/sec, 1380 secs
lola: 11 tries, 10949022 fired transitions, 1385 secs || 10317062 markings, 41737626 edges, 8814 markings/sec, 1385 secs
lola: 11 tries, 10996982 fired transitions, 1390 secs || 10364981 markings, 41947264 edges, 9584 markings/sec, 1390 secs
lola: 12 tries, 11046038 fired transitions, 1395 secs || 10407837 markings, 42128107 edges, 8571 markings/sec, 1395 secs
lola: 12 tries, 11091940 fired transitions, 1400 secs || 10447915 markings, 42285813 edges, 8016 markings/sec, 1400 secs
lola: 12 tries, 11141892 fired transitions, 1405 secs || 10493721 markings, 42486090 edges, 9161 markings/sec, 1405 secs
lola: 12 tries, 11189302 fired transitions, 1410 secs || 10538527 markings, 42712706 edges, 8961 markings/sec, 1410 secs
lola: 12 tries, 11233264 fired transitions, 1415 secs || 10582582 markings, 42920739 edges, 8811 markings/sec, 1415 secs
lola: 12 tries, 11275464 fired transitions, 1420 secs || 10623820 markings, 43096376 edges, 8248 markings/sec, 1420 secs
lola: 12 tries, 11316106 fired transitions, 1425 secs || 10665284 markings, 43296803 edges, 8293 markings/sec, 1425 secs
lola: 12 tries, 11360262 fired transitions, 1430 secs || 10708781 markings, 43499197 edges, 8699 markings/sec, 1430 secs
lola: 12 tries, 11402882 fired transitions, 1435 secs || 10755601 markings, 43703000 edges, 9364 markings/sec, 1435 secs
lola: 12 tries, 11444008 fired transitions, 1440 secs || 10800619 markings, 43900633 edges, 9004 markings/sec, 1440 secs
lola: 12 tries, 11485074 fired transitions, 1445 secs || 10841556 markings, 44082095 edges, 8187 markings/sec, 1445 secs
lola: 12 tries, 11523608 fired transitions, 1450 secs || 10884798 markings, 44267564 edges, 8648 markings/sec, 1450 secs
lola: 12 tries, 11565060 fired transitions, 1455 secs || 10929267 markings, 44502669 edges, 8894 markings/sec, 1455 secs
lola: 12 tries, 11601580 fired transitions, 1460 secs || 10966633 markings, 44684064 edges, 7473 markings/sec, 1460 secs
lola: 12 tries, 11646524 fired transitions, 1465 secs || 11007612 markings, 44869287 edges, 8196 markings/sec, 1465 secs
lola: 12 tries, 11684358 fired transitions, 1470 secs || 11047705 markings, 45053654 edges, 8019 markings/sec, 1470 secs
lola: 12 tries, 11727548 fired transitions, 1475 secs || 11090247 markings, 45241119 edges, 8508 markings/sec, 1475 secs
lola: 12 tries, 11770886 fired transitions, 1480 secs || 11133681 markings, 45454209 edges, 8687 markings/sec, 1480 secs
lola: 12 tries, 11810852 fired transitions, 1485 secs || 11181039 markings, 45680495 edges, 9472 markings/sec, 1485 secs
lola: 12 tries, 11856198 fired transitions, 1490 secs || 11220164 markings, 45871005 edges, 7825 markings/sec, 1490 secs
lola: 12 tries, 11899352 fired transitions, 1495 secs || 11258640 markings, 46057714 edges, 7695 markings/sec, 1495 secs
lola: 12 tries, 11941638 fired transitions, 1500 secs || 11301765 markings, 46274254 edges, 8625 markings/sec, 1500 secs
lola: 12 tries, 11986612 fired transitions, 1505 secs || 11346818 markings, 46472783 edges, 9011 markings/sec, 1505 secs
lola: 13 tries, 12028656 fired transitions, 1510 secs || 11392330 markings, 46676634 edges, 9102 markings/sec, 1510 secs
lola: 13 tries, 12073766 fired transitions, 1515 secs || 11438346 markings, 46879386 edges, 9203 markings/sec, 1515 secs
lola: 13 tries, 12109834 fired transitions, 1520 secs || 11483602 markings, 47095909 edges, 9051 markings/sec, 1520 secs
lola: 13 tries, 12156436 fired transitions, 1525 secs || 11524515 markings, 47300960 edges, 8183 markings/sec, 1525 secs
lola: 13 tries, 12203516 fired transitions, 1530 secs || 11565047 markings, 47494525 edges, 8106 markings/sec, 1530 secs
lola: 13 tries, 12247732 fired transitions, 1535 secs || 11607963 markings, 47698757 edges, 8583 markings/sec, 1535 secs
lola: 13 tries, 12287660 fired transitions, 1540 secs || 11652286 markings, 47933386 edges, 8865 markings/sec, 1540 secs
lola: 13 tries, 12329010 fired transitions, 1545 secs || 11691619 markings, 48113299 edges, 7867 markings/sec, 1545 secs
lola: 13 tries, 12371880 fired transitions, 1550 secs || 11731559 markings, 48309173 edges, 7988 markings/sec, 1550 secs
lola: 13 tries, 12415272 fired transitions, 1555 secs || 11773271 markings, 48509891 edges, 8342 markings/sec, 1555 secs
lola: 13 tries, 12455052 fired transitions, 1560 secs || 11815327 markings, 48701712 edges, 8411 markings/sec, 1560 secs
lola: 13 tries, 12494544 fired transitions, 1565 secs || 11856752 markings, 48909044 edges, 8285 markings/sec, 1565 secs
lola: 13 tries, 12537768 fired transitions, 1570 secs || 11901148 markings, 49115939 edges, 8879 markings/sec, 1570 secs
lola: 13 tries, 12572620 fired transitions, 1575 secs || 11943219 markings, 49320828 edges, 8414 markings/sec, 1575 secs
lola: 13 tries, 12618858 fired transitions, 1580 secs || 11986804 markings, 49538430 edges, 8717 markings/sec, 1580 secs
lola: 13 tries, 12657694 fired transitions, 1585 secs || 12032880 markings, 49756163 edges, 9215 markings/sec, 1585 secs
lola: 13 tries, 12696830 fired transitions, 1590 secs || 12073280 markings, 49965208 edges, 8080 markings/sec, 1590 secs
lola: 13 tries, 12733880 fired transitions, 1595 secs || 12119013 markings, 50197735 edges, 9147 markings/sec, 1595 secs
lola: 13 tries, 12773706 fired transitions, 1600 secs || 12161471 markings, 50403821 edges, 8492 markings/sec, 1600 secs
lola: 13 tries, 12816134 fired transitions, 1605 secs || 12199701 markings, 50597335 edges, 7646 markings/sec, 1605 secs
lola: 13 tries, 12861826 fired transitions, 1610 secs || 12245013 markings, 50817496 edges, 9062 markings/sec, 1610 secs
lola: 13 tries, 12906978 fired transitions, 1615 secs || 12281323 markings, 50996309 edges, 7262 markings/sec, 1615 secs
lola: 13 tries, 12947686 fired transitions, 1620 secs || 12318887 markings, 51188865 edges, 7513 markings/sec, 1620 secs
lola: 13 tries, 12989350 fired transitions, 1625 secs || 12365565 markings, 51415159 edges, 9336 markings/sec, 1625 secs
lola: 14 tries, 13037992 fired transitions, 1630 secs || 12412883 markings, 51659759 edges, 9464 markings/sec, 1630 secs
lola: 14 tries, 13077104 fired transitions, 1635 secs || 12452039 markings, 51862432 edges, 7831 markings/sec, 1635 secs
lola: 14 tries, 13119000 fired transitions, 1640 secs || 12493544 markings, 52080321 edges, 8301 markings/sec, 1640 secs
lola: 14 tries, 13158506 fired transitions, 1645 secs || 12536121 markings, 52294617 edges, 8515 markings/sec, 1645 secs
lola: 14 tries, 13197558 fired transitions, 1650 secs || 12578695 markings, 52505627 edges, 8515 markings/sec, 1650 secs
lola: 14 tries, 13239460 fired transitions, 1655 secs || 12619253 markings, 52718626 edges, 8112 markings/sec, 1655 secs
lola: 14 tries, 13284934 fired transitions, 1660 secs || 12661129 markings, 52939502 edges, 8375 markings/sec, 1660 secs
lola: 14 tries, 13321434 fired transitions, 1665 secs || 12700083 markings, 53070789 edges, 7791 markings/sec, 1665 secs
lola: 14 tries, 13359272 fired transitions, 1670 secs || 12740105 markings, 53226664 edges, 8004 markings/sec, 1670 secs
lola: 14 tries, 13403518 fired transitions, 1675 secs || 12781308 markings, 53376123 edges, 8241 markings/sec, 1675 secs
lola: 14 tries, 13443248 fired transitions, 1680 secs || 12819711 markings, 53508719 edges, 7681 markings/sec, 1680 secs
lola: 14 tries, 13491000 fired transitions, 1685 secs || 12859374 markings, 53661256 edges, 7933 markings/sec, 1685 secs
lola: 14 tries, 13539638 fired transitions, 1690 secs || 12899947 markings, 53824397 edges, 8115 markings/sec, 1690 secs
lola: 14 tries, 13583750 fired transitions, 1695 secs || 12941141 markings, 53976463 edges, 8239 markings/sec, 1695 secs
lola: 14 tries, 13631710 fired transitions, 1700 secs || 12982929 markings, 54161553 edges, 8358 markings/sec, 1700 secs
lola: 14 tries, 13676888 fired transitions, 1705 secs || 13019778 markings, 54331507 edges, 7370 markings/sec, 1705 secs
lola: 14 tries, 13715656 fired transitions, 1710 secs || 13056311 markings, 54457812 edges, 7307 markings/sec, 1710 secs
lola: 14 tries, 13758120 fired transitions, 1715 secs || 13090692 markings, 54574280 edges, 6876 markings/sec, 1715 secs
lola: 14 tries, 13804034 fired transitions, 1720 secs || 13129202 markings, 54711306 edges, 7702 markings/sec, 1720 secs
lola: 14 tries, 13849166 fired transitions, 1725 secs || 13165357 markings, 54855610 edges, 7231 markings/sec, 1725 secs
lola: 14 tries, 13892664 fired transitions, 1730 secs || 13202091 markings, 55008903 edges, 7347 markings/sec, 1730 secs
lola: 14 tries, 13933236 fired transitions, 1735 secs || 13239119 markings, 55142354 edges, 7406 markings/sec, 1735 secs
lola: 14 tries, 13978618 fired transitions, 1740 secs || 13273833 markings, 55268509 edges, 6943 markings/sec, 1740 secs
lola: 15 tries, 14021690 fired transitions, 1745 secs || 13309508 markings, 55401276 edges, 7135 markings/sec, 1745 secs
lola: 15 tries, 14064182 fired transitions, 1750 secs || 13347229 markings, 55543391 edges, 7544 markings/sec, 1750 secs
lola: 15 tries, 14102208 fired transitions, 1755 secs || 13382924 markings, 55685710 edges, 7139 markings/sec, 1755 secs
lola: 15 tries, 14145520 fired transitions, 1760 secs || 13417263 markings, 55812892 edges, 6868 markings/sec, 1760 secs
lola: 15 tries, 14193646 fired transitions, 1765 secs || 13448980 markings, 55942192 edges, 6343 markings/sec, 1765 secs
lola: 15 tries, 14241674 fired transitions, 1770 secs || 13480301 markings, 56063680 edges, 6264 markings/sec, 1770 secs
lola: 15 tries, 14282318 fired transitions, 1775 secs || 13514058 markings, 56195453 edges, 6751 markings/sec, 1775 secs
lola: 15 tries, 14328640 fired transitions, 1780 secs || 13547166 markings, 56327981 edges, 6622 markings/sec, 1780 secs
lola: 15 tries, 14367256 fired transitions, 1785 secs || 13581373 markings, 56452055 edges, 6841 markings/sec, 1785 secs
lola: 15 tries, 14411476 fired transitions, 1790 secs || 13614547 markings, 56566745 edges, 6635 markings/sec, 1790 secs
lola: 15 tries, 14450842 fired transitions, 1795 secs || 13650846 markings, 56716128 edges, 7260 markings/sec, 1795 secs
lola: 15 tries, 14498506 fired transitions, 1800 secs || 13688947 markings, 56870762 edges, 7620 markings/sec, 1800 secs
lola: 15 tries, 14544114 fired transitions, 1805 secs || 13722990 markings, 56996254 edges, 6809 markings/sec, 1805 secs
lola: 15 tries, 14587174 fired transitions, 1810 secs || 13757879 markings, 57132746 edges, 6978 markings/sec, 1810 secs
lola: 15 tries, 14635400 fired transitions, 1815 secs || 13791836 markings, 57271336 edges, 6791 markings/sec, 1815 secs
lola: 15 tries, 14675674 fired transitions, 1820 secs || 13832635 markings, 57465390 edges, 8160 markings/sec, 1820 secs
lola: 15 tries, 14717090 fired transitions, 1825 secs || 13875470 markings, 57701071 edges, 8567 markings/sec, 1825 secs
lola: 15 tries, 14761728 fired transitions, 1830 secs || 13917102 markings, 57914030 edges, 8326 markings/sec, 1830 secs
lola: 15 tries, 14806324 fired transitions, 1835 secs || 13959767 markings, 58147942 edges, 8533 markings/sec, 1835 secs
lola: 15 tries, 14850756 fired transitions, 1840 secs || 14009271 markings, 58426991 edges, 9901 markings/sec, 1840 secs
lola: 15 tries, 14898753 fired transitions, 1845 secs || 14062608 markings, 58750730 edges, 10667 markings/sec, 1845 secs
lola: 15 tries, 14944626 fired transitions, 1850 secs || 14108781 markings, 58984349 edges, 9235 markings/sec, 1850 secs
lola: 15 tries, 14991296 fired transitions, 1855 secs || 14157507 markings, 59261394 edges, 9745 markings/sec, 1855 secs
lola: 16 tries, 15037640 fired transitions, 1860 secs || 14207246 markings, 59543305 edges, 9948 markings/sec, 1860 secs
lola: 16 tries, 15085080 fired transitions, 1865 secs || 14258313 markings, 59864369 edges, 10213 markings/sec, 1865 secs
lola: 16 tries, 15128940 fired transitions, 1870 secs || 14306199 markings, 60144936 edges, 9577 markings/sec, 1870 secs
lola: 16 tries, 15176700 fired transitions, 1875 secs || 14354786 markings, 60466802 edges, 9717 markings/sec, 1875 secs
lola: 16 tries, 15222756 fired transitions, 1880 secs || 14392645 markings, 60628990 edges, 7572 markings/sec, 1880 secs
lola: 16 tries, 15269320 fired transitions, 1885 secs || 14428836 markings, 60772412 edges, 7238 markings/sec, 1885 secs
lola: 16 tries, 15311744 fired transitions, 1890 secs || 14467038 markings, 60921849 edges, 7640 markings/sec, 1890 secs
lola: 16 tries, 15359036 fired transitions, 1895 secs || 14508007 markings, 61114707 edges, 8194 markings/sec, 1895 secs
lola: 16 tries, 15405848 fired transitions, 1900 secs || 14547741 markings, 61279332 edges, 7947 markings/sec, 1900 secs
lola: 16 tries, 15450418 fired transitions, 1905 secs || 14583881 markings, 61423937 edges, 7228 markings/sec, 1905 secs
lola: 16 tries, 15496974 fired transitions, 1910 secs || 14622761 markings, 61577390 edges, 7776 markings/sec, 1910 secs
lola: 16 tries, 15541414 fired transitions, 1915 secs || 14661889 markings, 61743399 edges, 7826 markings/sec, 1915 secs
lola: 16 tries, 15585426 fired transitions, 1920 secs || 14701205 markings, 61884592 edges, 7863 markings/sec, 1920 secs
lola: 16 tries, 15633698 fired transitions, 1925 secs || 14740839 markings, 62050738 edges, 7927 markings/sec, 1925 secs
lola: 16 tries, 15678426 fired transitions, 1930 secs || 14780546 markings, 62219969 edges, 7941 markings/sec, 1930 secs
lola: 16 tries, 15724108 fired transitions, 1935 secs || 14818000 markings, 62351913 edges, 7491 markings/sec, 1935 secs
lola: 16 tries, 15769476 fired transitions, 1940 secs || 14855489 markings, 62475471 edges, 7498 markings/sec, 1940 secs
lola: 16 tries, 15815886 fired transitions, 1945 secs || 14892348 markings, 62624470 edges, 7372 markings/sec, 1945 secs
lola: 16 tries, 15864254 fired transitions, 1950 secs || 14928668 markings, 62754713 edges, 7264 markings/sec, 1950 secs
lola: 16 tries, 15911190 fired transitions, 1955 secs || 14967107 markings, 62915328 edges, 7688 markings/sec, 1955 secs
lola: 16 tries, 15951928 fired transitions, 1960 secs || 15002303 markings, 63048210 edges, 7039 markings/sec, 1960 secs
lola: 16 tries, 15994146 fired transitions, 1965 secs || 15039674 markings, 63207867 edges, 7474 markings/sec, 1965 secs
lola: 17 tries, 16041930 fired transitions, 1970 secs || 15078666 markings, 63342393 edges, 7798 markings/sec, 1970 secs
lola: 17 tries, 16085806 fired transitions, 1975 secs || 15114809 markings, 63472168 edges, 7229 markings/sec, 1975 secs
lola: 17 tries, 16130742 fired transitions, 1980 secs || 15150123 markings, 63591343 edges, 7063 markings/sec, 1980 secs
lola: 17 tries, 16175312 fired transitions, 1985 secs || 15187014 markings, 63728264 edges, 7378 markings/sec, 1985 secs
lola: 17 tries, 16222702 fired transitions, 1990 secs || 15220250 markings, 63874809 edges, 6647 markings/sec, 1990 secs
lola: 17 tries, 16268916 fired transitions, 1995 secs || 15257127 markings, 64018939 edges, 7375 markings/sec, 1995 secs
lola: 17 tries, 16312334 fired transitions, 2000 secs || 15301885 markings, 64214474 edges, 8952 markings/sec, 2000 secs
lola: 17 tries, 16362156 fired transitions, 2005 secs || 15339845 markings, 64356062 edges, 7592 markings/sec, 2005 secs
lola: 17 tries, 16411686 fired transitions, 2010 secs || 15377296 markings, 64540826 edges, 7490 markings/sec, 2010 secs
lola: 17 tries, 16461306 fired transitions, 2015 secs || 15423843 markings, 64815185 edges, 9309 markings/sec, 2015 secs
lola: 17 tries, 16507868 fired transitions, 2020 secs || 15466782 markings, 65022460 edges, 8588 markings/sec, 2020 secs
lola: 17 tries, 16553408 fired transitions, 2025 secs || 15498695 markings, 65147811 edges, 6383 markings/sec, 2025 secs
lola: 17 tries, 16601620 fired transitions, 2030 secs || 15536694 markings, 65308816 edges, 7600 markings/sec, 2030 secs
lola: 17 tries, 16645822 fired transitions, 2035 secs || 15574718 markings, 65489800 edges, 7605 markings/sec, 2035 secs
lola: 17 tries, 16690050 fired transitions, 2040 secs || 15613258 markings, 65651396 edges, 7708 markings/sec, 2040 secs
lola: 17 tries, 16737386 fired transitions, 2045 secs || 15651321 markings, 65814055 edges, 7613 markings/sec, 2045 secs
lola: 17 tries, 16781796 fired transitions, 2050 secs || 15692715 markings, 65983350 edges, 8279 markings/sec, 2050 secs
lola: 17 tries, 16828492 fired transitions, 2055 secs || 15732375 markings, 66143111 edges, 7932 markings/sec, 2055 secs
lola: 17 tries, 16874700 fired transitions, 2060 secs || 15767751 markings, 66299777 edges, 7075 markings/sec, 2060 secs
lola: 17 tries, 16922238 fired transitions, 2065 secs || 15811832 markings, 66472972 edges, 8816 markings/sec, 2065 secs
lola: 17 tries, 16967066 fired transitions, 2070 secs || 15854854 markings, 66641334 edges, 8604 markings/sec, 2070 secs
lola: 18 tries, 17012234 fired transitions, 2075 secs || 15891796 markings, 66763809 edges, 7388 markings/sec, 2075 secs
lola: 18 tries, 17054930 fired transitions, 2080 secs || 15926155 markings, 66879089 edges, 6872 markings/sec, 2080 secs
lola: 18 tries, 17099404 fired transitions, 2085 secs || 15971233 markings, 67065949 edges, 9016 markings/sec, 2085 secs
lola: 18 tries, 17144978 fired transitions, 2090 secs || 16017806 markings, 67225188 edges, 9315 markings/sec, 2090 secs
lola: 18 tries, 17194464 fired transitions, 2095 secs || 16059688 markings, 67400799 edges, 8376 markings/sec, 2095 secs
lola: 18 tries, 17240986 fired transitions, 2100 secs || 16103193 markings, 67593434 edges, 8701 markings/sec, 2100 secs
lola: 18 tries, 17288482 fired transitions, 2105 secs || 16145250 markings, 67751415 edges, 8411 markings/sec, 2105 secs
lola: 18 tries, 17336136 fired transitions, 2110 secs || 16192823 markings, 67936492 edges, 9515 markings/sec, 2110 secs
lola: 18 tries, 17385728 fired transitions, 2115 secs || 16238371 markings, 68082262 edges, 9110 markings/sec, 2115 secs
lola: 18 tries, 17432642 fired transitions, 2120 secs || 16283027 markings, 68239856 edges, 8931 markings/sec, 2120 secs
lola: 18 tries, 17481776 fired transitions, 2125 secs || 16330630 markings, 68423270 edges, 9521 markings/sec, 2125 secs
lola: 18 tries, 17532266 fired transitions, 2130 secs || 16376559 markings, 68601545 edges, 9186 markings/sec, 2130 secs
lola: 18 tries, 17577158 fired transitions, 2135 secs || 16422413 markings, 68786145 edges, 9171 markings/sec, 2135 secs
lola: 18 tries, 17623368 fired transitions, 2140 secs || 16467631 markings, 68966144 edges, 9044 markings/sec, 2140 secs
lola: 18 tries, 17666730 fired transitions, 2145 secs || 16511607 markings, 69131609 edges, 8795 markings/sec, 2145 secs
lola: 18 tries, 17712822 fired transitions, 2150 secs || 16556731 markings, 69308346 edges, 9025 markings/sec, 2150 secs
lola: 18 tries, 17763326 fired transitions, 2155 secs || 16602968 markings, 69484710 edges, 9247 markings/sec, 2155 secs
lola: 18 tries, 17810770 fired transitions, 2160 secs || 16650824 markings, 69699489 edges, 9571 markings/sec, 2160 secs
lola: 18 tries, 17861234 fired transitions, 2165 secs || 16699305 markings, 69889053 edges, 9696 markings/sec, 2165 secs
lola: 18 tries, 17911528 fired transitions, 2170 secs || 16746882 markings, 70074213 edges, 9515 markings/sec, 2170 secs
lola: 18 tries, 17959446 fired transitions, 2175 secs || 16794654 markings, 70284176 edges, 9554 markings/sec, 2175 secs
lola: 19 tries, 18008438 fired transitions, 2180 secs || 16842294 markings, 70505683 edges, 9528 markings/sec, 2180 secs
lola: 19 tries, 18057040 fired transitions, 2185 secs || 16884631 markings, 70664543 edges, 8467 markings/sec, 2185 secs
lola: 19 tries, 18105474 fired transitions, 2190 secs || 16931577 markings, 70857656 edges, 9389 markings/sec, 2190 secs
lola: 19 tries, 18154420 fired transitions, 2195 secs || 16978569 markings, 71040113 edges, 9398 markings/sec, 2195 secs
lola: 19 tries, 18204182 fired transitions, 2200 secs || 17025020 markings, 71248233 edges, 9290 markings/sec, 2200 secs
lola: 19 tries, 18251666 fired transitions, 2205 secs || 17072002 markings, 71452046 edges, 9396 markings/sec, 2205 secs
lola: 19 tries, 18301850 fired transitions, 2210 secs || 17120467 markings, 71643774 edges, 9693 markings/sec, 2210 secs
lola: 19 tries, 18352030 fired transitions, 2215 secs || 17166823 markings, 71881425 edges, 9271 markings/sec, 2215 secs
lola: 19 tries, 18402256 fired transitions, 2220 secs || 17214321 markings, 72056496 edges, 9500 markings/sec, 2220 secs
lola: 19 tries, 18452420 fired transitions, 2225 secs || 17263571 markings, 72237729 edges, 9850 markings/sec, 2225 secs
lola: 19 tries, 18501010 fired transitions, 2230 secs || 17310298 markings, 72425948 edges, 9345 markings/sec, 2230 secs
lola: 19 tries, 18551290 fired transitions, 2235 secs || 17351613 markings, 72563372 edges, 8263 markings/sec, 2235 secs
lola: 19 tries, 18601534 fired transitions, 2240 secs || 17391241 markings, 72703517 edges, 7926 markings/sec, 2240 secs
lola: 19 tries, 18651834 fired transitions, 2245 secs || 17434946 markings, 72860449 edges, 8741 markings/sec, 2245 secs
lola: 19 tries, 18702162 fired transitions, 2250 secs || 17481930 markings, 73053353 edges, 9397 markings/sec, 2250 secs
lola: 19 tries, 18751904 fired transitions, 2255 secs || 17527310 markings, 73241302 edges, 9076 markings/sec, 2255 secs
lola: 19 tries, 18802224 fired transitions, 2260 secs || 17571313 markings, 73452587 edges, 8801 markings/sec, 2260 secs
lola: 19 tries, 18852032 fired transitions, 2265 secs || 17619213 markings, 73653419 edges, 9580 markings/sec, 2265 secs
lola: 19 tries, 18902302 fired transitions, 2270 secs || 17667719 markings, 73848782 edges, 9701 markings/sec, 2270 secs
lola: 19 tries, 18952522 fired transitions, 2275 secs || 17715889 markings, 74016456 edges, 9634 markings/sec, 2275 secs
lola: 20 tries, 19002796 fired transitions, 2280 secs || 17762964 markings, 74206534 edges, 9415 markings/sec, 2280 secs
lola: 20 tries, 19051874 fired transitions, 2285 secs || 17810388 markings, 74380825 edges, 9485 markings/sec, 2285 secs
lola: 20 tries, 19101774 fired transitions, 2290 secs || 17857017 markings, 74562159 edges, 9326 markings/sec, 2290 secs
lola: 20 tries, 19152100 fired transitions, 2295 secs || 17900597 markings, 74753189 edges, 8716 markings/sec, 2295 secs
lola: 20 tries, 19202084 fired transitions, 2300 secs || 17947948 markings, 74953688 edges, 9470 markings/sec, 2300 secs
lola: 20 tries, 19251972 fired transitions, 2305 secs || 17994384 markings, 75130773 edges, 9287 markings/sec, 2305 secs
lola: 20 tries, 19301856 fired transitions, 2310 secs || 18041293 markings, 75304269 edges, 9382 markings/sec, 2310 secs
lola: 20 tries, 19352362 fired transitions, 2315 secs || 18087999 markings, 75505606 edges, 9341 markings/sec, 2315 secs
lola: 20 tries, 19402786 fired transitions, 2320 secs || 18133412 markings, 75677347 edges, 9083 markings/sec, 2320 secs
lola: 20 tries, 19453096 fired transitions, 2325 secs || 18181210 markings, 75875800 edges, 9560 markings/sec, 2325 secs
lola: 20 tries, 19503562 fired transitions, 2330 secs || 18226614 markings, 76050940 edges, 9081 markings/sec, 2330 secs
lola: 20 tries, 19553080 fired transitions, 2335 secs || 18271551 markings, 76235756 edges, 8987 markings/sec, 2335 secs
lola: 20 tries, 19603568 fired transitions, 2340 secs || 18317136 markings, 76411870 edges, 9117 markings/sec, 2340 secs
lola: 20 tries, 19654012 fired transitions, 2345 secs || 18364693 markings, 76616682 edges, 9511 markings/sec, 2345 secs
lola: 20 tries, 19704434 fired transitions, 2350 secs || 18410579 markings, 76799105 edges, 9177 markings/sec, 2350 secs
lola: 20 tries, 19754958 fired transitions, 2355 secs || 18455563 markings, 76963892 edges, 8997 markings/sec, 2355 secs
lola: 20 tries, 19803890 fired transitions, 2360 secs || 18496986 markings, 77105585 edges, 8285 markings/sec, 2360 secs
lola: 20 tries, 19854174 fired transitions, 2365 secs || 18546699 markings, 77288285 edges, 9943 markings/sec, 2365 secs
lola: 20 tries, 19902942 fired transitions, 2370 secs || 18587631 markings, 77425880 edges, 8186 markings/sec, 2370 secs
lola: 20 tries, 19952584 fired transitions, 2375 secs || 18630506 markings, 77568058 edges, 8575 markings/sec, 2375 secs
lola: 21 tries, 20002440 fired transitions, 2380 secs || 18686723 markings, 77836845 edges, 11243 markings/sec, 2380 secs
lola: 21 tries, 20052904 fired transitions, 2385 secs || 18735276 markings, 78037174 edges, 9711 markings/sec, 2385 secs
lola: 21 tries, 20103392 fired transitions, 2390 secs || 18776192 markings, 78194445 edges, 8183 markings/sec, 2390 secs
lola: 21 tries, 20152018 fired transitions, 2395 secs || 18818287 markings, 78345570 edges, 8419 markings/sec, 2395 secs
lola: 21 tries, 20201510 fired transitions, 2400 secs || 18858005 markings, 78482140 edges, 7944 markings/sec, 2400 secs
lola: 21 tries, 20250346 fired transitions, 2405 secs || 18901334 markings, 78647840 edges, 8666 markings/sec, 2405 secs
lola: 21 tries, 20298466 fired transitions, 2410 secs || 18950740 markings, 78835932 edges, 9881 markings/sec, 2410 secs
lola: 21 tries, 20345958 fired transitions, 2415 secs || 18991920 markings, 78980992 edges, 8236 markings/sec, 2415 secs
lola: 21 tries, 20395110 fired transitions, 2420 secs || 19034361 markings, 79141547 edges, 8488 markings/sec, 2420 secs
lola: 21 tries, 20443666 fired transitions, 2425 secs || 19075137 markings, 79279765 edges, 8155 markings/sec, 2425 secs
lola: 21 tries, 20493194 fired transitions, 2430 secs || 19123609 markings, 79476541 edges, 9694 markings/sec, 2430 secs
lola: 21 tries, 20541714 fired transitions, 2435 secs || 19171121 markings, 79647401 edges, 9502 markings/sec, 2435 secs
lola: 21 tries, 20591614 fired transitions, 2440 secs || 19216720 markings, 79853210 edges, 9120 markings/sec, 2440 secs
lola: 21 tries, 20641870 fired transitions, 2445 secs || 19264473 markings, 80035701 edges, 9551 markings/sec, 2445 secs
lola: 21 tries, 20691654 fired transitions, 2450 secs || 19306380 markings, 80178688 edges, 8381 markings/sec, 2450 secs
lola: 21 tries, 20742006 fired transitions, 2455 secs || 19346335 markings, 80307060 edges, 7991 markings/sec, 2455 secs
lola: 21 tries, 20788220 fired transitions, 2460 secs || 19384426 markings, 80437465 edges, 7618 markings/sec, 2460 secs
lola: 21 tries, 20838732 fired transitions, 2465 secs || 19425003 markings, 80581190 edges, 8115 markings/sec, 2465 secs
lola: 21 tries, 20889648 fired transitions, 2470 secs || 19466425 markings, 80730853 edges, 8284 markings/sec, 2470 secs
lola: 21 tries, 20940326 fired transitions, 2475 secs || 19515944 markings, 80953276 edges, 9904 markings/sec, 2475 secs
lola: 21 tries, 20990944 fired transitions, 2480 secs || 19563393 markings, 81107982 edges, 9490 markings/sec, 2480 secs
lola: 22 tries, 21039736 fired transitions, 2485 secs || 19611041 markings, 81296217 edges, 9530 markings/sec, 2485 secs
lola: 22 tries, 21089798 fired transitions, 2490 secs || 19659390 markings, 81491077 edges, 9670 markings/sec, 2490 secs
lola: 22 tries, 21139576 fired transitions, 2495 secs || 19705559 markings, 81693700 edges, 9234 markings/sec, 2495 secs
lola: 22 tries, 21189890 fired transitions, 2500 secs || 19752475 markings, 81895532 edges, 9383 markings/sec, 2500 secs
lola: 22 tries, 21240312 fired transitions, 2505 secs || 19793122 markings, 82036765 edges, 8129 markings/sec, 2505 secs
lola: 22 tries, 21290630 fired transitions, 2510 secs || 19834676 markings, 82182417 edges, 8311 markings/sec, 2510 secs
lola: 22 tries, 21340128 fired transitions, 2515 secs || 19877490 markings, 82328972 edges, 8563 markings/sec, 2515 secs
lola: 22 tries, 21388128 fired transitions, 2520 secs || 19925206 markings, 82498807 edges, 9543 markings/sec, 2520 secs
lola: 22 tries, 21437724 fired transitions, 2525 secs || 19967792 markings, 82677242 edges, 8517 markings/sec, 2525 secs
lola: 22 tries, 21487118 fired transitions, 2530 secs || 20011389 markings, 82854856 edges, 8719 markings/sec, 2530 secs
lola: 22 tries, 21537380 fired transitions, 2535 secs || 20057191 markings, 83043137 edges, 9160 markings/sec, 2535 secs
lola: 22 tries, 21587020 fired transitions, 2540 secs || 20103573 markings, 83224461 edges, 9276 markings/sec, 2540 secs
lola: 22 tries, 21636666 fired transitions, 2545 secs || 20152239 markings, 83393122 edges, 9733 markings/sec, 2545 secs
lola: 22 tries, 21683966 fired transitions, 2550 secs || 20198334 markings, 83596168 edges, 9219 markings/sec, 2550 secs
lola: 22 tries, 21730158 fired transitions, 2555 secs || 20242141 markings, 83772999 edges, 8761 markings/sec, 2555 secs
lola: 22 tries, 21775198 fired transitions, 2560 secs || 20285871 markings, 83943037 edges, 8746 markings/sec, 2560 secs
lola: 22 tries, 21825328 fired transitions, 2565 secs || 20332682 markings, 84123484 edges, 9362 markings/sec, 2565 secs
lola: 22 tries, 21873896 fired transitions, 2570 secs || 20379145 markings, 84305544 edges, 9293 markings/sec, 2570 secs
lola: 22 tries, 21920938 fired transitions, 2575 secs || 20423616 markings, 84501092 edges, 8894 markings/sec, 2575 secs
lola: 22 tries, 21970910 fired transitions, 2580 secs || 20469579 markings, 84673150 edges, 9193 markings/sec, 2580 secs
lola: 23 tries, 22018010 fired transitions, 2585 secs || 20516358 markings, 84865719 edges, 9356 markings/sec, 2585 secs
lola: 23 tries, 22066948 fired transitions, 2590 secs || 20559560 markings, 85049460 edges, 8640 markings/sec, 2590 secs
lola: 23 tries, 22115470 fired transitions, 2595 secs || 20605694 markings, 85232971 edges, 9227 markings/sec, 2595 secs
lola: 23 tries, 22164918 fired transitions, 2600 secs || 20652195 markings, 85427197 edges, 9300 markings/sec, 2600 secs
lola: 23 tries, 22213970 fired transitions, 2605 secs || 20698949 markings, 85635768 edges, 9351 markings/sec, 2605 secs
lola: 23 tries, 22264734 fired transitions, 2610 secs || 20744687 markings, 85833246 edges, 9148 markings/sec, 2610 secs
lola: 23 tries, 22311350 fired transitions, 2615 secs || 20792317 markings, 86055165 edges, 9526 markings/sec, 2615 secs
lola: 23 tries, 22362074 fired transitions, 2620 secs || 20834092 markings, 86224809 edges, 8355 markings/sec, 2620 secs
lola: 23 tries, 22412194 fired transitions, 2625 secs || 20879587 markings, 86406173 edges, 9099 markings/sec, 2625 secs
lola: 23 tries, 22462918 fired transitions, 2630 secs || 20925625 markings, 86600048 edges, 9208 markings/sec, 2630 secs
lola: 23 tries, 22513590 fired transitions, 2635 secs || 20968144 markings, 86767585 edges, 8504 markings/sec, 2635 secs
lola: 23 tries, 22564414 fired transitions, 2640 secs || 21014242 markings, 86963487 edges, 9220 markings/sec, 2640 secs
lola: 23 tries, 22614502 fired transitions, 2645 secs || 21063811 markings, 87126374 edges, 9914 markings/sec, 2645 secs
lola: 23 tries, 22662726 fired transitions, 2650 secs || 21108120 markings, 87297918 edges, 8862 markings/sec, 2650 secs
lola: 23 tries, 22711808 fired transitions, 2655 secs || 21153894 markings, 87480407 edges, 9155 markings/sec, 2655 secs
lola: 23 tries, 22761264 fired transitions, 2660 secs || 21200031 markings, 87672765 edges, 9227 markings/sec, 2660 secs
lola: 23 tries, 22811054 fired transitions, 2665 secs || 21245448 markings, 87851786 edges, 9083 markings/sec, 2665 secs
lola: 23 tries, 22860050 fired transitions, 2670 secs || 21292358 markings, 88049142 edges, 9382 markings/sec, 2670 secs
lola: 23 tries, 22908386 fired transitions, 2675 secs || 21338314 markings, 88244628 edges, 9191 markings/sec, 2675 secs
lola: 23 tries, 22958582 fired transitions, 2680 secs || 21383751 markings, 88443853 edges, 9087 markings/sec, 2680 secs
lola: 24 tries, 23007608 fired transitions, 2685 secs || 21433158 markings, 88629183 edges, 9881 markings/sec, 2685 secs
lola: 24 tries, 23056030 fired transitions, 2690 secs || 21478720 markings, 88817911 edges, 9112 markings/sec, 2690 secs
lola: 24 tries, 23106286 fired transitions, 2695 secs || 21524096 markings, 89010268 edges, 9075 markings/sec, 2695 secs
lola: 24 tries, 23156506 fired transitions, 2700 secs || 21571805 markings, 89207481 edges, 9542 markings/sec, 2700 secs
lola: 24 tries, 23206486 fired transitions, 2705 secs || 21614655 markings, 89392150 edges, 8570 markings/sec, 2705 secs
lola: 24 tries, 23253590 fired transitions, 2710 secs || 21660027 markings, 89570430 edges, 9074 markings/sec, 2710 secs
lola: 24 tries, 23302490 fired transitions, 2715 secs || 21701266 markings, 89711723 edges, 8248 markings/sec, 2715 secs
lola: 24 tries, 23350840 fired transitions, 2720 secs || 21744719 markings, 89860937 edges, 8691 markings/sec, 2720 secs
lola: 24 tries, 23399302 fired transitions, 2725 secs || 21792303 markings, 90075811 edges, 9517 markings/sec, 2725 secs
lola: 24 tries, 23449528 fired transitions, 2730 secs || 21834627 markings, 90232148 edges, 8465 markings/sec, 2730 secs
lola: 24 tries, 23497646 fired transitions, 2735 secs || 21873947 markings, 90360426 edges, 7864 markings/sec, 2735 secs
lola: 24 tries, 23548214 fired transitions, 2740 secs || 21914904 markings, 90510868 edges, 8191 markings/sec, 2740 secs
lola: 24 tries, 23598986 fired transitions, 2745 secs || 21954587 markings, 90654342 edges, 7937 markings/sec, 2745 secs
lola: 24 tries, 23649590 fired transitions, 2750 secs || 21995202 markings, 90801542 edges, 8123 markings/sec, 2750 secs
lola: 24 tries, 23700188 fired transitions, 2755 secs || 22041710 markings, 91008075 edges, 9302 markings/sec, 2755 secs
lola: 24 tries, 23749376 fired transitions, 2760 secs || 22086659 markings, 91197159 edges, 8990 markings/sec, 2760 secs
lola: 24 tries, 23797530 fired transitions, 2765 secs || 22133003 markings, 91384029 edges, 9269 markings/sec, 2765 secs
lola: 24 tries, 23848152 fired transitions, 2770 secs || 22179038 markings, 91580599 edges, 9207 markings/sec, 2770 secs
lola: 24 tries, 23898232 fired transitions, 2775 secs || 22226947 markings, 91783249 edges, 9582 markings/sec, 2775 secs
lola: 24 tries, 23948636 fired transitions, 2780 secs || 22272881 markings, 91977788 edges, 9187 markings/sec, 2780 secs
lola: 24 tries, 23997586 fired transitions, 2785 secs || 22320777 markings, 92161631 edges, 9579 markings/sec, 2785 secs
lola: 25 tries, 24043168 fired transitions, 2790 secs || 22368660 markings, 92360702 edges, 9577 markings/sec, 2790 secs
lola: 25 tries, 24090108 fired transitions, 2795 secs || 22415527 markings, 92555373 edges, 9373 markings/sec, 2795 secs
lola: 25 tries, 24136304 fired transitions, 2800 secs || 22460479 markings, 92743800 edges, 8990 markings/sec, 2800 secs
lola: 25 tries, 24178890 fired transitions, 2805 secs || 22503254 markings, 92923295 edges, 8555 markings/sec, 2805 secs
lola: 25 tries, 24228372 fired transitions, 2810 secs || 22547499 markings, 93102941 edges, 8849 markings/sec, 2810 secs
lola: 25 tries, 24279118 fired transitions, 2815 secs || 22592925 markings, 93275686 edges, 9085 markings/sec, 2815 secs
lola: 25 tries, 24329002 fired transitions, 2820 secs || 22633042 markings, 93422753 edges, 8023 markings/sec, 2820 secs
lola: 25 tries, 24378076 fired transitions, 2825 secs || 22680116 markings, 93635839 edges, 9415 markings/sec, 2825 secs
lola: 25 tries, 24424526 fired transitions, 2830 secs || 22726429 markings, 93857058 edges, 9263 markings/sec, 2830 secs
lola: 25 tries, 24474536 fired transitions, 2835 secs || 22771448 markings, 94095370 edges, 9004 markings/sec, 2835 secs
lola: 25 tries, 24521026 fired transitions, 2840 secs || 22816010 markings, 94319789 edges, 8912 markings/sec, 2840 secs
lola: 25 tries, 24570066 fired transitions, 2845 secs || 22862501 markings, 94541571 edges, 9298 markings/sec, 2845 secs
lola: 25 tries, 24619728 fired transitions, 2850 secs || 22904625 markings, 94738914 edges, 8425 markings/sec, 2850 secs
lola: 25 tries, 24667310 fired transitions, 2855 secs || 22947585 markings, 94947252 edges, 8592 markings/sec, 2855 secs
lola: 25 tries, 24716746 fired transitions, 2860 secs || 22991141 markings, 95189646 edges, 8711 markings/sec, 2860 secs
lola: 25 tries, 24764264 fired transitions, 2865 secs || 23036016 markings, 95428849 edges, 8975 markings/sec, 2865 secs
lola: 25 tries, 24812586 fired transitions, 2870 secs || 23087065 markings, 95697954 edges, 10210 markings/sec, 2870 secs
lola: 25 tries, 24862672 fired transitions, 2875 secs || 23133880 markings, 95949615 edges, 9363 markings/sec, 2875 secs
lola: 25 tries, 24912634 fired transitions, 2880 secs || 23180085 markings, 96186385 edges, 9241 markings/sec, 2880 secs
lola: 25 tries, 24962518 fired transitions, 2885 secs || 23226768 markings, 96422494 edges, 9337 markings/sec, 2885 secs
lola: 26 tries, 25009518 fired transitions, 2890 secs || 23272785 markings, 96663067 edges, 9203 markings/sec, 2890 secs
lola: 26 tries, 25058346 fired transitions, 2895 secs || 23318164 markings, 96911223 edges, 9076 markings/sec, 2895 secs
lola: 26 tries, 25105624 fired transitions, 2900 secs || 23364338 markings, 97150938 edges, 9235 markings/sec, 2900 secs
lola: 26 tries, 25156070 fired transitions, 2905 secs || 23411762 markings, 97391853 edges, 9485 markings/sec, 2905 secs
lola: 26 tries, 25206680 fired transitions, 2910 secs || 23458172 markings, 97637112 edges, 9282 markings/sec, 2910 secs
lola: 26 tries, 25256302 fired transitions, 2915 secs || 23505064 markings, 97878777 edges, 9378 markings/sec, 2915 secs
lola: 26 tries, 25303004 fired transitions, 2920 secs || 23549506 markings, 98089344 edges, 8888 markings/sec, 2920 secs
lola: 26 tries, 25350492 fired transitions, 2925 secs || 23596662 markings, 98345756 edges, 9431 markings/sec, 2925 secs
lola: 26 tries, 25399968 fired transitions, 2930 secs || 23640521 markings, 98539943 edges, 8772 markings/sec, 2930 secs
lola: 26 tries, 25444176 fired transitions, 2935 secs || 23686653 markings, 98777156 edges, 9226 markings/sec, 2935 secs
lola: 26 tries, 25494320 fired transitions, 2940 secs || 23732790 markings, 99004363 edges, 9227 markings/sec, 2940 secs
lola: 26 tries, 25544510 fired transitions, 2945 secs || 23779198 markings, 99253531 edges, 9282 markings/sec, 2945 secs
lola: 26 tries, 25591020 fired transitions, 2950 secs || 23825949 markings, 99480329 edges, 9350 markings/sec, 2950 secs
lola: 26 tries, 25639380 fired transitions, 2955 secs || 23871878 markings, 99706626 edges, 9186 markings/sec, 2955 secs
lola: 26 tries, 25686554 fired transitions, 2960 secs || 23918716 markings, 99948463 edges, 9368 markings/sec, 2960 secs
lola: 26 tries, 25736886 fired transitions, 2965 secs || 23964033 markings, 100180867 edges, 9063 markings/sec, 2965 secs
lola: 26 tries, 25786426 fired transitions, 2970 secs || 24008877 markings, 100409172 edges, 8969 markings/sec, 2970 secs
lola: 26 tries, 25835890 fired transitions, 2975 secs || 24053538 markings, 100633179 edges, 8932 markings/sec, 2975 secs
lola: 26 tries, 25882168 fired transitions, 2980 secs || 24097215 markings, 100882928 edges, 8735 markings/sec, 2980 secs
lola: 26 tries, 25932174 fired transitions, 2985 secs || 24138909 markings, 101036241 edges, 8339 markings/sec, 2985 secs
lola: 26 tries, 25981794 fired transitions, 2990 secs || 24177465 markings, 101171588 edges, 7711 markings/sec, 2990 secs
lola: 27 tries, 26031768 fired transitions, 2995 secs || 24215830 markings, 101298964 edges, 7673 markings/sec, 2995 secs
lola: 27 tries, 26081496 fired transitions, 3000 secs || 24255943 markings, 101439887 edges, 8023 markings/sec, 3000 secs
lola: 27 tries, 26132362 fired transitions, 3005 secs || 24293884 markings, 101582763 edges, 7588 markings/sec, 3005 secs
lola: 27 tries, 26183336 fired transitions, 3010 secs || 24334721 markings, 101729143 edges, 8167 markings/sec, 3010 secs
lola: 27 tries, 26232884 fired transitions, 3015 secs || 24373872 markings, 101899053 edges, 7830 markings/sec, 3015 secs
lola: 27 tries, 26280902 fired transitions, 3020 secs || 24416464 markings, 102085935 edges, 8518 markings/sec, 3020 secs
lola: 27 tries, 26331938 fired transitions, 3025 secs || 24457538 markings, 102259925 edges, 8215 markings/sec, 3025 secs
lola: 27 tries, 26379434 fired transitions, 3030 secs || 24506654 markings, 102548282 edges, 9823 markings/sec, 3030 secs
lola: 27 tries, 26427708 fired transitions, 3035 secs || 24557439 markings, 102846365 edges, 10157 markings/sec, 3035 secs
lola: 27 tries, 26478596 fired transitions, 3040 secs || 24596676 markings, 103014497 edges, 7847 markings/sec, 3040 secs
lola: 27 tries, 26527628 fired transitions, 3045 secs || 24634360 markings, 103182065 edges, 7537 markings/sec, 3045 secs
lola: 27 tries, 26575582 fired transitions, 3050 secs || 24673313 markings, 103353691 edges, 7791 markings/sec, 3050 secs
lola: 27 tries, 26625664 fired transitions, 3055 secs || 24711992 markings, 103511024 edges, 7736 markings/sec, 3055 secs
lola: 27 tries, 26675982 fired transitions, 3060 secs || 24752988 markings, 103677371 edges, 8199 markings/sec, 3060 secs
lola: 27 tries, 26725838 fired transitions, 3065 secs || 24797610 markings, 103895307 edges, 8924 markings/sec, 3065 secs
lola: 27 tries, 26774202 fired transitions, 3070 secs || 24841189 markings, 104073258 edges, 8716 markings/sec, 3070 secs
lola: 27 tries, 26824056 fired transitions, 3075 secs || 24883478 markings, 104259020 edges, 8458 markings/sec, 3075 secs
lola: 27 tries, 26873728 fired transitions, 3080 secs || 24931073 markings, 104426457 edges, 9519 markings/sec, 3080 secs
lola: 27 tries, 26923660 fired transitions, 3085 secs || 24972659 markings, 104576246 edges, 8317 markings/sec, 3085 secs
lola: 27 tries, 26974514 fired transitions, 3090 secs || 25013916 markings, 104714379 edges, 8251 markings/sec, 3090 secs
lola: 28 tries, 27023624 fired transitions, 3095 secs || 25062658 markings, 104932588 edges, 9748 markings/sec, 3095 secs
lola: 28 tries, 27073492 fired transitions, 3100 secs || 25108847 markings, 105127212 edges, 9238 markings/sec, 3100 secs
lola: 28 tries, 27121196 fired transitions, 3105 secs || 25148981 markings, 105277356 edges, 8027 markings/sec, 3105 secs
lola: 28 tries, 27171308 fired transitions, 3110 secs || 25188904 markings, 105429937 edges, 7985 markings/sec, 3110 secs
lola: 28 tries, 27220756 fired transitions, 3115 secs || 25228325 markings, 105573317 edges, 7884 markings/sec, 3115 secs
lola: 28 tries, 27270626 fired transitions, 3120 secs || 25271105 markings, 105725647 edges, 8556 markings/sec, 3120 secs
lola: 28 tries, 27320106 fired transitions, 3125 secs || 25314083 markings, 105910649 edges, 8596 markings/sec, 3125 secs
lola: 28 tries, 27367384 fired transitions, 3130 secs || 25359807 markings, 106133110 edges, 9145 markings/sec, 3130 secs
lola: 28 tries, 27418046 fired transitions, 3135 secs || 25403951 markings, 106309358 edges, 8829 markings/sec, 3135 secs
lola: 28 tries, 27468752 fired transitions, 3140 secs || 25447628 markings, 106517638 edges, 8735 markings/sec, 3140 secs
lola: 28 tries, 27518822 fired transitions, 3145 secs || 25489669 markings, 106702021 edges, 8408 markings/sec, 3145 secs
lola: 28 tries, 27569342 fired transitions, 3150 secs || 25532824 markings, 106890630 edges, 8631 markings/sec, 3150 secs
lola: 28 tries, 27619608 fired transitions, 3155 secs || 25573828 markings, 107069373 edges, 8201 markings/sec, 3155 secs
lola: 28 tries, 27670424 fired transitions, 3160 secs || 25617466 markings, 107278674 edges, 8728 markings/sec, 3160 secs
lola: 28 tries, 27721196 fired transitions, 3165 secs || 25659640 markings, 107431842 edges, 8435 markings/sec, 3165 secs
lola: 28 tries, 27771436 fired transitions, 3170 secs || 25704557 markings, 107599336 edges, 8983 markings/sec, 3170 secs
lola: 28 tries, 27819630 fired transitions, 3175 secs || 25744056 markings, 107726887 edges, 7900 markings/sec, 3175 secs
lola: 28 tries, 27869492 fired transitions, 3180 secs || 25784774 markings, 107872421 edges, 8144 markings/sec, 3180 secs
lola: 28 tries, 27920204 fired transitions, 3185 secs || 25825387 markings, 108027613 edges, 8123 markings/sec, 3185 secs
lola: 28 tries, 27967986 fired transitions, 3190 secs || 25865534 markings, 108163039 edges, 8029 markings/sec, 3190 secs
lola: 29 tries, 28018270 fired transitions, 3195 secs || 25910551 markings, 108330434 edges, 9003 markings/sec, 3195 secs
lola: 29 tries, 28068866 fired transitions, 3200 secs || 25950760 markings, 108475128 edges, 8042 markings/sec, 3200 secs
lola: 29 tries, 28118632 fired transitions, 3205 secs || 25997060 markings, 108677383 edges, 9260 markings/sec, 3205 secs
lola: 29 tries, 28165988 fired transitions, 3210 secs || 26038309 markings, 108828017 edges, 8250 markings/sec, 3210 secs
lola: 29 tries, 28216208 fired transitions, 3215 secs || 26079139 markings, 108986195 edges, 8166 markings/sec, 3215 secs
lola: 29 tries, 28266480 fired transitions, 3220 secs || 26120459 markings, 109154227 edges, 8264 markings/sec, 3220 secs
lola: 29 tries, 28316448 fired transitions, 3225 secs || 26165341 markings, 109321740 edges, 8976 markings/sec, 3225 secs
lola: 29 tries, 28366540 fired transitions, 3230 secs || 26210926 markings, 109475741 edges, 9117 markings/sec, 3230 secs
lola: 29 tries, 28416924 fired transitions, 3235 secs || 26251747 markings, 109620854 edges, 8164 markings/sec, 3235 secs
lola: 29 tries, 28465296 fired transitions, 3240 secs || 26291803 markings, 109762642 edges, 8011 markings/sec, 3240 secs
lola: 29 tries, 28514138 fired transitions, 3245 secs || 26336981 markings, 109930449 edges, 9036 markings/sec, 3245 secs
lola: 29 tries, 28564326 fired transitions, 3250 secs || 26382498 markings, 110111903 edges, 9103 markings/sec, 3250 secs
lola: 29 tries, 28614604 fired transitions, 3255 secs || 26426705 markings, 110306801 edges, 8841 markings/sec, 3255 secs
lola: 29 tries, 28664738 fired transitions, 3260 secs || 26470632 markings, 110497916 edges, 8785 markings/sec, 3260 secs
lola: 29 tries, 28713654 fired transitions, 3265 secs || 26517254 markings, 110705725 edges, 9324 markings/sec, 3265 secs
lola: 29 tries, 28763076 fired transitions, 3270 secs || 26561159 markings, 110895925 edges, 8781 markings/sec, 3270 secs
lola: 29 tries, 28808530 fired transitions, 3275 secs || 26607527 markings, 111109765 edges, 9274 markings/sec, 3275 secs
lola: 29 tries, 28858212 fired transitions, 3280 secs || 26649156 markings, 111276439 edges, 8326 markings/sec, 3280 secs
lola: 29 tries, 28906362 fired transitions, 3285 secs || 26688003 markings, 111413932 edges, 7769 markings/sec, 3285 secs
lola: 29 tries, 28956944 fired transitions, 3290 secs || 26728278 markings, 111554318 edges, 8055 markings/sec, 3290 secs
lola: 30 tries, 29007474 fired transitions, 3295 secs || 26776352 markings, 111779020 edges, 9615 markings/sec, 3295 secs
lola: 30 tries, 29057410 fired transitions, 3300 secs || 26820826 markings, 111955625 edges, 8895 markings/sec, 3300 secs
lola: 30 tries, 29108036 fired transitions, 3305 secs || 26863756 markings, 112095867 edges, 8586 markings/sec, 3305 secs
lola: 30 tries, 29158864 fired transitions, 3310 secs || 26910079 markings, 112280694 edges, 9265 markings/sec, 3310 secs
lola: 30 tries, 29209844 fired transitions, 3315 secs || 26955136 markings, 112475462 edges, 9011 markings/sec, 3315 secs
lola: 30 tries, 29257862 fired transitions, 3320 secs || 27002002 markings, 112668287 edges, 9373 markings/sec, 3320 secs
lola: 30 tries, 29308820 fired transitions, 3325 secs || 27050838 markings, 112857829 edges, 9767 markings/sec, 3325 secs
lola: 30 tries, 29359002 fired transitions, 3330 secs || 27097088 markings, 113064687 edges, 9250 markings/sec, 3330 secs
lola: 30 tries, 29409340 fired transitions, 3335 secs || 27145036 markings, 113274643 edges, 9590 markings/sec, 3335 secs
lola: 30 tries, 29459544 fired transitions, 3340 secs || 27192014 markings, 113464382 edges, 9396 markings/sec, 3340 secs
lola: 30 tries, 29510142 fired transitions, 3345 secs || 27232176 markings, 113605047 edges, 8032 markings/sec, 3345 secs
lola: 30 tries, 29561106 fired transitions, 3350 secs || 27273628 markings, 113769430 edges, 8290 markings/sec, 3350 secs
lola: 30 tries, 29612058 fired transitions, 3355 secs || 27322074 markings, 113960941 edges, 9689 markings/sec, 3355 secs
lola: 30 tries, 29662808 fired transitions, 3360 secs || 27366786 markings, 114141949 edges, 8942 markings/sec, 3360 secs
lola: 30 tries, 29713660 fired transitions, 3365 secs || 27409701 markings, 114292071 edges, 8583 markings/sec, 3365 secs
lola: 30 tries, 29764650 fired transitions, 3370 secs || 27456210 markings, 114451701 edges, 9302 markings/sec, 3370 secs
lola: 30 tries, 29815298 fired transitions, 3375 secs || 27503561 markings, 114653642 edges, 9470 markings/sec, 3375 secs
lola: 30 tries, 29865930 fired transitions, 3380 secs || 27549153 markings, 114816997 edges, 9118 markings/sec, 3380 secs
lola: 30 tries, 29916552 fired transitions, 3385 secs || 27596003 markings, 115011100 edges, 9370 markings/sec, 3385 secs
lola: 30 tries, 29967116 fired transitions, 3390 secs || 27642954 markings, 115196392 edges, 9390 markings/sec, 3390 secs
lola: 31 tries, 30017698 fired transitions, 3395 secs || 27690207 markings, 115383078 edges, 9451 markings/sec, 3395 secs
lola: 31 tries, 30068018 fired transitions, 3400 secs || 27738109 markings, 115586623 edges, 9580 markings/sec, 3400 secs
lola: 31 tries, 30118328 fired transitions, 3405 secs || 27786864 markings, 115780862 edges, 9751 markings/sec, 3405 secs
lola: 31 tries, 30168798 fired transitions, 3410 secs || 27831835 markings, 115949192 edges, 8994 markings/sec, 3410 secs
lola: 31 tries, 30219448 fired transitions, 3415 secs || 27873761 markings, 116110565 edges, 8385 markings/sec, 3415 secs
lola: 31 tries, 30270102 fired transitions, 3420 secs || 27919555 markings, 116291840 edges, 9159 markings/sec, 3420 secs
lola: 31 tries, 30320634 fired transitions, 3425 secs || 27969993 markings, 116505325 edges, 10088 markings/sec, 3425 secs
lola: 31 tries, 30370914 fired transitions, 3430 secs || 28015671 markings, 116675192 edges, 9136 markings/sec, 3430 secs
lola: 31 tries, 30421248 fired transitions, 3435 secs || 28061753 markings, 116911238 edges, 9216 markings/sec, 3435 secs
lola: 31 tries, 30471662 fired transitions, 3440 secs || 28108610 markings, 117107015 edges, 9371 markings/sec, 3440 secs
lola: 31 tries, 30522134 fired transitions, 3445 secs || 28156056 markings, 117315661 edges, 9489 markings/sec, 3445 secs
lola: 31 tries, 30572672 fired transitions, 3450 secs || 28203501 markings, 117530137 edges, 9489 markings/sec, 3450 secs
lola: 31 tries, 30623134 fired transitions, 3455 secs || 28250689 markings, 117728570 edges, 9438 markings/sec, 3455 secs
lola: 31 tries, 30673782 fired transitions, 3460 secs || 28295974 markings, 117898601 edges, 9057 markings/sec, 3460 secs
lola: 31 tries, 30724526 fired transitions, 3465 secs || 28339487 markings, 118054624 edges, 8703 markings/sec, 3465 secs
lola: 31 tries, 30775244 fired transitions, 3470 secs || 28386053 markings, 118224146 edges, 9313 markings/sec, 3470 secs
lola: 31 tries, 30825996 fired transitions, 3475 secs || 28432580 markings, 118401905 edges, 9305 markings/sec, 3475 secs
lola: 31 tries, 30876648 fired transitions, 3480 secs || 28471508 markings, 118531857 edges, 7786 markings/sec, 3480 secs
lola: 31 tries, 30926826 fired transitions, 3485 secs || 28513619 markings, 118694084 edges, 8422 markings/sec, 3485 secs
lola: 31 tries, 30977242 fired transitions, 3490 secs || 28556985 markings, 118884167 edges, 8673 markings/sec, 3490 secs
lola: 32 tries, 31027636 fired transitions, 3495 secs || 28606385 markings, 119073102 edges, 9880 markings/sec, 3495 secs
lola: 32 tries, 31078300 fired transitions, 3500 secs || 28652734 markings, 119259966 edges, 9270 markings/sec, 3500 secs
lola: 32 tries, 31129304 fired transitions, 3505 secs || 28698023 markings, 119438288 edges, 9058 markings/sec, 3505 secs
lola: 32 tries, 31180322 fired transitions, 3510 secs || 28744419 markings, 119641735 edges, 9279 markings/sec, 3510 secs
lola: 32 tries, 31231254 fired transitions, 3515 secs || 28791219 markings, 119842413 edges, 9360 markings/sec, 3515 secs
lola: 32 tries, 31281942 fired transitions, 3520 secs || 28837469 markings, 120040308 edges, 9250 markings/sec, 3520 secs
lola: 32 tries, 31332710 fired transitions, 3525 secs || 28879481 markings, 120195541 edges, 8402 markings/sec, 3525 secs
lola: 32 tries, 31383438 fired transitions, 3530 secs || 28919655 markings, 120326511 edges, 8035 markings/sec, 3530 secs
lola: 32 tries, 31433686 fired transitions, 3535 secs || 28960200 markings, 120454165 edges, 8109 markings/sec, 3535 secs
lola: 32 tries, 31484812 fired transitions, 3540 secs || 29000087 markings, 120587818 edges, 7977 markings/sec, 3540 secs
lola: 32 tries, 31535882 fired transitions, 3545 secs || 29041086 markings, 120731347 edges, 8200 markings/sec, 3545 secs
lola: 32 tries, 31586840 fired transitions, 3550 secs || 29090907 markings, 120931201 edges, 9964 markings/sec, 3550 secs
lola: 32 tries, 31637842 fired transitions, 3555 secs || 29140006 markings, 121116381 edges, 9820 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 5099048 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1554504464740

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

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="NoC3x3-PT-8A"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
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-3954"
echo " Executing tool lola"
echo " Input is NoC3x3-PT-8A, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r181-csrt-155344535200363"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8A.tgz
mv NoC3x3-PT-8A execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; 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 [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 '' GlobalProperties.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;