fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r049-oct2-155234405800885
Last Updated
Apr 15, 2019

About the Execution of LoLA for Dekker-PT-100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4506.070 3594345.00 7329814.00 119.80 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405800885.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 Dekker-PT-100, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405800885
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.1M
-rw-r--r-- 1 mcc users 3.9K Feb 10 21:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 21:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 6 17:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 17:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 07:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 07:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 30 23:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 5.9M Mar 10 17:31 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 Dekker-PT-100-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554418306971

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Dekker-PT-100 @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ Dekker-PT-100

{
"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": "Thu Apr 4 22:51:47 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 3527200,
"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": 80200,
"conflict_clusters": 1,
"places": 500,
"places_significant": 200,
"singleton_clusters": 0,
"transitions": 10200
},
"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": 93326215443944150965646704795953882578400970373184098831012889540582227238570431295066113089288327277825849664006524270554535976289719382852181865895959724032.000000,
"composed": 4762,
"dead_branches": 0,
"generators": 4950,
"interrupted": false,
"real_computed": 188,
"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: 10700/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16000
lola: finding significant places
lola: 500 places, 10200 transitions, 200 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: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 1 tries, 69991 fired transitions, 0 secs
lola: 1464 generators; 110931 candidates remain ( 1%), 0 secs
lola: 1 tries, 140142 fired transitions, 5 secs
lola: 2870 generators; 102115 candidates remain ( 2%), 5 secs
lola: computed 4950 generators (188 in search tree, 4762 by composition)
lola: representing 9.33262E+157 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 209914 fired transitions, 10 secs || 1205 markings, 80842 edges, 241 markings/sec, 10 secs
lola: 1 tries, 277631 fired transitions, 15 secs || 5581 markings, 412539 edges, 875 markings/sec, 15 secs
lola: 1 tries, 345578 fired transitions, 20 secs || 9669 markings, 745430 edges, 818 markings/sec, 20 secs
lola: 1 tries, 413964 fired transitions, 25 secs || 13758 markings, 1077384 edges, 818 markings/sec, 25 secs
lola: 1 tries, 485446 fired transitions, 30 secs || 17421 markings, 1402568 edges, 733 markings/sec, 30 secs
lola: 1 tries, 559056 fired transitions, 35 secs || 21112 markings, 1726791 edges, 738 markings/sec, 35 secs
lola: 1 tries, 631140 fired transitions, 40 secs || 24452 markings, 2051309 edges, 668 markings/sec, 40 secs
lola: 1 tries, 701204 fired transitions, 45 secs || 28160 markings, 2383385 edges, 742 markings/sec, 45 secs
lola: 1 tries, 771302 fired transitions, 50 secs || 31511 markings, 2701044 edges, 670 markings/sec, 50 secs
lola: 1 tries, 841969 fired transitions, 55 secs || 35148 markings, 3033189 edges, 727 markings/sec, 55 secs
lola: 1 tries, 912533 fired transitions, 60 secs || 38560 markings, 3361976 edges, 682 markings/sec, 60 secs
lola: 1 tries, 984578 fired transitions, 65 secs || 42047 markings, 3691058 edges, 697 markings/sec, 65 secs
lola: 2 tries, 1054781 fired transitions, 70 secs || 45495 markings, 4013122 edges, 690 markings/sec, 70 secs
lola: 2 tries, 1124718 fired transitions, 75 secs || 49291 markings, 4343697 edges, 759 markings/sec, 75 secs
lola: 2 tries, 1194339 fired transitions, 80 secs || 52709 markings, 4664950 edges, 684 markings/sec, 80 secs
lola: 2 tries, 1268259 fired transitions, 85 secs || 56632 markings, 5005997 edges, 785 markings/sec, 85 secs
lola: 2 tries, 1343877 fired transitions, 90 secs || 60192 markings, 5321142 edges, 712 markings/sec, 90 secs
lola: 2 tries, 1418541 fired transitions, 95 secs || 63485 markings, 5652284 edges, 659 markings/sec, 95 secs
lola: 2 tries, 1493666 fired transitions, 100 secs || 67002 markings, 5986304 edges, 703 markings/sec, 100 secs
lola: 2 tries, 1567255 fired transitions, 105 secs || 70582 markings, 6296401 edges, 716 markings/sec, 105 secs
lola: 2 tries, 1636400 fired transitions, 110 secs || 74154 markings, 6615272 edges, 714 markings/sec, 110 secs
lola: 2 tries, 1707952 fired transitions, 115 secs || 77885 markings, 6926869 edges, 746 markings/sec, 115 secs
lola: 2 tries, 1778362 fired transitions, 120 secs || 81613 markings, 7249702 edges, 746 markings/sec, 120 secs
lola: 2 tries, 1849443 fired transitions, 125 secs || 84953 markings, 7560102 edges, 668 markings/sec, 125 secs
lola: 2 tries, 1920211 fired transitions, 130 secs || 88568 markings, 7880989 edges, 723 markings/sec, 130 secs
lola: 2 tries, 1991371 fired transitions, 135 secs || 91603 markings, 8194719 edges, 607 markings/sec, 135 secs
lola: 3 tries, 2057655 fired transitions, 140 secs || 94790 markings, 8514537 edges, 637 markings/sec, 140 secs
lola: 3 tries, 2126427 fired transitions, 145 secs || 98256 markings, 8841852 edges, 693 markings/sec, 145 secs
lola: 3 tries, 2194460 fired transitions, 150 secs || 101760 markings, 9175996 edges, 701 markings/sec, 150 secs
lola: 3 tries, 2260222 fired transitions, 155 secs || 105258 markings, 9505300 edges, 700 markings/sec, 155 secs
lola: 3 tries, 2325727 fired transitions, 160 secs || 108484 markings, 9830080 edges, 645 markings/sec, 160 secs
lola: 3 tries, 2391671 fired transitions, 165 secs || 111547 markings, 10137376 edges, 613 markings/sec, 165 secs
lola: 3 tries, 2457569 fired transitions, 170 secs || 114655 markings, 10454486 edges, 622 markings/sec, 170 secs
lola: 3 tries, 2523360 fired transitions, 175 secs || 118110 markings, 10776764 edges, 691 markings/sec, 175 secs
lola: 3 tries, 2589415 fired transitions, 180 secs || 121488 markings, 11091221 edges, 676 markings/sec, 180 secs
lola: 3 tries, 2655597 fired transitions, 185 secs || 125042 markings, 11417669 edges, 711 markings/sec, 185 secs
lola: 3 tries, 2721825 fired transitions, 190 secs || 128294 markings, 11731995 edges, 650 markings/sec, 190 secs
lola: 3 tries, 2787812 fired transitions, 195 secs || 131913 markings, 12062044 edges, 724 markings/sec, 195 secs
lola: 3 tries, 2853994 fired transitions, 200 secs || 135388 markings, 12381630 edges, 695 markings/sec, 200 secs
lola: 3 tries, 2920258 fired transitions, 205 secs || 138640 markings, 12702125 edges, 650 markings/sec, 205 secs
lola: 3 tries, 2986124 fired transitions, 210 secs || 142024 markings, 13020161 edges, 677 markings/sec, 210 secs
lola: 4 tries, 3051966 fired transitions, 215 secs || 145569 markings, 13345679 edges, 709 markings/sec, 215 secs
lola: 4 tries, 3116453 fired transitions, 220 secs || 148975 markings, 13672134 edges, 681 markings/sec, 220 secs
lola: 4 tries, 3181644 fired transitions, 225 secs || 152284 markings, 14007512 edges, 662 markings/sec, 225 secs
lola: 4 tries, 3247875 fired transitions, 230 secs || 155572 markings, 14323125 edges, 658 markings/sec, 230 secs
lola: 4 tries, 3313737 fired transitions, 235 secs || 158983 markings, 14644679 edges, 682 markings/sec, 235 secs
lola: 4 tries, 3379767 fired transitions, 240 secs || 162325 markings, 14968374 edges, 668 markings/sec, 240 secs
lola: 4 tries, 3444008 fired transitions, 245 secs || 165682 markings, 15285385 edges, 671 markings/sec, 245 secs
lola: 4 tries, 3509289 fired transitions, 250 secs || 169082 markings, 15610909 edges, 680 markings/sec, 250 secs
lola: 4 tries, 3574471 fired transitions, 255 secs || 172512 markings, 15947933 edges, 686 markings/sec, 255 secs
lola: 4 tries, 3640677 fired transitions, 260 secs || 176166 markings, 16280176 edges, 731 markings/sec, 260 secs
lola: 4 tries, 3705837 fired transitions, 265 secs || 179494 markings, 16606856 edges, 666 markings/sec, 265 secs
lola: 4 tries, 3770449 fired transitions, 270 secs || 182854 markings, 16930831 edges, 672 markings/sec, 270 secs
lola: 4 tries, 3834597 fired transitions, 275 secs || 186000 markings, 17245787 edges, 629 markings/sec, 275 secs
lola: 4 tries, 3898837 fired transitions, 280 secs || 188838 markings, 17559292 edges, 568 markings/sec, 280 secs
lola: 4 tries, 3964390 fired transitions, 285 secs || 191625 markings, 17873006 edges, 557 markings/sec, 285 secs
lola: 5 tries, 4030265 fired transitions, 290 secs || 194459 markings, 18186695 edges, 567 markings/sec, 290 secs
lola: 5 tries, 4093698 fired transitions, 295 secs || 197137 markings, 18495156 edges, 536 markings/sec, 295 secs
lola: 5 tries, 4158331 fired transitions, 300 secs || 199844 markings, 18804824 edges, 541 markings/sec, 300 secs
lola: 5 tries, 4224516 fired transitions, 305 secs || 202454 markings, 19107575 edges, 522 markings/sec, 305 secs
lola: 5 tries, 4294182 fired transitions, 310 secs || 205575 markings, 19443885 edges, 624 markings/sec, 310 secs
lola: 5 tries, 4362897 fired transitions, 315 secs || 209328 markings, 19776093 edges, 751 markings/sec, 315 secs
lola: 5 tries, 4429109 fired transitions, 320 secs || 212812 markings, 20109838 edges, 697 markings/sec, 320 secs
lola: 5 tries, 4495189 fired transitions, 325 secs || 215942 markings, 20430115 edges, 626 markings/sec, 325 secs
lola: 5 tries, 4560309 fired transitions, 330 secs || 219287 markings, 20760934 edges, 669 markings/sec, 330 secs
lola: 5 tries, 4626196 fired transitions, 335 secs || 222556 markings, 21080536 edges, 654 markings/sec, 335 secs
lola: 5 tries, 4692506 fired transitions, 340 secs || 225990 markings, 21411907 edges, 687 markings/sec, 340 secs
lola: 5 tries, 4758634 fired transitions, 345 secs || 229246 markings, 21740973 edges, 651 markings/sec, 345 secs
lola: 5 tries, 4824666 fired transitions, 350 secs || 232443 markings, 22064012 edges, 639 markings/sec, 350 secs
lola: 5 tries, 4890925 fired transitions, 355 secs || 235410 markings, 22376396 edges, 593 markings/sec, 355 secs
lola: 5 tries, 4956150 fired transitions, 360 secs || 238738 markings, 22697147 edges, 666 markings/sec, 360 secs
lola: 6 tries, 5022280 fired transitions, 365 secs || 242052 markings, 23015889 edges, 663 markings/sec, 365 secs
lola: 6 tries, 5088414 fired transitions, 370 secs || 244916 markings, 23319721 edges, 573 markings/sec, 370 secs
lola: 6 tries, 5156364 fired transitions, 375 secs || 248439 markings, 23656574 edges, 705 markings/sec, 375 secs
lola: 6 tries, 5226237 fired transitions, 380 secs || 252050 markings, 24011986 edges, 722 markings/sec, 380 secs
lola: 6 tries, 5296135 fired transitions, 385 secs || 255488 markings, 24354548 edges, 688 markings/sec, 385 secs
lola: 6 tries, 5365936 fired transitions, 390 secs || 258826 markings, 24689055 edges, 668 markings/sec, 390 secs
lola: 6 tries, 5435835 fired transitions, 395 secs || 262025 markings, 25022528 edges, 640 markings/sec, 395 secs
lola: 6 tries, 5504868 fired transitions, 400 secs || 264893 markings, 25343161 edges, 574 markings/sec, 400 secs
lola: 6 tries, 5573574 fired transitions, 405 secs || 267624 markings, 25668070 edges, 546 markings/sec, 405 secs
lola: 6 tries, 5642588 fired transitions, 410 secs || 271011 markings, 25992217 edges, 677 markings/sec, 410 secs
lola: 6 tries, 5712011 fired transitions, 415 secs || 274498 markings, 26335563 edges, 697 markings/sec, 415 secs
lola: 6 tries, 5780288 fired transitions, 420 secs || 278085 markings, 26680733 edges, 717 markings/sec, 420 secs
lola: 6 tries, 5849716 fired transitions, 425 secs || 281541 markings, 27030905 edges, 691 markings/sec, 425 secs
lola: 6 tries, 5919646 fired transitions, 430 secs || 284972 markings, 27374491 edges, 686 markings/sec, 430 secs
lola: 6 tries, 5989527 fired transitions, 435 secs || 288362 markings, 27707443 edges, 678 markings/sec, 435 secs
lola: 7 tries, 6057852 fired transitions, 440 secs || 291800 markings, 28052369 edges, 688 markings/sec, 440 secs
lola: 7 tries, 6127083 fired transitions, 445 secs || 295232 markings, 28388321 edges, 686 markings/sec, 445 secs
lola: 7 tries, 6195370 fired transitions, 450 secs || 298544 markings, 28718765 edges, 662 markings/sec, 450 secs
lola: 7 tries, 6263794 fired transitions, 455 secs || 301848 markings, 29056249 edges, 661 markings/sec, 455 secs
lola: 7 tries, 6333008 fired transitions, 460 secs || 305323 markings, 29393596 edges, 695 markings/sec, 460 secs
lola: 7 tries, 6402150 fired transitions, 465 secs || 308710 markings, 29733973 edges, 677 markings/sec, 465 secs
lola: 7 tries, 6471856 fired transitions, 470 secs || 312025 markings, 30070496 edges, 663 markings/sec, 470 secs
lola: 7 tries, 6541040 fired transitions, 475 secs || 315456 markings, 30403976 edges, 686 markings/sec, 475 secs
lola: 7 tries, 6608770 fired transitions, 480 secs || 318674 markings, 30726390 edges, 644 markings/sec, 480 secs
lola: 7 tries, 6678928 fired transitions, 485 secs || 321982 markings, 31061217 edges, 662 markings/sec, 485 secs
lola: 7 tries, 6747127 fired transitions, 490 secs || 325226 markings, 31386612 edges, 649 markings/sec, 490 secs
lola: 7 tries, 6816434 fired transitions, 495 secs || 328494 markings, 31716702 edges, 654 markings/sec, 495 secs
lola: 7 tries, 6885502 fired transitions, 500 secs || 331871 markings, 32048649 edges, 675 markings/sec, 500 secs
lola: 7 tries, 6954284 fired transitions, 505 secs || 335125 markings, 32382125 edges, 651 markings/sec, 505 secs
lola: 8 tries, 7021756 fired transitions, 510 secs || 338162 markings, 32700725 edges, 607 markings/sec, 510 secs
lola: 8 tries, 7090474 fired transitions, 515 secs || 341459 markings, 33030954 edges, 659 markings/sec, 515 secs
lola: 8 tries, 7157208 fired transitions, 520 secs || 345106 markings, 33390703 edges, 729 markings/sec, 520 secs
lola: 8 tries, 7225742 fired transitions, 525 secs || 348287 markings, 33715858 edges, 636 markings/sec, 525 secs
lola: 8 tries, 7293250 fired transitions, 530 secs || 351817 markings, 34064434 edges, 706 markings/sec, 530 secs
lola: 8 tries, 7360870 fired transitions, 535 secs || 355278 markings, 34413696 edges, 692 markings/sec, 535 secs
lola: 8 tries, 7429680 fired transitions, 540 secs || 358545 markings, 34748453 edges, 653 markings/sec, 540 secs
lola: 8 tries, 7498153 fired transitions, 545 secs || 361770 markings, 35074053 edges, 645 markings/sec, 545 secs
lola: 8 tries, 7566596 fired transitions, 550 secs || 365104 markings, 35407755 edges, 667 markings/sec, 550 secs
lola: 8 tries, 7635459 fired transitions, 555 secs || 368158 markings, 35735576 edges, 611 markings/sec, 555 secs
lola: 8 tries, 7704861 fired transitions, 560 secs || 371410 markings, 36057349 edges, 650 markings/sec, 560 secs
lola: 8 tries, 7773566 fired transitions, 565 secs || 374549 markings, 36393160 edges, 628 markings/sec, 565 secs
lola: 8 tries, 7841889 fired transitions, 570 secs || 377824 markings, 36744419 edges, 655 markings/sec, 570 secs
lola: 8 tries, 7910485 fired transitions, 575 secs || 381306 markings, 37091878 edges, 696 markings/sec, 575 secs
lola: 8 tries, 7979327 fired transitions, 580 secs || 384740 markings, 37430362 edges, 687 markings/sec, 580 secs
lola: 9 tries, 8046985 fired transitions, 585 secs || 388015 markings, 37757730 edges, 655 markings/sec, 585 secs
lola: 9 tries, 8115488 fired transitions, 590 secs || 391640 markings, 38107659 edges, 725 markings/sec, 590 secs
lola: 9 tries, 8183909 fired transitions, 595 secs || 395776 markings, 38464779 edges, 827 markings/sec, 595 secs
lola: 9 tries, 8250496 fired transitions, 600 secs || 399436 markings, 38796247 edges, 732 markings/sec, 600 secs
lola: 9 tries, 8317505 fired transitions, 605 secs || 402364 markings, 39112358 edges, 586 markings/sec, 605 secs
lola: 9 tries, 8383259 fired transitions, 610 secs || 405655 markings, 39435511 edges, 658 markings/sec, 610 secs
lola: 9 tries, 8450759 fired transitions, 615 secs || 408824 markings, 39759324 edges, 634 markings/sec, 615 secs
lola: 9 tries, 8518273 fired transitions, 620 secs || 412050 markings, 40102888 edges, 645 markings/sec, 620 secs
lola: 9 tries, 8586415 fired transitions, 625 secs || 415277 markings, 40444439 edges, 645 markings/sec, 625 secs
lola: 9 tries, 8654293 fired transitions, 630 secs || 418619 markings, 40785286 edges, 668 markings/sec, 630 secs
lola: 9 tries, 8720972 fired transitions, 635 secs || 421234 markings, 41100896 edges, 523 markings/sec, 635 secs
lola: 9 tries, 8788220 fired transitions, 640 secs || 423950 markings, 41428990 edges, 543 markings/sec, 640 secs
lola: 9 tries, 8855158 fired transitions, 645 secs || 426928 markings, 41744081 edges, 596 markings/sec, 645 secs
lola: 9 tries, 8922284 fired transitions, 650 secs || 430243 markings, 42074697 edges, 663 markings/sec, 650 secs
lola: 9 tries, 8990454 fired transitions, 655 secs || 433288 markings, 42400654 edges, 609 markings/sec, 655 secs
lola: 10 tries, 9058723 fired transitions, 660 secs || 436489 markings, 42727736 edges, 640 markings/sec, 660 secs
lola: 10 tries, 9126812 fired transitions, 665 secs || 439879 markings, 43058650 edges, 678 markings/sec, 665 secs
lola: 10 tries, 9194369 fired transitions, 670 secs || 442970 markings, 43388502 edges, 618 markings/sec, 670 secs
lola: 10 tries, 9262414 fired transitions, 675 secs || 446008 markings, 43708787 edges, 608 markings/sec, 675 secs
lola: 10 tries, 9331022 fired transitions, 680 secs || 448492 markings, 44019352 edges, 497 markings/sec, 680 secs
lola: 10 tries, 9400234 fired transitions, 685 secs || 451743 markings, 44360874 edges, 650 markings/sec, 685 secs
lola: 10 tries, 9469335 fired transitions, 690 secs || 454940 markings, 44707737 edges, 639 markings/sec, 690 secs
lola: 10 tries, 9537711 fired transitions, 695 secs || 457864 markings, 45034970 edges, 585 markings/sec, 695 secs
lola: 10 tries, 9605459 fired transitions, 700 secs || 460903 markings, 45352001 edges, 608 markings/sec, 700 secs
lola: 10 tries, 9671623 fired transitions, 705 secs || 463777 markings, 45660599 edges, 575 markings/sec, 705 secs
lola: 10 tries, 9737658 fired transitions, 710 secs || 466745 markings, 45974643 edges, 594 markings/sec, 710 secs
lola: 10 tries, 9803897 fired transitions, 715 secs || 469869 markings, 46294058 edges, 625 markings/sec, 715 secs
lola: 10 tries, 9870051 fired transitions, 720 secs || 472856 markings, 46605555 edges, 597 markings/sec, 720 secs
lola: 10 tries, 9936643 fired transitions, 725 secs || 475772 markings, 46914876 edges, 583 markings/sec, 725 secs
lola: 11 tries, 10003077 fired transitions, 730 secs || 478815 markings, 47237886 edges, 609 markings/sec, 730 secs
lola: 11 tries, 10069198 fired transitions, 735 secs || 482264 markings, 47560460 edges, 690 markings/sec, 735 secs
lola: 11 tries, 10135739 fired transitions, 740 secs || 485420 markings, 47890472 edges, 631 markings/sec, 740 secs
lola: 11 tries, 10204023 fired transitions, 745 secs || 488608 markings, 48221034 edges, 638 markings/sec, 745 secs
lola: 11 tries, 10270312 fired transitions, 750 secs || 491692 markings, 48543310 edges, 617 markings/sec, 750 secs
lola: 11 tries, 10338049 fired transitions, 755 secs || 495075 markings, 48876942 edges, 677 markings/sec, 755 secs
lola: 11 tries, 10406979 fired transitions, 760 secs || 498452 markings, 49213385 edges, 675 markings/sec, 760 secs
lola: 11 tries, 10475552 fired transitions, 765 secs || 501616 markings, 49544234 edges, 633 markings/sec, 765 secs
lola: 11 tries, 10546259 fired transitions, 770 secs || 504879 markings, 49883386 edges, 653 markings/sec, 770 secs
lola: 11 tries, 10617184 fired transitions, 775 secs || 508228 markings, 50229211 edges, 670 markings/sec, 775 secs
lola: 11 tries, 10684880 fired transitions, 780 secs || 511338 markings, 50564674 edges, 622 markings/sec, 780 secs
lola: 11 tries, 10753214 fired transitions, 785 secs || 514588 markings, 50901184 edges, 650 markings/sec, 785 secs
lola: 11 tries, 10821368 fired transitions, 790 secs || 517912 markings, 51239891 edges, 665 markings/sec, 790 secs
lola: 11 tries, 10890125 fired transitions, 795 secs || 521323 markings, 51572601 edges, 682 markings/sec, 795 secs
lola: 11 tries, 10956877 fired transitions, 800 secs || 524448 markings, 51888164 edges, 625 markings/sec, 800 secs
lola: 12 tries, 11024214 fired transitions, 805 secs || 527518 markings, 52212681 edges, 614 markings/sec, 805 secs
lola: 12 tries, 11092574 fired transitions, 810 secs || 530655 markings, 52535916 edges, 627 markings/sec, 810 secs
lola: 12 tries, 11160995 fired transitions, 815 secs || 533751 markings, 52860017 edges, 619 markings/sec, 815 secs
lola: 12 tries, 11228651 fired transitions, 820 secs || 536794 markings, 53180776 edges, 609 markings/sec, 820 secs
lola: 12 tries, 11297625 fired transitions, 825 secs || 540216 markings, 53518392 edges, 684 markings/sec, 825 secs
lola: 12 tries, 11365782 fired transitions, 830 secs || 543197 markings, 53851379 edges, 596 markings/sec, 830 secs
lola: 12 tries, 11433910 fired transitions, 835 secs || 546207 markings, 54168064 edges, 602 markings/sec, 835 secs
lola: 12 tries, 11500257 fired transitions, 840 secs || 549605 markings, 54499104 edges, 680 markings/sec, 840 secs
lola: 12 tries, 11568414 fired transitions, 845 secs || 552791 markings, 54824342 edges, 637 markings/sec, 845 secs
lola: 12 tries, 11636190 fired transitions, 850 secs || 556051 markings, 55146810 edges, 652 markings/sec, 850 secs
lola: 12 tries, 11703009 fired transitions, 855 secs || 559108 markings, 55474026 edges, 611 markings/sec, 855 secs
lola: 12 tries, 11767186 fired transitions, 860 secs || 562030 markings, 55788523 edges, 584 markings/sec, 860 secs
lola: 12 tries, 11833993 fired transitions, 865 secs || 565472 markings, 56125700 edges, 688 markings/sec, 865 secs
lola: 12 tries, 11901941 fired transitions, 870 secs || 568709 markings, 56468127 edges, 647 markings/sec, 870 secs
lola: 12 tries, 11970381 fired transitions, 875 secs || 572130 markings, 56801188 edges, 684 markings/sec, 875 secs
lola: 13 tries, 12038552 fired transitions, 880 secs || 575695 markings, 57156826 edges, 713 markings/sec, 880 secs
lola: 13 tries, 12108611 fired transitions, 885 secs || 579565 markings, 57525637 edges, 774 markings/sec, 885 secs
lola: 13 tries, 12177692 fired transitions, 890 secs || 583599 markings, 57881764 edges, 807 markings/sec, 890 secs
lola: 13 tries, 12245090 fired transitions, 895 secs || 587114 markings, 58233043 edges, 703 markings/sec, 895 secs
lola: 13 tries, 12312368 fired transitions, 900 secs || 590079 markings, 58564467 edges, 593 markings/sec, 900 secs
lola: 13 tries, 12380658 fired transitions, 905 secs || 592949 markings, 58884472 edges, 574 markings/sec, 905 secs
lola: 13 tries, 12449203 fired transitions, 910 secs || 596416 markings, 59229335 edges, 693 markings/sec, 910 secs
lola: 13 tries, 12517968 fired transitions, 915 secs || 599717 markings, 59573334 edges, 660 markings/sec, 915 secs
lola: 13 tries, 12586924 fired transitions, 920 secs || 602503 markings, 59893922 edges, 557 markings/sec, 920 secs
lola: 13 tries, 12655753 fired transitions, 925 secs || 605354 markings, 60217574 edges, 570 markings/sec, 925 secs
lola: 13 tries, 12724483 fired transitions, 930 secs || 608468 markings, 60547058 edges, 623 markings/sec, 930 secs
lola: 13 tries, 12793235 fired transitions, 935 secs || 611423 markings, 60880253 edges, 591 markings/sec, 935 secs
lola: 13 tries, 12861824 fired transitions, 940 secs || 614506 markings, 61208779 edges, 617 markings/sec, 940 secs
lola: 13 tries, 12929908 fired transitions, 945 secs || 617926 markings, 61545889 edges, 684 markings/sec, 945 secs
lola: 13 tries, 12997135 fired transitions, 950 secs || 621355 markings, 61887979 edges, 686 markings/sec, 950 secs
lola: 14 tries, 13063375 fired transitions, 955 secs || 624398 markings, 62215026 edges, 609 markings/sec, 955 secs
lola: 14 tries, 13129902 fired transitions, 960 secs || 627619 markings, 62544210 edges, 644 markings/sec, 960 secs
lola: 14 tries, 13195902 fired transitions, 965 secs || 630738 markings, 62854072 edges, 624 markings/sec, 965 secs
lola: 14 tries, 13260213 fired transitions, 970 secs || 633763 markings, 63177920 edges, 605 markings/sec, 970 secs
lola: 14 tries, 13324401 fired transitions, 975 secs || 636728 markings, 63506269 edges, 593 markings/sec, 975 secs
lola: 14 tries, 13390830 fired transitions, 980 secs || 639502 markings, 63813782 edges, 555 markings/sec, 980 secs
lola: 14 tries, 13460068 fired transitions, 985 secs || 642741 markings, 64143032 edges, 648 markings/sec, 985 secs
lola: 14 tries, 13529185 fired transitions, 990 secs || 645590 markings, 64481714 edges, 570 markings/sec, 990 secs
lola: 14 tries, 13598219 fired transitions, 995 secs || 648712 markings, 64802090 edges, 624 markings/sec, 995 secs
lola: 14 tries, 13667275 fired transitions, 1000 secs || 652281 markings, 65151071 edges, 714 markings/sec, 1000 secs
lola: 14 tries, 13736631 fired transitions, 1005 secs || 655161 markings, 65473151 edges, 576 markings/sec, 1005 secs
lola: 14 tries, 13803095 fired transitions, 1010 secs || 658128 markings, 65801600 edges, 593 markings/sec, 1010 secs
lola: 14 tries, 13872349 fired transitions, 1015 secs || 661425 markings, 66135610 edges, 659 markings/sec, 1015 secs
lola: 14 tries, 13940805 fired transitions, 1020 secs || 664459 markings, 66461887 edges, 607 markings/sec, 1020 secs
lola: 15 tries, 14009324 fired transitions, 1025 secs || 667384 markings, 66777014 edges, 585 markings/sec, 1025 secs
lola: 15 tries, 14078194 fired transitions, 1030 secs || 670619 markings, 67110241 edges, 647 markings/sec, 1030 secs
lola: 15 tries, 14146981 fired transitions, 1035 secs || 673662 markings, 67436560 edges, 609 markings/sec, 1035 secs
lola: 15 tries, 14215357 fired transitions, 1040 secs || 676929 markings, 67751984 edges, 653 markings/sec, 1040 secs
lola: 15 tries, 14283572 fired transitions, 1045 secs || 679860 markings, 68067830 edges, 586 markings/sec, 1045 secs
lola: 15 tries, 14352161 fired transitions, 1050 secs || 682980 markings, 68390707 edges, 624 markings/sec, 1050 secs
lola: 15 tries, 14420221 fired transitions, 1055 secs || 685947 markings, 68705240 edges, 593 markings/sec, 1055 secs
lola: 15 tries, 14488304 fired transitions, 1060 secs || 688890 markings, 69041700 edges, 589 markings/sec, 1060 secs
lola: 15 tries, 14555551 fired transitions, 1065 secs || 692001 markings, 69373338 edges, 622 markings/sec, 1065 secs
lola: 15 tries, 14624548 fired transitions, 1070 secs || 695095 markings, 69702971 edges, 619 markings/sec, 1070 secs
lola: 15 tries, 14694962 fired transitions, 1075 secs || 698132 markings, 70039455 edges, 607 markings/sec, 1075 secs
lola: 15 tries, 14765614 fired transitions, 1080 secs || 701598 markings, 70382001 edges, 693 markings/sec, 1080 secs
lola: 15 tries, 14835461 fired transitions, 1085 secs || 704764 markings, 70721226 edges, 633 markings/sec, 1085 secs
lola: 15 tries, 14902693 fired transitions, 1090 secs || 707735 markings, 71049864 edges, 594 markings/sec, 1090 secs
lola: 15 tries, 14969750 fired transitions, 1095 secs || 710561 markings, 71371608 edges, 565 markings/sec, 1095 secs
lola: 16 tries, 15036226 fired transitions, 1100 secs || 713577 markings, 71693693 edges, 603 markings/sec, 1100 secs
lola: 16 tries, 15102387 fired transitions, 1105 secs || 716357 markings, 71999881 edges, 556 markings/sec, 1105 secs
lola: 16 tries, 15169344 fired transitions, 1110 secs || 719316 markings, 72329536 edges, 592 markings/sec, 1110 secs
lola: 16 tries, 15235662 fired transitions, 1115 secs || 722868 markings, 72660934 edges, 710 markings/sec, 1115 secs
lola: 16 tries, 15301766 fired transitions, 1120 secs || 726176 markings, 72987702 edges, 662 markings/sec, 1120 secs
lola: 16 tries, 15367976 fired transitions, 1125 secs || 729182 markings, 73293590 edges, 601 markings/sec, 1125 secs
lola: 16 tries, 15434015 fired transitions, 1130 secs || 732103 markings, 73609513 edges, 584 markings/sec, 1130 secs
lola: 16 tries, 15500224 fired transitions, 1135 secs || 735111 markings, 73921320 edges, 602 markings/sec, 1135 secs
lola: 16 tries, 15564869 fired transitions, 1140 secs || 738376 markings, 74246012 edges, 653 markings/sec, 1140 secs
lola: 16 tries, 15630330 fired transitions, 1145 secs || 741506 markings, 74575846 edges, 626 markings/sec, 1145 secs
lola: 16 tries, 15702401 fired transitions, 1150 secs || 744512 markings, 74898667 edges, 601 markings/sec, 1150 secs
lola: 16 tries, 15779579 fired transitions, 1155 secs || 747507 markings, 75226501 edges, 599 markings/sec, 1155 secs
lola: 16 tries, 15856729 fired transitions, 1160 secs || 750782 markings, 75560370 edges, 655 markings/sec, 1160 secs
lola: 16 tries, 15934143 fired transitions, 1165 secs || 754262 markings, 75912614 edges, 696 markings/sec, 1165 secs
lola: 17 tries, 16010743 fired transitions, 1170 secs || 757339 markings, 76248948 edges, 615 markings/sec, 1170 secs
lola: 17 tries, 16081473 fired transitions, 1175 secs || 760706 markings, 76598621 edges, 673 markings/sec, 1175 secs
lola: 17 tries, 16152539 fired transitions, 1180 secs || 763764 markings, 76940790 edges, 612 markings/sec, 1180 secs
lola: 17 tries, 16223633 fired transitions, 1185 secs || 767261 markings, 77293465 edges, 699 markings/sec, 1185 secs
lola: 17 tries, 16294556 fired transitions, 1190 secs || 770583 markings, 77642750 edges, 664 markings/sec, 1190 secs
lola: 17 tries, 16365279 fired transitions, 1195 secs || 773858 markings, 77988530 edges, 655 markings/sec, 1195 secs
lola: 17 tries, 16436021 fired transitions, 1200 secs || 777051 markings, 78327947 edges, 639 markings/sec, 1200 secs
lola: 17 tries, 16506266 fired transitions, 1205 secs || 779960 markings, 78655183 edges, 582 markings/sec, 1205 secs
lola: 17 tries, 16576772 fired transitions, 1210 secs || 783388 markings, 79007653 edges, 686 markings/sec, 1210 secs
lola: 17 tries, 16647243 fired transitions, 1215 secs || 786469 markings, 79342708 edges, 616 markings/sec, 1215 secs
lola: 17 tries, 16717715 fired transitions, 1220 secs || 789774 markings, 79695161 edges, 661 markings/sec, 1220 secs
lola: 17 tries, 16787917 fired transitions, 1225 secs || 793011 markings, 80043063 edges, 647 markings/sec, 1225 secs
lola: 17 tries, 16858225 fired transitions, 1230 secs || 795911 markings, 80371765 edges, 580 markings/sec, 1230 secs
lola: 17 tries, 16928275 fired transitions, 1235 secs || 799457 markings, 80723873 edges, 709 markings/sec, 1235 secs
lola: 17 tries, 16998116 fired transitions, 1240 secs || 801997 markings, 81042121 edges, 508 markings/sec, 1240 secs
lola: 18 tries, 17067751 fired transitions, 1245 secs || 804679 markings, 81359880 edges, 536 markings/sec, 1245 secs
lola: 18 tries, 17137149 fired transitions, 1250 secs || 807768 markings, 81691654 edges, 618 markings/sec, 1250 secs
lola: 18 tries, 17204645 fired transitions, 1255 secs || 810823 markings, 82024585 edges, 611 markings/sec, 1255 secs
lola: 18 tries, 17271888 fired transitions, 1260 secs || 814006 markings, 82345708 edges, 637 markings/sec, 1260 secs
lola: 18 tries, 17339560 fired transitions, 1265 secs || 817121 markings, 82687493 edges, 623 markings/sec, 1265 secs
lola: 18 tries, 17406884 fired transitions, 1270 secs || 820022 markings, 83005115 edges, 580 markings/sec, 1270 secs
lola: 18 tries, 17474943 fired transitions, 1275 secs || 823172 markings, 83334358 edges, 630 markings/sec, 1275 secs
lola: 18 tries, 17542897 fired transitions, 1280 secs || 826101 markings, 83663918 edges, 586 markings/sec, 1280 secs
lola: 18 tries, 17611209 fired transitions, 1285 secs || 829453 markings, 83993569 edges, 670 markings/sec, 1285 secs
lola: 18 tries, 17679727 fired transitions, 1290 secs || 832677 markings, 84320310 edges, 645 markings/sec, 1290 secs
lola: 18 tries, 17747516 fired transitions, 1295 secs || 835881 markings, 84656545 edges, 641 markings/sec, 1295 secs
lola: 18 tries, 17815559 fired transitions, 1300 secs || 839109 markings, 85003368 edges, 646 markings/sec, 1300 secs
lola: 18 tries, 17883552 fired transitions, 1305 secs || 842456 markings, 85339661 edges, 669 markings/sec, 1305 secs
lola: 18 tries, 17952809 fired transitions, 1310 secs || 845603 markings, 85672415 edges, 629 markings/sec, 1310 secs
lola: 19 tries, 18020991 fired transitions, 1315 secs || 848655 markings, 85997729 edges, 610 markings/sec, 1315 secs
lola: 19 tries, 18092391 fired transitions, 1320 secs || 851641 markings, 86306006 edges, 597 markings/sec, 1320 secs
lola: 19 tries, 18164935 fired transitions, 1325 secs || 854774 markings, 86621678 edges, 627 markings/sec, 1325 secs
lola: 19 tries, 18236694 fired transitions, 1330 secs || 857678 markings, 86938377 edges, 581 markings/sec, 1330 secs
lola: 19 tries, 18308322 fired transitions, 1335 secs || 861097 markings, 87276611 edges, 684 markings/sec, 1335 secs
lola: 19 tries, 18378326 fired transitions, 1340 secs || 864347 markings, 87604644 edges, 650 markings/sec, 1340 secs
lola: 19 tries, 18444697 fired transitions, 1345 secs || 867227 markings, 87916246 edges, 576 markings/sec, 1345 secs
lola: 19 tries, 18510949 fired transitions, 1350 secs || 870031 markings, 88228164 edges, 561 markings/sec, 1350 secs
lola: 19 tries, 18577064 fired transitions, 1355 secs || 872908 markings, 88539143 edges, 575 markings/sec, 1355 secs
lola: 19 tries, 18642316 fired transitions, 1360 secs || 875680 markings, 88863069 edges, 554 markings/sec, 1360 secs
lola: 19 tries, 18708083 fired transitions, 1365 secs || 878909 markings, 89191905 edges, 646 markings/sec, 1365 secs
lola: 19 tries, 18774064 fired transitions, 1370 secs || 881877 markings, 89518773 edges, 594 markings/sec, 1370 secs
lola: 19 tries, 18840083 fired transitions, 1375 secs || 884917 markings, 89855826 edges, 608 markings/sec, 1375 secs
lola: 19 tries, 18906107 fired transitions, 1380 secs || 887893 markings, 90171419 edges, 595 markings/sec, 1380 secs
lola: 19 tries, 18972496 fired transitions, 1385 secs || 891071 markings, 90509084 edges, 636 markings/sec, 1385 secs
lola: 20 tries, 19038840 fired transitions, 1390 secs || 893807 markings, 90833519 edges, 547 markings/sec, 1390 secs
lola: 20 tries, 19105625 fired transitions, 1395 secs || 896846 markings, 91157611 edges, 608 markings/sec, 1395 secs
lola: 20 tries, 19173926 fired transitions, 1400 secs || 900000 markings, 91491320 edges, 631 markings/sec, 1400 secs
lola: 20 tries, 19242648 fired transitions, 1405 secs || 903072 markings, 91822550 edges, 614 markings/sec, 1405 secs
lola: 20 tries, 19312114 fired transitions, 1410 secs || 906454 markings, 92169078 edges, 676 markings/sec, 1410 secs
lola: 20 tries, 19381657 fired transitions, 1415 secs || 909611 markings, 92500292 edges, 631 markings/sec, 1415 secs
lola: 20 tries, 19450756 fired transitions, 1420 secs || 912740 markings, 92830779 edges, 626 markings/sec, 1420 secs
lola: 20 tries, 19518585 fired transitions, 1425 secs || 915548 markings, 93143796 edges, 562 markings/sec, 1425 secs
lola: 20 tries, 19588761 fired transitions, 1430 secs || 918416 markings, 93479060 edges, 574 markings/sec, 1430 secs
lola: 20 tries, 19659219 fired transitions, 1435 secs || 921522 markings, 93814636 edges, 621 markings/sec, 1435 secs
lola: 20 tries, 19726607 fired transitions, 1440 secs || 924769 markings, 94170932 edges, 649 markings/sec, 1440 secs
lola: 20 tries, 19795920 fired transitions, 1445 secs || 928090 markings, 94527228 edges, 664 markings/sec, 1445 secs
lola: 20 tries, 19865196 fired transitions, 1450 secs || 931496 markings, 94899614 edges, 681 markings/sec, 1450 secs
lola: 20 tries, 19933030 fired transitions, 1455 secs || 934807 markings, 95240578 edges, 662 markings/sec, 1455 secs
lola: 21 tries, 20000650 fired transitions, 1460 secs || 937944 markings, 95581058 edges, 627 markings/sec, 1460 secs
lola: 21 tries, 20066914 fired transitions, 1465 secs || 940878 markings, 95900155 edges, 587 markings/sec, 1465 secs
lola: 21 tries, 20133675 fired transitions, 1470 secs || 943867 markings, 96228986 edges, 598 markings/sec, 1470 secs
lola: 21 tries, 20201697 fired transitions, 1475 secs || 947208 markings, 96559294 edges, 668 markings/sec, 1475 secs
lola: 21 tries, 20270014 fired transitions, 1480 secs || 950122 markings, 96876505 edges, 583 markings/sec, 1480 secs
lola: 21 tries, 20336609 fired transitions, 1485 secs || 952988 markings, 97197955 edges, 573 markings/sec, 1485 secs
lola: 21 tries, 20404687 fired transitions, 1490 secs || 956053 markings, 97531572 edges, 613 markings/sec, 1490 secs
lola: 21 tries, 20472410 fired transitions, 1495 secs || 958989 markings, 97845385 edges, 587 markings/sec, 1495 secs
lola: 21 tries, 20539505 fired transitions, 1500 secs || 962201 markings, 98189271 edges, 642 markings/sec, 1500 secs
lola: 21 tries, 20606644 fired transitions, 1505 secs || 965018 markings, 98517790 edges, 563 markings/sec, 1505 secs
lola: 21 tries, 20674839 fired transitions, 1510 secs || 967913 markings, 98855619 edges, 579 markings/sec, 1510 secs
lola: 21 tries, 20742982 fired transitions, 1515 secs || 971217 markings, 99196082 edges, 661 markings/sec, 1515 secs
lola: 21 tries, 20810364 fired transitions, 1520 secs || 974281 markings, 99544438 edges, 613 markings/sec, 1520 secs
lola: 21 tries, 20878286 fired transitions, 1525 secs || 977245 markings, 99864131 edges, 593 markings/sec, 1525 secs
lola: 21 tries, 20946326 fired transitions, 1530 secs || 980188 markings, 100189761 edges, 589 markings/sec, 1530 secs
lola: 22 tries, 21013141 fired transitions, 1535 secs || 983039 markings, 100521393 edges, 570 markings/sec, 1535 secs
lola: 22 tries, 21080283 fired transitions, 1540 secs || 985862 markings, 100842778 edges, 565 markings/sec, 1540 secs
lola: 22 tries, 21147911 fired transitions, 1545 secs || 989056 markings, 101172466 edges, 639 markings/sec, 1545 secs
lola: 22 tries, 21216325 fired transitions, 1550 secs || 992949 markings, 101519085 edges, 779 markings/sec, 1550 secs
lola: 22 tries, 21283955 fired transitions, 1555 secs || 996768 markings, 101879874 edges, 764 markings/sec, 1555 secs
lola: 22 tries, 21350625 fired transitions, 1560 secs || 999673 markings, 102205147 edges, 581 markings/sec, 1560 secs
lola: 22 tries, 21417279 fired transitions, 1565 secs || 1002520 markings, 102527206 edges, 569 markings/sec, 1565 secs
lola: 22 tries, 21484395 fired transitions, 1570 secs || 1005418 markings, 102843939 edges, 580 markings/sec, 1570 secs
lola: 22 tries, 21550570 fired transitions, 1575 secs || 1008262 markings, 103163429 edges, 569 markings/sec, 1575 secs
lola: 22 tries, 21616652 fired transitions, 1580 secs || 1010946 markings, 103472093 edges, 537 markings/sec, 1580 secs
lola: 22 tries, 21684159 fired transitions, 1585 secs || 1013600 markings, 103777103 edges, 531 markings/sec, 1585 secs
lola: 22 tries, 21752375 fired transitions, 1590 secs || 1016154 markings, 104089964 edges, 511 markings/sec, 1590 secs
lola: 22 tries, 21820351 fired transitions, 1595 secs || 1019217 markings, 104426360 edges, 613 markings/sec, 1595 secs
lola: 22 tries, 21888583 fired transitions, 1600 secs || 1022242 markings, 104761437 edges, 605 markings/sec, 1600 secs
lola: 22 tries, 21956826 fired transitions, 1605 secs || 1024894 markings, 105089776 edges, 530 markings/sec, 1605 secs
lola: 23 tries, 22026176 fired transitions, 1610 secs || 1028042 markings, 105423295 edges, 630 markings/sec, 1610 secs
lola: 23 tries, 22096374 fired transitions, 1615 secs || 1031656 markings, 105771160 edges, 723 markings/sec, 1615 secs
lola: 23 tries, 22166049 fired transitions, 1620 secs || 1035059 markings, 106113243 edges, 681 markings/sec, 1620 secs
lola: 23 tries, 22236955 fired transitions, 1625 secs || 1038305 markings, 106460419 edges, 649 markings/sec, 1625 secs
lola: 23 tries, 22307596 fired transitions, 1630 secs || 1041440 markings, 106794333 edges, 627 markings/sec, 1630 secs
lola: 23 tries, 22378236 fired transitions, 1635 secs || 1044549 markings, 107143847 edges, 622 markings/sec, 1635 secs
lola: 23 tries, 22448499 fired transitions, 1640 secs || 1047628 markings, 107493223 edges, 616 markings/sec, 1640 secs
lola: 23 tries, 22517916 fired transitions, 1645 secs || 1050791 markings, 107836527 edges, 633 markings/sec, 1645 secs
lola: 23 tries, 22586918 fired transitions, 1650 secs || 1054060 markings, 108180776 edges, 654 markings/sec, 1650 secs
lola: 23 tries, 22652278 fired transitions, 1655 secs || 1057176 markings, 108520073 edges, 623 markings/sec, 1655 secs
lola: 23 tries, 22719389 fired transitions, 1660 secs || 1060303 markings, 108850365 edges, 625 markings/sec, 1660 secs
lola: 23 tries, 22786835 fired transitions, 1665 secs || 1063400 markings, 109179624 edges, 619 markings/sec, 1665 secs
lola: 23 tries, 22852904 fired transitions, 1670 secs || 1066099 markings, 109483387 edges, 540 markings/sec, 1670 secs
lola: 23 tries, 22918366 fired transitions, 1675 secs || 1069266 markings, 109812453 edges, 633 markings/sec, 1675 secs
lola: 23 tries, 22984815 fired transitions, 1680 secs || 1072244 markings, 110137006 edges, 596 markings/sec, 1680 secs
lola: 24 tries, 23053940 fired transitions, 1685 secs || 1075310 markings, 110458688 edges, 613 markings/sec, 1685 secs
lola: 24 tries, 23123816 fired transitions, 1690 secs || 1078215 markings, 110784873 edges, 581 markings/sec, 1690 secs
lola: 24 tries, 23194301 fired transitions, 1695 secs || 1081116 markings, 111108980 edges, 580 markings/sec, 1695 secs
lola: 24 tries, 23264841 fired transitions, 1700 secs || 1083804 markings, 111417058 edges, 538 markings/sec, 1700 secs
lola: 24 tries, 23336879 fired transitions, 1705 secs || 1086424 markings, 111742610 edges, 524 markings/sec, 1705 secs
lola: 24 tries, 23407644 fired transitions, 1710 secs || 1089320 markings, 112070025 edges, 579 markings/sec, 1710 secs
lola: 24 tries, 23478571 fired transitions, 1715 secs || 1092211 markings, 112384521 edges, 578 markings/sec, 1715 secs
lola: 24 tries, 23550543 fired transitions, 1720 secs || 1095408 markings, 112701963 edges, 639 markings/sec, 1720 secs
lola: 24 tries, 23620665 fired transitions, 1725 secs || 1098878 markings, 113024916 edges, 694 markings/sec, 1725 secs
lola: 24 tries, 23690951 fired transitions, 1730 secs || 1101970 markings, 113348524 edges, 618 markings/sec, 1730 secs
lola: 24 tries, 23762163 fired transitions, 1735 secs || 1105067 markings, 113661400 edges, 619 markings/sec, 1735 secs
lola: 24 tries, 23834726 fired transitions, 1740 secs || 1107970 markings, 113983333 edges, 581 markings/sec, 1740 secs
lola: 24 tries, 23903702 fired transitions, 1745 secs || 1110818 markings, 114305467 edges, 570 markings/sec, 1745 secs
lola: 24 tries, 23971533 fired transitions, 1750 secs || 1113836 markings, 114634082 edges, 604 markings/sec, 1750 secs
lola: 25 tries, 24038067 fired transitions, 1755 secs || 1117034 markings, 114972634 edges, 640 markings/sec, 1755 secs
lola: 25 tries, 24105751 fired transitions, 1760 secs || 1120249 markings, 115302801 edges, 643 markings/sec, 1760 secs
lola: 25 tries, 24174554 fired transitions, 1765 secs || 1123278 markings, 115636899 edges, 606 markings/sec, 1765 secs
lola: 25 tries, 24242380 fired transitions, 1770 secs || 1125989 markings, 115960185 edges, 542 markings/sec, 1770 secs
lola: 25 tries, 24311149 fired transitions, 1775 secs || 1129035 markings, 116293772 edges, 609 markings/sec, 1775 secs
lola: 25 tries, 24379967 fired transitions, 1780 secs || 1132224 markings, 116639535 edges, 638 markings/sec, 1780 secs
lola: 25 tries, 24447092 fired transitions, 1785 secs || 1135004 markings, 116958887 edges, 556 markings/sec, 1785 secs
lola: 25 tries, 24515435 fired transitions, 1790 secs || 1137928 markings, 117277517 edges, 585 markings/sec, 1790 secs
lola: 25 tries, 24584134 fired transitions, 1795 secs || 1140901 markings, 117615936 edges, 595 markings/sec, 1795 secs
lola: 25 tries, 24653176 fired transitions, 1800 secs || 1143864 markings, 117957700 edges, 593 markings/sec, 1800 secs
lola: 25 tries, 24719471 fired transitions, 1805 secs || 1146540 markings, 118271189 edges, 535 markings/sec, 1805 secs
lola: 25 tries, 24785791 fired transitions, 1810 secs || 1149207 markings, 118584629 edges, 533 markings/sec, 1810 secs
lola: 25 tries, 24852178 fired transitions, 1815 secs || 1151935 markings, 118897625 edges, 546 markings/sec, 1815 secs
lola: 25 tries, 24918469 fired transitions, 1820 secs || 1155231 markings, 119237778 edges, 659 markings/sec, 1820 secs
lola: 25 tries, 24984724 fired transitions, 1825 secs || 1157993 markings, 119547670 edges, 552 markings/sec, 1825 secs
lola: 26 tries, 25051687 fired transitions, 1830 secs || 1160890 markings, 119855144 edges, 579 markings/sec, 1830 secs
lola: 26 tries, 25117879 fired transitions, 1835 secs || 1163752 markings, 120182953 edges, 572 markings/sec, 1835 secs
lola: 26 tries, 25183992 fired transitions, 1840 secs || 1166238 markings, 120482293 edges, 497 markings/sec, 1840 secs
lola: 26 tries, 25250198 fired transitions, 1845 secs || 1168921 markings, 120790242 edges, 537 markings/sec, 1845 secs
lola: 26 tries, 25316383 fired transitions, 1850 secs || 1171734 markings, 121092191 edges, 563 markings/sec, 1850 secs
lola: 26 tries, 25382416 fired transitions, 1855 secs || 1174366 markings, 121410398 edges, 526 markings/sec, 1855 secs
lola: 26 tries, 25448373 fired transitions, 1860 secs || 1177294 markings, 121737881 edges, 586 markings/sec, 1860 secs
lola: 26 tries, 25514199 fired transitions, 1865 secs || 1180239 markings, 122046515 edges, 589 markings/sec, 1865 secs
lola: 26 tries, 25579998 fired transitions, 1870 secs || 1183141 markings, 122363813 edges, 580 markings/sec, 1870 secs
lola: 26 tries, 25645327 fired transitions, 1875 secs || 1186190 markings, 122705870 edges, 610 markings/sec, 1875 secs
lola: 26 tries, 25710555 fired transitions, 1880 secs || 1188870 markings, 123041983 edges, 536 markings/sec, 1880 secs
lola: 26 tries, 25775688 fired transitions, 1885 secs || 1192071 markings, 123362449 edges, 640 markings/sec, 1885 secs
lola: 26 tries, 25840743 fired transitions, 1890 secs || 1195207 markings, 123687829 edges, 627 markings/sec, 1890 secs
lola: 26 tries, 25906880 fired transitions, 1895 secs || 1198457 markings, 124015444 edges, 650 markings/sec, 1895 secs
lola: 26 tries, 25973064 fired transitions, 1900 secs || 1201758 markings, 124349059 edges, 660 markings/sec, 1900 secs
lola: 27 tries, 26038688 fired transitions, 1905 secs || 1204863 markings, 124695410 edges, 621 markings/sec, 1905 secs
lola: 27 tries, 26104804 fired transitions, 1910 secs || 1207788 markings, 125025683 edges, 585 markings/sec, 1910 secs
lola: 27 tries, 26169913 fired transitions, 1915 secs || 1210589 markings, 125334247 edges, 560 markings/sec, 1915 secs
lola: 27 tries, 26234775 fired transitions, 1920 secs || 1213591 markings, 125660817 edges, 600 markings/sec, 1920 secs
lola: 27 tries, 26301115 fired transitions, 1925 secs || 1216431 markings, 125985799 edges, 568 markings/sec, 1925 secs
lola: 27 tries, 26367089 fired transitions, 1930 secs || 1219503 markings, 126325782 edges, 614 markings/sec, 1930 secs
lola: 27 tries, 26432218 fired transitions, 1935 secs || 1222431 markings, 126648836 edges, 586 markings/sec, 1935 secs
lola: 27 tries, 26499910 fired transitions, 1940 secs || 1225497 markings, 126991859 edges, 613 markings/sec, 1940 secs
lola: 27 tries, 26566704 fired transitions, 1945 secs || 1228426 markings, 127333448 edges, 586 markings/sec, 1945 secs
lola: 27 tries, 26632995 fired transitions, 1950 secs || 1231255 markings, 127650611 edges, 566 markings/sec, 1950 secs
lola: 27 tries, 26698160 fired transitions, 1955 secs || 1234097 markings, 127974303 edges, 568 markings/sec, 1955 secs
lola: 27 tries, 26764036 fired transitions, 1960 secs || 1236996 markings, 128303812 edges, 580 markings/sec, 1960 secs
lola: 27 tries, 26829883 fired transitions, 1965 secs || 1240208 markings, 128625833 edges, 642 markings/sec, 1965 secs
lola: 27 tries, 26895255 fired transitions, 1970 secs || 1243232 markings, 128948288 edges, 605 markings/sec, 1970 secs
lola: 27 tries, 26960496 fired transitions, 1975 secs || 1246265 markings, 129268119 edges, 607 markings/sec, 1975 secs
lola: 28 tries, 27026157 fired transitions, 1980 secs || 1249179 markings, 129594557 edges, 583 markings/sec, 1980 secs
lola: 28 tries, 27093105 fired transitions, 1985 secs || 1252610 markings, 129918488 edges, 686 markings/sec, 1985 secs
lola: 28 tries, 27159783 fired transitions, 1990 secs || 1256492 markings, 130270133 edges, 776 markings/sec, 1990 secs
lola: 28 tries, 27226101 fired transitions, 1995 secs || 1259439 markings, 130593698 edges, 589 markings/sec, 1995 secs
lola: 28 tries, 27292506 fired transitions, 2000 secs || 1262261 markings, 130933611 edges, 564 markings/sec, 2000 secs
lola: 28 tries, 27357014 fired transitions, 2005 secs || 1265382 markings, 131259448 edges, 624 markings/sec, 2005 secs
lola: 28 tries, 27421782 fired transitions, 2010 secs || 1268384 markings, 131592927 edges, 600 markings/sec, 2010 secs
lola: 28 tries, 27488110 fired transitions, 2015 secs || 1271372 markings, 131917718 edges, 598 markings/sec, 2015 secs
lola: 28 tries, 27553563 fired transitions, 2020 secs || 1274479 markings, 132262049 edges, 621 markings/sec, 2020 secs
lola: 28 tries, 27619953 fired transitions, 2025 secs || 1277545 markings, 132581726 edges, 613 markings/sec, 2025 secs
lola: 28 tries, 27686310 fired transitions, 2030 secs || 1280639 markings, 132896676 edges, 619 markings/sec, 2030 secs
lola: 28 tries, 27750817 fired transitions, 2035 secs || 1283899 markings, 133225132 edges, 652 markings/sec, 2035 secs
lola: 28 tries, 27817036 fired transitions, 2040 secs || 1286951 markings, 133557135 edges, 610 markings/sec, 2040 secs
lola: 28 tries, 27883540 fired transitions, 2045 secs || 1289818 markings, 133882311 edges, 573 markings/sec, 2045 secs
lola: 28 tries, 27949826 fired transitions, 2050 secs || 1292496 markings, 134193906 edges, 536 markings/sec, 2050 secs
lola: 29 tries, 28013156 fired transitions, 2055 secs || 1295416 markings, 134528263 edges, 584 markings/sec, 2055 secs
lola: 29 tries, 28076238 fired transitions, 2060 secs || 1298182 markings, 134855538 edges, 553 markings/sec, 2060 secs
lola: 29 tries, 28141114 fired transitions, 2065 secs || 1301144 markings, 135189008 edges, 592 markings/sec, 2065 secs
lola: 29 tries, 28207246 fired transitions, 2070 secs || 1304044 markings, 135507014 edges, 580 markings/sec, 2070 secs
lola: 29 tries, 28273260 fired transitions, 2075 secs || 1307267 markings, 135836923 edges, 645 markings/sec, 2075 secs
lola: 29 tries, 28339473 fired transitions, 2080 secs || 1309932 markings, 136160673 edges, 533 markings/sec, 2080 secs
lola: 29 tries, 28405608 fired transitions, 2085 secs || 1312539 markings, 136468962 edges, 521 markings/sec, 2085 secs
lola: 29 tries, 28470787 fired transitions, 2090 secs || 1315124 markings, 136794979 edges, 517 markings/sec, 2090 secs
lola: 29 tries, 28535923 fired transitions, 2095 secs || 1317925 markings, 137121532 edges, 560 markings/sec, 2095 secs
lola: 29 tries, 28601116 fired transitions, 2100 secs || 1320523 markings, 137442983 edges, 520 markings/sec, 2100 secs
lola: 29 tries, 28666269 fired transitions, 2105 secs || 1323616 markings, 137765378 edges, 619 markings/sec, 2105 secs
lola: 29 tries, 28732080 fired transitions, 2110 secs || 1326163 markings, 138074597 edges, 509 markings/sec, 2110 secs
lola: 29 tries, 28798030 fired transitions, 2115 secs || 1328751 markings, 138380178 edges, 518 markings/sec, 2115 secs
lola: 29 tries, 28864249 fired transitions, 2120 secs || 1331734 markings, 138696181 edges, 597 markings/sec, 2120 secs
lola: 29 tries, 28930632 fired transitions, 2125 secs || 1335075 markings, 139027795 edges, 668 markings/sec, 2125 secs
lola: 29 tries, 28996693 fired transitions, 2130 secs || 1337961 markings, 139345828 edges, 577 markings/sec, 2130 secs
lola: 30 tries, 29066338 fired transitions, 2135 secs || 1340873 markings, 139683965 edges, 582 markings/sec, 2135 secs
lola: 30 tries, 29136080 fired transitions, 2140 secs || 1343826 markings, 140009072 edges, 591 markings/sec, 2140 secs
lola: 30 tries, 29206284 fired transitions, 2145 secs || 1346695 markings, 140334284 edges, 574 markings/sec, 2145 secs
lola: 30 tries, 29276757 fired transitions, 2150 secs || 1349312 markings, 140643457 edges, 523 markings/sec, 2150 secs
lola: 30 tries, 29346601 fired transitions, 2155 secs || 1352081 markings, 140960775 edges, 554 markings/sec, 2155 secs
lola: 30 tries, 29416709 fired transitions, 2160 secs || 1354864 markings, 141286344 edges, 557 markings/sec, 2160 secs
lola: 30 tries, 29487213 fired transitions, 2165 secs || 1358006 markings, 141611574 edges, 628 markings/sec, 2165 secs
lola: 30 tries, 29558520 fired transitions, 2170 secs || 1361314 markings, 141940349 edges, 662 markings/sec, 2170 secs
lola: 30 tries, 29628129 fired transitions, 2175 secs || 1364437 markings, 142250304 edges, 625 markings/sec, 2175 secs
lola: 30 tries, 29694396 fired transitions, 2180 secs || 1367660 markings, 142584645 edges, 645 markings/sec, 2180 secs
lola: 30 tries, 29761091 fired transitions, 2185 secs || 1370521 markings, 142896113 edges, 572 markings/sec, 2185 secs
lola: 30 tries, 29826968 fired transitions, 2190 secs || 1373415 markings, 143220662 edges, 579 markings/sec, 2190 secs
lola: 30 tries, 29893262 fired transitions, 2195 secs || 1376302 markings, 143544739 edges, 577 markings/sec, 2195 secs
lola: 30 tries, 29959632 fired transitions, 2200 secs || 1379296 markings, 143877230 edges, 599 markings/sec, 2200 secs
lola: 31 tries, 30025767 fired transitions, 2205 secs || 1382140 markings, 144200163 edges, 569 markings/sec, 2205 secs
lola: 31 tries, 30091956 fired transitions, 2210 secs || 1385225 markings, 144525344 edges, 617 markings/sec, 2210 secs
lola: 31 tries, 30157896 fired transitions, 2215 secs || 1387865 markings, 144836314 edges, 528 markings/sec, 2215 secs
lola: 31 tries, 30223789 fired transitions, 2220 secs || 1390965 markings, 145170512 edges, 620 markings/sec, 2220 secs
lola: 31 tries, 30289599 fired transitions, 2225 secs || 1393853 markings, 145504681 edges, 578 markings/sec, 2225 secs
lola: 31 tries, 30355955 fired transitions, 2230 secs || 1396615 markings, 145820948 edges, 552 markings/sec, 2230 secs
lola: 31 tries, 30422315 fired transitions, 2235 secs || 1399795 markings, 146147967 edges, 636 markings/sec, 2235 secs
lola: 31 tries, 30488485 fired transitions, 2240 secs || 1402831 markings, 146481342 edges, 607 markings/sec, 2240 secs
lola: 31 tries, 30554581 fired transitions, 2245 secs || 1405548 markings, 146798045 edges, 543 markings/sec, 2245 secs
lola: 31 tries, 30620808 fired transitions, 2250 secs || 1408578 markings, 147126715 edges, 606 markings/sec, 2250 secs
lola: 31 tries, 30687169 fired transitions, 2255 secs || 1411786 markings, 147456459 edges, 642 markings/sec, 2255 secs
lola: 31 tries, 30753425 fired transitions, 2260 secs || 1414457 markings, 147756961 edges, 534 markings/sec, 2260 secs
lola: 31 tries, 30819843 fired transitions, 2265 secs || 1417584 markings, 148084670 edges, 625 markings/sec, 2265 secs
lola: 31 tries, 30885828 fired transitions, 2270 secs || 1420598 markings, 148407699 edges, 603 markings/sec, 2270 secs
lola: 31 tries, 30951596 fired transitions, 2275 secs || 1423671 markings, 148733563 edges, 615 markings/sec, 2275 secs
lola: 32 tries, 31016997 fired transitions, 2280 secs || 1426875 markings, 149062810 edges, 641 markings/sec, 2280 secs
lola: 32 tries, 31082661 fired transitions, 2285 secs || 1430342 markings, 149389705 edges, 693 markings/sec, 2285 secs
lola: 32 tries, 31148106 fired transitions, 2290 secs || 1433466 markings, 149719376 edges, 625 markings/sec, 2290 secs
lola: 32 tries, 31214061 fired transitions, 2295 secs || 1436453 markings, 150032393 edges, 597 markings/sec, 2295 secs
lola: 32 tries, 31279222 fired transitions, 2300 secs || 1439423 markings, 150374259 edges, 594 markings/sec, 2300 secs
lola: 32 tries, 31345495 fired transitions, 2305 secs || 1442406 markings, 150697916 edges, 597 markings/sec, 2305 secs
lola: 32 tries, 31411363 fired transitions, 2310 secs || 1445332 markings, 151025795 edges, 585 markings/sec, 2310 secs
lola: 32 tries, 31477766 fired transitions, 2315 secs || 1448711 markings, 151367673 edges, 676 markings/sec, 2315 secs
lola: 32 tries, 31544035 fired transitions, 2320 secs || 1452487 markings, 151709322 edges, 755 markings/sec, 2320 secs
lola: 32 tries, 31610401 fired transitions, 2325 secs || 1455909 markings, 152046442 edges, 684 markings/sec, 2325 secs
lola: 32 tries, 31676854 fired transitions, 2330 secs || 1458967 markings, 152372636 edges, 612 markings/sec, 2330 secs
lola: 32 tries, 31743104 fired transitions, 2335 secs || 1461861 markings, 152700009 edges, 579 markings/sec, 2335 secs
lola: 32 tries, 31809387 fired transitions, 2340 secs || 1464769 markings, 153024813 edges, 582 markings/sec, 2340 secs
lola: 32 tries, 31875657 fired transitions, 2345 secs || 1467791 markings, 153348674 edges, 604 markings/sec, 2345 secs
lola: 32 tries, 31941893 fired transitions, 2350 secs || 1470862 markings, 153675478 edges, 614 markings/sec, 2350 secs
lola: 33 tries, 32007415 fired transitions, 2355 secs || 1473851 markings, 154019883 edges, 598 markings/sec, 2355 secs
lola: 33 tries, 32078520 fired transitions, 2360 secs || 1476914 markings, 154353732 edges, 613 markings/sec, 2360 secs
lola: 33 tries, 32149530 fired transitions, 2365 secs || 1479772 markings, 154670779 edges, 572 markings/sec, 2365 secs
lola: 33 tries, 32220257 fired transitions, 2370 secs || 1483009 markings, 154996352 edges, 647 markings/sec, 2370 secs
lola: 33 tries, 32292272 fired transitions, 2375 secs || 1486036 markings, 155307549 edges, 605 markings/sec, 2375 secs
lola: 33 tries, 32363679 fired transitions, 2380 secs || 1489253 markings, 155631194 edges, 643 markings/sec, 2380 secs
lola: 33 tries, 32435434 fired transitions, 2385 secs || 1492235 markings, 155952209 edges, 596 markings/sec, 2385 secs
lola: 33 tries, 32506774 fired transitions, 2390 secs || 1495287 markings, 156277019 edges, 610 markings/sec, 2390 secs
lola: 33 tries, 32572186 fired transitions, 2395 secs || 1497854 markings, 156597629 edges, 513 markings/sec, 2395 secs
lola: 33 tries, 32638284 fired transitions, 2400 secs || 1500701 markings, 156906592 edges, 569 markings/sec, 2400 secs
lola: 33 tries, 32704627 fired transitions, 2405 secs || 1503488 markings, 157214610 edges, 557 markings/sec, 2405 secs
lola: 33 tries, 32773305 fired transitions, 2410 secs || 1506102 markings, 157527943 edges, 523 markings/sec, 2410 secs
lola: 33 tries, 32841064 fired transitions, 2415 secs || 1508872 markings, 157840203 edges, 554 markings/sec, 2415 secs
lola: 33 tries, 32910114 fired transitions, 2420 secs || 1512090 markings, 158174777 edges, 644 markings/sec, 2420 secs
lola: 33 tries, 32977073 fired transitions, 2425 secs || 1515207 markings, 158506841 edges, 623 markings/sec, 2425 secs
lola: 34 tries, 33047027 fired transitions, 2430 secs || 1518190 markings, 158821403 edges, 597 markings/sec, 2430 secs
lola: 34 tries, 33119114 fired transitions, 2435 secs || 1521221 markings, 159138204 edges, 606 markings/sec, 2435 secs
lola: 34 tries, 33191080 fired transitions, 2440 secs || 1523861 markings, 159445153 edges, 528 markings/sec, 2440 secs
lola: 34 tries, 33263233 fired transitions, 2445 secs || 1527015 markings, 159771714 edges, 631 markings/sec, 2445 secs
lola: 34 tries, 33335595 fired transitions, 2450 secs || 1530003 markings, 160083588 edges, 598 markings/sec, 2450 secs
lola: 34 tries, 33411289 fired transitions, 2455 secs || 1533180 markings, 160408939 edges, 635 markings/sec, 2455 secs
lola: 34 tries, 33486017 fired transitions, 2460 secs || 1536022 markings, 160726440 edges, 568 markings/sec, 2460 secs
lola: 34 tries, 33560615 fired transitions, 2465 secs || 1538716 markings, 161048746 edges, 539 markings/sec, 2465 secs
lola: 34 tries, 33635051 fired transitions, 2470 secs || 1541408 markings, 161374318 edges, 538 markings/sec, 2470 secs
lola: 34 tries, 33709493 fired transitions, 2475 secs || 1543892 markings, 161697560 edges, 497 markings/sec, 2475 secs
lola: 34 tries, 33784320 fired transitions, 2480 secs || 1547126 markings, 162024257 edges, 647 markings/sec, 2480 secs
lola: 34 tries, 33860681 fired transitions, 2485 secs || 1550411 markings, 162348727 edges, 657 markings/sec, 2485 secs
lola: 34 tries, 33935919 fired transitions, 2490 secs || 1553518 markings, 162677971 edges, 621 markings/sec, 2490 secs
lola: 35 tries, 34007561 fired transitions, 2495 secs || 1556382 markings, 162985294 edges, 573 markings/sec, 2495 secs
lola: 35 tries, 34073174 fired transitions, 2500 secs || 1559507 markings, 163297637 edges, 625 markings/sec, 2500 secs
lola: 35 tries, 34140241 fired transitions, 2505 secs || 1562781 markings, 163628917 edges, 655 markings/sec, 2505 secs
lola: 35 tries, 34208596 fired transitions, 2510 secs || 1565928 markings, 163956504 edges, 629 markings/sec, 2510 secs
lola: 35 tries, 34277877 fired transitions, 2515 secs || 1569367 markings, 164294947 edges, 688 markings/sec, 2515 secs
lola: 35 tries, 34345214 fired transitions, 2520 secs || 1572513 markings, 164627341 edges, 629 markings/sec, 2520 secs
lola: 35 tries, 34412547 fired transitions, 2525 secs || 1575358 markings, 164957021 edges, 569 markings/sec, 2525 secs
lola: 35 tries, 34481674 fired transitions, 2530 secs || 1578291 markings, 165280505 edges, 587 markings/sec, 2530 secs
lola: 35 tries, 34551162 fired transitions, 2535 secs || 1581636 markings, 165624786 edges, 669 markings/sec, 2535 secs
lola: 35 tries, 34620307 fired transitions, 2540 secs || 1584688 markings, 165954369 edges, 610 markings/sec, 2540 secs
lola: 35 tries, 34688651 fired transitions, 2545 secs || 1587646 markings, 166280681 edges, 592 markings/sec, 2545 secs
lola: 35 tries, 34757999 fired transitions, 2550 secs || 1590658 markings, 166617713 edges, 602 markings/sec, 2550 secs
lola: 35 tries, 34828558 fired transitions, 2555 secs || 1593601 markings, 166947552 edges, 589 markings/sec, 2555 secs
lola: 35 tries, 34898688 fired transitions, 2560 secs || 1596549 markings, 167288243 edges, 590 markings/sec, 2560 secs
lola: 35 tries, 34968936 fired transitions, 2565 secs || 1599411 markings, 167616140 edges, 572 markings/sec, 2565 secs
lola: 36 tries, 35039358 fired transitions, 2570 secs || 1602088 markings, 167945621 edges, 535 markings/sec, 2570 secs
lola: 36 tries, 35108949 fired transitions, 2575 secs || 1604967 markings, 168279824 edges, 576 markings/sec, 2575 secs
lola: 36 tries, 35178823 fired transitions, 2580 secs || 1607871 markings, 168616650 edges, 581 markings/sec, 2580 secs
lola: 36 tries, 35248268 fired transitions, 2585 secs || 1611094 markings, 168951671 edges, 645 markings/sec, 2585 secs
lola: 36 tries, 35317568 fired transitions, 2590 secs || 1613956 markings, 169271379 edges, 572 markings/sec, 2590 secs
lola: 36 tries, 35388023 fired transitions, 2595 secs || 1617217 markings, 169628416 edges, 652 markings/sec, 2595 secs
lola: 36 tries, 35457271 fired transitions, 2600 secs || 1620759 markings, 169983894 edges, 708 markings/sec, 2600 secs
lola: 36 tries, 35525624 fired transitions, 2605 secs || 1623748 markings, 170314105 edges, 598 markings/sec, 2605 secs
lola: 36 tries, 35593703 fired transitions, 2610 secs || 1626897 markings, 170654995 edges, 630 markings/sec, 2610 secs
lola: 36 tries, 35661639 fired transitions, 2615 secs || 1629919 markings, 170986854 edges, 604 markings/sec, 2615 secs
lola: 36 tries, 35729420 fired transitions, 2620 secs || 1632926 markings, 171323836 edges, 601 markings/sec, 2620 secs
lola: 36 tries, 35797316 fired transitions, 2625 secs || 1636090 markings, 171650578 edges, 633 markings/sec, 2625 secs
lola: 36 tries, 35865225 fired transitions, 2630 secs || 1639088 markings, 171990707 edges, 600 markings/sec, 2630 secs
lola: 36 tries, 35933123 fired transitions, 2635 secs || 1642255 markings, 172335672 edges, 633 markings/sec, 2635 secs
lola: 37 tries, 36000710 fired transitions, 2640 secs || 1645429 markings, 172675893 edges, 635 markings/sec, 2640 secs
lola: 37 tries, 36068725 fired transitions, 2645 secs || 1648195 markings, 172999821 edges, 553 markings/sec, 2645 secs
lola: 37 tries, 36136912 fired transitions, 2650 secs || 1651214 markings, 173338041 edges, 604 markings/sec, 2650 secs
lola: 37 tries, 36207110 fired transitions, 2655 secs || 1654149 markings, 173672281 edges, 587 markings/sec, 2655 secs
lola: 37 tries, 36276553 fired transitions, 2660 secs || 1657239 markings, 174020022 edges, 618 markings/sec, 2660 secs
lola: 37 tries, 36347181 fired transitions, 2665 secs || 1661040 markings, 174378235 edges, 760 markings/sec, 2665 secs
lola: 37 tries, 36416713 fired transitions, 2670 secs || 1663956 markings, 174707213 edges, 583 markings/sec, 2670 secs
lola: 37 tries, 36485501 fired transitions, 2675 secs || 1667038 markings, 175075667 edges, 616 markings/sec, 2675 secs
lola: 37 tries, 36555363 fired transitions, 2680 secs || 1670322 markings, 175430792 edges, 657 markings/sec, 2680 secs
lola: 37 tries, 36625898 fired transitions, 2685 secs || 1673920 markings, 175784032 edges, 720 markings/sec, 2685 secs
lola: 37 tries, 36696576 fired transitions, 2690 secs || 1677016 markings, 176125349 edges, 619 markings/sec, 2690 secs
lola: 37 tries, 36767268 fired transitions, 2695 secs || 1679905 markings, 176451092 edges, 578 markings/sec, 2695 secs
lola: 37 tries, 36836788 fired transitions, 2700 secs || 1682546 markings, 176776689 edges, 528 markings/sec, 2700 secs
lola: 37 tries, 36907375 fired transitions, 2705 secs || 1685744 markings, 177112920 edges, 640 markings/sec, 2705 secs
lola: 37 tries, 36975725 fired transitions, 2710 secs || 1688935 markings, 177454133 edges, 638 markings/sec, 2710 secs
lola: 38 tries, 37041502 fired transitions, 2715 secs || 1692592 markings, 177798768 edges, 731 markings/sec, 2715 secs
lola: 38 tries, 37109304 fired transitions, 2720 secs || 1695985 markings, 178130173 edges, 679 markings/sec, 2720 secs
lola: 38 tries, 37176199 fired transitions, 2725 secs || 1699489 markings, 178455840 edges, 701 markings/sec, 2725 secs
lola: 38 tries, 37240909 fired transitions, 2730 secs || 1703053 markings, 178786066 edges, 713 markings/sec, 2730 secs
lola: 38 tries, 37305474 fired transitions, 2735 secs || 1706503 markings, 179122090 edges, 690 markings/sec, 2735 secs
lola: 38 tries, 37372781 fired transitions, 2740 secs || 1709579 markings, 179462579 edges, 615 markings/sec, 2740 secs
lola: 38 tries, 37440193 fired transitions, 2745 secs || 1713237 markings, 179843255 edges, 732 markings/sec, 2745 secs
lola: 38 tries, 37507593 fired transitions, 2750 secs || 1716503 markings, 180190362 edges, 653 markings/sec, 2750 secs
lola: 38 tries, 37574931 fired transitions, 2755 secs || 1720134 markings, 180542084 edges, 726 markings/sec, 2755 secs
lola: 38 tries, 37642207 fired transitions, 2760 secs || 1723511 markings, 180895138 edges, 675 markings/sec, 2760 secs
lola: 38 tries, 37709104 fired transitions, 2765 secs || 1726694 markings, 181237264 edges, 637 markings/sec, 2765 secs
lola: 38 tries, 37774686 fired transitions, 2770 secs || 1729216 markings, 181555275 edges, 504 markings/sec, 2770 secs
lola: 38 tries, 37842341 fired transitions, 2775 secs || 1732144 markings, 181888511 edges, 586 markings/sec, 2775 secs
lola: 38 tries, 37909221 fired transitions, 2780 secs || 1735120 markings, 182213281 edges, 595 markings/sec, 2780 secs
lola: 38 tries, 37977771 fired transitions, 2785 secs || 1738038 markings, 182528555 edges, 584 markings/sec, 2785 secs
lola: 39 tries, 38049867 fired transitions, 2790 secs || 1740739 markings, 182836062 edges, 540 markings/sec, 2790 secs
lola: 39 tries, 38124335 fired transitions, 2795 secs || 1743382 markings, 183152036 edges, 529 markings/sec, 2795 secs
lola: 39 tries, 38199134 fired transitions, 2800 secs || 1746020 markings, 183477302 edges, 528 markings/sec, 2800 secs
lola: 39 tries, 38274239 fired transitions, 2805 secs || 1749070 markings, 183803518 edges, 610 markings/sec, 2805 secs
lola: 39 tries, 38346620 fired transitions, 2810 secs || 1752189 markings, 184135793 edges, 624 markings/sec, 2810 secs
lola: 39 tries, 38417447 fired transitions, 2815 secs || 1755324 markings, 184489177 edges, 627 markings/sec, 2815 secs
lola: 39 tries, 38488763 fired transitions, 2820 secs || 1758283 markings, 184827204 edges, 592 markings/sec, 2820 secs
lola: 39 tries, 38559598 fired transitions, 2825 secs || 1761443 markings, 185167680 edges, 632 markings/sec, 2825 secs
lola: 39 tries, 38630315 fired transitions, 2830 secs || 1764974 markings, 185534658 edges, 706 markings/sec, 2830 secs
lola: 39 tries, 38701101 fired transitions, 2835 secs || 1767733 markings, 185870619 edges, 552 markings/sec, 2835 secs
lola: 39 tries, 38771563 fired transitions, 2840 secs || 1770415 markings, 186203042 edges, 536 markings/sec, 2840 secs
lola: 39 tries, 38842235 fired transitions, 2845 secs || 1773166 markings, 186520847 edges, 550 markings/sec, 2845 secs
lola: 39 tries, 38913280 fired transitions, 2850 secs || 1776134 markings, 186868955 edges, 594 markings/sec, 2850 secs
lola: 39 tries, 38982964 fired transitions, 2855 secs || 1779071 markings, 187201790 edges, 587 markings/sec, 2855 secs
lola: 40 tries, 39052221 fired transitions, 2860 secs || 1781865 markings, 187536633 edges, 559 markings/sec, 2860 secs
lola: 40 tries, 39122745 fired transitions, 2865 secs || 1785063 markings, 187893337 edges, 640 markings/sec, 2865 secs
lola: 40 tries, 39193438 fired transitions, 2870 secs || 1788210 markings, 188251013 edges, 629 markings/sec, 2870 secs
lola: 40 tries, 39264091 fired transitions, 2875 secs || 1791493 markings, 188599931 edges, 657 markings/sec, 2875 secs
lola: 40 tries, 39334939 fired transitions, 2880 secs || 1794919 markings, 188959547 edges, 685 markings/sec, 2880 secs
lola: 40 tries, 39405163 fired transitions, 2885 secs || 1798122 markings, 189314506 edges, 641 markings/sec, 2885 secs
lola: 40 tries, 39474923 fired transitions, 2890 secs || 1801342 markings, 189665382 edges, 644 markings/sec, 2890 secs
lola: 40 tries, 39544621 fired transitions, 2895 secs || 1804604 markings, 190017259 edges, 652 markings/sec, 2895 secs
lola: 40 tries, 39612463 fired transitions, 2900 secs || 1807793 markings, 190358348 edges, 638 markings/sec, 2900 secs
lola: 40 tries, 39679834 fired transitions, 2905 secs || 1811000 markings, 190699926 edges, 641 markings/sec, 2905 secs
lola: 40 tries, 39747949 fired transitions, 2910 secs || 1813900 markings, 191040981 edges, 580 markings/sec, 2910 secs
lola: 40 tries, 39817158 fired transitions, 2915 secs || 1816618 markings, 191363373 edges, 544 markings/sec, 2915 secs
lola: 40 tries, 39885659 fired transitions, 2920 secs || 1819676 markings, 191680766 edges, 612 markings/sec, 2920 secs
lola: 40 tries, 39954431 fired transitions, 2925 secs || 1822868 markings, 192024654 edges, 638 markings/sec, 2925 secs
lola: 41 tries, 40025525 fired transitions, 2930 secs || 1826115 markings, 192382421 edges, 649 markings/sec, 2930 secs
lola: 41 tries, 40100338 fired transitions, 2935 secs || 1829120 markings, 192701520 edges, 601 markings/sec, 2935 secs
lola: 41 tries, 40175331 fired transitions, 2940 secs || 1832298 markings, 193041389 edges, 636 markings/sec, 2940 secs
lola: 41 tries, 40250190 fired transitions, 2945 secs || 1835477 markings, 193380092 edges, 636 markings/sec, 2945 secs
lola: 41 tries, 40325537 fired transitions, 2950 secs || 1838606 markings, 193733796 edges, 626 markings/sec, 2950 secs
lola: 41 tries, 40400398 fired transitions, 2955 secs || 1841700 markings, 194063237 edges, 619 markings/sec, 2955 secs
lola: 41 tries, 40471014 fired transitions, 2960 secs || 1844733 markings, 194398808 edges, 607 markings/sec, 2960 secs
lola: 41 tries, 40541704 fired transitions, 2965 secs || 1847752 markings, 194758342 edges, 604 markings/sec, 2965 secs
lola: 41 tries, 40611301 fired transitions, 2970 secs || 1850584 markings, 195091753 edges, 566 markings/sec, 2970 secs
lola: 41 tries, 40681973 fired transitions, 2975 secs || 1853567 markings, 195441016 edges, 597 markings/sec, 2975 secs
lola: 41 tries, 40750841 fired transitions, 2980 secs || 1857224 markings, 195813393 edges, 731 markings/sec, 2980 secs
lola: 41 tries, 40815447 fired transitions, 2985 secs || 1860259 markings, 196155075 edges, 607 markings/sec, 2985 secs
lola: 41 tries, 40881763 fired transitions, 2990 secs || 1863088 markings, 196467361 edges, 566 markings/sec, 2990 secs
lola: 41 tries, 40946274 fired transitions, 2995 secs || 1865862 markings, 196774929 edges, 555 markings/sec, 2995 secs
lola: 42 tries, 41011010 fired transitions, 3000 secs || 1868625 markings, 197081653 edges, 553 markings/sec, 3000 secs
lola: 42 tries, 41074866 fired transitions, 3005 secs || 1871254 markings, 197405550 edges, 526 markings/sec, 3005 secs
lola: 42 tries, 41137639 fired transitions, 3010 secs || 1874162 markings, 197742476 edges, 582 markings/sec, 3010 secs
lola: 42 tries, 41203541 fired transitions, 3015 secs || 1876943 markings, 198059482 edges, 556 markings/sec, 3015 secs
lola: 42 tries, 41268949 fired transitions, 3020 secs || 1879804 markings, 198393658 edges, 572 markings/sec, 3020 secs
lola: 42 tries, 41335067 fired transitions, 3025 secs || 1882772 markings, 198721366 edges, 594 markings/sec, 3025 secs
lola: 42 tries, 41401142 fired transitions, 3030 secs || 1885886 markings, 199055668 edges, 623 markings/sec, 3030 secs
lola: 42 tries, 41467272 fired transitions, 3035 secs || 1888713 markings, 199372877 edges, 565 markings/sec, 3035 secs
lola: 42 tries, 41533561 fired transitions, 3040 secs || 1891588 markings, 199708660 edges, 575 markings/sec, 3040 secs
lola: 42 tries, 41599821 fired transitions, 3045 secs || 1894226 markings, 200033657 edges, 528 markings/sec, 3045 secs
lola: 42 tries, 41667081 fired transitions, 3050 secs || 1897120 markings, 200365029 edges, 579 markings/sec, 3050 secs
lola: 42 tries, 41739342 fired transitions, 3055 secs || 1899766 markings, 200696918 edges, 529 markings/sec, 3055 secs
lola: 42 tries, 41811869 fired transitions, 3060 secs || 1902509 markings, 201036403 edges, 549 markings/sec, 3060 secs
lola: 42 tries, 41884389 fired transitions, 3065 secs || 1905625 markings, 201409404 edges, 623 markings/sec, 3065 secs
lola: 42 tries, 41955965 fired transitions, 3070 secs || 1908754 markings, 201770146 edges, 626 markings/sec, 3070 secs
lola: 43 tries, 42026889 fired transitions, 3075 secs || 1911894 markings, 202133194 edges, 628 markings/sec, 3075 secs
lola: 43 tries, 42098627 fired transitions, 3080 secs || 1915197 markings, 202494021 edges, 661 markings/sec, 3080 secs
lola: 43 tries, 42170239 fired transitions, 3085 secs || 1918134 markings, 202836896 edges, 587 markings/sec, 3085 secs
lola: 43 tries, 42241254 fired transitions, 3090 secs || 1921068 markings, 203174068 edges, 587 markings/sec, 3090 secs
lola: 43 tries, 42311403 fired transitions, 3095 secs || 1924333 markings, 203532195 edges, 653 markings/sec, 3095 secs
lola: 43 tries, 42381237 fired transitions, 3100 secs || 1927850 markings, 203900106 edges, 703 markings/sec, 3100 secs
lola: 43 tries, 42452400 fired transitions, 3105 secs || 1931372 markings, 204268809 edges, 704 markings/sec, 3105 secs
lola: 43 tries, 42524105 fired transitions, 3110 secs || 1934674 markings, 204629431 edges, 660 markings/sec, 3110 secs
lola: 43 tries, 42596233 fired transitions, 3115 secs || 1937632 markings, 204987987 edges, 592 markings/sec, 3115 secs
lola: 43 tries, 42667975 fired transitions, 3120 secs || 1940924 markings, 205355228 edges, 658 markings/sec, 3120 secs
lola: 43 tries, 42739824 fired transitions, 3125 secs || 1944457 markings, 205730949 edges, 707 markings/sec, 3125 secs
lola: 43 tries, 42811634 fired transitions, 3130 secs || 1947594 markings, 206093473 edges, 627 markings/sec, 3130 secs
lola: 43 tries, 42883002 fired transitions, 3135 secs || 1950929 markings, 206446980 edges, 667 markings/sec, 3135 secs
lola: 43 tries, 42954710 fired transitions, 3140 secs || 1954087 markings, 206796824 edges, 632 markings/sec, 3140 secs
lola: 44 tries, 43029133 fired transitions, 3145 secs || 1957297 markings, 207158637 edges, 642 markings/sec, 3145 secs
lola: 44 tries, 43107391 fired transitions, 3150 secs || 1960528 markings, 207512060 edges, 646 markings/sec, 3150 secs
lola: 44 tries, 43187251 fired transitions, 3155 secs || 1963917 markings, 207873865 edges, 678 markings/sec, 3155 secs
lola: 44 tries, 43261055 fired transitions, 3160 secs || 1967314 markings, 208250549 edges, 679 markings/sec, 3160 secs
lola: 44 tries, 43333820 fired transitions, 3165 secs || 1969980 markings, 208583739 edges, 533 markings/sec, 3165 secs
lola: 44 tries, 43406080 fired transitions, 3170 secs || 1972984 markings, 208935336 edges, 601 markings/sec, 3170 secs
lola: 44 tries, 43478960 fired transitions, 3175 secs || 1976451 markings, 209288638 edges, 693 markings/sec, 3175 secs
lola: 44 tries, 43550332 fired transitions, 3180 secs || 1979704 markings, 209642394 edges, 651 markings/sec, 3180 secs
lola: 44 tries, 43621448 fired transitions, 3185 secs || 1982858 markings, 209987718 edges, 631 markings/sec, 3185 secs
lola: 44 tries, 43693494 fired transitions, 3190 secs || 1986004 markings, 210342244 edges, 629 markings/sec, 3190 secs
lola: 44 tries, 43766435 fired transitions, 3195 secs || 1989389 markings, 210696092 edges, 677 markings/sec, 3195 secs
lola: 44 tries, 43837749 fired transitions, 3200 secs || 1992471 markings, 211055049 edges, 616 markings/sec, 3200 secs
lola: 44 tries, 43908895 fired transitions, 3205 secs || 1995830 markings, 211429029 edges, 672 markings/sec, 3205 secs
lola: 44 tries, 43979479 fired transitions, 3210 secs || 1999201 markings, 211793586 edges, 674 markings/sec, 3210 secs
lola: 45 tries, 44051783 fired transitions, 3215 secs || 2002713 markings, 212147727 edges, 702 markings/sec, 3215 secs
lola: 45 tries, 44124565 fired transitions, 3220 secs || 2006245 markings, 212506021 edges, 706 markings/sec, 3220 secs
lola: 45 tries, 44197387 fired transitions, 3225 secs || 2009378 markings, 212848443 edges, 627 markings/sec, 3225 secs
lola: 45 tries, 44268529 fired transitions, 3230 secs || 2012440 markings, 213195509 edges, 612 markings/sec, 3230 secs
lola: 45 tries, 44340242 fired transitions, 3235 secs || 2015600 markings, 213553440 edges, 632 markings/sec, 3235 secs
lola: 45 tries, 44411228 fired transitions, 3240 secs || 2018523 markings, 213901858 edges, 585 markings/sec, 3240 secs
lola: 45 tries, 44483951 fired transitions, 3245 secs || 2021749 markings, 214260240 edges, 645 markings/sec, 3245 secs
lola: 45 tries, 44553811 fired transitions, 3250 secs || 2025540 markings, 214631469 edges, 758 markings/sec, 3250 secs
lola: 45 tries, 44624866 fired transitions, 3255 secs || 2028568 markings, 214990915 edges, 606 markings/sec, 3255 secs
lola: 45 tries, 44695714 fired transitions, 3260 secs || 2031682 markings, 215357023 edges, 623 markings/sec, 3260 secs
lola: 45 tries, 44767245 fired transitions, 3265 secs || 2034919 markings, 215724510 edges, 647 markings/sec, 3265 secs
lola: 45 tries, 44839857 fired transitions, 3270 secs || 2038177 markings, 216077379 edges, 652 markings/sec, 3270 secs
lola: 45 tries, 44911744 fired transitions, 3275 secs || 2041281 markings, 216420218 edges, 621 markings/sec, 3275 secs
lola: 45 tries, 44982999 fired transitions, 3280 secs || 2044321 markings, 216768703 edges, 608 markings/sec, 3280 secs
lola: 46 tries, 45053667 fired transitions, 3285 secs || 2047756 markings, 217123122 edges, 687 markings/sec, 3285 secs
lola: 46 tries, 45125109 fired transitions, 3290 secs || 2051245 markings, 217539895 edges, 698 markings/sec, 3290 secs
lola: 46 tries, 45197372 fired transitions, 3295 secs || 2055313 markings, 217918266 edges, 814 markings/sec, 3295 secs
lola: 46 tries, 45269329 fired transitions, 3300 secs || 2058676 markings, 218257707 edges, 673 markings/sec, 3300 secs
lola: 46 tries, 45342097 fired transitions, 3305 secs || 2061880 markings, 218615164 edges, 641 markings/sec, 3305 secs
lola: 46 tries, 45413177 fired transitions, 3310 secs || 2064953 markings, 218960949 edges, 615 markings/sec, 3310 secs
lola: 46 tries, 45484848 fired transitions, 3315 secs || 2068332 markings, 219322875 edges, 676 markings/sec, 3315 secs
lola: 46 tries, 45556628 fired transitions, 3320 secs || 2071799 markings, 219686960 edges, 693 markings/sec, 3320 secs
lola: 46 tries, 45629452 fired transitions, 3325 secs || 2074942 markings, 220041588 edges, 629 markings/sec, 3325 secs
lola: 46 tries, 45702027 fired transitions, 3330 secs || 2078323 markings, 220403112 edges, 676 markings/sec, 3330 secs
lola: 46 tries, 45774763 fired transitions, 3335 secs || 2081685 markings, 220756463 edges, 672 markings/sec, 3335 secs
lola: 46 tries, 45846903 fired transitions, 3340 secs || 2084934 markings, 221099124 edges, 650 markings/sec, 3340 secs
lola: 46 tries, 45919615 fired transitions, 3345 secs || 2087982 markings, 221444641 edges, 610 markings/sec, 3345 secs
lola: 46 tries, 45991369 fired transitions, 3350 secs || 2090945 markings, 221805776 edges, 593 markings/sec, 3350 secs
lola: 47 tries, 46062303 fired transitions, 3355 secs || 2094432 markings, 222162970 edges, 697 markings/sec, 3355 secs
lola: 47 tries, 46132975 fired transitions, 3360 secs || 2097784 markings, 222520659 edges, 670 markings/sec, 3360 secs
lola: 47 tries, 46203795 fired transitions, 3365 secs || 2101288 markings, 222873232 edges, 701 markings/sec, 3365 secs
lola: 47 tries, 46274529 fired transitions, 3370 secs || 2104576 markings, 223230064 edges, 658 markings/sec, 3370 secs
lola: 47 tries, 46345394 fired transitions, 3375 secs || 2108376 markings, 223587738 edges, 760 markings/sec, 3375 secs
lola: 47 tries, 46416477 fired transitions, 3380 secs || 2111900 markings, 223948654 edges, 705 markings/sec, 3380 secs
lola: 47 tries, 46487681 fired transitions, 3385 secs || 2115901 markings, 224314919 edges, 800 markings/sec, 3385 secs
lola: 47 tries, 46558543 fired transitions, 3390 secs || 2119216 markings, 224674717 edges, 663 markings/sec, 3390 secs
lola: 47 tries, 46629124 fired transitions, 3395 secs || 2122480 markings, 225032545 edges, 653 markings/sec, 3395 secs
lola: 47 tries, 46700867 fired transitions, 3400 secs || 2125894 markings, 225385324 edges, 683 markings/sec, 3400 secs
lola: 47 tries, 46771742 fired transitions, 3405 secs || 2129371 markings, 225747843 edges, 695 markings/sec, 3405 secs
lola: 47 tries, 46842749 fired transitions, 3410 secs || 2132939 markings, 226100313 edges, 714 markings/sec, 3410 secs
lola: 47 tries, 46913919 fired transitions, 3415 secs || 2136251 markings, 226448238 edges, 662 markings/sec, 3415 secs
lola: 47 tries, 46986003 fired transitions, 3420 secs || 2139462 markings, 226803032 edges, 642 markings/sec, 3420 secs
lola: 48 tries, 47057867 fired transitions, 3425 secs || 2142746 markings, 227164498 edges, 657 markings/sec, 3425 secs
lola: 48 tries, 47130768 fired transitions, 3430 secs || 2145729 markings, 227507984 edges, 597 markings/sec, 3430 secs
lola: 48 tries, 47202979 fired transitions, 3435 secs || 2148867 markings, 227864270 edges, 628 markings/sec, 3435 secs
lola: 48 tries, 47275701 fired transitions, 3440 secs || 2151741 markings, 228208755 edges, 575 markings/sec, 3440 secs
lola: 48 tries, 47348336 fired transitions, 3445 secs || 2155024 markings, 228563398 edges, 657 markings/sec, 3445 secs
lola: 48 tries, 47421115 fired transitions, 3450 secs || 2158087 markings, 228902954 edges, 613 markings/sec, 3450 secs
lola: 48 tries, 47493948 fired transitions, 3455 secs || 2161240 markings, 229245582 edges, 631 markings/sec, 3455 secs
lola: 48 tries, 47566236 fired transitions, 3460 secs || 2164142 markings, 229583304 edges, 580 markings/sec, 3460 secs
lola: 48 tries, 47638977 fired transitions, 3465 secs || 2167211 markings, 229928795 edges, 614 markings/sec, 3465 secs
lola: 48 tries, 47711600 fired transitions, 3470 secs || 2170616 markings, 230292063 edges, 681 markings/sec, 3470 secs
lola: 48 tries, 47784422 fired transitions, 3475 secs || 2173573 markings, 230626618 edges, 591 markings/sec, 3475 secs
lola: 48 tries, 47856592 fired transitions, 3480 secs || 2176784 markings, 230979237 edges, 642 markings/sec, 3480 secs
lola: 48 tries, 47927874 fired transitions, 3485 secs || 2179926 markings, 231340456 edges, 628 markings/sec, 3485 secs
lola: 49 tries, 48000651 fired transitions, 3490 secs || 2182859 markings, 231681072 edges, 587 markings/sec, 3490 secs
lola: 49 tries, 48071180 fired transitions, 3495 secs || 2186312 markings, 232039063 edges, 691 markings/sec, 3495 secs
lola: 49 tries, 48142245 fired transitions, 3500 secs || 2189576 markings, 232383229 edges, 653 markings/sec, 3500 secs
lola: 49 tries, 48213189 fired transitions, 3505 secs || 2193152 markings, 232744356 edges, 715 markings/sec, 3505 secs
lola: 49 tries, 48285323 fired transitions, 3510 secs || 2197090 markings, 233113304 edges, 788 markings/sec, 3510 secs
lola: 49 tries, 48357577 fired transitions, 3515 secs || 2200993 markings, 233480179 edges, 781 markings/sec, 3515 secs
lola: 49 tries, 48430242 fired transitions, 3520 secs || 2204413 markings, 233841743 edges, 684 markings/sec, 3520 secs
lola: 49 tries, 48503023 fired transitions, 3525 secs || 2207507 markings, 234184449 edges, 619 markings/sec, 3525 secs
lola: 49 tries, 48575671 fired transitions, 3530 secs || 2210354 markings, 234516394 edges, 569 markings/sec, 3530 secs
lola: 49 tries, 48647495 fired transitions, 3535 secs || 2212864 markings, 234852711 edges, 502 markings/sec, 3535 secs
lola: 49 tries, 48720190 fired transitions, 3540 secs || 2215885 markings, 235202870 edges, 604 markings/sec, 3540 secs
lola: 49 tries, 48793020 fired transitions, 3545 secs || 2218669 markings, 235550072 edges, 557 markings/sec, 3545 secs
lola: 49 tries, 48865453 fired transitions, 3550 secs || 2221957 markings, 235913858 edges, 658 markings/sec, 3550 secs
lola: 49 tries, 48937894 fired transitions, 3555 secs || 2224733 markings, 236257089 edges, 555 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 3525920 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 3527200 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 1554421901316

--------------------
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="Dekker-PT-100"
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 Dekker-PT-100, 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 r049-oct2-155234405800885"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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