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-155344534700066.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 BART-PT-060, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344534700066
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 4.0K Mar 10 19:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 10 19:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Mar 10 19:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 10 19:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:46 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 98 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 336 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Mar 10 19:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Mar 10 19:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 10 19:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Mar 10 19:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 10 17:46 NewModel
-rw-r--r-- 1 mcc users 4.7K Mar 10 19:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 10 19:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Mar 10 19:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 10 19:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 10 19:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 10 19:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 10 17:46 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 10 17:46 instance
-rw-r--r-- 1 mcc users 6 Mar 10 17:46 iscolored
-rw-r--r-- 1 mcc users 14M Mar 10 17:46 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 BART-PT-060-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554498348529

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ BART-PT-060 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ BART-PT-060

{
"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:05:48 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 9313772,
"runtime": 3571.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"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": 97200,
"conflict_clusters": 62,
"places": 8130,
"places_significant": 7860,
"singleton_clusters": 0,
"transitions": 12120
},
"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": 66567896901931119160477835248357231286156020818798333690220471533963258527532187648.000000,
"composed": 1677,
"dead_branches": 0,
"generators": 1773,
"interrupted": false,
"real_computed": 96,
"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: 20250/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 260160
lola: finding significant places
lola: 8130 places, 12120 transitions, 7860 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: 1 tries, 732965 fired transitions, 0 secs
lola: 1760 generators;11904760 candidates remain ( 0%), 0 secs
lola: computed 1773 generators (96 in search tree, 1677 by composition)
lola: representing 6.65679E+82 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1487359 fired transitions, 5 secs || 41567 markings, 63609 edges, 8313 markings/sec, 5 secs
lola: 3 tries, 2231970 fired transitions, 10 secs || 85506 markings, 131196 edges, 8788 markings/sec, 10 secs
lola: 3 tries, 2725988 fired transitions, 15 secs || 130070 markings, 199744 edges, 8913 markings/sec, 15 secs
lola: 4 tries, 3451742 fired transitions, 20 secs || 174801 markings, 268550 edges, 8946 markings/sec, 20 secs
lola: 5 tries, 4204001 fired transitions, 25 secs || 219470 markings, 337265 edges, 8934 markings/sec, 25 secs
lola: 5 tries, 4972657 fired transitions, 30 secs || 262894 markings, 403901 edges, 8685 markings/sec, 30 secs
lola: 6 tries, 5749906 fired transitions, 35 secs || 307159 markings, 471993 edges, 8853 markings/sec, 35 secs
lola: 7 tries, 6510869 fired transitions, 40 secs || 351341 markings, 539948 edges, 8836 markings/sec, 40 secs
lola: 8 tries, 7280293 fired transitions, 45 secs || 394627 markings, 606529 edges, 8657 markings/sec, 45 secs
lola: 9 tries, 8053322 fired transitions, 50 secs || 438657 markings, 674258 edges, 8806 markings/sec, 50 secs
lola: 9 tries, 8822928 fired transitions, 55 secs || 482434 markings, 741597 edges, 8755 markings/sec, 55 secs
lola: 10 tries, 9593710 fired transitions, 60 secs || 526199 markings, 808767 edges, 8753 markings/sec, 60 secs
lola: 11 tries, 10367943 fired transitions, 65 secs || 570166 markings, 876395 edges, 8793 markings/sec, 65 secs
lola: 12 tries, 11142008 fired transitions, 70 secs || 614159 markings, 944066 edges, 8799 markings/sec, 70 secs
lola: 12 tries, 11912130 fired transitions, 75 secs || 658237 markings, 1011864 edges, 8816 markings/sec, 75 secs
lola: 13 tries, 12688230 fired transitions, 80 secs || 702292 markings, 1079634 edges, 8811 markings/sec, 80 secs
lola: 14 tries, 13462609 fired transitions, 85 secs || 746240 markings, 1147184 edges, 8790 markings/sec, 85 secs
lola: 15 tries, 14239259 fired transitions, 90 secs || 790054 markings, 1214472 edges, 8763 markings/sec, 90 secs
lola: 16 tries, 15004230 fired transitions, 95 secs || 834085 markings, 1282203 edges, 8806 markings/sec, 95 secs
lola: 16 tries, 15768800 fired transitions, 100 secs || 878615 markings, 1350701 edges, 8906 markings/sec, 100 secs
lola: 17 tries, 16544560 fired transitions, 105 secs || 921984 markings, 1417415 edges, 8674 markings/sec, 105 secs
lola: 18 tries, 17315536 fired transitions, 110 secs || 965859 markings, 1484898 edges, 8775 markings/sec, 110 secs
lola: 19 tries, 18082751 fired transitions, 115 secs || 1009129 markings, 1551301 edges, 8654 markings/sec, 115 secs
lola: 19 tries, 18859653 fired transitions, 120 secs || 1053343 markings, 1619304 edges, 8843 markings/sec, 120 secs
lola: 20 tries, 19635985 fired transitions, 125 secs || 1096971 markings, 1686413 edges, 8726 markings/sec, 125 secs
lola: 21 tries, 20411479 fired transitions, 130 secs || 1140752 markings, 1753763 edges, 8756 markings/sec, 130 secs
lola: 22 tries, 21190129 fired transitions, 135 secs || 1184667 markings, 1821312 edges, 8783 markings/sec, 135 secs
lola: 22 tries, 21969484 fired transitions, 140 secs || 1228270 markings, 1888385 edges, 8721 markings/sec, 140 secs
lola: 23 tries, 22741700 fired transitions, 145 secs || 1271511 markings, 1954753 edges, 8648 markings/sec, 145 secs
lola: 24 tries, 23519971 fired transitions, 150 secs || 1315362 markings, 2022187 edges, 8770 markings/sec, 150 secs
lola: 25 tries, 24293925 fired transitions, 155 secs || 1359144 markings, 2089532 edges, 8756 markings/sec, 155 secs
lola: 26 tries, 25067107 fired transitions, 160 secs || 1403053 markings, 2157075 edges, 8782 markings/sec, 160 secs
lola: 26 tries, 25838251 fired transitions, 165 secs || 1446919 markings, 2224554 edges, 8773 markings/sec, 165 secs
lola: 27 tries, 26613088 fired transitions, 170 secs || 1490771 markings, 2292006 edges, 8770 markings/sec, 170 secs
lola: 28 tries, 27388338 fired transitions, 175 secs || 1534230 markings, 2358701 edges, 8692 markings/sec, 175 secs
lola: 29 tries, 28165878 fired transitions, 180 secs || 1578026 markings, 2426068 edges, 8759 markings/sec, 180 secs
lola: 29 tries, 28943991 fired transitions, 185 secs || 1621619 markings, 2493125 edges, 8719 markings/sec, 185 secs
lola: 30 tries, 29720850 fired transitions, 190 secs || 1665156 markings, 2560097 edges, 8707 markings/sec, 190 secs
lola: 31 tries, 30492805 fired transitions, 195 secs || 1709099 markings, 2627686 edges, 8789 markings/sec, 195 secs
lola: 32 tries, 31270772 fired transitions, 200 secs || 1752922 markings, 2695094 edges, 8765 markings/sec, 200 secs
lola: 33 tries, 32042892 fired transitions, 205 secs || 1796690 markings, 2762262 edges, 8754 markings/sec, 205 secs
lola: 33 tries, 32821033 fired transitions, 210 secs || 1840427 markings, 2829538 edges, 8747 markings/sec, 210 secs
lola: 34 tries, 33592507 fired transitions, 215 secs || 1884587 markings, 2897474 edges, 8832 markings/sec, 215 secs
lola: 35 tries, 34363600 fired transitions, 220 secs || 1928781 markings, 2965449 edges, 8839 markings/sec, 220 secs
lola: 36 tries, 35138231 fired transitions, 225 secs || 1972604 markings, 3032860 edges, 8765 markings/sec, 225 secs
lola: 36 tries, 35908859 fired transitions, 230 secs || 2016717 markings, 3100662 edges, 8823 markings/sec, 230 secs
lola: 37 tries, 36684654 fired transitions, 235 secs || 2060640 markings, 3168126 edges, 8785 markings/sec, 235 secs
lola: 38 tries, 37459682 fired transitions, 240 secs || 2104669 markings, 3235842 edges, 8806 markings/sec, 240 secs
lola: 39 tries, 38238713 fired transitions, 245 secs || 2148552 markings, 3303348 edges, 8777 markings/sec, 245 secs
lola: 40 tries, 39012146 fired transitions, 250 secs || 2192444 markings, 3370858 edges, 8778 markings/sec, 250 secs
lola: 40 tries, 39776990 fired transitions, 255 secs || 2236331 markings, 3438367 edges, 8777 markings/sec, 255 secs
lola: 41 tries, 40550580 fired transitions, 260 secs || 2279820 markings, 3505110 edges, 8698 markings/sec, 260 secs
lola: 42 tries, 41325310 fired transitions, 265 secs || 2323830 markings, 3572796 edges, 8802 markings/sec, 265 secs
lola: 43 tries, 42096441 fired transitions, 270 secs || 2367857 markings, 3640522 edges, 8805 markings/sec, 270 secs
lola: 43 tries, 42866155 fired transitions, 275 secs || 2412368 markings, 3708989 edges, 8902 markings/sec, 275 secs
lola: 44 tries, 43636457 fired transitions, 280 secs || 2456280 markings, 3776536 edges, 8782 markings/sec, 280 secs
lola: 45 tries, 44410448 fired transitions, 285 secs || 2499909 markings, 3843647 edges, 8726 markings/sec, 285 secs
lola: 46 tries, 45168469 fired transitions, 290 secs || 2543486 markings, 3910527 edges, 8715 markings/sec, 290 secs
lola: 46 tries, 45946442 fired transitions, 295 secs || 2587709 markings, 3978556 edges, 8845 markings/sec, 295 secs
lola: 47 tries, 46714524 fired transitions, 300 secs || 2631896 markings, 4046512 edges, 8837 markings/sec, 300 secs
lola: 48 tries, 47483982 fired transitions, 305 secs || 2675738 markings, 4113948 edges, 8768 markings/sec, 305 secs
lola: 49 tries, 48253888 fired transitions, 310 secs || 2720502 markings, 4182810 edges, 8953 markings/sec, 310 secs
lola: 50 tries, 49031393 fired transitions, 315 secs || 2764230 markings, 4250071 edges, 8746 markings/sec, 315 secs
lola: 50 tries, 49809047 fired transitions, 320 secs || 2808201 markings, 4317557 edges, 8794 markings/sec, 320 secs
lola: 51 tries, 50579791 fired transitions, 325 secs || 2851978 markings, 4384894 edges, 8755 markings/sec, 325 secs
lola: 52 tries, 51349210 fired transitions, 330 secs || 2895605 markings, 4452001 edges, 8725 markings/sec, 330 secs
lola: 53 tries, 52121639 fired transitions, 335 secs || 2938823 markings, 4518484 edges, 8644 markings/sec, 335 secs
lola: 53 tries, 52890280 fired transitions, 340 secs || 2982382 markings, 4585481 edges, 8712 markings/sec, 340 secs
lola: 54 tries, 53659709 fired transitions, 345 secs || 3025721 markings, 4652142 edges, 8668 markings/sec, 345 secs
lola: 55 tries, 54432777 fired transitions, 350 secs || 3069364 markings, 4719127 edges, 8729 markings/sec, 350 secs
lola: 56 tries, 55195759 fired transitions, 355 secs || 3112763 markings, 4785879 edges, 8680 markings/sec, 355 secs
lola: 56 tries, 55956231 fired transitions, 360 secs || 3156433 markings, 4853048 edges, 8734 markings/sec, 360 secs
lola: 57 tries, 56724176 fired transitions, 365 secs || 3200379 markings, 4920656 edges, 8789 markings/sec, 365 secs
lola: 58 tries, 57495924 fired transitions, 370 secs || 3243615 markings, 4987156 edges, 8647 markings/sec, 370 secs
lola: 59 tries, 58267716 fired transitions, 375 secs || 3286894 markings, 5053652 edges, 8656 markings/sec, 375 secs
lola: 60 tries, 59043595 fired transitions, 380 secs || 3330638 markings, 5120862 edges, 8749 markings/sec, 380 secs
lola: 60 tries, 59816449 fired transitions, 385 secs || 3373850 markings, 5187331 edges, 8642 markings/sec, 385 secs
lola: 61 tries, 60591951 fired transitions, 390 secs || 3417284 markings, 5254145 edges, 8687 markings/sec, 390 secs
lola: 62 tries, 61367199 fired transitions, 395 secs || 3460392 markings, 5320450 edges, 8622 markings/sec, 395 secs
lola: 63 tries, 62135814 fired transitions, 400 secs || 3503829 markings, 5387265 edges, 8687 markings/sec, 400 secs
lola: 63 tries, 62902253 fired transitions, 405 secs || 3547313 markings, 5454003 edges, 8697 markings/sec, 405 secs
lola: 64 tries, 63667722 fired transitions, 410 secs || 3591227 markings, 5521539 edges, 8783 markings/sec, 410 secs
lola: 65 tries, 64442685 fired transitions, 415 secs || 3634885 markings, 5588698 edges, 8732 markings/sec, 415 secs
lola: 66 tries, 65214320 fired transitions, 420 secs || 3678183 markings, 5655296 edges, 8660 markings/sec, 420 secs
lola: 66 tries, 65985537 fired transitions, 425 secs || 3721978 markings, 5722664 edges, 8759 markings/sec, 425 secs
lola: 67 tries, 66760766 fired transitions, 430 secs || 3765601 markings, 5789766 edges, 8725 markings/sec, 430 secs
lola: 68 tries, 67536600 fired transitions, 435 secs || 3808996 markings, 5856365 edges, 8679 markings/sec, 435 secs
lola: 69 tries, 68312966 fired transitions, 440 secs || 3853008 markings, 5924054 edges, 8802 markings/sec, 440 secs
lola: 70 tries, 69076179 fired transitions, 445 secs || 3897008 markings, 5991735 edges, 8800 markings/sec, 445 secs
lola: 70 tries, 69851776 fired transitions, 450 secs || 3940823 markings, 6059138 edges, 8763 markings/sec, 450 secs
lola: 71 tries, 70622643 fired transitions, 455 secs || 3984900 markings, 6126934 edges, 8815 markings/sec, 455 secs
lola: 72 tries, 71393486 fired transitions, 460 secs || 4028477 markings, 6193965 edges, 8715 markings/sec, 460 secs
lola: 73 tries, 72169138 fired transitions, 465 secs || 4071803 markings, 6260457 edges, 8665 markings/sec, 465 secs
lola: 73 tries, 72944483 fired transitions, 470 secs || 4114911 markings, 6326768 edges, 8622 markings/sec, 470 secs
lola: 74 tries, 73712811 fired transitions, 475 secs || 4158271 markings, 6393458 edges, 8672 markings/sec, 475 secs
lola: 75 tries, 74483716 fired transitions, 480 secs || 4201698 markings, 6460261 edges, 8685 markings/sec, 480 secs
lola: 76 tries, 75252733 fired transitions, 485 secs || 4244989 markings, 6526849 edges, 8658 markings/sec, 485 secs
lola: 77 tries, 76020937 fired transitions, 490 secs || 4287792 markings, 6592693 edges, 8561 markings/sec, 490 secs
lola: 77 tries, 76785211 fired transitions, 495 secs || 4330961 markings, 6658939 edges, 8634 markings/sec, 495 secs
lola: 78 tries, 77549183 fired transitions, 500 secs || 4375008 markings, 6726694 edges, 8809 markings/sec, 500 secs
lola: 79 tries, 78324749 fired transitions, 505 secs || 4418326 markings, 6793327 edges, 8664 markings/sec, 505 secs
lola: 80 tries, 79094927 fired transitions, 510 secs || 4461638 markings, 6859953 edges, 8662 markings/sec, 510 secs
lola: 80 tries, 79868053 fired transitions, 515 secs || 4505029 markings, 6926698 edges, 8678 markings/sec, 515 secs
lola: 81 tries, 80640502 fired transitions, 520 secs || 4548480 markings, 6993535 edges, 8690 markings/sec, 520 secs
lola: 82 tries, 81407477 fired transitions, 525 secs || 4591853 markings, 7060095 edges, 8675 markings/sec, 525 secs
lola: 83 tries, 82181408 fired transitions, 530 secs || 4635373 markings, 7127035 edges, 8704 markings/sec, 530 secs
lola: 83 tries, 82956111 fired transitions, 535 secs || 4678758 markings, 7193767 edges, 8677 markings/sec, 535 secs
lola: 84 tries, 83729525 fired transitions, 540 secs || 4722344 markings, 7260813 edges, 8717 markings/sec, 540 secs
lola: 85 tries, 84494767 fired transitions, 545 secs || 4766026 markings, 7328011 edges, 8736 markings/sec, 545 secs
lola: 86 tries, 85265449 fired transitions, 550 secs || 4809660 markings, 7395029 edges, 8727 markings/sec, 550 secs
lola: 87 tries, 86037476 fired transitions, 555 secs || 4852993 markings, 7461621 edges, 8667 markings/sec, 555 secs
lola: 87 tries, 86812084 fired transitions, 560 secs || 4896381 markings, 7528361 edges, 8678 markings/sec, 560 secs
lola: 88 tries, 87568025 fired transitions, 565 secs || 4940409 markings, 7596083 edges, 8806 markings/sec, 565 secs
lola: 89 tries, 88341769 fired transitions, 570 secs || 4983524 markings, 7662410 edges, 8623 markings/sec, 570 secs
lola: 90 tries, 89110893 fired transitions, 575 secs || 5026472 markings, 7728468 edges, 8590 markings/sec, 575 secs
lola: 90 tries, 89881090 fired transitions, 580 secs || 5069692 markings, 7794803 edges, 8644 markings/sec, 580 secs
lola: 91 tries, 90652990 fired transitions, 585 secs || 5113136 markings, 7861616 edges, 8689 markings/sec, 585 secs
lola: 92 tries, 91425325 fired transitions, 590 secs || 5156552 markings, 7928401 edges, 8683 markings/sec, 590 secs
lola: 93 tries, 92197956 fired transitions, 595 secs || 5199793 markings, 7994918 edges, 8648 markings/sec, 595 secs
lola: 93 tries, 92973438 fired transitions, 600 secs || 5243139 markings, 8061592 edges, 8669 markings/sec, 600 secs
lola: 94 tries, 93746733 fired transitions, 605 secs || 5286532 markings, 8128336 edges, 8679 markings/sec, 605 secs
lola: 95 tries, 94517515 fired transitions, 610 secs || 5330032 markings, 8195100 edges, 8700 markings/sec, 610 secs
lola: 96 tries, 95290395 fired transitions, 615 secs || 5373013 markings, 8261208 edges, 8596 markings/sec, 615 secs
lola: 97 tries, 96063513 fired transitions, 620 secs || 5416369 markings, 8327905 edges, 8671 markings/sec, 620 secs
lola: 97 tries, 96829761 fired transitions, 625 secs || 5459110 markings, 8393644 edges, 8548 markings/sec, 625 secs
lola: 98 tries, 97595961 fired transitions, 630 secs || 5502054 markings, 8459700 edges, 8589 markings/sec, 630 secs
lola: 99 tries, 98362852 fired transitions, 635 secs || 5545017 markings, 8525788 edges, 8593 markings/sec, 635 secs
lola: 100 tries, 99128548 fired transitions, 640 secs || 5588203 markings, 8592065 edges, 8637 markings/sec, 640 secs
lola: 100 tries, 99901533 fired transitions, 645 secs || 5631415 markings, 8658535 edges, 8642 markings/sec, 645 secs
lola: 101 tries, 100672868 fired transitions, 650 secs || 5674715 markings, 8725142 edges, 8660 markings/sec, 650 secs
lola: 102 tries, 101440645 fired transitions, 655 secs || 5717871 markings, 8791513 edges, 8631 markings/sec, 655 secs
lola: 103 tries, 102196868 fired transitions, 660 secs || 5761698 markings, 8858935 edges, 8765 markings/sec, 660 secs
lola: 103 tries, 102966445 fired transitions, 665 secs || 5805032 markings, 8925586 edges, 8667 markings/sec, 665 secs
lola: 104 tries, 103731878 fired transitions, 670 secs || 5848596 markings, 8992446 edges, 8713 markings/sec, 670 secs
lola: 105 tries, 104508834 fired transitions, 675 secs || 5892100 markings, 9059358 edges, 8701 markings/sec, 675 secs
lola: 106 tries, 105285513 fired transitions, 680 secs || 5935470 markings, 9126073 edges, 8674 markings/sec, 680 secs
lola: 107 tries, 106062390 fired transitions, 685 secs || 5978916 markings, 9192911 edges, 8689 markings/sec, 685 secs
lola: 107 tries, 106834009 fired transitions, 690 secs || 6022556 markings, 9260040 edges, 8728 markings/sec, 690 secs
lola: 108 tries, 107600716 fired transitions, 695 secs || 6066679 markings, 9327900 edges, 8825 markings/sec, 695 secs
lola: 109 tries, 108367637 fired transitions, 700 secs || 6110708 markings, 9395468 edges, 8806 markings/sec, 700 secs
lola: 110 tries, 109141431 fired transitions, 705 secs || 6154272 markings, 9462482 edges, 8713 markings/sec, 705 secs
lola: 110 tries, 109911900 fired transitions, 710 secs || 6197783 markings, 9529411 edges, 8702 markings/sec, 710 secs
lola: 111 tries, 110679245 fired transitions, 715 secs || 6241471 markings, 9596617 edges, 8738 markings/sec, 715 secs
lola: 112 tries, 111455737 fired transitions, 720 secs || 6284881 markings, 9663386 edges, 8682 markings/sec, 720 secs
lola: 113 tries, 112230039 fired transitions, 725 secs || 6327955 markings, 9729565 edges, 8615 markings/sec, 725 secs
lola: 113 tries, 112999298 fired transitions, 730 secs || 6371242 markings, 9796102 edges, 8657 markings/sec, 730 secs
lola: 114 tries, 113773872 fired transitions, 735 secs || 6414270 markings, 9862285 edges, 8606 markings/sec, 735 secs
lola: 115 tries, 114550827 fired transitions, 740 secs || 6457564 markings, 9928880 edges, 8659 markings/sec, 740 secs
lola: 116 tries, 115323320 fired transitions, 745 secs || 6500825 markings, 9995424 edges, 8652 markings/sec, 745 secs
lola: 117 tries, 116099653 fired transitions, 750 secs || 6544416 markings, 10062479 edges, 8718 markings/sec, 750 secs
lola: 117 tries, 116872267 fired transitions, 755 secs || 6588013 markings, 10129492 edges, 8719 markings/sec, 755 secs
lola: 118 tries, 117639396 fired transitions, 760 secs || 6631911 markings, 10196908 edges, 8780 markings/sec, 760 secs
lola: 119 tries, 118416002 fired transitions, 765 secs || 6675303 markings, 10263658 edges, 8678 markings/sec, 765 secs
lola: 120 tries, 119190580 fired transitions, 770 secs || 6718539 markings, 10330159 edges, 8647 markings/sec, 770 secs
lola: 120 tries, 119965110 fired transitions, 775 secs || 6761827 markings, 10396744 edges, 8658 markings/sec, 775 secs
lola: 121 tries, 120739022 fired transitions, 780 secs || 6804981 markings, 10463117 edges, 8631 markings/sec, 780 secs
lola: 122 tries, 121504643 fired transitions, 785 secs || 6848041 markings, 10529240 edges, 8612 markings/sec, 785 secs
lola: 123 tries, 122277858 fired transitions, 790 secs || 6890982 markings, 10595256 edges, 8588 markings/sec, 790 secs
lola: 124 tries, 123052589 fired transitions, 795 secs || 6934222 markings, 10661769 edges, 8648 markings/sec, 795 secs
lola: 124 tries, 123824216 fired transitions, 800 secs || 6977090 markings, 10727712 edges, 8574 markings/sec, 800 secs
lola: 125 tries, 124593683 fired transitions, 805 secs || 7020428 markings, 10794374 edges, 8668 markings/sec, 805 secs
lola: 126 tries, 125368216 fired transitions, 810 secs || 7063781 markings, 10861061 edges, 8671 markings/sec, 810 secs
lola: 127 tries, 126143989 fired transitions, 815 secs || 7106893 markings, 10927224 edges, 8622 markings/sec, 815 secs
lola: 127 tries, 126900307 fired transitions, 820 secs || 7149790 markings, 10993209 edges, 8579 markings/sec, 820 secs
lola: 128 tries, 127656433 fired transitions, 825 secs || 7192724 markings, 11059243 edges, 8587 markings/sec, 825 secs
lola: 129 tries, 128433103 fired transitions, 830 secs || 7235736 markings, 11125408 edges, 8602 markings/sec, 830 secs
lola: 130 tries, 129209992 fired transitions, 835 secs || 7278987 markings, 11191938 edges, 8650 markings/sec, 835 secs
lola: 130 tries, 129984551 fired transitions, 840 secs || 7322124 markings, 11258284 edges, 8627 markings/sec, 840 secs
lola: 131 tries, 130758156 fired transitions, 845 secs || 7365641 markings, 11325069 edges, 8703 markings/sec, 845 secs
lola: 132 tries, 131533534 fired transitions, 850 secs || 7408698 markings, 11391303 edges, 8611 markings/sec, 850 secs
lola: 133 tries, 132308081 fired transitions, 855 secs || 7451468 markings, 11457092 edges, 8554 markings/sec, 855 secs
lola: 134 tries, 133078761 fired transitions, 860 secs || 7494331 markings, 11523017 edges, 8573 markings/sec, 860 secs
lola: 134 tries, 133853557 fired transitions, 865 secs || 7537539 markings, 11589482 edges, 8642 markings/sec, 865 secs
lola: 135 tries, 134627897 fired transitions, 870 secs || 7580846 markings, 11656103 edges, 8661 markings/sec, 870 secs
lola: 136 tries, 135392156 fired transitions, 875 secs || 7624055 markings, 11722409 edges, 8642 markings/sec, 875 secs
lola: 137 tries, 136166944 fired transitions, 880 secs || 7667048 markings, 11788535 edges, 8599 markings/sec, 880 secs
lola: 137 tries, 136941284 fired transitions, 885 secs || 7709627 markings, 11854031 edges, 8516 markings/sec, 885 secs
lola: 138 tries, 137714064 fired transitions, 890 secs || 7752502 markings, 11919980 edges, 8575 markings/sec, 890 secs
lola: 139 tries, 138483965 fired transitions, 895 secs || 7795148 markings, 11985585 edges, 8529 markings/sec, 895 secs
lola: 140 tries, 139257183 fired transitions, 900 secs || 7838272 markings, 12051915 edges, 8625 markings/sec, 900 secs
lola: 141 tries, 140030727 fired transitions, 905 secs || 7881434 markings, 12118157 edges, 8632 markings/sec, 905 secs
lola: 141 tries, 140803036 fired transitions, 910 secs || 7924439 markings, 12184303 edges, 8601 markings/sec, 910 secs
lola: 142 tries, 141573793 fired transitions, 915 secs || 7967455 markings, 12250476 edges, 8603 markings/sec, 915 secs
lola: 143 tries, 142332860 fired transitions, 920 secs || 8010385 markings, 12316511 edges, 8586 markings/sec, 920 secs
lola: 144 tries, 143107514 fired transitions, 925 secs || 8053805 markings, 12383294 edges, 8684 markings/sec, 925 secs
lola: 144 tries, 143878255 fired transitions, 930 secs || 8097134 markings, 12449945 edges, 8666 markings/sec, 930 secs
lola: 145 tries, 144647990 fired transitions, 935 secs || 8140633 markings, 12516702 edges, 8700 markings/sec, 935 secs
lola: 146 tries, 145415534 fired transitions, 940 secs || 8183627 markings, 12582838 edges, 8599 markings/sec, 940 secs
lola: 147 tries, 146191085 fired transitions, 945 secs || 8226773 markings, 12649200 edges, 8629 markings/sec, 945 secs
lola: 147 tries, 146967104 fired transitions, 950 secs || 8269960 markings, 12715642 edges, 8637 markings/sec, 950 secs
lola: 148 tries, 147743254 fired transitions, 955 secs || 8313404 markings, 12782464 edges, 8689 markings/sec, 955 secs
lola: 149 tries, 148517575 fired transitions, 960 secs || 8356815 markings, 12849223 edges, 8682 markings/sec, 960 secs
lola: 150 tries, 149291061 fired transitions, 965 secs || 8399701 markings, 12915053 edges, 8577 markings/sec, 965 secs
lola: 151 tries, 150068353 fired transitions, 970 secs || 8443050 markings, 12981734 edges, 8670 markings/sec, 970 secs
lola: 151 tries, 150835239 fired transitions, 975 secs || 8486358 markings, 13048343 edges, 8662 markings/sec, 975 secs
lola: 152 tries, 151609173 fired transitions, 980 secs || 8529674 markings, 13114975 edges, 8663 markings/sec, 980 secs
lola: 153 tries, 152382101 fired transitions, 985 secs || 8573219 markings, 13181961 edges, 8709 markings/sec, 985 secs
lola: 154 tries, 153158796 fired transitions, 990 secs || 8616728 markings, 13248792 edges, 8702 markings/sec, 990 secs
lola: 154 tries, 153935548 fired transitions, 995 secs || 8660194 markings, 13315583 edges, 8693 markings/sec, 995 secs
lola: 155 tries, 154711790 fired transitions, 1000 secs || 8703426 markings, 13382087 edges, 8646 markings/sec, 1000 secs
lola: 156 tries, 155482997 fired transitions, 1005 secs || 8746607 markings, 13448508 edges, 8636 markings/sec, 1005 secs
lola: 157 tries, 156255335 fired transitions, 1010 secs || 8789927 markings, 13515143 edges, 8664 markings/sec, 1010 secs
lola: 158 tries, 157032897 fired transitions, 1015 secs || 8833436 markings, 13582066 edges, 8702 markings/sec, 1015 secs
lola: 158 tries, 157806767 fired transitions, 1020 secs || 8876383 markings, 13647981 edges, 8589 markings/sec, 1020 secs
lola: 159 tries, 158581036 fired transitions, 1025 secs || 8919987 markings, 13715041 edges, 8721 markings/sec, 1025 secs
lola: 160 tries, 159358492 fired transitions, 1030 secs || 8963341 markings, 13781725 edges, 8671 markings/sec, 1030 secs
lola: 161 tries, 160136051 fired transitions, 1035 secs || 9006811 markings, 13848595 edges, 8694 markings/sec, 1035 secs
lola: 161 tries, 160905377 fired transitions, 1040 secs || 9050411 markings, 13915661 edges, 8720 markings/sec, 1040 secs
lola: 162 tries, 161679479 fired transitions, 1045 secs || 9094003 markings, 13982714 edges, 8718 markings/sec, 1045 secs
lola: 163 tries, 162452067 fired transitions, 1050 secs || 9137092 markings, 14048835 edges, 8618 markings/sec, 1050 secs
lola: 164 tries, 163226626 fired transitions, 1055 secs || 9180681 markings, 14115882 edges, 8718 markings/sec, 1055 secs
lola: 165 tries, 164000949 fired transitions, 1060 secs || 9224371 markings, 14183082 edges, 8738 markings/sec, 1060 secs
lola: 165 tries, 164773000 fired transitions, 1065 secs || 9267759 markings, 14249830 edges, 8678 markings/sec, 1065 secs
lola: 166 tries, 165547184 fired transitions, 1070 secs || 9311154 markings, 14316587 edges, 8679 markings/sec, 1070 secs
lola: 167 tries, 166322969 fired transitions, 1075 secs || 9354740 markings, 14383627 edges, 8717 markings/sec, 1075 secs
lola: 168 tries, 167095279 fired transitions, 1080 secs || 9398226 markings, 14450361 edges, 8697 markings/sec, 1080 secs
lola: 168 tries, 167871466 fired transitions, 1085 secs || 9441647 markings, 14517157 edges, 8684 markings/sec, 1085 secs
lola: 169 tries, 168645907 fired transitions, 1090 secs || 9485105 markings, 14583997 edges, 8692 markings/sec, 1090 secs
lola: 170 tries, 169421992 fired transitions, 1095 secs || 9528434 markings, 14650648 edges, 8666 markings/sec, 1095 secs
lola: 171 tries, 170194478 fired transitions, 1100 secs || 9572128 markings, 14717859 edges, 8739 markings/sec, 1100 secs
lola: 171 tries, 170969578 fired transitions, 1105 secs || 9615848 markings, 14785112 edges, 8744 markings/sec, 1105 secs
lola: 172 tries, 171738771 fired transitions, 1110 secs || 9659330 markings, 14851835 edges, 8696 markings/sec, 1110 secs
lola: 173 tries, 172509076 fired transitions, 1115 secs || 9702709 markings, 14918566 edges, 8676 markings/sec, 1115 secs
lola: 174 tries, 173283879 fired transitions, 1120 secs || 9745881 markings, 14984976 edges, 8634 markings/sec, 1120 secs
lola: 175 tries, 174055246 fired transitions, 1125 secs || 9789614 markings, 15052242 edges, 8747 markings/sec, 1125 secs
lola: 175 tries, 174831886 fired transitions, 1130 secs || 9833122 markings, 15119174 edges, 8702 markings/sec, 1130 secs
lola: 176 tries, 175601157 fired transitions, 1135 secs || 9876607 markings, 15186054 edges, 8697 markings/sec, 1135 secs
lola: 177 tries, 176378710 fired transitions, 1140 secs || 9920299 markings, 15253105 edges, 8738 markings/sec, 1140 secs
lola: 178 tries, 177153957 fired transitions, 1145 secs || 9963990 markings, 15320313 edges, 8738 markings/sec, 1145 secs
lola: 178 tries, 177921495 fired transitions, 1150 secs || 10007500 markings, 15387241 edges, 8702 markings/sec, 1150 secs
lola: 179 tries, 178694418 fired transitions, 1155 secs || 10051157 markings, 15454394 edges, 8731 markings/sec, 1155 secs
lola: 180 tries, 179472102 fired transitions, 1160 secs || 10094972 markings, 15521794 edges, 8763 markings/sec, 1160 secs
lola: 181 tries, 180248246 fired transitions, 1165 secs || 10138600 markings, 15588793 edges, 8726 markings/sec, 1165 secs
lola: 182 tries, 181019253 fired transitions, 1170 secs || 10182160 markings, 15655745 edges, 8712 markings/sec, 1170 secs
lola: 182 tries, 181793156 fired transitions, 1175 secs || 10225460 markings, 15722350 edges, 8660 markings/sec, 1175 secs
lola: 183 tries, 182571813 fired transitions, 1180 secs || 10268833 markings, 15789063 edges, 8675 markings/sec, 1180 secs
lola: 184 tries, 183348380 fired transitions, 1185 secs || 10312251 markings, 15855853 edges, 8684 markings/sec, 1185 secs
lola: 185 tries, 184116835 fired transitions, 1190 secs || 10355637 markings, 15922587 edges, 8677 markings/sec, 1190 secs
lola: 185 tries, 184889294 fired transitions, 1195 secs || 10398948 markings, 15989116 edges, 8662 markings/sec, 1195 secs
lola: 186 tries, 185667797 fired transitions, 1200 secs || 10442394 markings, 16055882 edges, 8689 markings/sec, 1200 secs
lola: 187 tries, 186430385 fired transitions, 1205 secs || 10485877 markings, 16122763 edges, 8697 markings/sec, 1205 secs
lola: 188 tries, 187208678 fired transitions, 1210 secs || 10529268 markings, 16189516 edges, 8678 markings/sec, 1210 secs
lola: 188 tries, 187986784 fired transitions, 1215 secs || 10572895 markings, 16256619 edges, 8725 markings/sec, 1215 secs
lola: 189 tries, 188764872 fired transitions, 1220 secs || 10616392 markings, 16323527 edges, 8699 markings/sec, 1220 secs
lola: 190 tries, 189537984 fired transitions, 1225 secs || 10660002 markings, 16390460 edges, 8722 markings/sec, 1225 secs
lola: 191 tries, 190308528 fired transitions, 1230 secs || 10703634 markings, 16457568 edges, 8726 markings/sec, 1230 secs
lola: 192 tries, 191085998 fired transitions, 1235 secs || 10746848 markings, 16524041 edges, 8643 markings/sec, 1235 secs
lola: 192 tries, 191861783 fired transitions, 1240 secs || 10789864 markings, 16590209 edges, 8603 markings/sec, 1240 secs
lola: 193 tries, 192639919 fired transitions, 1245 secs || 10833329 markings, 16657069 edges, 8693 markings/sec, 1245 secs
lola: 194 tries, 193418300 fired transitions, 1250 secs || 10876764 markings, 16723882 edges, 8687 markings/sec, 1250 secs
lola: 195 tries, 194195004 fired transitions, 1255 secs || 10920088 markings, 16790369 edges, 8665 markings/sec, 1255 secs
lola: 195 tries, 194971138 fired transitions, 1260 secs || 10963596 markings, 16857296 edges, 8702 markings/sec, 1260 secs
lola: 196 tries, 195747834 fired transitions, 1265 secs || 11006444 markings, 16923206 edges, 8570 markings/sec, 1265 secs
lola: 197 tries, 196522647 fired transitions, 1270 secs || 11049680 markings, 16989712 edges, 8647 markings/sec, 1270 secs
lola: 198 tries, 197301356 fired transitions, 1275 secs || 11093251 markings, 17056727 edges, 8714 markings/sec, 1275 secs
lola: 199 tries, 198070438 fired transitions, 1280 secs || 11136705 markings, 17123569 edges, 8691 markings/sec, 1280 secs
lola: 199 tries, 198841579 fired transitions, 1285 secs || 11180057 markings, 17190100 edges, 8670 markings/sec, 1285 secs
lola: 200 tries, 199619204 fired transitions, 1290 secs || 11223319 markings, 17256643 edges, 8652 markings/sec, 1290 secs
lola: 201 tries, 200398022 fired transitions, 1295 secs || 11266497 markings, 17323061 edges, 8636 markings/sec, 1295 secs
lola: 202 tries, 201174492 fired transitions, 1300 secs || 11309318 markings, 17388930 edges, 8564 markings/sec, 1300 secs
lola: 202 tries, 201950786 fired transitions, 1305 secs || 11352761 markings, 17455756 edges, 8689 markings/sec, 1305 secs
lola: 203 tries, 202722503 fired transitions, 1310 secs || 11396010 markings, 17522284 edges, 8650 markings/sec, 1310 secs
lola: 204 tries, 203498080 fired transitions, 1315 secs || 11439464 markings, 17588960 edges, 8691 markings/sec, 1315 secs
lola: 205 tries, 204270830 fired transitions, 1320 secs || 11483026 markings, 17655970 edges, 8712 markings/sec, 1320 secs
lola: 206 tries, 205042507 fired transitions, 1325 secs || 11526425 markings, 17722727 edges, 8680 markings/sec, 1325 secs
lola: 206 tries, 205821069 fired transitions, 1330 secs || 11569912 markings, 17789621 edges, 8697 markings/sec, 1330 secs
lola: 207 tries, 206599401 fired transitions, 1335 secs || 11613398 markings, 17856509 edges, 8697 markings/sec, 1335 secs
lola: 208 tries, 207371088 fired transitions, 1340 secs || 11656716 markings, 17923139 edges, 8664 markings/sec, 1340 secs
lola: 209 tries, 208143926 fired transitions, 1345 secs || 11700096 markings, 17989713 edges, 8676 markings/sec, 1345 secs
lola: 209 tries, 208920817 fired transitions, 1350 secs || 11743385 markings, 18056299 edges, 8658 markings/sec, 1350 secs
lola: 210 tries, 209696164 fired transitions, 1355 secs || 11786594 markings, 18122762 edges, 8642 markings/sec, 1355 secs
lola: 211 tries, 210474922 fired transitions, 1360 secs || 11829967 markings, 18189483 edges, 8675 markings/sec, 1360 secs
lola: 212 tries, 211253330 fired transitions, 1365 secs || 11873310 markings, 18256154 edges, 8669 markings/sec, 1365 secs
lola: 213 tries, 212028783 fired transitions, 1370 secs || 11916630 markings, 18322729 edges, 8664 markings/sec, 1370 secs
lola: 213 tries, 212806249 fired transitions, 1375 secs || 11959866 markings, 18389137 edges, 8647 markings/sec, 1375 secs
lola: 214 tries, 213575457 fired transitions, 1380 secs || 12002807 markings, 18455191 edges, 8588 markings/sec, 1380 secs
lola: 215 tries, 214340132 fired transitions, 1385 secs || 12045999 markings, 18521629 edges, 8638 markings/sec, 1385 secs
lola: 216 tries, 215110793 fired transitions, 1390 secs || 12089354 markings, 18588317 edges, 8671 markings/sec, 1390 secs
lola: 216 tries, 215886177 fired transitions, 1395 secs || 12133057 markings, 18655539 edges, 8741 markings/sec, 1395 secs
lola: 217 tries, 216662487 fired transitions, 1400 secs || 12176511 markings, 18722235 edges, 8691 markings/sec, 1400 secs
lola: 218 tries, 217433877 fired transitions, 1405 secs || 12219871 markings, 18788920 edges, 8672 markings/sec, 1405 secs
lola: 219 tries, 218212299 fired transitions, 1410 secs || 12263444 markings, 18855949 edges, 8715 markings/sec, 1410 secs
lola: 219 tries, 218991201 fired transitions, 1415 secs || 12306875 markings, 18922748 edges, 8686 markings/sec, 1415 secs
lola: 220 tries, 219765688 fired transitions, 1420 secs || 12350225 markings, 18989439 edges, 8670 markings/sec, 1420 secs
lola: 221 tries, 220541411 fired transitions, 1425 secs || 12393972 markings, 19056735 edges, 8749 markings/sec, 1425 secs
lola: 222 tries, 221319852 fired transitions, 1430 secs || 12437482 markings, 19123495 edges, 8702 markings/sec, 1430 secs
lola: 223 tries, 222098670 fired transitions, 1435 secs || 12480990 markings, 19190430 edges, 8702 markings/sec, 1435 secs
lola: 223 tries, 222872364 fired transitions, 1440 secs || 12524406 markings, 19257208 edges, 8683 markings/sec, 1440 secs
lola: 224 tries, 223644261 fired transitions, 1445 secs || 12567862 markings, 19324044 edges, 8691 markings/sec, 1445 secs
lola: 225 tries, 224422751 fired transitions, 1450 secs || 12611556 markings, 19391263 edges, 8739 markings/sec, 1450 secs
lola: 226 tries, 225197035 fired transitions, 1455 secs || 12655141 markings, 19458304 edges, 8717 markings/sec, 1455 secs
lola: 226 tries, 225975961 fired transitions, 1460 secs || 12698663 markings, 19525125 edges, 8704 markings/sec, 1460 secs
lola: 227 tries, 226752246 fired transitions, 1465 secs || 12742089 markings, 19591921 edges, 8685 markings/sec, 1465 secs
lola: 228 tries, 227522019 fired transitions, 1470 secs || 12785864 markings, 19659252 edges, 8755 markings/sec, 1470 secs
lola: 229 tries, 228295237 fired transitions, 1475 secs || 12829550 markings, 19726449 edges, 8737 markings/sec, 1475 secs
lola: 230 tries, 229061902 fired transitions, 1480 secs || 12873748 markings, 19794439 edges, 8840 markings/sec, 1480 secs
lola: 230 tries, 229833918 fired transitions, 1485 secs || 12917485 markings, 19861717 edges, 8747 markings/sec, 1485 secs
lola: 231 tries, 230604161 fired transitions, 1490 secs || 12960905 markings, 19928350 edges, 8684 markings/sec, 1490 secs
lola: 232 tries, 231377481 fired transitions, 1495 secs || 13004564 markings, 19995502 edges, 8732 markings/sec, 1495 secs
lola: 233 tries, 232148567 fired transitions, 1500 secs || 13048195 markings, 20062622 edges, 8726 markings/sec, 1500 secs
lola: 233 tries, 232926057 fired transitions, 1505 secs || 13091886 markings, 20129832 edges, 8738 markings/sec, 1505 secs
lola: 234 tries, 233700252 fired transitions, 1510 secs || 13135669 markings, 20197178 edges, 8757 markings/sec, 1510 secs
lola: 235 tries, 234476401 fired transitions, 1515 secs || 13179083 markings, 20263957 edges, 8683 markings/sec, 1515 secs
lola: 236 tries, 235245113 fired transitions, 1520 secs || 13222594 markings, 20330731 edges, 8702 markings/sec, 1520 secs
lola: 237 tries, 236009923 fired transitions, 1525 secs || 13265932 markings, 20397392 edges, 8668 markings/sec, 1525 secs
lola: 237 tries, 236782034 fired transitions, 1530 secs || 13309383 markings, 20464226 edges, 8690 markings/sec, 1530 secs
lola: 238 tries, 237556429 fired transitions, 1535 secs || 13352838 markings, 20531071 edges, 8691 markings/sec, 1535 secs
lola: 239 tries, 238331437 fired transitions, 1540 secs || 13396308 markings, 20597936 edges, 8694 markings/sec, 1540 secs
lola: 240 tries, 239099743 fired transitions, 1545 secs || 13440023 markings, 20665098 edges, 8743 markings/sec, 1545 secs
lola: 240 tries, 239873969 fired transitions, 1550 secs || 13483692 markings, 20732194 edges, 8734 markings/sec, 1550 secs
lola: 241 tries, 240651394 fired transitions, 1555 secs || 13527202 markings, 20799126 edges, 8702 markings/sec, 1555 secs
lola: 242 tries, 241427826 fired transitions, 1560 secs || 13570367 markings, 20865520 edges, 8633 markings/sec, 1560 secs
lola: 243 tries, 242194372 fired transitions, 1565 secs || 13613845 markings, 20932401 edges, 8696 markings/sec, 1565 secs
lola: 243 tries, 242963371 fired transitions, 1570 secs || 13656668 markings, 20998268 edges, 8565 markings/sec, 1570 secs
lola: 244 tries, 243740915 fired transitions, 1575 secs || 13699972 markings, 21064731 edges, 8661 markings/sec, 1575 secs
lola: 245 tries, 244517114 fired transitions, 1580 secs || 13743630 markings, 21131872 edges, 8732 markings/sec, 1580 secs
lola: 246 tries, 245294626 fired transitions, 1585 secs || 13787035 markings, 21198637 edges, 8681 markings/sec, 1585 secs
lola: 247 tries, 246073522 fired transitions, 1590 secs || 13830339 markings, 21265255 edges, 8661 markings/sec, 1590 secs
lola: 247 tries, 246849685 fired transitions, 1595 secs || 13873847 markings, 21332178 edges, 8702 markings/sec, 1595 secs
lola: 248 tries, 247628288 fired transitions, 1600 secs || 13917193 markings, 21398854 edges, 8669 markings/sec, 1600 secs
lola: 249 tries, 248404960 fired transitions, 1605 secs || 13960389 markings, 21465149 edges, 8639 markings/sec, 1605 secs
lola: 250 tries, 249182530 fired transitions, 1610 secs || 14003983 markings, 21532195 edges, 8719 markings/sec, 1610 secs
lola: 250 tries, 249953209 fired transitions, 1615 secs || 14047069 markings, 21598468 edges, 8617 markings/sec, 1615 secs
lola: 251 tries, 250717215 fired transitions, 1620 secs || 14090521 markings, 21665309 edges, 8690 markings/sec, 1620 secs
lola: 252 tries, 251481635 fired transitions, 1625 secs || 14133778 markings, 21731852 edges, 8651 markings/sec, 1625 secs
lola: 253 tries, 252254610 fired transitions, 1630 secs || 14177502 markings, 21799106 edges, 8745 markings/sec, 1630 secs
lola: 254 tries, 253033078 fired transitions, 1635 secs || 14220780 markings, 21865524 edges, 8656 markings/sec, 1635 secs
lola: 254 tries, 253801647 fired transitions, 1640 secs || 14264370 markings, 21932576 edges, 8718 markings/sec, 1640 secs
lola: 255 tries, 254566889 fired transitions, 1645 secs || 14307722 markings, 21999261 edges, 8670 markings/sec, 1645 secs
lola: 256 tries, 255341010 fired transitions, 1650 secs || 14351171 markings, 22066086 edges, 8690 markings/sec, 1650 secs
lola: 257 tries, 256113191 fired transitions, 1655 secs || 14394961 markings, 22133443 edges, 8758 markings/sec, 1655 secs
lola: 257 tries, 256889335 fired transitions, 1660 secs || 14438766 markings, 22200829 edges, 8761 markings/sec, 1660 secs
lola: 258 tries, 257664186 fired transitions, 1665 secs || 14482040 markings, 22267244 edges, 8655 markings/sec, 1665 secs
lola: 259 tries, 258436126 fired transitions, 1670 secs || 14525637 markings, 22334300 edges, 8719 markings/sec, 1670 secs
lola: 260 tries, 259201762 fired transitions, 1675 secs || 14568380 markings, 22400052 edges, 8549 markings/sec, 1675 secs
lola: 260 tries, 259977558 fired transitions, 1680 secs || 14611869 markings, 22466947 edges, 8698 markings/sec, 1680 secs
lola: 261 tries, 260744538 fired transitions, 1685 secs || 14655535 markings, 22534114 edges, 8733 markings/sec, 1685 secs
lola: 262 tries, 261519140 fired transitions, 1690 secs || 14699058 markings, 22601056 edges, 8705 markings/sec, 1690 secs
lola: 263 tries, 262290578 fired transitions, 1695 secs || 14742535 markings, 22667785 edges, 8695 markings/sec, 1695 secs
lola: 264 tries, 263051338 fired transitions, 1700 secs || 14786521 markings, 22735438 edges, 8797 markings/sec, 1700 secs
lola: 264 tries, 263813827 fired transitions, 1705 secs || 14830025 markings, 22802359 edges, 8701 markings/sec, 1705 secs
lola: 265 tries, 264591807 fired transitions, 1710 secs || 14873550 markings, 22869313 edges, 8705 markings/sec, 1710 secs
lola: 266 tries, 265360982 fired transitions, 1715 secs || 14917840 markings, 22937432 edges, 8858 markings/sec, 1715 secs
lola: 267 tries, 266129297 fired transitions, 1720 secs || 14961960 markings, 23005212 edges, 8824 markings/sec, 1720 secs
lola: 267 tries, 266896191 fired transitions, 1725 secs || 15004629 markings, 23070776 edges, 8534 markings/sec, 1725 secs
lola: 268 tries, 267670462 fired transitions, 1730 secs || 15048151 markings, 23137722 edges, 8704 markings/sec, 1730 secs
lola: 269 tries, 268449466 fired transitions, 1735 secs || 15091386 markings, 23204230 edges, 8647 markings/sec, 1735 secs
lola: 270 tries, 269226378 fired transitions, 1740 secs || 15134916 markings, 23271185 edges, 8706 markings/sec, 1740 secs
lola: 271 tries, 270004509 fired transitions, 1745 secs || 15178542 markings, 23338289 edges, 8725 markings/sec, 1745 secs
lola: 271 tries, 270775085 fired transitions, 1750 secs || 15221318 markings, 23403942 edges, 8555 markings/sec, 1750 secs
lola: 272 tries, 271543735 fired transitions, 1755 secs || 15265000 markings, 23471122 edges, 8736 markings/sec, 1755 secs
lola: 273 tries, 272322319 fired transitions, 1760 secs || 15308813 markings, 23538518 edges, 8763 markings/sec, 1760 secs
lola: 274 tries, 273097733 fired transitions, 1765 secs || 15352313 markings, 23605427 edges, 8700 markings/sec, 1765 secs
lola: 274 tries, 273854595 fired transitions, 1770 secs || 15396347 markings, 23673167 edges, 8807 markings/sec, 1770 secs
lola: 275 tries, 274628600 fired transitions, 1775 secs || 15440011 markings, 23740328 edges, 8733 markings/sec, 1775 secs
lola: 276 tries, 275399160 fired transitions, 1780 secs || 15482537 markings, 23805586 edges, 8505 markings/sec, 1780 secs
lola: 277 tries, 276167215 fired transitions, 1785 secs || 15526327 markings, 23872940 edges, 8758 markings/sec, 1785 secs
lola: 277 tries, 276934192 fired transitions, 1790 secs || 15570571 markings, 23940992 edges, 8849 markings/sec, 1790 secs
lola: 278 tries, 277692814 fired transitions, 1795 secs || 15613826 markings, 24007534 edges, 8651 markings/sec, 1795 secs
lola: 279 tries, 278464338 fired transitions, 1800 secs || 15657788 markings, 24075160 edges, 8792 markings/sec, 1800 secs
lola: 280 tries, 279240457 fired transitions, 1805 secs || 15701781 markings, 24142828 edges, 8799 markings/sec, 1805 secs
lola: 280 tries, 279989866 fired transitions, 1810 secs || 15746028 markings, 24210738 edges, 8849 markings/sec, 1810 secs
lola: 281 tries, 280750029 fired transitions, 1815 secs || 15789085 markings, 24276968 edges, 8611 markings/sec, 1815 secs
lola: 282 tries, 281520803 fired transitions, 1820 secs || 15832663 markings, 24344002 edges, 8716 markings/sec, 1820 secs
lola: 283 tries, 282296429 fired transitions, 1825 secs || 15876028 markings, 24410708 edges, 8673 markings/sec, 1825 secs
lola: 284 tries, 283070445 fired transitions, 1830 secs || 15919718 markings, 24477906 edges, 8738 markings/sec, 1830 secs
lola: 284 tries, 283848610 fired transitions, 1835 secs || 15963403 markings, 24545100 edges, 8737 markings/sec, 1835 secs
lola: 285 tries, 284622328 fired transitions, 1840 secs || 16006921 markings, 24611893 edges, 8704 markings/sec, 1840 secs
lola: 286 tries, 285397443 fired transitions, 1845 secs || 16050478 markings, 24678881 edges, 8711 markings/sec, 1845 secs
lola: 287 tries, 286156458 fired transitions, 1850 secs || 16093943 markings, 24745747 edges, 8693 markings/sec, 1850 secs
lola: 287 tries, 286929076 fired transitions, 1855 secs || 16136908 markings, 24811840 edges, 8593 markings/sec, 1855 secs
lola: 288 tries, 287704889 fired transitions, 1860 secs || 16179535 markings, 24877414 edges, 8525 markings/sec, 1860 secs
lola: 289 tries, 288480191 fired transitions, 1865 secs || 16222585 markings, 24943611 edges, 8610 markings/sec, 1865 secs
lola: 290 tries, 289245713 fired transitions, 1870 secs || 16266297 markings, 25010707 edges, 8742 markings/sec, 1870 secs
lola: 291 tries, 290009951 fired transitions, 1875 secs || 16309884 markings, 25077752 edges, 8717 markings/sec, 1875 secs
lola: 291 tries, 290771319 fired transitions, 1880 secs || 16353354 markings, 25144614 edges, 8694 markings/sec, 1880 secs
lola: 292 tries, 291546448 fired transitions, 1885 secs || 16396956 markings, 25211684 edges, 8720 markings/sec, 1885 secs
lola: 293 tries, 292315953 fired transitions, 1890 secs || 16440585 markings, 25278799 edges, 8726 markings/sec, 1890 secs
lola: 294 tries, 293067334 fired transitions, 1895 secs || 16483467 markings, 25344654 edges, 8576 markings/sec, 1895 secs
lola: 294 tries, 293826721 fired transitions, 1900 secs || 16526964 markings, 25411509 edges, 8699 markings/sec, 1900 secs
lola: 295 tries, 294589820 fired transitions, 1905 secs || 16570186 markings, 25477995 edges, 8644 markings/sec, 1905 secs
lola: 296 tries, 295357967 fired transitions, 1910 secs || 16613499 markings, 25544610 edges, 8663 markings/sec, 1910 secs
lola: 297 tries, 296132931 fired transitions, 1915 secs || 16656528 markings, 25610802 edges, 8606 markings/sec, 1915 secs
lola: 297 tries, 296868654 fired transitions, 1920 secs || 16699983 markings, 25677650 edges, 8691 markings/sec, 1920 secs
lola: 298 tries, 297641908 fired transitions, 1925 secs || 16741553 markings, 25741532 edges, 8314 markings/sec, 1925 secs
lola: 299 tries, 298418395 fired transitions, 1930 secs || 16784656 markings, 25807736 edges, 8621 markings/sec, 1930 secs
lola: 300 tries, 299192961 fired transitions, 1935 secs || 16827419 markings, 25873513 edges, 8553 markings/sec, 1935 secs
lola: 300 tries, 299933177 fired transitions, 1940 secs || 16870377 markings, 25939591 edges, 8592 markings/sec, 1940 secs
lola: 301 tries, 300686092 fired transitions, 1945 secs || 16913735 markings, 26006285 edges, 8672 markings/sec, 1945 secs
lola: 302 tries, 301450873 fired transitions, 1950 secs || 16956436 markings, 26071968 edges, 8540 markings/sec, 1950 secs
lola: 303 tries, 302208412 fired transitions, 1955 secs || 16998462 markings, 26136493 edges, 8405 markings/sec, 1955 secs
lola: 303 tries, 302970592 fired transitions, 1960 secs || 17040633 markings, 26201328 edges, 8434 markings/sec, 1960 secs
lola: 304 tries, 303742759 fired transitions, 1965 secs || 17083604 markings, 26267428 edges, 8594 markings/sec, 1965 secs
lola: 305 tries, 304521036 fired transitions, 1970 secs || 17126153 markings, 26332873 edges, 8510 markings/sec, 1970 secs
lola: 306 tries, 305296834 fired transitions, 1975 secs || 17169448 markings, 26399477 edges, 8659 markings/sec, 1975 secs
lola: 307 tries, 306068674 fired transitions, 1980 secs || 17212843 markings, 26466214 edges, 8679 markings/sec, 1980 secs
lola: 307 tries, 306836348 fired transitions, 1985 secs || 17256073 markings, 26532566 edges, 8646 markings/sec, 1985 secs
lola: 308 tries, 307610766 fired transitions, 1990 secs || 17299498 markings, 26599353 edges, 8685 markings/sec, 1990 secs
lola: 309 tries, 308362845 fired transitions, 1995 secs || 17342507 markings, 26665516 edges, 8602 markings/sec, 1995 secs
lola: 310 tries, 309123520 fired transitions, 2000 secs || 17384930 markings, 26730777 edges, 8485 markings/sec, 2000 secs
lola: 310 tries, 309888898 fired transitions, 2005 secs || 17427726 markings, 26796605 edges, 8559 markings/sec, 2005 secs
lola: 311 tries, 310633163 fired transitions, 2010 secs || 17471209 markings, 26863493 edges, 8697 markings/sec, 2010 secs
lola: 312 tries, 311408241 fired transitions, 2015 secs || 17514294 markings, 26929603 edges, 8617 markings/sec, 2015 secs
lola: 313 tries, 312165052 fired transitions, 2020 secs || 17557433 markings, 26995965 edges, 8628 markings/sec, 2020 secs
lola: 313 tries, 312907221 fired transitions, 2025 secs || 17600495 markings, 27062205 edges, 8612 markings/sec, 2025 secs
lola: 314 tries, 313639802 fired transitions, 2030 secs || 17643297 markings, 27128032 edges, 8560 markings/sec, 2030 secs
lola: 315 tries, 314372192 fired transitions, 2035 secs || 17686171 markings, 27193986 edges, 8575 markings/sec, 2035 secs
lola: 316 tries, 315118743 fired transitions, 2040 secs || 17728720 markings, 27259435 edges, 8510 markings/sec, 2040 secs
lola: 316 tries, 315878829 fired transitions, 2045 secs || 17770885 markings, 27324139 edges, 8433 markings/sec, 2045 secs
lola: 317 tries, 316626261 fired transitions, 2050 secs || 17814210 markings, 27390777 edges, 8665 markings/sec, 2050 secs
lola: 318 tries, 317395175 fired transitions, 2055 secs || 17857077 markings, 27456716 edges, 8573 markings/sec, 2055 secs
lola: 319 tries, 318160695 fired transitions, 2060 secs || 17900346 markings, 27523275 edges, 8654 markings/sec, 2060 secs
lola: 319 tries, 318909452 fired transitions, 2065 secs || 17943759 markings, 27590055 edges, 8683 markings/sec, 2065 secs
lola: 320 tries, 319678685 fired transitions, 2070 secs || 17985959 markings, 27654968 edges, 8440 markings/sec, 2070 secs
lola: 321 tries, 320442079 fired transitions, 2075 secs || 18027907 markings, 27719335 edges, 8390 markings/sec, 2075 secs
lola: 322 tries, 321214918 fired transitions, 2080 secs || 18071138 markings, 27785833 edges, 8646 markings/sec, 2080 secs
lola: 322 tries, 321990241 fired transitions, 2085 secs || 18114247 markings, 27852148 edges, 8622 markings/sec, 2085 secs
lola: 323 tries, 322761646 fired transitions, 2090 secs || 18156988 markings, 27917885 edges, 8548 markings/sec, 2090 secs
lola: 324 tries, 323521344 fired transitions, 2095 secs || 18199386 markings, 27983105 edges, 8480 markings/sec, 2095 secs
lola: 325 tries, 324284985 fired transitions, 2100 secs || 18242661 markings, 28049672 edges, 8655 markings/sec, 2100 secs
lola: 326 tries, 325046883 fired transitions, 2105 secs || 18285667 markings, 28115673 edges, 8601 markings/sec, 2105 secs
lola: 326 tries, 325811196 fired transitions, 2110 secs || 18329205 markings, 28182646 edges, 8708 markings/sec, 2110 secs
lola: 327 tries, 326577168 fired transitions, 2115 secs || 18372451 markings, 28249163 edges, 8649 markings/sec, 2115 secs
lola: 328 tries, 327330427 fired transitions, 2120 secs || 18415111 markings, 28314784 edges, 8532 markings/sec, 2120 secs
lola: 329 tries, 328075175 fired transitions, 2125 secs || 18456129 markings, 28377875 edges, 8204 markings/sec, 2125 secs
lola: 329 tries, 328843693 fired transitions, 2130 secs || 18499554 markings, 28444668 edges, 8685 markings/sec, 2130 secs
lola: 330 tries, 329611230 fired transitions, 2135 secs || 18543234 markings, 28511706 edges, 8736 markings/sec, 2135 secs
lola: 331 tries, 330384833 fired transitions, 2140 secs || 18586665 markings, 28578517 edges, 8686 markings/sec, 2140 secs
lola: 332 tries, 331123496 fired transitions, 2145 secs || 18629779 markings, 28644830 edges, 8623 markings/sec, 2145 secs
lola: 332 tries, 331890554 fired transitions, 2150 secs || 18673664 markings, 28712338 edges, 8777 markings/sec, 2150 secs
lola: 333 tries, 332665817 fired transitions, 2155 secs || 18717139 markings, 28779212 edges, 8695 markings/sec, 2155 secs
lola: 334 tries, 333418391 fired transitions, 2160 secs || 18760478 markings, 28845857 edges, 8668 markings/sec, 2160 secs
lola: 335 tries, 334190555 fired transitions, 2165 secs || 18804353 markings, 28913203 edges, 8775 markings/sec, 2165 secs
lola: 335 tries, 334964133 fired transitions, 2170 secs || 18847859 markings, 28980131 edges, 8701 markings/sec, 2170 secs
lola: 336 tries, 335732899 fired transitions, 2175 secs || 18891209 markings, 29046802 edges, 8670 markings/sec, 2175 secs
lola: 337 tries, 336496475 fired transitions, 2180 secs || 18933969 markings, 29112579 edges, 8552 markings/sec, 2180 secs
lola: 338 tries, 337257591 fired transitions, 2185 secs || 18976063 markings, 29177333 edges, 8419 markings/sec, 2185 secs
lola: 339 tries, 338016289 fired transitions, 2190 secs || 19019003 markings, 29243292 edges, 8588 markings/sec, 2190 secs
lola: 339 tries, 338790297 fired transitions, 2195 secs || 19062370 markings, 29309959 edges, 8673 markings/sec, 2195 secs
lola: 340 tries, 339543415 fired transitions, 2200 secs || 19105194 markings, 29375832 edges, 8565 markings/sec, 2200 secs
lola: 341 tries, 340299413 fired transitions, 2205 secs || 19146905 markings, 29439993 edges, 8342 markings/sec, 2205 secs
lola: 342 tries, 341023713 fired transitions, 2210 secs || 19188148 markings, 29503435 edges, 8249 markings/sec, 2210 secs
lola: 342 tries, 341759898 fired transitions, 2215 secs || 19228950 markings, 29566204 edges, 8160 markings/sec, 2215 secs
lola: 343 tries, 342482540 fired transitions, 2220 secs || 19270279 markings, 29629769 edges, 8266 markings/sec, 2220 secs
lola: 344 tries, 343224527 fired transitions, 2225 secs || 19310103 markings, 29690871 edges, 7965 markings/sec, 2225 secs
lola: 344 tries, 343953433 fired transitions, 2230 secs || 19352510 markings, 29756104 edges, 8481 markings/sec, 2230 secs
lola: 345 tries, 344659740 fired transitions, 2235 secs || 19392852 markings, 29818157 edges, 8068 markings/sec, 2235 secs
lola: 346 tries, 345391159 fired transitions, 2240 secs || 19433729 markings, 29881043 edges, 8175 markings/sec, 2240 secs
lola: 347 tries, 346118261 fired transitions, 2245 secs || 19476544 markings, 29946891 edges, 8563 markings/sec, 2245 secs
lola: 347 tries, 346887513 fired transitions, 2250 secs || 19517751 markings, 30010278 edges, 8241 markings/sec, 2250 secs
lola: 348 tries, 347635534 fired transitions, 2255 secs || 19559395 markings, 30074179 edges, 8329 markings/sec, 2255 secs
lola: 349 tries, 348364538 fired transitions, 2260 secs || 19600572 markings, 30137516 edges, 8235 markings/sec, 2260 secs
lola: 350 tries, 349064773 fired transitions, 2265 secs || 19643342 markings, 30203303 edges, 8554 markings/sec, 2265 secs
lola: 350 tries, 349789764 fired transitions, 2270 secs || 19685720 markings, 30268501 edges, 8476 markings/sec, 2270 secs
lola: 351 tries, 350551375 fired transitions, 2275 secs || 19727354 markings, 30332532 edges, 8327 markings/sec, 2275 secs
lola: 352 tries, 351283237 fired transitions, 2280 secs || 19766567 markings, 30392855 edges, 7843 markings/sec, 2280 secs
lola: 353 tries, 352037222 fired transitions, 2285 secs || 19808394 markings, 30457038 edges, 8365 markings/sec, 2285 secs
lola: 353 tries, 352814019 fired transitions, 2290 secs || 19851360 markings, 30523128 edges, 8593 markings/sec, 2290 secs
lola: 354 tries, 353590633 fired transitions, 2295 secs || 19894453 markings, 30589417 edges, 8619 markings/sec, 2295 secs
lola: 355 tries, 354357709 fired transitions, 2300 secs || 19937715 markings, 30655966 edges, 8652 markings/sec, 2300 secs
lola: 356 tries, 355124642 fired transitions, 2305 secs || 19981095 markings, 30722695 edges, 8676 markings/sec, 2305 secs
lola: 356 tries, 355897690 fired transitions, 2310 secs || 20024286 markings, 30789125 edges, 8638 markings/sec, 2310 secs
lola: 357 tries, 356664536 fired transitions, 2315 secs || 20067329 markings, 30855178 edges, 8609 markings/sec, 2315 secs
lola: 358 tries, 357433138 fired transitions, 2320 secs || 20110320 markings, 30921302 edges, 8598 markings/sec, 2320 secs
lola: 359 tries, 358198069 fired transitions, 2325 secs || 20152871 markings, 30986761 edges, 8510 markings/sec, 2325 secs
lola: 359 tries, 358970329 fired transitions, 2330 secs || 20196108 markings, 31053267 edges, 8647 markings/sec, 2330 secs
lola: 360 tries, 359732888 fired transitions, 2335 secs || 20239591 markings, 31120156 edges, 8697 markings/sec, 2335 secs
lola: 361 tries, 360498990 fired transitions, 2340 secs || 20282966 markings, 31186846 edges, 8675 markings/sec, 2340 secs
lola: 362 tries, 361263210 fired transitions, 2345 secs || 20326287 markings, 31253353 edges, 8664 markings/sec, 2345 secs
lola: 363 tries, 362030458 fired transitions, 2350 secs || 20370156 markings, 31320833 edges, 8774 markings/sec, 2350 secs
lola: 363 tries, 362805693 fired transitions, 2355 secs || 20413262 markings, 31387132 edges, 8621 markings/sec, 2355 secs
lola: 364 tries, 363576869 fired transitions, 2360 secs || 20456352 markings, 31453420 edges, 8618 markings/sec, 2360 secs
lola: 365 tries, 364338138 fired transitions, 2365 secs || 20499007 markings, 31519037 edges, 8531 markings/sec, 2365 secs
lola: 366 tries, 365063241 fired transitions, 2370 secs || 20542627 markings, 31586142 edges, 8724 markings/sec, 2370 secs
lola: 366 tries, 365840067 fired transitions, 2375 secs || 20584707 markings, 31650704 edges, 8416 markings/sec, 2375 secs
lola: 367 tries, 366616328 fired transitions, 2380 secs || 20627985 markings, 31717267 edges, 8656 markings/sec, 2380 secs
lola: 368 tries, 367394683 fired transitions, 2385 secs || 20671307 markings, 31783905 edges, 8664 markings/sec, 2385 secs
lola: 369 tries, 368171786 fired transitions, 2390 secs || 20714428 markings, 31850241 edges, 8624 markings/sec, 2390 secs
lola: 369 tries, 368942193 fired transitions, 2395 secs || 20757478 markings, 31916459 edges, 8610 markings/sec, 2395 secs
lola: 370 tries, 369691871 fired transitions, 2400 secs || 20800659 markings, 31982824 edges, 8636 markings/sec, 2400 secs
lola: 371 tries, 370444742 fired transitions, 2405 secs || 20843821 markings, 32049120 edges, 8632 markings/sec, 2405 secs
lola: 372 tries, 371172692 fired transitions, 2410 secs || 20886891 markings, 32115372 edges, 8614 markings/sec, 2410 secs
lola: 372 tries, 371931097 fired transitions, 2415 secs || 20928762 markings, 32179774 edges, 8374 markings/sec, 2415 secs
lola: 373 tries, 372671177 fired transitions, 2420 secs || 20971946 markings, 32246200 edges, 8637 markings/sec, 2420 secs
lola: 374 tries, 373426150 fired transitions, 2425 secs || 21014660 markings, 32311906 edges, 8543 markings/sec, 2425 secs
lola: 375 tries, 374170650 fired transitions, 2430 secs || 21056572 markings, 32376269 edges, 8382 markings/sec, 2430 secs
lola: 375 tries, 374946014 fired transitions, 2435 secs || 21097382 markings, 32438989 edges, 8162 markings/sec, 2435 secs
lola: 376 tries, 375725195 fired transitions, 2440 secs || 21140419 markings, 32505194 edges, 8607 markings/sec, 2440 secs
lola: 377 tries, 376500230 fired transitions, 2445 secs || 21182814 markings, 32570408 edges, 8479 markings/sec, 2445 secs
lola: 378 tries, 377266249 fired transitions, 2450 secs || 21226046 markings, 32636902 edges, 8646 markings/sec, 2450 secs
lola: 379 tries, 378020263 fired transitions, 2455 secs || 21267645 markings, 32700891 edges, 8320 markings/sec, 2455 secs
lola: 379 tries, 378775627 fired transitions, 2460 secs || 21310778 markings, 32767118 edges, 8627 markings/sec, 2460 secs
lola: 380 tries, 379538766 fired transitions, 2465 secs || 21354039 markings, 32833622 edges, 8652 markings/sec, 2465 secs
lola: 381 tries, 380307710 fired transitions, 2470 secs || 21393701 markings, 32894632 edges, 7932 markings/sec, 2470 secs
lola: 382 tries, 381031839 fired transitions, 2475 secs || 21436307 markings, 32960171 edges, 8521 markings/sec, 2475 secs
lola: 382 tries, 381769802 fired transitions, 2480 secs || 21478669 markings, 33025335 edges, 8472 markings/sec, 2480 secs
lola: 383 tries, 382502345 fired transitions, 2485 secs || 21521059 markings, 33090536 edges, 8478 markings/sec, 2485 secs
lola: 384 tries, 383240600 fired transitions, 2490 secs || 21562956 markings, 33154850 edges, 8379 markings/sec, 2490 secs
lola: 384 tries, 383968756 fired transitions, 2495 secs || 21601261 markings, 33213748 edges, 7661 markings/sec, 2495 secs
lola: 385 tries, 384740255 fired transitions, 2500 secs || 21643830 markings, 33279226 edges, 8514 markings/sec, 2500 secs
lola: 386 tries, 385453423 fired transitions, 2505 secs || 21686065 markings, 33344197 edges, 8447 markings/sec, 2505 secs
lola: 387 tries, 386159184 fired transitions, 2510 secs || 21728736 markings, 33409828 edges, 8534 markings/sec, 2510 secs
lola: 387 tries, 386841149 fired transitions, 2515 secs || 21769356 markings, 33472317 edges, 8124 markings/sec, 2515 secs
lola: 388 tries, 387547336 fired transitions, 2520 secs || 21812322 markings, 33538396 edges, 8593 markings/sec, 2520 secs
lola: 389 tries, 388253453 fired transitions, 2525 secs || 21852751 markings, 33600437 edges, 8086 markings/sec, 2525 secs
lola: 389 tries, 388933363 fired transitions, 2530 secs || 21893256 markings, 33662739 edges, 8101 markings/sec, 2530 secs
lola: 390 tries, 389633864 fired transitions, 2535 secs || 21931553 markings, 33721643 edges, 7659 markings/sec, 2535 secs
lola: 391 tries, 390291123 fired transitions, 2540 secs || 21970427 markings, 33781453 edges, 7775 markings/sec, 2540 secs
lola: 391 tries, 390969776 fired transitions, 2545 secs || 22011112 markings, 33844026 edges, 8137 markings/sec, 2545 secs
lola: 392 tries, 391643160 fired transitions, 2550 secs || 22050255 markings, 33904238 edges, 7829 markings/sec, 2550 secs
lola: 393 tries, 392355211 fired transitions, 2555 secs || 22090516 markings, 33966015 edges, 8052 markings/sec, 2555 secs
lola: 394 tries, 393069211 fired transitions, 2560 secs || 22131925 markings, 34029713 edges, 8282 markings/sec, 2560 secs
lola: 394 tries, 393760456 fired transitions, 2565 secs || 22173048 markings, 34092972 edges, 8225 markings/sec, 2565 secs
lola: 395 tries, 394447430 fired transitions, 2570 secs || 22213942 markings, 34155863 edges, 8179 markings/sec, 2570 secs
lola: 396 tries, 395179903 fired transitions, 2575 secs || 22253892 markings, 34217322 edges, 7990 markings/sec, 2575 secs
lola: 396 tries, 395863976 fired transitions, 2580 secs || 22293930 markings, 34278911 edges, 8008 markings/sec, 2580 secs
lola: 397 tries, 396542766 fired transitions, 2585 secs || 22333912 markings, 34340260 edges, 7996 markings/sec, 2585 secs
lola: 398 tries, 397209913 fired transitions, 2590 secs || 22372473 markings, 34399562 edges, 7712 markings/sec, 2590 secs
lola: 398 tries, 397869234 fired transitions, 2595 secs || 22413112 markings, 34462077 edges, 8128 markings/sec, 2595 secs
lola: 399 tries, 398539489 fired transitions, 2600 secs || 22450416 markings, 34519459 edges, 7461 markings/sec, 2600 secs
lola: 400 tries, 399215326 fired transitions, 2605 secs || 22489371 markings, 34579381 edges, 7791 markings/sec, 2605 secs
lola: 400 tries, 399920291 fired transitions, 2610 secs || 22526211 markings, 34636052 edges, 7368 markings/sec, 2610 secs
lola: 401 tries, 400563573 fired transitions, 2615 secs || 22564263 markings, 34694579 edges, 7610 markings/sec, 2615 secs
lola: 402 tries, 401273813 fired transitions, 2620 secs || 22602735 markings, 34753603 edges, 7694 markings/sec, 2620 secs
lola: 402 tries, 401981081 fired transitions, 2625 secs || 22639413 markings, 34810023 edges, 7336 markings/sec, 2625 secs
lola: 403 tries, 402647115 fired transitions, 2630 secs || 22676015 markings, 34866323 edges, 7320 markings/sec, 2630 secs
lola: 404 tries, 403306357 fired transitions, 2635 secs || 22712463 markings, 34922383 edges, 7290 markings/sec, 2635 secs
lola: 404 tries, 403983552 fired transitions, 2640 secs || 22752378 markings, 34983786 edges, 7983 markings/sec, 2640 secs
lola: 405 tries, 404657467 fired transitions, 2645 secs || 22791775 markings, 35044385 edges, 7879 markings/sec, 2645 secs
lola: 406 tries, 405339990 fired transitions, 2650 secs || 22829711 markings, 35102617 edges, 7587 markings/sec, 2650 secs
lola: 407 tries, 406043313 fired transitions, 2655 secs || 22868659 markings, 35162492 edges, 7790 markings/sec, 2655 secs
lola: 407 tries, 406762061 fired transitions, 2660 secs || 22908071 markings, 35223114 edges, 7882 markings/sec, 2660 secs
lola: 408 tries, 407448039 fired transitions, 2665 secs || 22949499 markings, 35286835 edges, 8286 markings/sec, 2665 secs
lola: 409 tries, 408129522 fired transitions, 2670 secs || 22988794 markings, 35347285 edges, 7859 markings/sec, 2670 secs
lola: 409 tries, 408843741 fired transitions, 2675 secs || 23027205 markings, 35406358 edges, 7682 markings/sec, 2675 secs
lola: 410 tries, 409574022 fired transitions, 2680 secs || 23066040 markings, 35466103 edges, 7767 markings/sec, 2680 secs
lola: 411 tries, 410298130 fired transitions, 2685 secs || 23105401 markings, 35526492 edges, 7872 markings/sec, 2685 secs
lola: 411 tries, 410994019 fired transitions, 2690 secs || 23145554 markings, 35588260 edges, 8031 markings/sec, 2690 secs
lola: 412 tries, 411698098 fired transitions, 2695 secs || 23183130 markings, 35646054 edges, 7515 markings/sec, 2695 secs
lola: 413 tries, 412400173 fired transitions, 2700 secs || 23224208 markings, 35709241 edges, 8216 markings/sec, 2700 secs
lola: 414 tries, 413084504 fired transitions, 2705 secs || 23264832 markings, 35771733 edges, 8125 markings/sec, 2705 secs
lola: 414 tries, 413822704 fired transitions, 2710 secs || 23305079 markings, 35833635 edges, 8049 markings/sec, 2710 secs
lola: 415 tries, 414511144 fired transitions, 2715 secs || 23345240 markings, 35895291 edges, 8032 markings/sec, 2715 secs
lola: 416 tries, 415201763 fired transitions, 2720 secs || 23384711 markings, 35955981 edges, 7894 markings/sec, 2720 secs
lola: 416 tries, 415921206 fired transitions, 2725 secs || 23425628 markings, 36018912 edges, 8183 markings/sec, 2725 secs
lola: 417 tries, 416622433 fired transitions, 2730 secs || 23466301 markings, 36081479 edges, 8135 markings/sec, 2730 secs
lola: 418 tries, 417313356 fired transitions, 2735 secs || 23506042 markings, 36142606 edges, 7948 markings/sec, 2735 secs
lola: 418 tries, 417995842 fired transitions, 2740 secs || 23545016 markings, 36202557 edges, 7795 markings/sec, 2740 secs
lola: 419 tries, 418699556 fired transitions, 2745 secs || 23585112 markings, 36264220 edges, 8019 markings/sec, 2745 secs
lola: 420 tries, 419386170 fired transitions, 2750 secs || 23624070 markings, 36324005 edges, 7792 markings/sec, 2750 secs
lola: 421 tries, 420067641 fired transitions, 2755 secs || 23663868 markings, 36385223 edges, 7960 markings/sec, 2755 secs
lola: 421 tries, 420715524 fired transitions, 2760 secs || 23702620 markings, 36444829 edges, 7750 markings/sec, 2760 secs
lola: 422 tries, 421413851 fired transitions, 2765 secs || 23740642 markings, 36503323 edges, 7604 markings/sec, 2765 secs
lola: 423 tries, 422105543 fired transitions, 2770 secs || 23781581 markings, 36566286 edges, 8188 markings/sec, 2770 secs
lola: 423 tries, 422797554 fired transitions, 2775 secs || 23818178 markings, 36622584 edges, 7319 markings/sec, 2775 secs
lola: 424 tries, 423494951 fired transitions, 2780 secs || 23856170 markings, 36680860 edges, 7598 markings/sec, 2780 secs
lola: 425 tries, 424219768 fired transitions, 2785 secs || 23893935 markings, 36738949 edges, 7553 markings/sec, 2785 secs
lola: 425 tries, 424867634 fired transitions, 2790 secs || 23932075 markings, 36797617 edges, 7628 markings/sec, 2790 secs
lola: 426 tries, 425537358 fired transitions, 2795 secs || 23970022 markings, 36855992 edges, 7589 markings/sec, 2795 secs
lola: 427 tries, 426233444 fired transitions, 2800 secs || 24010592 markings, 36918398 edges, 8114 markings/sec, 2800 secs
lola: 427 tries, 426926077 fired transitions, 2805 secs || 24051247 markings, 36980933 edges, 8131 markings/sec, 2805 secs
lola: 428 tries, 427646404 fired transitions, 2810 secs || 24091986 markings, 37043546 edges, 8148 markings/sec, 2810 secs
lola: 429 tries, 428375796 fired transitions, 2815 secs || 24133507 markings, 37107308 edges, 8304 markings/sec, 2815 secs
lola: 430 tries, 429081433 fired transitions, 2820 secs || 24173413 markings, 37168697 edges, 7981 markings/sec, 2820 secs
lola: 430 tries, 429799029 fired transitions, 2825 secs || 24215287 markings, 37233106 edges, 8375 markings/sec, 2825 secs
lola: 431 tries, 430531676 fired transitions, 2830 secs || 24253451 markings, 37291803 edges, 7633 markings/sec, 2830 secs
lola: 432 tries, 431277252 fired transitions, 2835 secs || 24294735 markings, 37355310 edges, 8257 markings/sec, 2835 secs
lola: 433 tries, 432040921 fired transitions, 2840 secs || 24337541 markings, 37421156 edges, 8561 markings/sec, 2840 secs
lola: 433 tries, 432814373 fired transitions, 2845 secs || 24379173 markings, 37485044 edges, 8326 markings/sec, 2845 secs
lola: 434 tries, 433529925 fired transitions, 2850 secs || 24420092 markings, 37547981 edges, 8184 markings/sec, 2850 secs
lola: 435 tries, 434229432 fired transitions, 2855 secs || 24459332 markings, 37608346 edges, 7848 markings/sec, 2855 secs
lola: 435 tries, 434943677 fired transitions, 2860 secs || 24502565 markings, 37674839 edges, 8647 markings/sec, 2860 secs
lola: 436 tries, 435668534 fired transitions, 2865 secs || 24545169 markings, 37740379 edges, 8521 markings/sec, 2865 secs
lola: 437 tries, 436395922 fired transitions, 2870 secs || 24585835 markings, 37802930 edges, 8133 markings/sec, 2870 secs
lola: 438 tries, 437116884 fired transitions, 2875 secs || 24625508 markings, 37863804 edges, 7935 markings/sec, 2875 secs
lola: 438 tries, 437884414 fired transitions, 2880 secs || 24668116 markings, 37929345 edges, 8522 markings/sec, 2880 secs
lola: 439 tries, 438602014 fired transitions, 2885 secs || 24709074 markings, 37992336 edges, 8192 markings/sec, 2885 secs
lola: 440 tries, 439314635 fired transitions, 2890 secs || 24751606 markings, 38057760 edges, 8506 markings/sec, 2890 secs
lola: 441 tries, 440033955 fired transitions, 2895 secs || 24794340 markings, 38123506 edges, 8547 markings/sec, 2895 secs
lola: 441 tries, 440746399 fired transitions, 2900 secs || 24833537 markings, 38183790 edges, 7839 markings/sec, 2900 secs
lola: 442 tries, 441479573 fired transitions, 2905 secs || 24872708 markings, 38243897 edges, 7834 markings/sec, 2905 secs
lola: 443 tries, 442229759 fired transitions, 2910 secs || 24911792 markings, 38304004 edges, 7817 markings/sec, 2910 secs
lola: 443 tries, 442944566 fired transitions, 2915 secs || 24951098 markings, 38364470 edges, 7861 markings/sec, 2915 secs
lola: 444 tries, 443671270 fired transitions, 2920 secs || 24991974 markings, 38427349 edges, 8175 markings/sec, 2920 secs
lola: 445 tries, 444413550 fired transitions, 2925 secs || 25031347 markings, 38487910 edges, 7875 markings/sec, 2925 secs
lola: 446 tries, 445137215 fired transitions, 2930 secs || 25072292 markings, 38550897 edges, 8189 markings/sec, 2930 secs
lola: 446 tries, 445865549 fired transitions, 2935 secs || 25110560 markings, 38609702 edges, 7654 markings/sec, 2935 secs
lola: 447 tries, 446580993 fired transitions, 2940 secs || 25149115 markings, 38668903 edges, 7711 markings/sec, 2940 secs
lola: 448 tries, 447260534 fired transitions, 2945 secs || 25187593 markings, 38728091 edges, 7696 markings/sec, 2945 secs
lola: 448 tries, 447968989 fired transitions, 2950 secs || 25227923 markings, 38790126 edges, 8066 markings/sec, 2950 secs
lola: 449 tries, 448693323 fired transitions, 2955 secs || 25269568 markings, 38854188 edges, 8329 markings/sec, 2955 secs
lola: 450 tries, 449386663 fired transitions, 2960 secs || 25309890 markings, 38916215 edges, 8064 markings/sec, 2960 secs
lola: 451 tries, 450090092 fired transitions, 2965 secs || 25351493 markings, 38980203 edges, 8321 markings/sec, 2965 secs
lola: 451 tries, 450787433 fired transitions, 2970 secs || 25392523 markings, 39043187 edges, 8206 markings/sec, 2970 secs
lola: 452 tries, 451453655 fired transitions, 2975 secs || 25432615 markings, 39104860 edges, 8018 markings/sec, 2975 secs
lola: 453 tries, 452178806 fired transitions, 2980 secs || 25472606 markings, 39166371 edges, 7998 markings/sec, 2980 secs
lola: 453 tries, 452924207 fired transitions, 2985 secs || 25512349 markings, 39227503 edges, 7949 markings/sec, 2985 secs
lola: 454 tries, 453654375 fired transitions, 2990 secs || 25552834 markings, 39289779 edges, 8097 markings/sec, 2990 secs
lola: 455 tries, 454405516 fired transitions, 2995 secs || 25591052 markings, 39348564 edges, 7644 markings/sec, 2995 secs
lola: 456 tries, 455149968 fired transitions, 3000 secs || 25629703 markings, 39407914 edges, 7730 markings/sec, 3000 secs
lola: 456 tries, 455840935 fired transitions, 3005 secs || 25667913 markings, 39466639 edges, 7642 markings/sec, 3005 secs
lola: 457 tries, 456531681 fired transitions, 3010 secs || 25705866 markings, 39525021 edges, 7591 markings/sec, 3010 secs
lola: 458 tries, 457201463 fired transitions, 3015 secs || 25742689 markings, 39581668 edges, 7365 markings/sec, 3015 secs
lola: 458 tries, 457850697 fired transitions, 3020 secs || 25780438 markings, 39639730 edges, 7550 markings/sec, 3020 secs
lola: 459 tries, 458556159 fired transitions, 3025 secs || 25819369 markings, 39699609 edges, 7786 markings/sec, 3025 secs
lola: 460 tries, 459271642 fired transitions, 3030 secs || 25858713 markings, 39760131 edges, 7869 markings/sec, 3030 secs
lola: 460 tries, 459977436 fired transitions, 3035 secs || 25898620 markings, 39821363 edges, 7981 markings/sec, 3035 secs
lola: 461 tries, 460685388 fired transitions, 3040 secs || 25938221 markings, 39882278 edges, 7920 markings/sec, 3040 secs
lola: 462 tries, 461404835 fired transitions, 3045 secs || 25976821 markings, 39941653 edges, 7720 markings/sec, 3045 secs
lola: 463 tries, 462090848 fired transitions, 3050 secs || 26018067 markings, 40005091 edges, 8249 markings/sec, 3050 secs
lola: 463 tries, 462766763 fired transitions, 3055 secs || 26057342 markings, 40065508 edges, 7855 markings/sec, 3055 secs
lola: 464 tries, 463429765 fired transitions, 3060 secs || 26097163 markings, 40126762 edges, 7964 markings/sec, 3060 secs
lola: 465 tries, 464123065 fired transitions, 3065 secs || 26136496 markings, 40187119 edges, 7867 markings/sec, 3065 secs
lola: 465 tries, 464806996 fired transitions, 3070 secs || 26177268 markings, 40249827 edges, 8154 markings/sec, 3070 secs
lola: 466 tries, 465487873 fired transitions, 3075 secs || 26215584 markings, 40308761 edges, 7663 markings/sec, 3075 secs
lola: 467 tries, 466166391 fired transitions, 3080 secs || 26252559 markings, 40365637 edges, 7395 markings/sec, 3080 secs
lola: 467 tries, 466834801 fired transitions, 3085 secs || 26291629 markings, 40425734 edges, 7814 markings/sec, 3085 secs
lola: 468 tries, 467534659 fired transitions, 3090 secs || 26331534 markings, 40487123 edges, 7981 markings/sec, 3090 secs
lola: 469 tries, 468224863 fired transitions, 3095 secs || 26369817 markings, 40546001 edges, 7657 markings/sec, 3095 secs
lola: 469 tries, 468903173 fired transitions, 3100 secs || 26407047 markings, 40603118 edges, 7446 markings/sec, 3100 secs
lola: 470 tries, 469567140 fired transitions, 3105 secs || 26443678 markings, 40659464 edges, 7326 markings/sec, 3105 secs
lola: 471 tries, 470264804 fired transitions, 3110 secs || 26482336 markings, 40718920 edges, 7732 markings/sec, 3110 secs
lola: 471 tries, 470934816 fired transitions, 3115 secs || 26520017 markings, 40776884 edges, 7536 markings/sec, 3115 secs
lola: 472 tries, 471595625 fired transitions, 3120 secs || 26558765 markings, 40836489 edges, 7750 markings/sec, 3120 secs
lola: 473 tries, 472276592 fired transitions, 3125 secs || 26596402 markings, 40894374 edges, 7527 markings/sec, 3125 secs
lola: 473 tries, 472949457 fired transitions, 3130 secs || 26633597 markings, 40951513 edges, 7439 markings/sec, 3130 secs
lola: 474 tries, 473608606 fired transitions, 3135 secs || 26672130 markings, 41010707 edges, 7707 markings/sec, 3135 secs
lola: 475 tries, 474256869 fired transitions, 3140 secs || 26709599 markings, 41068345 edges, 7494 markings/sec, 3140 secs
lola: 475 tries, 474936552 fired transitions, 3145 secs || 26747502 markings, 41126650 edges, 7581 markings/sec, 3145 secs
lola: 476 tries, 475582184 fired transitions, 3150 secs || 26787682 markings, 41188442 edges, 8036 markings/sec, 3150 secs
lola: 477 tries, 476278402 fired transitions, 3155 secs || 26824893 markings, 41245690 edges, 7442 markings/sec, 3155 secs
lola: 477 tries, 476954192 fired transitions, 3160 secs || 26861691 markings, 41302295 edges, 7360 markings/sec, 3160 secs
lola: 478 tries, 477620869 fired transitions, 3165 secs || 26901057 markings, 41362725 edges, 7873 markings/sec, 3165 secs
lola: 479 tries, 478312259 fired transitions, 3170 secs || 26938647 markings, 41420511 edges, 7518 markings/sec, 3170 secs
lola: 479 tries, 478992756 fired transitions, 3175 secs || 26975604 markings, 41477361 edges, 7391 markings/sec, 3175 secs
lola: 480 tries, 479602368 fired transitions, 3180 secs || 27012607 markings, 41534278 edges, 7401 markings/sec, 3180 secs
lola: 481 tries, 480253702 fired transitions, 3185 secs || 27050028 markings, 41591844 edges, 7484 markings/sec, 3185 secs
lola: 481 tries, 480936491 fired transitions, 3190 secs || 27088073 markings, 41650361 edges, 7609 markings/sec, 3190 secs
lola: 482 tries, 481584588 fired transitions, 3195 secs || 27125014 markings, 41707189 edges, 7388 markings/sec, 3195 secs
lola: 483 tries, 482266827 fired transitions, 3200 secs || 27162929 markings, 41765352 edges, 7583 markings/sec, 3200 secs
lola: 483 tries, 482906743 fired transitions, 3205 secs || 27199410 markings, 41821466 edges, 7296 markings/sec, 3205 secs
lola: 484 tries, 483542072 fired transitions, 3210 secs || 27236970 markings, 41879240 edges, 7512 markings/sec, 3210 secs
lola: 485 tries, 484232772 fired transitions, 3215 secs || 27274745 markings, 41937349 edges, 7555 markings/sec, 3215 secs
lola: 485 tries, 484900304 fired transitions, 3220 secs || 27314067 markings, 41997832 edges, 7864 markings/sec, 3220 secs
lola: 486 tries, 485514324 fired transitions, 3225 secs || 27352761 markings, 42057351 edges, 7739 markings/sec, 3225 secs
lola: 487 tries, 486152356 fired transitions, 3230 secs || 27390104 markings, 42114798 edges, 7469 markings/sec, 3230 secs
lola: 487 tries, 486844034 fired transitions, 3235 secs || 27426079 markings, 42169973 edges, 7195 markings/sec, 3235 secs
lola: 488 tries, 487462878 fired transitions, 3240 secs || 27466080 markings, 42231508 edges, 8000 markings/sec, 3240 secs
lola: 489 tries, 488113469 fired transitions, 3245 secs || 27505690 markings, 42292438 edges, 7922 markings/sec, 3245 secs
lola: 489 tries, 488781112 fired transitions, 3250 secs || 27545370 markings, 42353465 edges, 7936 markings/sec, 3250 secs
lola: 490 tries, 489450162 fired transitions, 3255 secs || 27583406 markings, 42411975 edges, 7607 markings/sec, 3255 secs
lola: 491 tries, 490108489 fired transitions, 3260 secs || 27621710 markings, 42470900 edges, 7661 markings/sec, 3260 secs
lola: 491 tries, 490759187 fired transitions, 3265 secs || 27659206 markings, 42528427 edges, 7499 markings/sec, 3265 secs
lola: 492 tries, 491388924 fired transitions, 3270 secs || 27697563 markings, 42587415 edges, 7671 markings/sec, 3270 secs
lola: 493 tries, 492038243 fired transitions, 3275 secs || 27733652 markings, 42642929 edges, 7218 markings/sec, 3275 secs
lola: 493 tries, 492651985 fired transitions, 3280 secs || 27769691 markings, 42698364 edges, 7208 markings/sec, 3280 secs
lola: 494 tries, 493280468 fired transitions, 3285 secs || 27805606 markings, 42753612 edges, 7183 markings/sec, 3285 secs
lola: 494 tries, 493927380 fired transitions, 3290 secs || 27841970 markings, 42809543 edges, 7273 markings/sec, 3290 secs
lola: 495 tries, 494560740 fired transitions, 3295 secs || 27877009 markings, 42863445 edges, 7008 markings/sec, 3295 secs
lola: 496 tries, 495192099 fired transitions, 3300 secs || 27912804 markings, 42918356 edges, 7159 markings/sec, 3300 secs
lola: 496 tries, 495818672 fired transitions, 3305 secs || 27947119 markings, 42971131 edges, 6863 markings/sec, 3305 secs
lola: 497 tries, 496457169 fired transitions, 3310 secs || 27982761 markings, 43025951 edges, 7128 markings/sec, 3310 secs
lola: 498 tries, 497118313 fired transitions, 3315 secs || 28019102 markings, 43081856 edges, 7268 markings/sec, 3315 secs
lola: 498 tries, 497746703 fired transitions, 3320 secs || 28054904 markings, 43136926 edges, 7160 markings/sec, 3320 secs
lola: 499 tries, 498346372 fired transitions, 3325 secs || 28092478 markings, 43194721 edges, 7515 markings/sec, 3325 secs
lola: 499 tries, 498979613 fired transitions, 3330 secs || 28128295 markings, 43249816 edges, 7163 markings/sec, 3330 secs
lola: 500 tries, 499608419 fired transitions, 3335 secs || 28162359 markings, 43302153 edges, 6813 markings/sec, 3335 secs
lola: 501 tries, 500232070 fired transitions, 3340 secs || 28198058 markings, 43356971 edges, 7140 markings/sec, 3340 secs
lola: 501 tries, 500847882 fired transitions, 3345 secs || 28235146 markings, 43414019 edges, 7418 markings/sec, 3345 secs
lola: 502 tries, 501476672 fired transitions, 3350 secs || 28271237 markings, 43469535 edges, 7218 markings/sec, 3350 secs
lola: 503 tries, 502104417 fired transitions, 3355 secs || 28307265 markings, 43524943 edges, 7206 markings/sec, 3355 secs
lola: 503 tries, 502727601 fired transitions, 3360 secs || 28344244 markings, 43581829 edges, 7396 markings/sec, 3360 secs
lola: 504 tries, 503345826 fired transitions, 3365 secs || 28381914 markings, 43639783 edges, 7534 markings/sec, 3365 secs
lola: 504 tries, 503978492 fired transitions, 3370 secs || 28419799 markings, 43697940 edges, 7577 markings/sec, 3370 secs
lola: 505 tries, 504603766 fired transitions, 3375 secs || 28454324 markings, 43751007 edges, 6905 markings/sec, 3375 secs
lola: 506 tries, 505224459 fired transitions, 3380 secs || 28492196 markings, 43809257 edges, 7574 markings/sec, 3380 secs
lola: 506 tries, 505856623 fired transitions, 3385 secs || 28527684 markings, 43863848 edges, 7098 markings/sec, 3385 secs
lola: 507 tries, 506478043 fired transitions, 3390 secs || 28564059 markings, 43919800 edges, 7275 markings/sec, 3390 secs
lola: 508 tries, 507116665 fired transitions, 3395 secs || 28599390 markings, 43974148 edges, 7066 markings/sec, 3395 secs
lola: 508 tries, 507784695 fired transitions, 3400 secs || 28633154 markings, 44026084 edges, 6753 markings/sec, 3400 secs
lola: 509 tries, 508398300 fired transitions, 3405 secs || 28669460 markings, 44081841 edges, 7261 markings/sec, 3405 secs
lola: 510 tries, 509032926 fired transitions, 3410 secs || 28706976 markings, 44139482 edges, 7503 markings/sec, 3410 secs
lola: 510 tries, 509656566 fired transitions, 3415 secs || 28741260 markings, 44192219 edges, 6857 markings/sec, 3415 secs
lola: 511 tries, 510290068 fired transitions, 3420 secs || 28778589 markings, 44249639 edges, 7466 markings/sec, 3420 secs
lola: 511 tries, 510957400 fired transitions, 3425 secs || 28815605 markings, 44306575 edges, 7403 markings/sec, 3425 secs
lola: 512 tries, 511628860 fired transitions, 3430 secs || 28853238 markings, 44364462 edges, 7527 markings/sec, 3430 secs
lola: 513 tries, 512250780 fired transitions, 3435 secs || 28889206 markings, 44419792 edges, 7194 markings/sec, 3435 secs
lola: 513 tries, 512869030 fired transitions, 3440 secs || 28924496 markings, 44473950 edges, 7058 markings/sec, 3440 secs
lola: 514 tries, 513463776 fired transitions, 3445 secs || 28960191 markings, 44528823 edges, 7139 markings/sec, 3445 secs
lola: 515 tries, 514086832 fired transitions, 3450 secs || 28996704 markings, 44584983 edges, 7303 markings/sec, 3450 secs
lola: 515 tries, 514710117 fired transitions, 3455 secs || 29032415 markings, 44639919 edges, 7142 markings/sec, 3455 secs
lola: 516 tries, 515335445 fired transitions, 3460 secs || 29067786 markings, 44694318 edges, 7074 markings/sec, 3460 secs
lola: 516 tries, 515951732 fired transitions, 3465 secs || 29104843 markings, 44751326 edges, 7411 markings/sec, 3465 secs
lola: 517 tries, 516549131 fired transitions, 3470 secs || 29141220 markings, 44807283 edges, 7275 markings/sec, 3470 secs
lola: 518 tries, 517158272 fired transitions, 3475 secs || 29177773 markings, 44863366 edges, 7311 markings/sec, 3475 secs
lola: 518 tries, 517777011 fired transitions, 3480 secs || 29213040 markings, 44917596 edges, 7053 markings/sec, 3480 secs
lola: 519 tries, 518389844 fired transitions, 3485 secs || 29247264 markings, 44970240 edges, 6845 markings/sec, 3485 secs
lola: 520 tries, 519022458 fired transitions, 3490 secs || 29282101 markings, 45023822 edges, 6967 markings/sec, 3490 secs
lola: 520 tries, 519648792 fired transitions, 3495 secs || 29318277 markings, 45079469 edges, 7235 markings/sec, 3495 secs
lola: 521 tries, 520256994 fired transitions, 3500 secs || 29354583 markings, 45135325 edges, 7261 markings/sec, 3500 secs
lola: 521 tries, 520875960 fired transitions, 3505 secs || 29393228 markings, 45194766 edges, 7729 markings/sec, 3505 secs
lola: 522 tries, 521484028 fired transitions, 3510 secs || 29430916 markings, 45252679 edges, 7538 markings/sec, 3510 secs
lola: 523 tries, 522137226 fired transitions, 3515 secs || 29467725 markings, 45309204 edges, 7362 markings/sec, 3515 secs
lola: 523 tries, 522763415 fired transitions, 3520 secs || 29502450 markings, 45362616 edges, 6945 markings/sec, 3520 secs
lola: 524 tries, 523376925 fired transitions, 3525 secs || 29537269 markings, 45416175 edges, 6964 markings/sec, 3525 secs
lola: 524 tries, 523997511 fired transitions, 3530 secs || 29571990 markings, 45469578 edges, 6944 markings/sec, 3530 secs
lola: 525 tries, 524587254 fired transitions, 3535 secs || 29606398 markings, 45522512 edges, 6882 markings/sec, 3535 secs
lola: 526 tries, 525182410 fired transitions, 3540 secs || 29640324 markings, 45574697 edges, 6785 markings/sec, 3540 secs
lola: 526 tries, 525779330 fired transitions, 3545 secs || 29673062 markings, 45625051 edges, 6548 markings/sec, 3545 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 9313620 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: memory consumption: 9313772 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1554501919939

--------------------
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="BART-PT-060"
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 BART-PT-060, 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-155344534700066"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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