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

About the Execution of LoLA for NoC3x3-PT-3A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
10870.910 3571252.00 7248084.00 494.30 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r181-csrt-155344535000273.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is NoC3x3-PT-3A, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535000273
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc users 3.0K Mar 23 12:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 23 12:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 23 12:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.2K Mar 23 12:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 23 12:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 133K Mar 23 10:10 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1554501146562

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Apr 5 21:52:26 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 10907864,
"runtime": 3571.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 1773,
"conflict_clusters": 95,
"places": 370,
"places_significant": 243,
"singleton_clusters": 0,
"transitions": 450
},
"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": 56467331235511360245265858560000.000000,
"composed": 39,
"dead_branches": 0,
"generators": 125,
"interrupted": false,
"real_computed": 86,
"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: 820/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 370
lola: finding significant places
lola: 370 places, 450 transitions, 243 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 125 generators (86 in search tree, 39 by composition)
lola: representing 5.64673E+31 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 207756 fired transitions, 0 secs || 249674 markings, 440302 edges, 49935 markings/sec, 0 secs
lola: 1 tries, 434560 fired transitions, 5 secs || 536972 markings, 924808 edges, 57460 markings/sec, 5 secs
lola: 1 tries, 651055 fired transitions, 10 secs || 831812 markings, 1422654 edges, 58968 markings/sec, 10 secs
lola: 1 tries, 873860 fired transitions, 15 secs || 1125722 markings, 1922638 edges, 58782 markings/sec, 15 secs
lola: 2 tries, 1095948 fired transitions, 20 secs || 1389034 markings, 2373172 edges, 52662 markings/sec, 20 secs
lola: 2 tries, 1288965 fired transitions, 25 secs || 1625010 markings, 2783944 edges, 47195 markings/sec, 25 secs
lola: 2 tries, 1489187 fired transitions, 30 secs || 1864788 markings, 3203830 edges, 47956 markings/sec, 30 secs
lola: 2 tries, 1701320 fired transitions, 35 secs || 2117216 markings, 3646536 edges, 50486 markings/sec, 35 secs
lola: 2 tries, 1918917 fired transitions, 40 secs || 2372595 markings, 4091647 edges, 51076 markings/sec, 40 secs
lola: 3 tries, 2123215 fired transitions, 45 secs || 2620994 markings, 4523286 edges, 49680 markings/sec, 45 secs
lola: 3 tries, 2315653 fired transitions, 50 secs || 2856287 markings, 4938524 edges, 47059 markings/sec, 50 secs
lola: 3 tries, 2527018 fired transitions, 55 secs || 3109181 markings, 5385054 edges, 50579 markings/sec, 55 secs
lola: 3 tries, 2728888 fired transitions, 60 secs || 3349225 markings, 5807649 edges, 48009 markings/sec, 60 secs
lola: 3 tries, 2927130 fired transitions, 65 secs || 3588278 markings, 6230117 edges, 47811 markings/sec, 65 secs
lola: 4 tries, 3128452 fired transitions, 70 secs || 3830107 markings, 6655264 edges, 48366 markings/sec, 70 secs
lola: 4 tries, 3342345 fired transitions, 75 secs || 4088055 markings, 7109675 edges, 51590 markings/sec, 75 secs
lola: 4 tries, 3556210 fired transitions, 80 secs || 4344206 markings, 7562836 edges, 51230 markings/sec, 80 secs
lola: 4 tries, 3769858 fired transitions, 85 secs || 4598560 markings, 8012763 edges, 50871 markings/sec, 85 secs
lola: 4 tries, 3984189 fired transitions, 90 secs || 4856808 markings, 8469185 edges, 51650 markings/sec, 90 secs
lola: 5 tries, 4181900 fired transitions, 95 secs || 5094337 markings, 8888390 edges, 47506 markings/sec, 95 secs
lola: 5 tries, 4395415 fired transitions, 100 secs || 5348423 markings, 9337595 edges, 50817 markings/sec, 100 secs
lola: 5 tries, 4612602 fired transitions, 105 secs || 5607474 markings, 9796716 edges, 51810 markings/sec, 105 secs
lola: 5 tries, 4825528 fired transitions, 110 secs || 5860585 markings, 10246040 edges, 50622 markings/sec, 110 secs
lola: 6 tries, 5002232 fired transitions, 115 secs || 6086738 markings, 10645497 edges, 45231 markings/sec, 115 secs
lola: 6 tries, 5203283 fired transitions, 120 secs || 6331757 markings, 11079097 edges, 49004 markings/sec, 120 secs
lola: 6 tries, 5413669 fired transitions, 125 secs || 6583208 markings, 11523735 edges, 50290 markings/sec, 125 secs
lola: 6 tries, 5622842 fired transitions, 130 secs || 6834974 markings, 11968177 edges, 50353 markings/sec, 130 secs
lola: 6 tries, 5818990 fired transitions, 135 secs || 7075775 markings, 12394144 edges, 48160 markings/sec, 135 secs
lola: 7 tries, 6031967 fired transitions, 140 secs || 7330946 markings, 12844966 edges, 51034 markings/sec, 140 secs
lola: 7 tries, 6243525 fired transitions, 145 secs || 7583191 markings, 13291603 edges, 50449 markings/sec, 145 secs
lola: 7 tries, 6447602 fired transitions, 150 secs || 7828255 markings, 13725463 edges, 49013 markings/sec, 150 secs
lola: 7 tries, 6658056 fired transitions, 155 secs || 8082820 markings, 14178121 edges, 50913 markings/sec, 155 secs
lola: 7 tries, 6868309 fired transitions, 160 secs || 8335752 markings, 14627089 edges, 50586 markings/sec, 160 secs
lola: 8 tries, 7064447 fired transitions, 165 secs || 8577507 markings, 15053660 edges, 48351 markings/sec, 165 secs
lola: 8 tries, 7273562 fired transitions, 170 secs || 8824790 markings, 15491425 edges, 49457 markings/sec, 170 secs
lola: 8 tries, 7489022 fired transitions, 175 secs || 9084559 markings, 15950273 edges, 51954 markings/sec, 175 secs
lola: 8 tries, 7707463 fired transitions, 180 secs || 9342232 markings, 16406449 edges, 51535 markings/sec, 180 secs
lola: 8 tries, 7903943 fired transitions, 185 secs || 9580094 markings, 16827269 edges, 47572 markings/sec, 185 secs
lola: 9 tries, 8109854 fired transitions, 190 secs || 9826501 markings, 17263598 edges, 49281 markings/sec, 190 secs
lola: 9 tries, 8322152 fired transitions, 195 secs || 10078448 markings, 17710444 edges, 50389 markings/sec, 195 secs
lola: 9 tries, 8539526 fired transitions, 200 secs || 10338216 markings, 18171189 edges, 51954 markings/sec, 200 secs
lola: 9 tries, 8750445 fired transitions, 205 secs || 10591156 markings, 18619594 edges, 50588 markings/sec, 205 secs
lola: 9 tries, 8953266 fired transitions, 210 secs || 10833930 markings, 19049514 edges, 48555 markings/sec, 210 secs
lola: 10 tries, 9166579 fired transitions, 215 secs || 11084755 markings, 19494887 edges, 50165 markings/sec, 215 secs
lola: 10 tries, 9374450 fired transitions, 220 secs || 11332601 markings, 19934657 edges, 49569 markings/sec, 220 secs
lola: 10 tries, 9585874 fired transitions, 225 secs || 11586297 markings, 20383682 edges, 50739 markings/sec, 225 secs
lola: 10 tries, 9801796 fired transitions, 230 secs || 11843535 markings, 20839955 edges, 51448 markings/sec, 230 secs
lola: 11 tries, 10018626 fired transitions, 235 secs || 12100953 markings, 21295918 edges, 51484 markings/sec, 235 secs
lola: 11 tries, 10236432 fired transitions, 240 secs || 12356872 markings, 21749462 edges, 51184 markings/sec, 240 secs
lola: 11 tries, 10453904 fired transitions, 245 secs || 12613090 markings, 22203770 edges, 51244 markings/sec, 245 secs
lola: 11 tries, 10663733 fired transitions, 250 secs || 12862219 markings, 22645640 edges, 49826 markings/sec, 250 secs
lola: 11 tries, 10874439 fired transitions, 255 secs || 13111358 markings, 23089319 edges, 49828 markings/sec, 255 secs
lola: 12 tries, 11092203 fired transitions, 260 secs || 13368569 markings, 23544918 edges, 51442 markings/sec, 260 secs
lola: 12 tries, 11310025 fired transitions, 265 secs || 13626248 markings, 24001596 edges, 51536 markings/sec, 265 secs
lola: 12 tries, 11520930 fired transitions, 270 secs || 13876983 markings, 24446491 edges, 50147 markings/sec, 270 secs
lola: 12 tries, 11713004 fired transitions, 275 secs || 14111413 markings, 24861770 edges, 46886 markings/sec, 275 secs
lola: 12 tries, 11907244 fired transitions, 280 secs || 14346045 markings, 25279009 edges, 46926 markings/sec, 280 secs
lola: 13 tries, 12119422 fired transitions, 285 secs || 14594429 markings, 25720394 edges, 49677 markings/sec, 285 secs
lola: 13 tries, 12366806 fired transitions, 290 secs || 14872668 markings, 26207367 edges, 55648 markings/sec, 290 secs
lola: 13 tries, 12599690 fired transitions, 295 secs || 15144577 markings, 26682000 edges, 54382 markings/sec, 295 secs
lola: 13 tries, 12828988 fired transitions, 300 secs || 15426134 markings, 27176230 edges, 56311 markings/sec, 300 secs
lola: 14 tries, 13034673 fired transitions, 305 secs || 15671823 markings, 27612865 edges, 49138 markings/sec, 305 secs
lola: 14 tries, 13227046 fired transitions, 310 secs || 15902239 markings, 28022728 edges, 46083 markings/sec, 310 secs
lola: 14 tries, 13443623 fired transitions, 315 secs || 16159667 markings, 28481873 edges, 51486 markings/sec, 315 secs
lola: 14 tries, 13655112 fired transitions, 320 secs || 16408731 markings, 28923883 edges, 49813 markings/sec, 320 secs
lola: 14 tries, 13852101 fired transitions, 325 secs || 16644498 markings, 29342748 edges, 47153 markings/sec, 325 secs
lola: 15 tries, 14066943 fired transitions, 330 secs || 16901280 markings, 29798828 edges, 51356 markings/sec, 330 secs
lola: 15 tries, 14284925 fired transitions, 335 secs || 17158800 markings, 30255376 edges, 51504 markings/sec, 335 secs
lola: 15 tries, 14482721 fired transitions, 340 secs || 17394760 markings, 30676011 edges, 47192 markings/sec, 340 secs
lola: 15 tries, 14734227 fired transitions, 345 secs || 17690649 markings, 31192805 edges, 59178 markings/sec, 345 secs
lola: 15 tries, 14945143 fired transitions, 350 secs || 17929501 markings, 31614267 edges, 47770 markings/sec, 350 secs
lola: 16 tries, 15142318 fired transitions, 355 secs || 18166001 markings, 32034349 edges, 47300 markings/sec, 355 secs
lola: 16 tries, 15322724 fired transitions, 360 secs || 18384259 markings, 32421602 edges, 43652 markings/sec, 360 secs
lola: 16 tries, 15531618 fired transitions, 365 secs || 18630109 markings, 32859719 edges, 49170 markings/sec, 365 secs
lola: 16 tries, 15739204 fired transitions, 370 secs || 18873190 markings, 33292335 edges, 48616 markings/sec, 370 secs
lola: 16 tries, 15957167 fired transitions, 375 secs || 19130801 markings, 33750893 edges, 51522 markings/sec, 375 secs
lola: 17 tries, 16173264 fired transitions, 380 secs || 19384288 markings, 34203506 edges, 50697 markings/sec, 380 secs
lola: 17 tries, 16390201 fired transitions, 385 secs || 19639920 markings, 34658204 edges, 51126 markings/sec, 385 secs
lola: 17 tries, 16600310 fired transitions, 390 secs || 19887428 markings, 35098472 edges, 49502 markings/sec, 390 secs
lola: 17 tries, 16816500 fired transitions, 395 secs || 20144098 markings, 35554206 edges, 51334 markings/sec, 395 secs
lola: 18 tries, 17031227 fired transitions, 400 secs || 20397541 markings, 36005787 edges, 50689 markings/sec, 400 secs
lola: 18 tries, 17248779 fired transitions, 405 secs || 20655140 markings, 36463425 edges, 51520 markings/sec, 405 secs
lola: 18 tries, 17467590 fired transitions, 410 secs || 20907393 markings, 36913048 edges, 50451 markings/sec, 410 secs
lola: 18 tries, 17648276 fired transitions, 415 secs || 21127119 markings, 37303413 edges, 43945 markings/sec, 415 secs
lola: 18 tries, 17865827 fired transitions, 420 secs || 21382163 markings, 37758090 edges, 51009 markings/sec, 420 secs
lola: 19 tries, 18076887 fired transitions, 425 secs || 21627188 markings, 38193210 edges, 49005 markings/sec, 425 secs
lola: 19 tries, 18286435 fired transitions, 430 secs || 21870864 markings, 38629349 edges, 48735 markings/sec, 430 secs
lola: 19 tries, 18504059 fired transitions, 435 secs || 22123418 markings, 39078820 edges, 50511 markings/sec, 435 secs
lola: 19 tries, 18721118 fired transitions, 440 secs || 22376861 markings, 39530753 edges, 50689 markings/sec, 440 secs
lola: 19 tries, 18934770 fired transitions, 445 secs || 22622864 markings, 39969651 edges, 49201 markings/sec, 445 secs
lola: 20 tries, 19152451 fired transitions, 450 secs || 22875218 markings, 40420448 edges, 50471 markings/sec, 450 secs
lola: 20 tries, 19360085 fired transitions, 455 secs || 23118379 markings, 40854498 edges, 48632 markings/sec, 455 secs
lola: 20 tries, 19575045 fired transitions, 460 secs || 23367475 markings, 41299833 edges, 49819 markings/sec, 460 secs
lola: 20 tries, 19791725 fired transitions, 465 secs || 23616422 markings, 41744068 edges, 49789 markings/sec, 465 secs
lola: 21 tries, 20008085 fired transitions, 470 secs || 23867715 markings, 42190380 edges, 50259 markings/sec, 470 secs
lola: 21 tries, 20217761 fired transitions, 475 secs || 24111043 markings, 42623079 edges, 48666 markings/sec, 475 secs
lola: 21 tries, 20432319 fired transitions, 480 secs || 24362282 markings, 43071796 edges, 50248 markings/sec, 480 secs
lola: 21 tries, 20647530 fired transitions, 485 secs || 24613520 markings, 43519627 edges, 50248 markings/sec, 485 secs
lola: 21 tries, 20855687 fired transitions, 490 secs || 24856981 markings, 43953847 edges, 48692 markings/sec, 490 secs
lola: 22 tries, 21054330 fired transitions, 495 secs || 25093489 markings, 44374959 edges, 47302 markings/sec, 495 secs
lola: 22 tries, 21272242 fired transitions, 500 secs || 25346904 markings, 44827537 edges, 50683 markings/sec, 500 secs
lola: 22 tries, 21490054 fired transitions, 505 secs || 25597802 markings, 45276817 edges, 50180 markings/sec, 505 secs
lola: 22 tries, 21706699 fired transitions, 510 secs || 25851688 markings, 45729102 edges, 50777 markings/sec, 510 secs
lola: 22 tries, 21923911 fired transitions, 515 secs || 26104684 markings, 46181824 edges, 50599 markings/sec, 515 secs
lola: 23 tries, 22137645 fired transitions, 520 secs || 26350173 markings, 46620076 edges, 49098 markings/sec, 520 secs
lola: 23 tries, 22354946 fired transitions, 525 secs || 26605968 markings, 47076605 edges, 51159 markings/sec, 525 secs
lola: 23 tries, 22573122 fired transitions, 530 secs || 26859098 markings, 47529535 edges, 50626 markings/sec, 530 secs
lola: 23 tries, 22789673 fired transitions, 535 secs || 27112402 markings, 47981495 edges, 50661 markings/sec, 535 secs
lola: 24 tries, 23007398 fired transitions, 540 secs || 27365255 markings, 48432961 edges, 50571 markings/sec, 540 secs
lola: 24 tries, 23220914 fired transitions, 545 secs || 27610759 markings, 48872496 edges, 49101 markings/sec, 545 secs
lola: 24 tries, 23430565 fired transitions, 550 secs || 27851787 markings, 49303958 edges, 48206 markings/sec, 550 secs
lola: 24 tries, 23646629 fired transitions, 555 secs || 28102761 markings, 49751782 edges, 50195 markings/sec, 555 secs
lola: 24 tries, 23860370 fired transitions, 560 secs || 28346607 markings, 50185807 edges, 48769 markings/sec, 560 secs
lola: 25 tries, 24075964 fired transitions, 565 secs || 28594863 markings, 50629037 edges, 49651 markings/sec, 565 secs
lola: 25 tries, 24290344 fired transitions, 570 secs || 28843617 markings, 51072856 edges, 49751 markings/sec, 570 secs
lola: 25 tries, 24507316 fired transitions, 575 secs || 29092872 markings, 51519133 edges, 49851 markings/sec, 575 secs
lola: 25 tries, 24718014 fired transitions, 580 secs || 29338396 markings, 51960516 edges, 49105 markings/sec, 580 secs
lola: 25 tries, 24960604 fired transitions, 585 secs || 29596136 markings, 52413218 edges, 51548 markings/sec, 585 secs
lola: 26 tries, 25165252 fired transitions, 590 secs || 29837447 markings, 52842216 edges, 48262 markings/sec, 590 secs
lola: 26 tries, 25365658 fired transitions, 595 secs || 30071903 markings, 53261354 edges, 46891 markings/sec, 595 secs
lola: 26 tries, 25580396 fired transitions, 600 secs || 30324115 markings, 53711808 edges, 50442 markings/sec, 600 secs
lola: 26 tries, 25795215 fired transitions, 605 secs || 30573706 markings, 54158805 edges, 49918 markings/sec, 605 secs
lola: 27 tries, 26010774 fired transitions, 610 secs || 30820260 markings, 54602249 edges, 49311 markings/sec, 610 secs
lola: 27 tries, 26227716 fired transitions, 615 secs || 31071294 markings, 55050464 edges, 50207 markings/sec, 615 secs
lola: 27 tries, 26426968 fired transitions, 620 secs || 31310201 markings, 55475760 edges, 47781 markings/sec, 620 secs
lola: 27 tries, 26644565 fired transitions, 625 secs || 31563315 markings, 55928015 edges, 50623 markings/sec, 625 secs
lola: 27 tries, 26851765 fired transitions, 630 secs || 31802790 markings, 56356445 edges, 47895 markings/sec, 630 secs
lola: 28 tries, 27065103 fired transitions, 635 secs || 32047049 markings, 56796659 edges, 48852 markings/sec, 635 secs
lola: 28 tries, 27279361 fired transitions, 640 secs || 32297415 markings, 57244886 edges, 50073 markings/sec, 640 secs
lola: 28 tries, 27496426 fired transitions, 645 secs || 32543974 markings, 57685141 edges, 49312 markings/sec, 645 secs
lola: 28 tries, 27694640 fired transitions, 650 secs || 32778232 markings, 58104266 edges, 46852 markings/sec, 650 secs
lola: 28 tries, 27898956 fired transitions, 655 secs || 33014438 markings, 58527984 edges, 47241 markings/sec, 655 secs
lola: 29 tries, 28110562 fired transitions, 660 secs || 33261463 markings, 58970804 edges, 49405 markings/sec, 660 secs
lola: 29 tries, 28326875 fired transitions, 665 secs || 33508266 markings, 59412877 edges, 49361 markings/sec, 665 secs
lola: 29 tries, 28543782 fired transitions, 670 secs || 33759280 markings, 59861724 edges, 50203 markings/sec, 670 secs
lola: 29 tries, 28759223 fired transitions, 675 secs || 34009596 markings, 60309535 edges, 50063 markings/sec, 675 secs
lola: 29 tries, 28975395 fired transitions, 680 secs || 34258864 markings, 60756649 edges, 49854 markings/sec, 680 secs
lola: 30 tries, 29192585 fired transitions, 685 secs || 34508602 markings, 61202905 edges, 49948 markings/sec, 685 secs
lola: 30 tries, 29399389 fired transitions, 690 secs || 34748341 markings, 61631009 edges, 47948 markings/sec, 690 secs
lola: 30 tries, 29605848 fired transitions, 695 secs || 34988853 markings, 62061816 edges, 48102 markings/sec, 695 secs
lola: 30 tries, 29779468 fired transitions, 700 secs || 35198669 markings, 62438361 edges, 41963 markings/sec, 700 secs
lola: 30 tries, 29985392 fired transitions, 705 secs || 35435613 markings, 62861269 edges, 47389 markings/sec, 705 secs
lola: 31 tries, 30193600 fired transitions, 710 secs || 35675516 markings, 63290204 edges, 47981 markings/sec, 710 secs
lola: 31 tries, 30400877 fired transitions, 715 secs || 35913036 markings, 63715348 edges, 47504 markings/sec, 715 secs
lola: 31 tries, 30607137 fired transitions, 720 secs || 36149767 markings, 64138983 edges, 47346 markings/sec, 720 secs
lola: 31 tries, 30810355 fired transitions, 725 secs || 36383252 markings, 64558183 edges, 46697 markings/sec, 725 secs
lola: 32 tries, 31014437 fired transitions, 730 secs || 36618326 markings, 64980207 edges, 47015 markings/sec, 730 secs
lola: 32 tries, 31241927 fired transitions, 735 secs || 36883830 markings, 65445756 edges, 53101 markings/sec, 735 secs
lola: 32 tries, 31446505 fired transitions, 740 secs || 37120714 markings, 65869212 edges, 47377 markings/sec, 740 secs
lola: 32 tries, 31661706 fired transitions, 745 secs || 37369595 markings, 66316475 edges, 49776 markings/sec, 745 secs
lola: 32 tries, 31876357 fired transitions, 750 secs || 37615843 markings, 66758054 edges, 49250 markings/sec, 750 secs
lola: 33 tries, 32063070 fired transitions, 755 secs || 37841112 markings, 67161819 edges, 45054 markings/sec, 755 secs
lola: 33 tries, 32272345 fired transitions, 760 secs || 38083046 markings, 67594379 edges, 48387 markings/sec, 760 secs
lola: 33 tries, 32488030 fired transitions, 765 secs || 38330399 markings, 68039772 edges, 49471 markings/sec, 765 secs
lola: 33 tries, 32702706 fired transitions, 770 secs || 38580054 markings, 68485773 edges, 49931 markings/sec, 770 secs
lola: 33 tries, 32914933 fired transitions, 775 secs || 38825649 markings, 68926024 edges, 49119 markings/sec, 775 secs
lola: 34 tries, 33126242 fired transitions, 780 secs || 39068216 markings, 69360429 edges, 48513 markings/sec, 780 secs
lola: 34 tries, 33342277 fired transitions, 785 secs || 39317821 markings, 69807251 edges, 49921 markings/sec, 785 secs
lola: 34 tries, 33557650 fired transitions, 790 secs || 39566967 markings, 70254496 edges, 49829 markings/sec, 790 secs
lola: 34 tries, 33770634 fired transitions, 795 secs || 39812224 markings, 70694931 edges, 49051 markings/sec, 795 secs
lola: 34 tries, 33977471 fired transitions, 800 secs || 40051625 markings, 71125051 edges, 47880 markings/sec, 800 secs
lola: 35 tries, 34180768 fired transitions, 805 secs || 40287717 markings, 71547311 edges, 47218 markings/sec, 805 secs
lola: 35 tries, 34377399 fired transitions, 810 secs || 40516781 markings, 71957634 edges, 45813 markings/sec, 810 secs
lola: 35 tries, 34581781 fired transitions, 815 secs || 40752310 markings, 72380109 edges, 47106 markings/sec, 815 secs
lola: 35 tries, 34797763 fired transitions, 820 secs || 41002372 markings, 72827499 edges, 50012 markings/sec, 820 secs
lola: 36 tries, 35011175 fired transitions, 825 secs || 41248426 markings, 73270281 edges, 49211 markings/sec, 825 secs
lola: 36 tries, 35219218 fired transitions, 830 secs || 41487741 markings, 73699427 edges, 47863 markings/sec, 830 secs
lola: 36 tries, 35429444 fired transitions, 835 secs || 41730713 markings, 74133938 edges, 48594 markings/sec, 835 secs
lola: 36 tries, 35646636 fired transitions, 840 secs || 41980168 markings, 74581918 edges, 49891 markings/sec, 840 secs
lola: 36 tries, 35862885 fired transitions, 845 secs || 42229043 markings, 75029160 edges, 49775 markings/sec, 845 secs
lola: 37 tries, 36080706 fired transitions, 850 secs || 42479017 markings, 75477578 edges, 49995 markings/sec, 850 secs
lola: 37 tries, 36297539 fired transitions, 855 secs || 42728371 markings, 75923755 edges, 49871 markings/sec, 855 secs
lola: 37 tries, 36510077 fired transitions, 860 secs || 42973058 markings, 76364385 edges, 48937 markings/sec, 860 secs
lola: 37 tries, 36724598 fired transitions, 865 secs || 43218757 markings, 76806620 edges, 49140 markings/sec, 865 secs
lola: 37 tries, 36931098 fired transitions, 870 secs || 43456320 markings, 77233607 edges, 47513 markings/sec, 870 secs
lola: 38 tries, 37140777 fired transitions, 875 secs || 43696923 markings, 77665191 edges, 48121 markings/sec, 875 secs
lola: 38 tries, 37350386 fired transitions, 880 secs || 43937065 markings, 78095868 edges, 48028 markings/sec, 880 secs
lola: 38 tries, 37555385 fired transitions, 885 secs || 44172193 markings, 78519971 edges, 47026 markings/sec, 885 secs
lola: 38 tries, 37762591 fired transitions, 890 secs || 44408192 markings, 78946329 edges, 47200 markings/sec, 890 secs
lola: 38 tries, 37977041 fired transitions, 895 secs || 44656435 markings, 79391172 edges, 49649 markings/sec, 895 secs
lola: 39 tries, 38193104 fired transitions, 900 secs || 44903904 markings, 79836065 edges, 49494 markings/sec, 900 secs
lola: 39 tries, 38407986 fired transitions, 905 secs || 45154147 markings, 80283850 edges, 50049 markings/sec, 905 secs
lola: 39 tries, 38622127 fired transitions, 910 secs || 45396969 markings, 80719884 edges, 48564 markings/sec, 910 secs
lola: 39 tries, 38836326 fired transitions, 915 secs || 45644067 markings, 81163529 edges, 49420 markings/sec, 915 secs
lola: 40 tries, 39043606 fired transitions, 920 secs || 45882654 markings, 81592854 edges, 47717 markings/sec, 920 secs
lola: 40 tries, 39260591 fired transitions, 925 secs || 46132242 markings, 82042245 edges, 49918 markings/sec, 925 secs
lola: 40 tries, 39477678 fired transitions, 930 secs || 46383602 markings, 82494060 edges, 50272 markings/sec, 930 secs
lola: 40 tries, 39691775 fired transitions, 935 secs || 46629004 markings, 82934983 edges, 49080 markings/sec, 935 secs
lola: 40 tries, 39909590 fired transitions, 940 secs || 46878724 markings, 83383234 edges, 49944 markings/sec, 940 secs
lola: 41 tries, 40111036 fired transitions, 945 secs || 47115735 markings, 83809710 edges, 47402 markings/sec, 945 secs
lola: 41 tries, 40328480 fired transitions, 950 secs || 47367303 markings, 84262403 edges, 50314 markings/sec, 950 secs
lola: 41 tries, 40546202 fired transitions, 955 secs || 47617115 markings, 84709241 edges, 49962 markings/sec, 955 secs
lola: 41 tries, 40738432 fired transitions, 960 secs || 47844799 markings, 85119825 edges, 45537 markings/sec, 960 secs
lola: 41 tries, 40954203 fired transitions, 965 secs || 48091105 markings, 85561909 edges, 49261 markings/sec, 965 secs
lola: 42 tries, 41153145 fired transitions, 970 secs || 48323613 markings, 85981084 edges, 46502 markings/sec, 970 secs
lola: 42 tries, 41371232 fired transitions, 975 secs || 48573906 markings, 86429949 edges, 50059 markings/sec, 975 secs
lola: 42 tries, 41588592 fired transitions, 980 secs || 48821652 markings, 86875397 edges, 49549 markings/sec, 980 secs
lola: 42 tries, 41805236 fired transitions, 985 secs || 49069920 markings, 87321137 edges, 49654 markings/sec, 985 secs
lola: 43 tries, 42023149 fired transitions, 990 secs || 49320161 markings, 87773285 edges, 50048 markings/sec, 990 secs
lola: 43 tries, 42240695 fired transitions, 995 secs || 49569167 markings, 88221252 edges, 49801 markings/sec, 995 secs
lola: 43 tries, 42457567 fired transitions, 1000 secs || 49818208 markings, 88669322 edges, 49808 markings/sec, 1000 secs
lola: 43 tries, 42672375 fired transitions, 1005 secs || 50066230 markings, 89117567 edges, 49604 markings/sec, 1005 secs
lola: 43 tries, 42888591 fired transitions, 1010 secs || 50313980 markings, 89563662 edges, 49550 markings/sec, 1010 secs
lola: 44 tries, 43105617 fired transitions, 1015 secs || 50562934 markings, 90012235 edges, 49791 markings/sec, 1015 secs
lola: 44 tries, 43321211 fired transitions, 1020 secs || 50811952 markings, 90460850 edges, 49804 markings/sec, 1020 secs
lola: 44 tries, 43537017 fired transitions, 1025 secs || 51058767 markings, 90903973 edges, 49363 markings/sec, 1025 secs
lola: 44 tries, 43737835 fired transitions, 1030 secs || 51292171 markings, 91324066 edges, 46681 markings/sec, 1030 secs
lola: 44 tries, 43943472 fired transitions, 1035 secs || 51529124 markings, 91748511 edges, 47391 markings/sec, 1035 secs
lola: 45 tries, 44147570 fired transitions, 1040 secs || 51763834 markings, 92169812 edges, 46942 markings/sec, 1040 secs
lola: 45 tries, 44355880 fired transitions, 1045 secs || 51998919 markings, 92593975 edges, 47017 markings/sec, 1045 secs
lola: 45 tries, 44570995 fired transitions, 1050 secs || 52241659 markings, 93030826 edges, 48548 markings/sec, 1050 secs
lola: 45 tries, 44788152 fired transitions, 1055 secs || 52490494 markings, 93478560 edges, 49767 markings/sec, 1055 secs
lola: 46 tries, 45001781 fired transitions, 1060 secs || 52733033 markings, 93916135 edges, 48508 markings/sec, 1060 secs
lola: 46 tries, 45218583 fired transitions, 1065 secs || 52979341 markings, 94361861 edges, 49262 markings/sec, 1065 secs
lola: 46 tries, 45436091 fired transitions, 1070 secs || 53227626 markings, 94806797 edges, 49657 markings/sec, 1070 secs
lola: 46 tries, 45652781 fired transitions, 1075 secs || 53478320 markings, 95257588 edges, 50139 markings/sec, 1075 secs
lola: 46 tries, 45860646 fired transitions, 1080 secs || 53716368 markings, 95685457 edges, 47610 markings/sec, 1080 secs
lola: 47 tries, 46076520 fired transitions, 1085 secs || 53963780 markings, 96130958 edges, 49482 markings/sec, 1085 secs
lola: 47 tries, 46294182 fired transitions, 1090 secs || 54212466 markings, 96579233 edges, 49737 markings/sec, 1090 secs
lola: 47 tries, 46509743 fired transitions, 1095 secs || 54460007 markings, 97027058 edges, 49508 markings/sec, 1095 secs
lola: 47 tries, 46726031 fired transitions, 1100 secs || 54709628 markings, 97475926 edges, 49924 markings/sec, 1100 secs
lola: 47 tries, 46942195 fired transitions, 1105 secs || 54955182 markings, 97917953 edges, 49111 markings/sec, 1105 secs
lola: 48 tries, 47159261 fired transitions, 1110 secs || 55205708 markings, 98367432 edges, 50105 markings/sec, 1110 secs
lola: 48 tries, 47377598 fired transitions, 1115 secs || 55453248 markings, 98813330 edges, 49508 markings/sec, 1115 secs
lola: 48 tries, 47595001 fired transitions, 1120 secs || 55701280 markings, 99262732 edges, 49606 markings/sec, 1120 secs
lola: 48 tries, 47811931 fired transitions, 1125 secs || 55946506 markings, 99704485 edges, 49045 markings/sec, 1125 secs
lola: 49 tries, 48017081 fired transitions, 1130 secs || 56177913 markings, 100121429 edges, 46281 markings/sec, 1130 secs
lola: 49 tries, 48222311 fired transitions, 1135 secs || 56411038 markings, 100541983 edges, 46625 markings/sec, 1135 secs
lola: 49 tries, 48426515 fired transitions, 1140 secs || 56642545 markings, 100960979 edges, 46301 markings/sec, 1140 secs
lola: 49 tries, 48635989 fired transitions, 1145 secs || 56879161 markings, 101388151 edges, 47323 markings/sec, 1145 secs
lola: 49 tries, 48852167 fired transitions, 1150 secs || 57124949 markings, 101831380 edges, 49158 markings/sec, 1150 secs
lola: 50 tries, 49068179 fired transitions, 1155 secs || 57369661 markings, 102271456 edges, 48942 markings/sec, 1155 secs
lola: 50 tries, 49285076 fired transitions, 1160 secs || 57614122 markings, 102710844 edges, 48892 markings/sec, 1160 secs
lola: 50 tries, 49502154 fired transitions, 1165 secs || 57861375 markings, 103155714 edges, 49451 markings/sec, 1165 secs
lola: 50 tries, 49719046 fired transitions, 1170 secs || 58106173 markings, 103596292 edges, 48960 markings/sec, 1170 secs
lola: 50 tries, 49936337 fired transitions, 1175 secs || 58351349 markings, 104038390 edges, 49035 markings/sec, 1175 secs
lola: 51 tries, 50153248 fired transitions, 1180 secs || 58597868 markings, 104481516 edges, 49304 markings/sec, 1180 secs
lola: 51 tries, 50369729 fired transitions, 1185 secs || 58845018 markings, 104927458 edges, 49430 markings/sec, 1185 secs
lola: 51 tries, 50585629 fired transitions, 1190 secs || 59091543 markings, 105372386 edges, 49305 markings/sec, 1190 secs
lola: 51 tries, 50802932 fired transitions, 1195 secs || 59336677 markings, 105812923 edges, 49027 markings/sec, 1195 secs
lola: 52 tries, 51019656 fired transitions, 1200 secs || 59583273 markings, 106257017 edges, 49319 markings/sec, 1200 secs
lola: 52 tries, 51237322 fired transitions, 1205 secs || 59830973 markings, 106702691 edges, 49540 markings/sec, 1205 secs
lola: 52 tries, 51454175 fired transitions, 1210 secs || 60079479 markings, 107149209 edges, 49701 markings/sec, 1210 secs
lola: 52 tries, 51669713 fired transitions, 1215 secs || 60325332 markings, 107593790 edges, 49171 markings/sec, 1215 secs
lola: 52 tries, 51888258 fired transitions, 1220 secs || 60575729 markings, 108042411 edges, 50079 markings/sec, 1220 secs
lola: 53 tries, 52106161 fired transitions, 1225 secs || 60824761 markings, 108490574 edges, 49806 markings/sec, 1225 secs
lola: 53 tries, 52322001 fired transitions, 1230 secs || 61073496 markings, 108936509 edges, 49747 markings/sec, 1230 secs
lola: 53 tries, 52538009 fired transitions, 1235 secs || 61320249 markings, 109381049 edges, 49351 markings/sec, 1235 secs
lola: 53 tries, 52755537 fired transitions, 1240 secs || 61570335 markings, 109829205 edges, 50017 markings/sec, 1240 secs
lola: 53 tries, 52971640 fired transitions, 1245 secs || 61819223 markings, 110277731 edges, 49778 markings/sec, 1245 secs
lola: 54 tries, 53189418 fired transitions, 1250 secs || 62067857 markings, 110727154 edges, 49727 markings/sec, 1250 secs
lola: 54 tries, 53407971 fired transitions, 1255 secs || 62316868 markings, 111177916 edges, 49802 markings/sec, 1255 secs
lola: 54 tries, 53626117 fired transitions, 1260 secs || 62564532 markings, 111623129 edges, 49533 markings/sec, 1260 secs
lola: 54 tries, 53842446 fired transitions, 1265 secs || 62810674 markings, 112064986 edges, 49228 markings/sec, 1265 secs
lola: 55 tries, 54055103 fired transitions, 1270 secs || 63053240 markings, 112502326 edges, 48513 markings/sec, 1270 secs
lola: 55 tries, 54271963 fired transitions, 1275 secs || 63302352 markings, 112952290 edges, 49822 markings/sec, 1275 secs
lola: 55 tries, 54488775 fired transitions, 1280 secs || 63549217 markings, 113396624 edges, 49373 markings/sec, 1280 secs
lola: 55 tries, 54703095 fired transitions, 1285 secs || 63792639 markings, 113838799 edges, 48684 markings/sec, 1285 secs
lola: 55 tries, 54918230 fired transitions, 1290 secs || 64037213 markings, 114280170 edges, 48915 markings/sec, 1290 secs
lola: 56 tries, 55128714 fired transitions, 1295 secs || 64279107 markings, 114715282 edges, 48379 markings/sec, 1295 secs
lola: 56 tries, 55336494 fired transitions, 1300 secs || 64517021 markings, 115142422 edges, 47583 markings/sec, 1300 secs
lola: 56 tries, 55552025 fired transitions, 1305 secs || 64762914 markings, 115584629 edges, 49179 markings/sec, 1305 secs
lola: 56 tries, 55769430 fired transitions, 1310 secs || 65011281 markings, 116035940 edges, 49673 markings/sec, 1310 secs
lola: 56 tries, 55986093 fired transitions, 1315 secs || 65257675 markings, 116479523 edges, 49279 markings/sec, 1315 secs
lola: 57 tries, 56203785 fired transitions, 1320 secs || 65507345 markings, 116928401 edges, 49934 markings/sec, 1320 secs
lola: 57 tries, 56420725 fired transitions, 1325 secs || 65752332 markings, 117370229 edges, 48997 markings/sec, 1325 secs
lola: 57 tries, 56638004 fired transitions, 1330 secs || 66002099 markings, 117821431 edges, 49953 markings/sec, 1330 secs
lola: 57 tries, 56854627 fired transitions, 1335 secs || 66246896 markings, 118263364 edges, 48959 markings/sec, 1335 secs
lola: 58 tries, 57072129 fired transitions, 1340 secs || 66496169 markings, 118712594 edges, 49855 markings/sec, 1340 secs
lola: 58 tries, 57290328 fired transitions, 1345 secs || 66744155 markings, 119161242 edges, 49597 markings/sec, 1345 secs
lola: 58 tries, 57506299 fired transitions, 1350 secs || 66992242 markings, 119608323 edges, 49617 markings/sec, 1350 secs
lola: 58 tries, 57722464 fired transitions, 1355 secs || 67241410 markings, 120057580 edges, 49834 markings/sec, 1355 secs
lola: 58 tries, 57938097 fired transitions, 1360 secs || 67485721 markings, 120503140 edges, 48862 markings/sec, 1360 secs
lola: 59 tries, 58155597 fired transitions, 1365 secs || 67736218 markings, 120955427 edges, 50099 markings/sec, 1365 secs
lola: 59 tries, 58372234 fired transitions, 1370 secs || 67982823 markings, 121402548 edges, 49321 markings/sec, 1370 secs
lola: 59 tries, 58589249 fired transitions, 1375 secs || 68232638 markings, 121851664 edges, 49963 markings/sec, 1375 secs
lola: 59 tries, 58807808 fired transitions, 1380 secs || 68479497 markings, 122295428 edges, 49372 markings/sec, 1380 secs
lola: 60 tries, 59026453 fired transitions, 1385 secs || 68729167 markings, 122744217 edges, 49934 markings/sec, 1385 secs
lola: 60 tries, 59244464 fired transitions, 1390 secs || 68979014 markings, 123193740 edges, 49969 markings/sec, 1390 secs
lola: 60 tries, 59462197 fired transitions, 1395 secs || 69227895 markings, 123644768 edges, 49776 markings/sec, 1395 secs
lola: 60 tries, 59677351 fired transitions, 1400 secs || 69475754 markings, 124091734 edges, 49572 markings/sec, 1400 secs
lola: 60 tries, 59894147 fired transitions, 1405 secs || 69724395 markings, 124539108 edges, 49728 markings/sec, 1405 secs
lola: 61 tries, 60108249 fired transitions, 1410 secs || 69969474 markings, 124981474 edges, 49016 markings/sec, 1410 secs
lola: 61 tries, 60326592 fired transitions, 1415 secs || 70217810 markings, 125429953 edges, 49667 markings/sec, 1415 secs
lola: 61 tries, 60539507 fired transitions, 1420 secs || 70463459 markings, 125872004 edges, 49130 markings/sec, 1420 secs
lola: 61 tries, 60757418 fired transitions, 1425 secs || 70711851 markings, 126321905 edges, 49678 markings/sec, 1425 secs
lola: 61 tries, 60961518 fired transitions, 1430 secs || 70948642 markings, 126747116 edges, 47358 markings/sec, 1430 secs
lola: 62 tries, 61167110 fired transitions, 1435 secs || 71185708 markings, 127174868 edges, 47413 markings/sec, 1435 secs
lola: 62 tries, 61370133 fired transitions, 1440 secs || 71418935 markings, 127596613 edges, 46645 markings/sec, 1440 secs
lola: 62 tries, 61578167 fired transitions, 1445 secs || 71656487 markings, 128024896 edges, 47510 markings/sec, 1445 secs
lola: 62 tries, 61787306 fired transitions, 1450 secs || 71896818 markings, 128458301 edges, 48066 markings/sec, 1450 secs
lola: 62 tries, 61998529 fired transitions, 1455 secs || 72138445 markings, 128893201 edges, 48325 markings/sec, 1455 secs
lola: 63 tries, 62205755 fired transitions, 1460 secs || 72377669 markings, 129324692 edges, 47845 markings/sec, 1460 secs
lola: 63 tries, 62413206 fired transitions, 1465 secs || 72613209 markings, 129750861 edges, 47108 markings/sec, 1465 secs
lola: 63 tries, 62617221 fired transitions, 1470 secs || 72848296 markings, 130174604 edges, 47017 markings/sec, 1470 secs
lola: 63 tries, 62823987 fired transitions, 1475 secs || 73088589 markings, 130608045 edges, 48059 markings/sec, 1475 secs
lola: 64 tries, 63031099 fired transitions, 1480 secs || 73325369 markings, 131034418 edges, 47356 markings/sec, 1480 secs
lola: 64 tries, 63236034 fired transitions, 1485 secs || 73562719 markings, 131466856 edges, 47470 markings/sec, 1485 secs
lola: 64 tries, 63441596 fired transitions, 1490 secs || 73800704 markings, 131897780 edges, 47597 markings/sec, 1490 secs
lola: 64 tries, 63644686 fired transitions, 1495 secs || 74035342 markings, 132319304 edges, 46928 markings/sec, 1495 secs
lola: 64 tries, 63848613 fired transitions, 1500 secs || 74269192 markings, 132740993 edges, 46770 markings/sec, 1500 secs
lola: 65 tries, 64051424 fired transitions, 1505 secs || 74504573 markings, 133163672 edges, 47076 markings/sec, 1505 secs
lola: 65 tries, 64258352 fired transitions, 1510 secs || 74742356 markings, 133593595 edges, 47557 markings/sec, 1510 secs
lola: 65 tries, 64466906 fired transitions, 1515 secs || 74980986 markings, 134023695 edges, 47726 markings/sec, 1515 secs
lola: 65 tries, 64676782 fired transitions, 1520 secs || 75222548 markings, 134458094 edges, 48312 markings/sec, 1520 secs
lola: 65 tries, 64886265 fired transitions, 1525 secs || 75463400 markings, 134892861 edges, 48170 markings/sec, 1525 secs
lola: 66 tries, 65090892 fired transitions, 1530 secs || 75698293 markings, 135317628 edges, 46979 markings/sec, 1530 secs
lola: 66 tries, 65297476 fired transitions, 1535 secs || 75937036 markings, 135746946 edges, 47749 markings/sec, 1535 secs
lola: 66 tries, 65504735 fired transitions, 1540 secs || 76176608 markings, 136178476 edges, 47914 markings/sec, 1540 secs
lola: 66 tries, 65706200 fired transitions, 1545 secs || 76409027 markings, 136598274 edges, 46484 markings/sec, 1545 secs
lola: 66 tries, 65909972 fired transitions, 1550 secs || 76644796 markings, 137024017 edges, 47154 markings/sec, 1550 secs
lola: 67 tries, 66126566 fired transitions, 1555 secs || 76894490 markings, 137474048 edges, 49939 markings/sec, 1555 secs
lola: 67 tries, 66344774 fired transitions, 1560 secs || 77143913 markings, 137922385 edges, 49885 markings/sec, 1560 secs
lola: 67 tries, 66561052 fired transitions, 1565 secs || 77391045 markings, 138370602 edges, 49426 markings/sec, 1565 secs
lola: 67 tries, 66778427 fired transitions, 1570 secs || 77641318 markings, 138823945 edges, 50055 markings/sec, 1570 secs
lola: 67 tries, 66996784 fired transitions, 1575 secs || 77892582 markings, 139277952 edges, 50253 markings/sec, 1575 secs
lola: 68 tries, 67215623 fired transitions, 1580 secs || 78141912 markings, 139726894 edges, 49866 markings/sec, 1580 secs
lola: 68 tries, 67434195 fired transitions, 1585 secs || 78391240 markings, 140174667 edges, 49866 markings/sec, 1585 secs
lola: 68 tries, 67651336 fired transitions, 1590 secs || 78641083 markings, 140624427 edges, 49969 markings/sec, 1590 secs
lola: 68 tries, 67862145 fired transitions, 1595 secs || 78881136 markings, 141058895 edges, 48011 markings/sec, 1595 secs
lola: 69 tries, 68068208 fired transitions, 1600 secs || 79114737 markings, 141482121 edges, 46720 markings/sec, 1600 secs
lola: 69 tries, 68271703 fired transitions, 1605 secs || 79346850 markings, 141900437 edges, 46423 markings/sec, 1605 secs
lola: 69 tries, 68478950 fired transitions, 1610 secs || 79583767 markings, 142327890 edges, 47383 markings/sec, 1610 secs
lola: 69 tries, 68686043 fired transitions, 1615 secs || 79822047 markings, 142757951 edges, 47656 markings/sec, 1615 secs
lola: 69 tries, 68890730 fired transitions, 1620 secs || 80056067 markings, 143177981 edges, 46804 markings/sec, 1620 secs
lola: 70 tries, 69095686 fired transitions, 1625 secs || 80292186 markings, 143602455 edges, 47224 markings/sec, 1625 secs
lola: 70 tries, 69299830 fired transitions, 1630 secs || 80528645 markings, 144028536 edges, 47292 markings/sec, 1630 secs
lola: 70 tries, 69504004 fired transitions, 1635 secs || 80764934 markings, 144453654 edges, 47258 markings/sec, 1635 secs
lola: 70 tries, 69709406 fired transitions, 1640 secs || 81001498 markings, 144880156 edges, 47313 markings/sec, 1640 secs
lola: 70 tries, 69919537 fired transitions, 1645 secs || 81245145 markings, 145321969 edges, 48729 markings/sec, 1645 secs
lola: 71 tries, 70136227 fired transitions, 1650 secs || 81494735 markings, 145770683 edges, 49918 markings/sec, 1650 secs
lola: 71 tries, 70352386 fired transitions, 1655 secs || 81741119 markings, 146214731 edges, 49277 markings/sec, 1655 secs
lola: 71 tries, 70570545 fired transitions, 1660 secs || 81992437 markings, 146666545 edges, 50264 markings/sec, 1660 secs
lola: 71 tries, 70789422 fired transitions, 1665 secs || 82243133 markings, 147118034 edges, 50139 markings/sec, 1665 secs
lola: 72 tries, 71004959 fired transitions, 1670 secs || 82490152 markings, 147563014 edges, 49404 markings/sec, 1670 secs
lola: 72 tries, 71221376 fired transitions, 1675 secs || 82739751 markings, 148013018 edges, 49920 markings/sec, 1675 secs
lola: 72 tries, 71439494 fired transitions, 1680 secs || 82991833 markings, 148467108 edges, 50416 markings/sec, 1680 secs
lola: 72 tries, 71658928 fired transitions, 1685 secs || 83243345 markings, 148921186 edges, 50302 markings/sec, 1685 secs
lola: 72 tries, 71878258 fired transitions, 1690 secs || 83494613 markings, 149373247 edges, 50254 markings/sec, 1690 secs
lola: 73 tries, 72094541 fired transitions, 1695 secs || 83743436 markings, 149822980 edges, 49765 markings/sec, 1695 secs
lola: 73 tries, 72313056 fired transitions, 1700 secs || 83992732 markings, 150273908 edges, 49859 markings/sec, 1700 secs
lola: 73 tries, 72531154 fired transitions, 1705 secs || 84243900 markings, 150726900 edges, 50234 markings/sec, 1705 secs
lola: 73 tries, 72749535 fired transitions, 1710 secs || 84495117 markings, 151178403 edges, 50243 markings/sec, 1710 secs
lola: 73 tries, 72966414 fired transitions, 1715 secs || 84743723 markings, 151626731 edges, 49721 markings/sec, 1715 secs
lola: 74 tries, 73185258 fired transitions, 1720 secs || 84992404 markings, 152073421 edges, 49736 markings/sec, 1720 secs
lola: 74 tries, 73403574 fired transitions, 1725 secs || 85242627 markings, 152527171 edges, 50045 markings/sec, 1725 secs
lola: 74 tries, 73621504 fired transitions, 1730 secs || 85491421 markings, 152978432 edges, 49759 markings/sec, 1730 secs
lola: 74 tries, 73837484 fired transitions, 1735 secs || 85736914 markings, 153422671 edges, 49099 markings/sec, 1735 secs
lola: 75 tries, 74054412 fired transitions, 1740 secs || 85985080 markings, 153869687 edges, 49633 markings/sec, 1740 secs
lola: 75 tries, 74272549 fired transitions, 1745 secs || 86235829 markings, 154319684 edges, 50150 markings/sec, 1745 secs
lola: 75 tries, 74490701 fired transitions, 1750 secs || 86486242 markings, 154769901 edges, 50083 markings/sec, 1750 secs
lola: 75 tries, 74707629 fired transitions, 1755 secs || 86734425 markings, 155218026 edges, 49637 markings/sec, 1755 secs
lola: 75 tries, 74912533 fired transitions, 1760 secs || 86969731 markings, 155641148 edges, 47061 markings/sec, 1760 secs
lola: 76 tries, 75117881 fired transitions, 1765 secs || 87203616 markings, 156065234 edges, 46777 markings/sec, 1765 secs
lola: 76 tries, 75327365 fired transitions, 1770 secs || 87442281 markings, 156494992 edges, 47733 markings/sec, 1770 secs
lola: 76 tries, 75540866 fired transitions, 1775 secs || 87686303 markings, 156933949 edges, 48804 markings/sec, 1775 secs
lola: 76 tries, 75758436 fired transitions, 1780 secs || 87939120 markings, 157388388 edges, 50563 markings/sec, 1780 secs
lola: 76 tries, 75975504 fired transitions, 1785 secs || 88189985 markings, 157842096 edges, 50173 markings/sec, 1785 secs
lola: 77 tries, 76194301 fired transitions, 1790 secs || 88439385 markings, 158292828 edges, 49880 markings/sec, 1790 secs
lola: 77 tries, 76412264 fired transitions, 1795 secs || 88690380 markings, 158745677 edges, 50199 markings/sec, 1795 secs
lola: 77 tries, 76630497 fired transitions, 1800 secs || 88940839 markings, 159198241 edges, 50092 markings/sec, 1800 secs
lola: 77 tries, 76843804 fired transitions, 1805 secs || 89185824 markings, 159639029 edges, 48997 markings/sec, 1805 secs
lola: 78 tries, 77062656 fired transitions, 1810 secs || 89438289 markings, 160095631 edges, 50493 markings/sec, 1810 secs
lola: 78 tries, 77280409 fired transitions, 1815 secs || 89687999 markings, 160543993 edges, 49942 markings/sec, 1815 secs
lola: 78 tries, 77497196 fired transitions, 1820 secs || 89936007 markings, 160989618 edges, 49602 markings/sec, 1820 secs
lola: 78 tries, 77705637 fired transitions, 1825 secs || 90176352 markings, 161423682 edges, 48069 markings/sec, 1825 secs
lola: 78 tries, 77911386 fired transitions, 1830 secs || 90411815 markings, 161847737 edges, 47093 markings/sec, 1830 secs
lola: 79 tries, 78126661 fired transitions, 1835 secs || 90657543 markings, 162291535 edges, 49146 markings/sec, 1835 secs
lola: 79 tries, 78339877 fired transitions, 1840 secs || 90903463 markings, 162734875 edges, 49184 markings/sec, 1840 secs
lola: 79 tries, 78546481 fired transitions, 1845 secs || 91142640 markings, 163165515 edges, 47835 markings/sec, 1845 secs
lola: 79 tries, 78751739 fired transitions, 1850 secs || 91375952 markings, 163587115 edges, 46662 markings/sec, 1850 secs
lola: 79 tries, 78954835 fired transitions, 1855 secs || 91610953 markings, 164009984 edges, 47000 markings/sec, 1855 secs
lola: 80 tries, 79162382 fired transitions, 1860 secs || 91850797 markings, 164441759 edges, 47969 markings/sec, 1860 secs
lola: 80 tries, 79380058 fired transitions, 1865 secs || 92101691 markings, 164893083 edges, 50179 markings/sec, 1865 secs
lola: 80 tries, 79594688 fired transitions, 1870 secs || 92349553 markings, 165340633 edges, 49572 markings/sec, 1870 secs
lola: 80 tries, 79809999 fired transitions, 1875 secs || 92595961 markings, 165785569 edges, 49282 markings/sec, 1875 secs
lola: 81 tries, 80025645 fired transitions, 1880 secs || 92843385 markings, 166231721 edges, 49485 markings/sec, 1880 secs
lola: 81 tries, 80240970 fired transitions, 1885 secs || 93091813 markings, 166676893 edges, 49686 markings/sec, 1885 secs
lola: 81 tries, 80459431 fired transitions, 1890 secs || 93343101 markings, 167129961 edges, 50258 markings/sec, 1890 secs
lola: 81 tries, 80679174 fired transitions, 1895 secs || 93592616 markings, 167580406 edges, 49903 markings/sec, 1895 secs
lola: 81 tries, 80896380 fired transitions, 1900 secs || 93841289 markings, 168031918 edges, 49735 markings/sec, 1900 secs
lola: 82 tries, 81114294 fired transitions, 1905 secs || 94092306 markings, 168482113 edges, 50203 markings/sec, 1905 secs
lola: 82 tries, 81331964 fired transitions, 1910 secs || 94341767 markings, 168932213 edges, 49892 markings/sec, 1910 secs
lola: 82 tries, 81549150 fired transitions, 1915 secs || 94593659 markings, 169385144 edges, 50378 markings/sec, 1915 secs
lola: 82 tries, 81767599 fired transitions, 1920 secs || 94843173 markings, 169835255 edges, 49903 markings/sec, 1920 secs
lola: 82 tries, 81985356 fired transitions, 1925 secs || 95092498 markings, 170284950 edges, 49865 markings/sec, 1925 secs
lola: 83 tries, 82203174 fired transitions, 1930 secs || 95342223 markings, 170735673 edges, 49945 markings/sec, 1930 secs
lola: 83 tries, 82417998 fired transitions, 1935 secs || 95589769 markings, 171182019 edges, 49509 markings/sec, 1935 secs
lola: 83 tries, 82635635 fired transitions, 1940 secs || 95838548 markings, 171629853 edges, 49756 markings/sec, 1940 secs
lola: 83 tries, 82852285 fired transitions, 1945 secs || 96088874 markings, 172084670 edges, 50065 markings/sec, 1945 secs
lola: 84 tries, 83068814 fired transitions, 1950 secs || 96337903 markings, 172534940 edges, 49806 markings/sec, 1950 secs
lola: 84 tries, 83283224 fired transitions, 1955 secs || 96584752 markings, 172982515 edges, 49370 markings/sec, 1955 secs
lola: 84 tries, 83501178 fired transitions, 1960 secs || 96833600 markings, 173431483 edges, 49770 markings/sec, 1960 secs
lola: 84 tries, 83719820 fired transitions, 1965 secs || 97083974 markings, 173882248 edges, 50075 markings/sec, 1965 secs
lola: 84 tries, 83935746 fired transitions, 1970 secs || 97334729 markings, 174334306 edges, 50151 markings/sec, 1970 secs
lola: 85 tries, 84153209 fired transitions, 1975 secs || 97581761 markings, 174780580 edges, 49406 markings/sec, 1975 secs
lola: 85 tries, 84367325 fired transitions, 1980 secs || 97826827 markings, 175223867 edges, 49013 markings/sec, 1980 secs
lola: 85 tries, 84582265 fired transitions, 1985 secs || 98071964 markings, 175664441 edges, 49027 markings/sec, 1985 secs
lola: 85 tries, 84797790 fired transitions, 1990 secs || 98321111 markings, 176114664 edges, 49829 markings/sec, 1990 secs
lola: 86 tries, 85015125 fired transitions, 1995 secs || 98569678 markings, 176563892 edges, 49713 markings/sec, 1995 secs
lola: 86 tries, 85233028 fired transitions, 2000 secs || 98818044 markings, 177011194 edges, 49673 markings/sec, 2000 secs
lola: 86 tries, 85447575 fired transitions, 2005 secs || 99062154 markings, 177450106 edges, 48822 markings/sec, 2005 secs
lola: 86 tries, 85664208 fired transitions, 2010 secs || 99311091 markings, 177900175 edges, 49787 markings/sec, 2010 secs
lola: 86 tries, 85880950 fired transitions, 2015 secs || 99557542 markings, 178346142 edges, 49290 markings/sec, 2015 secs
lola: 87 tries, 86097175 fired transitions, 2020 secs || 99801727 markings, 178785830 edges, 48837 markings/sec, 2020 secs
lola: 87 tries, 86314085 fired transitions, 2025 secs || 100053659 markings, 179237942 edges, 50386 markings/sec, 2025 secs
lola: 87 tries, 86530203 fired transitions, 2030 secs || 100303868 markings, 179688714 edges, 50042 markings/sec, 2030 secs
lola: 87 tries, 86745436 fired transitions, 2035 secs || 100550156 markings, 180132619 edges, 49258 markings/sec, 2035 secs
lola: 87 tries, 86962036 fired transitions, 2040 secs || 100798001 markings, 180580092 edges, 49569 markings/sec, 2040 secs
lola: 88 tries, 87154025 fired transitions, 2045 secs || 101027018 markings, 180994535 edges, 45803 markings/sec, 2045 secs
lola: 88 tries, 87372227 fired transitions, 2050 secs || 101275434 markings, 181442674 edges, 49683 markings/sec, 2050 secs
lola: 88 tries, 87589701 fired transitions, 2055 secs || 101524906 markings, 181892844 edges, 49894 markings/sec, 2055 secs
lola: 88 tries, 87807487 fired transitions, 2060 secs || 101775034 markings, 182344505 edges, 50026 markings/sec, 2060 secs
lola: 89 tries, 88019880 fired transitions, 2065 secs || 102019257 markings, 182782631 edges, 48845 markings/sec, 2065 secs
lola: 89 tries, 88228749 fired transitions, 2070 secs || 102255772 markings, 183209988 edges, 47303 markings/sec, 2070 secs
lola: 89 tries, 88440586 fired transitions, 2075 secs || 102496746 markings, 183646106 edges, 48195 markings/sec, 2075 secs
lola: 89 tries, 88658456 fired transitions, 2080 secs || 102746357 markings, 184097592 edges, 49922 markings/sec, 2080 secs
lola: 89 tries, 88875604 fired transitions, 2085 secs || 102997345 markings, 184547435 edges, 50198 markings/sec, 2085 secs
lola: 90 tries, 89093490 fired transitions, 2090 secs || 103246820 markings, 184997852 edges, 49895 markings/sec, 2090 secs
lola: 90 tries, 89308421 fired transitions, 2095 secs || 103493026 markings, 185441923 edges, 49241 markings/sec, 2095 secs
lola: 90 tries, 89522873 fired transitions, 2100 secs || 103739596 markings, 185885704 edges, 49314 markings/sec, 2100 secs
lola: 90 tries, 89724971 fired transitions, 2105 secs || 103973250 markings, 186305901 edges, 46731 markings/sec, 2105 secs
lola: 90 tries, 89928997 fired transitions, 2110 secs || 104206874 markings, 186727280 edges, 46725 markings/sec, 2110 secs
lola: 91 tries, 90132941 fired transitions, 2115 secs || 104439885 markings, 187149453 edges, 46602 markings/sec, 2115 secs
lola: 91 tries, 90337976 fired transitions, 2120 secs || 104672712 markings, 187571739 edges, 46565 markings/sec, 2120 secs
lola: 91 tries, 90546894 fired transitions, 2125 secs || 104908329 markings, 187996872 edges, 47123 markings/sec, 2125 secs
lola: 91 tries, 90755281 fired transitions, 2130 secs || 105144902 markings, 188425241 edges, 47315 markings/sec, 2130 secs
lola: 91 tries, 90961995 fired transitions, 2135 secs || 105378269 markings, 188846872 edges, 46673 markings/sec, 2135 secs
lola: 92 tries, 91166030 fired transitions, 2140 secs || 105610176 markings, 189266016 edges, 46381 markings/sec, 2140 secs
lola: 92 tries, 91370601 fired transitions, 2145 secs || 105844867 markings, 189690335 edges, 46938 markings/sec, 2145 secs
lola: 92 tries, 91575247 fired transitions, 2150 secs || 106079359 markings, 190113262 edges, 46898 markings/sec, 2150 secs
lola: 92 tries, 91783503 fired transitions, 2155 secs || 106316557 markings, 190541374 edges, 47440 markings/sec, 2155 secs
lola: 92 tries, 91988073 fired transitions, 2160 secs || 106550552 markings, 190963997 edges, 46799 markings/sec, 2160 secs
lola: 93 tries, 92192367 fired transitions, 2165 secs || 106782385 markings, 191382215 edges, 46367 markings/sec, 2165 secs
lola: 93 tries, 92403819 fired transitions, 2170 secs || 107024507 markings, 191818117 edges, 48424 markings/sec, 2170 secs
lola: 93 tries, 92610663 fired transitions, 2175 secs || 107261862 markings, 192247836 edges, 47471 markings/sec, 2175 secs
lola: 93 tries, 92825177 fired transitions, 2180 secs || 107505744 markings, 192689384 edges, 48776 markings/sec, 2180 secs
lola: 94 tries, 93065131 fired transitions, 2185 secs || 107781561 markings, 193182685 edges, 55163 markings/sec, 2185 secs
lola: 94 tries, 93357272 fired transitions, 2190 secs || 108118822 markings, 193777627 edges, 67452 markings/sec, 2190 secs
lola: 94 tries, 93624905 fired transitions, 2195 secs || 108451365 markings, 194368126 edges, 66509 markings/sec, 2195 secs
lola: 94 tries, 93842379 fired transitions, 2200 secs || 108700038 markings, 194816123 edges, 49735 markings/sec, 2200 secs
lola: 95 tries, 94052488 fired transitions, 2205 secs || 108941975 markings, 195253756 edges, 48387 markings/sec, 2205 secs
lola: 95 tries, 94268397 fired transitions, 2210 secs || 109189541 markings, 195700159 edges, 49513 markings/sec, 2210 secs
lola: 95 tries, 94485604 fired transitions, 2215 secs || 109437054 markings, 196145598 edges, 49503 markings/sec, 2215 secs
lola: 95 tries, 94703460 fired transitions, 2220 secs || 109685687 markings, 196594593 edges, 49727 markings/sec, 2220 secs
lola: 95 tries, 94921985 fired transitions, 2225 secs || 109935145 markings, 197047175 edges, 49892 markings/sec, 2225 secs
lola: 96 tries, 95140001 fired transitions, 2230 secs || 110183219 markings, 197496307 edges, 49615 markings/sec, 2230 secs
lola: 96 tries, 95356930 fired transitions, 2235 secs || 110430761 markings, 197944393 edges, 49508 markings/sec, 2235 secs
lola: 96 tries, 95573144 fired transitions, 2240 secs || 110677003 markings, 198389432 edges, 49248 markings/sec, 2240 secs
lola: 96 tries, 95790232 fired transitions, 2245 secs || 110925246 markings, 198836702 edges, 49649 markings/sec, 2245 secs
lola: 97 tries, 96007503 fired transitions, 2250 secs || 111174977 markings, 199288281 edges, 49946 markings/sec, 2250 secs
lola: 97 tries, 96226368 fired transitions, 2255 secs || 111425712 markings, 199742476 edges, 50147 markings/sec, 2255 secs
lola: 97 tries, 96444929 fired transitions, 2260 secs || 111674149 markings, 200194300 edges, 49687 markings/sec, 2260 secs
lola: 97 tries, 96663645 fired transitions, 2265 secs || 111924424 markings, 200646023 edges, 50055 markings/sec, 2265 secs
lola: 97 tries, 96882283 fired transitions, 2270 secs || 112172360 markings, 201095752 edges, 49587 markings/sec, 2270 secs
lola: 98 tries, 97100908 fired transitions, 2275 secs || 112423620 markings, 201548072 edges, 50252 markings/sec, 2275 secs
lola: 98 tries, 97319789 fired transitions, 2280 secs || 112673415 markings, 201999559 edges, 49959 markings/sec, 2280 secs
lola: 98 tries, 97538837 fired transitions, 2285 secs || 112923955 markings, 202451300 edges, 50108 markings/sec, 2285 secs
lola: 98 tries, 97757381 fired transitions, 2290 secs || 113174475 markings, 202901968 edges, 50104 markings/sec, 2290 secs
lola: 98 tries, 97975040 fired transitions, 2295 secs || 113422480 markings, 203349022 edges, 49601 markings/sec, 2295 secs
lola: 99 tries, 98180823 fired transitions, 2300 secs || 113656308 markings, 203770816 edges, 46766 markings/sec, 2300 secs
lola: 99 tries, 98385551 fired transitions, 2305 secs || 113891444 markings, 204196535 edges, 47027 markings/sec, 2305 secs
lola: 99 tries, 98602914 fired transitions, 2310 secs || 114140917 markings, 204647005 edges, 49895 markings/sec, 2310 secs
lola: 99 tries, 98808472 fired transitions, 2315 secs || 114375412 markings, 205069496 edges, 46899 markings/sec, 2315 secs
lola: 100 tries, 99020850 fired transitions, 2320 secs || 114617900 markings, 205506932 edges, 48498 markings/sec, 2320 secs
lola: 100 tries, 99239169 fired transitions, 2325 secs || 114866914 markings, 205956099 edges, 49803 markings/sec, 2325 secs
lola: 100 tries, 99455866 fired transitions, 2330 secs || 115111230 markings, 206397564 edges, 48863 markings/sec, 2330 secs
lola: 100 tries, 99660998 fired transitions, 2335 secs || 115344587 markings, 206820071 edges, 46671 markings/sec, 2335 secs
lola: 100 tries, 99871897 fired transitions, 2340 secs || 115583398 markings, 207250529 edges, 47762 markings/sec, 2340 secs
lola: 101 tries, 100090218 fired transitions, 2345 secs || 115832795 markings, 207699851 edges, 49879 markings/sec, 2345 secs
lola: 101 tries, 100308407 fired transitions, 2350 secs || 116084888 markings, 208154670 edges, 50419 markings/sec, 2350 secs
lola: 101 tries, 100526408 fired transitions, 2355 secs || 116335035 markings, 208604016 edges, 50029 markings/sec, 2355 secs
lola: 101 tries, 100744560 fired transitions, 2360 secs || 116580629 markings, 209049417 edges, 49119 markings/sec, 2360 secs
lola: 101 tries, 100962404 fired transitions, 2365 secs || 116829407 markings, 209498632 edges, 49756 markings/sec, 2365 secs
lola: 102 tries, 101180084 fired transitions, 2370 secs || 117076221 markings, 209946992 edges, 49363 markings/sec, 2370 secs
lola: 102 tries, 101399213 fired transitions, 2375 secs || 117323519 markings, 210394586 edges, 49460 markings/sec, 2375 secs
lola: 102 tries, 101612612 fired transitions, 2380 secs || 117565995 markings, 210833547 edges, 48495 markings/sec, 2380 secs
lola: 102 tries, 101829277 fired transitions, 2385 secs || 117812976 markings, 211279739 edges, 49396 markings/sec, 2385 secs
lola: 103 tries, 102045663 fired transitions, 2390 secs || 118061334 markings, 211729034 edges, 49672 markings/sec, 2390 secs
lola: 103 tries, 102263874 fired transitions, 2395 secs || 118309671 markings, 212176433 edges, 49667 markings/sec, 2395 secs
lola: 103 tries, 102482056 fired transitions, 2400 secs || 118559905 markings, 212627500 edges, 50047 markings/sec, 2400 secs
lola: 103 tries, 102701525 fired transitions, 2405 secs || 118809133 markings, 213079349 edges, 49846 markings/sec, 2405 secs
lola: 103 tries, 102920247 fired transitions, 2410 secs || 119061153 markings, 213535925 edges, 50404 markings/sec, 2410 secs
lola: 104 tries, 103136408 fired transitions, 2415 secs || 119307228 markings, 213981196 edges, 49215 markings/sec, 2415 secs
lola: 104 tries, 103342936 fired transitions, 2420 secs || 119542845 markings, 214406899 edges, 47123 markings/sec, 2420 secs
lola: 104 tries, 103549489 fired transitions, 2425 secs || 119778882 markings, 214834205 edges, 47207 markings/sec, 2425 secs
lola: 104 tries, 103756861 fired transitions, 2430 secs || 120015473 markings, 215262022 edges, 47318 markings/sec, 2430 secs
lola: 104 tries, 103971606 fired transitions, 2435 secs || 120259914 markings, 215703527 edges, 48888 markings/sec, 2435 secs
lola: 105 tries, 104190325 fired transitions, 2440 secs || 120510590 markings, 216157769 edges, 50135 markings/sec, 2440 secs
lola: 105 tries, 104406470 fired transitions, 2445 secs || 120758666 markings, 216605848 edges, 49615 markings/sec, 2445 secs
lola: 105 tries, 104624378 fired transitions, 2450 secs || 121008808 markings, 217057616 edges, 50028 markings/sec, 2450 secs
lola: 105 tries, 104843488 fired transitions, 2455 secs || 121258015 markings, 217509557 edges, 49841 markings/sec, 2455 secs
lola: 106 tries, 105062205 fired transitions, 2460 secs || 121507332 markings, 217962085 edges, 49863 markings/sec, 2460 secs
lola: 106 tries, 105273126 fired transitions, 2465 secs || 121746600 markings, 218394775 edges, 47854 markings/sec, 2465 secs
lola: 106 tries, 105476635 fired transitions, 2470 secs || 121978210 markings, 218814137 edges, 46322 markings/sec, 2470 secs
lola: 106 tries, 105682576 fired transitions, 2475 secs || 122214746 markings, 219241348 edges, 47307 markings/sec, 2475 secs
lola: 106 tries, 105890650 fired transitions, 2480 secs || 122453916 markings, 219675413 edges, 47834 markings/sec, 2480 secs
lola: 107 tries, 106109435 fired transitions, 2485 secs || 122704099 markings, 220126154 edges, 50037 markings/sec, 2485 secs
lola: 107 tries, 106327327 fired transitions, 2490 secs || 122952341 markings, 220575502 edges, 49648 markings/sec, 2490 secs
lola: 107 tries, 106545815 fired transitions, 2495 secs || 123200579 markings, 221026188 edges, 49648 markings/sec, 2495 secs
lola: 107 tries, 106762369 fired transitions, 2500 secs || 123449297 markings, 221474527 edges, 49744 markings/sec, 2500 secs
lola: 107 tries, 106980032 fired transitions, 2505 secs || 123698348 markings, 221926529 edges, 49810 markings/sec, 2505 secs
lola: 108 tries, 107196004 fired transitions, 2510 secs || 123945564 markings, 222374026 edges, 49443 markings/sec, 2510 secs
lola: 108 tries, 107414345 fired transitions, 2515 secs || 124195240 markings, 222826252 edges, 49935 markings/sec, 2515 secs
lola: 108 tries, 107631680 fired transitions, 2520 secs || 124443778 markings, 223276389 edges, 49708 markings/sec, 2520 secs
lola: 108 tries, 107848020 fired transitions, 2525 secs || 124693371 markings, 223730535 edges, 49919 markings/sec, 2525 secs
lola: 109 tries, 108065766 fired transitions, 2530 secs || 124944284 markings, 224183387 edges, 50183 markings/sec, 2530 secs
lola: 109 tries, 108282709 fired transitions, 2535 secs || 125194694 markings, 224633757 edges, 50082 markings/sec, 2535 secs
lola: 109 tries, 108487998 fired transitions, 2540 secs || 125428644 markings, 225058313 edges, 46790 markings/sec, 2540 secs
lola: 109 tries, 108691805 fired transitions, 2545 secs || 125662987 markings, 225482078 edges, 46869 markings/sec, 2545 secs
lola: 109 tries, 108896406 fired transitions, 2550 secs || 125898048 markings, 225906300 edges, 47012 markings/sec, 2550 secs
lola: 110 tries, 109101483 fired transitions, 2555 secs || 126135439 markings, 226337458 edges, 47478 markings/sec, 2555 secs
lola: 110 tries, 109305613 fired transitions, 2560 secs || 126369674 markings, 226761103 edges, 46847 markings/sec, 2560 secs
lola: 110 tries, 109512829 fired transitions, 2565 secs || 126607046 markings, 227188044 edges, 47474 markings/sec, 2565 secs
lola: 110 tries, 109717292 fired transitions, 2570 secs || 126841789 markings, 227610916 edges, 46949 markings/sec, 2570 secs
lola: 110 tries, 109922610 fired transitions, 2575 secs || 127074593 markings, 228032205 edges, 46561 markings/sec, 2575 secs
lola: 111 tries, 110126996 fired transitions, 2580 secs || 127304568 markings, 228447543 edges, 45995 markings/sec, 2580 secs
lola: 111 tries, 110355763 fired transitions, 2585 secs || 127578841 markings, 228938817 edges, 54855 markings/sec, 2585 secs
lola: 111 tries, 110624044 fired transitions, 2590 secs || 127931947 markings, 229565324 edges, 70621 markings/sec, 2590 secs
lola: 111 tries, 110912048 fired transitions, 2595 secs || 128280667 markings, 230181410 edges, 69744 markings/sec, 2595 secs
lola: 112 tries, 111151544 fired transitions, 2600 secs || 128567541 markings, 230695507 edges, 57375 markings/sec, 2600 secs
lola: 112 tries, 111367581 fired transitions, 2605 secs || 128818492 markings, 231149269 edges, 50190 markings/sec, 2605 secs
lola: 112 tries, 111585095 fired transitions, 2610 secs || 129066686 markings, 231597259 edges, 49639 markings/sec, 2610 secs
lola: 112 tries, 111800960 fired transitions, 2615 secs || 129315216 markings, 232046662 edges, 49706 markings/sec, 2615 secs
lola: 113 tries, 112017388 fired transitions, 2620 secs || 129565195 markings, 232499075 edges, 49996 markings/sec, 2620 secs
lola: 113 tries, 112234724 fired transitions, 2625 secs || 129816117 markings, 232950619 edges, 50184 markings/sec, 2625 secs
lola: 113 tries, 112452013 fired transitions, 2630 secs || 130064790 markings, 233399609 edges, 49735 markings/sec, 2630 secs
lola: 113 tries, 112669417 fired transitions, 2635 secs || 130312967 markings, 233846924 edges, 49635 markings/sec, 2635 secs
lola: 113 tries, 112886250 fired transitions, 2640 secs || 130562782 markings, 234298765 edges, 49963 markings/sec, 2640 secs
lola: 114 tries, 113101315 fired transitions, 2645 secs || 130810544 markings, 234745810 edges, 49552 markings/sec, 2645 secs
lola: 114 tries, 113320155 fired transitions, 2650 secs || 131060832 markings, 235196406 edges, 50058 markings/sec, 2650 secs
lola: 114 tries, 113536106 fired transitions, 2655 secs || 131306011 markings, 235639709 edges, 49036 markings/sec, 2655 secs
lola: 114 tries, 113753175 fired transitions, 2660 secs || 131554460 markings, 236089680 edges, 49690 markings/sec, 2660 secs
lola: 114 tries, 113965678 fired transitions, 2665 secs || 131796182 markings, 236525590 edges, 48344 markings/sec, 2665 secs
lola: 115 tries, 114184586 fired transitions, 2670 secs || 132045446 markings, 236978775 edges, 49853 markings/sec, 2670 secs
lola: 115 tries, 114403680 fired transitions, 2675 secs || 132296821 markings, 237433248 edges, 50275 markings/sec, 2675 secs
lola: 115 tries, 114622925 fired transitions, 2680 secs || 132549570 markings, 237890620 edges, 50550 markings/sec, 2680 secs
lola: 115 tries, 114841832 fired transitions, 2685 secs || 132801843 markings, 238346311 edges, 50455 markings/sec, 2685 secs
lola: 116 tries, 115059798 fired transitions, 2690 secs || 133050332 markings, 238795862 edges, 49698 markings/sec, 2690 secs
lola: 116 tries, 115278506 fired transitions, 2695 secs || 133300769 markings, 239252448 edges, 50087 markings/sec, 2695 secs
lola: 116 tries, 115496837 fired transitions, 2700 secs || 133548758 markings, 239701081 edges, 49598 markings/sec, 2700 secs
lola: 116 tries, 115714228 fired transitions, 2705 secs || 133793482 markings, 240142446 edges, 48945 markings/sec, 2705 secs
lola: 116 tries, 115931258 fired transitions, 2710 secs || 134040566 markings, 240589535 edges, 49417 markings/sec, 2710 secs
lola: 117 tries, 116150083 fired transitions, 2715 secs || 134290526 markings, 241042799 edges, 49992 markings/sec, 2715 secs
lola: 117 tries, 116369211 fired transitions, 2720 secs || 134539689 markings, 241492944 edges, 49833 markings/sec, 2720 secs
lola: 117 tries, 116587366 fired transitions, 2725 secs || 134788773 markings, 241943746 edges, 49817 markings/sec, 2725 secs
lola: 117 tries, 116800471 fired transitions, 2730 secs || 135033891 markings, 242387687 edges, 49024 markings/sec, 2730 secs
lola: 118 tries, 117018204 fired transitions, 2735 secs || 135281815 markings, 242835487 edges, 49585 markings/sec, 2735 secs
lola: 118 tries, 117236735 fired transitions, 2740 secs || 135529691 markings, 243284448 edges, 49575 markings/sec, 2740 secs
lola: 118 tries, 117453702 fired transitions, 2745 secs || 135778786 markings, 243736365 edges, 49819 markings/sec, 2745 secs
lola: 118 tries, 117671522 fired transitions, 2750 secs || 136028714 markings, 244189428 edges, 49986 markings/sec, 2750 secs
lola: 118 tries, 117888921 fired transitions, 2755 secs || 136278153 markings, 244641092 edges, 49888 markings/sec, 2755 secs
lola: 119 tries, 118107278 fired transitions, 2760 secs || 136528116 markings, 245091226 edges, 49993 markings/sec, 2760 secs
lola: 119 tries, 118326195 fired transitions, 2765 secs || 136781267 markings, 245547378 edges, 50630 markings/sec, 2765 secs
lola: 119 tries, 118543503 fired transitions, 2770 secs || 137030841 markings, 245998858 edges, 49915 markings/sec, 2770 secs
lola: 119 tries, 118762488 fired transitions, 2775 secs || 137280106 markings, 246449142 edges, 49853 markings/sec, 2775 secs
lola: 119 tries, 118980672 fired transitions, 2780 secs || 137530580 markings, 246902158 edges, 50095 markings/sec, 2780 secs
lola: 120 tries, 119198494 fired transitions, 2785 secs || 137780556 markings, 247353696 edges, 49995 markings/sec, 2785 secs
lola: 120 tries, 119405345 fired transitions, 2790 secs || 138013048 markings, 247775393 edges, 46498 markings/sec, 2790 secs
lola: 120 tries, 119623980 fired transitions, 2795 secs || 138263311 markings, 248226581 edges, 50053 markings/sec, 2795 secs
lola: 120 tries, 119837102 fired transitions, 2800 secs || 138509725 markings, 248674285 edges, 49283 markings/sec, 2800 secs
lola: 121 tries, 120048409 fired transitions, 2805 secs || 138752820 markings, 249113308 edges, 48619 markings/sec, 2805 secs
lola: 121 tries, 120255998 fired transitions, 2810 secs || 138987348 markings, 249539725 edges, 46906 markings/sec, 2810 secs
lola: 121 tries, 120461422 fired transitions, 2815 secs || 139223475 markings, 249965960 edges, 47225 markings/sec, 2815 secs
lola: 121 tries, 120671619 fired transitions, 2820 secs || 139463101 markings, 250398782 edges, 47925 markings/sec, 2820 secs
lola: 121 tries, 120889915 fired transitions, 2825 secs || 139711931 markings, 250851096 edges, 49766 markings/sec, 2825 secs
lola: 122 tries, 121104048 fired transitions, 2830 secs || 139956063 markings, 251293642 edges, 48826 markings/sec, 2830 secs
lola: 122 tries, 121323273 fired transitions, 2835 secs || 140205861 markings, 251745745 edges, 49960 markings/sec, 2835 secs
lola: 122 tries, 121541893 fired transitions, 2840 secs || 140455346 markings, 252197983 edges, 49897 markings/sec, 2840 secs
lola: 122 tries, 121759384 fired transitions, 2845 secs || 140703905 markings, 252646578 edges, 49712 markings/sec, 2845 secs
lola: 122 tries, 121978142 fired transitions, 2850 secs || 140953952 markings, 253100880 edges, 50009 markings/sec, 2850 secs
lola: 123 tries, 122197289 fired transitions, 2855 secs || 141203863 markings, 253553724 edges, 49982 markings/sec, 2855 secs
lola: 123 tries, 122416916 fired transitions, 2860 secs || 141454068 markings, 254006103 edges, 50041 markings/sec, 2860 secs
lola: 123 tries, 122633036 fired transitions, 2865 secs || 141701600 markings, 254453890 edges, 49506 markings/sec, 2865 secs
lola: 123 tries, 122852089 fired transitions, 2870 secs || 141950253 markings, 254905226 edges, 49731 markings/sec, 2870 secs
lola: 124 tries, 123065690 fired transitions, 2875 secs || 142194398 markings, 255344878 edges, 48829 markings/sec, 2875 secs
lola: 124 tries, 123271053 fired transitions, 2880 secs || 142428531 markings, 255770959 edges, 46827 markings/sec, 2880 secs
lola: 124 tries, 123489547 fired transitions, 2885 secs || 142679224 markings, 256227157 edges, 50139 markings/sec, 2885 secs
lola: 124 tries, 123707998 fired transitions, 2890 secs || 142926392 markings, 256673604 edges, 49434 markings/sec, 2890 secs
lola: 124 tries, 123920236 fired transitions, 2895 secs || 143168780 markings, 257110893 edges, 48478 markings/sec, 2895 secs
lola: 125 tries, 124137554 fired transitions, 2900 secs || 143417628 markings, 257561318 edges, 49770 markings/sec, 2900 secs
lola: 125 tries, 124356517 fired transitions, 2905 secs || 143668788 markings, 258015874 edges, 50232 markings/sec, 2905 secs
lola: 125 tries, 124576386 fired transitions, 2910 secs || 143920644 markings, 258471180 edges, 50371 markings/sec, 2910 secs
lola: 125 tries, 124795919 fired transitions, 2915 secs || 144173150 markings, 258927167 edges, 50501 markings/sec, 2915 secs
lola: 126 tries, 125015751 fired transitions, 2920 secs || 144425062 markings, 259385011 edges, 50382 markings/sec, 2920 secs
lola: 126 tries, 125232933 fired transitions, 2925 secs || 144674262 markings, 259835408 edges, 49840 markings/sec, 2925 secs
lola: 126 tries, 125452638 fired transitions, 2930 secs || 144926839 markings, 260292611 edges, 50515 markings/sec, 2930 secs
lola: 126 tries, 125672392 fired transitions, 2935 secs || 145178916 markings, 260748212 edges, 50415 markings/sec, 2935 secs
lola: 126 tries, 125890735 fired transitions, 2940 secs || 145431079 markings, 261204224 edges, 50433 markings/sec, 2940 secs
lola: 127 tries, 126106235 fired transitions, 2945 secs || 145678961 markings, 261652220 edges, 49576 markings/sec, 2945 secs
lola: 127 tries, 126325558 fired transitions, 2950 secs || 145929468 markings, 262105157 edges, 50101 markings/sec, 2950 secs
lola: 127 tries, 126543762 fired transitions, 2955 secs || 146178303 markings, 262556694 edges, 49767 markings/sec, 2955 secs
lola: 127 tries, 126764138 fired transitions, 2960 secs || 146430669 markings, 263012408 edges, 50473 markings/sec, 2960 secs
lola: 127 tries, 126983402 fired transitions, 2965 secs || 146683298 markings, 263467043 edges, 50526 markings/sec, 2965 secs
lola: 128 tries, 127203464 fired transitions, 2970 secs || 146933952 markings, 263922117 edges, 50131 markings/sec, 2970 secs
lola: 128 tries, 127421869 fired transitions, 2975 secs || 147184527 markings, 264375118 edges, 50115 markings/sec, 2975 secs
lola: 128 tries, 127640129 fired transitions, 2980 secs || 147435678 markings, 264827935 edges, 50230 markings/sec, 2980 secs
lola: 128 tries, 127857129 fired transitions, 2985 secs || 147686081 markings, 265282365 edges, 50081 markings/sec, 2985 secs
lola: 129 tries, 128076928 fired transitions, 2990 secs || 147939178 markings, 265742361 edges, 50619 markings/sec, 2990 secs
lola: 129 tries, 128296711 fired transitions, 2995 secs || 148193371 markings, 266201392 edges, 50839 markings/sec, 2995 secs
lola: 129 tries, 128516669 fired transitions, 3000 secs || 148450643 markings, 266664986 edges, 51454 markings/sec, 3000 secs
lola: 129 tries, 128736218 fired transitions, 3005 secs || 148702698 markings, 267121499 edges, 50411 markings/sec, 3005 secs
lola: 129 tries, 128952835 fired transitions, 3010 secs || 148951332 markings, 267570596 edges, 49727 markings/sec, 3010 secs
lola: 130 tries, 129173061 fired transitions, 3015 secs || 149206574 markings, 268034602 edges, 51048 markings/sec, 3015 secs
lola: 130 tries, 129390525 fired transitions, 3020 secs || 149458819 markings, 268492508 edges, 50449 markings/sec, 3020 secs
lola: 130 tries, 129611998 fired transitions, 3025 secs || 149712935 markings, 268953190 edges, 50823 markings/sec, 3025 secs
lola: 130 tries, 129832355 fired transitions, 3030 secs || 149967843 markings, 269415649 edges, 50982 markings/sec, 3030 secs
lola: 131 tries, 130052821 fired transitions, 3035 secs || 150224681 markings, 269879786 edges, 51368 markings/sec, 3035 secs
lola: 131 tries, 130273446 fired transitions, 3040 secs || 150480286 markings, 270343336 edges, 51121 markings/sec, 3040 secs
lola: 131 tries, 130492686 fired transitions, 3045 secs || 150734681 markings, 270802916 edges, 50879 markings/sec, 3045 secs
lola: 131 tries, 130713321 fired transitions, 3050 secs || 150991282 markings, 271267603 edges, 51320 markings/sec, 3050 secs
lola: 131 tries, 130930648 fired transitions, 3055 secs || 151241983 markings, 271722995 edges, 50140 markings/sec, 3055 secs
lola: 132 tries, 131150004 fired transitions, 3060 secs || 151493403 markings, 272177077 edges, 50284 markings/sec, 3060 secs
lola: 132 tries, 131371276 fired transitions, 3065 secs || 151750222 markings, 272640372 edges, 51364 markings/sec, 3065 secs
lola: 132 tries, 131591399 fired transitions, 3070 secs || 152004266 markings, 273099393 edges, 50809 markings/sec, 3070 secs
lola: 132 tries, 131812267 fired transitions, 3075 secs || 152259776 markings, 273561250 edges, 51102 markings/sec, 3075 secs
lola: 133 tries, 132033359 fired transitions, 3080 secs || 152517710 markings, 274026313 edges, 51587 markings/sec, 3080 secs
lola: 133 tries, 132254004 fired transitions, 3085 secs || 152773011 markings, 274490074 edges, 51060 markings/sec, 3085 secs
lola: 133 tries, 132475155 fired transitions, 3090 secs || 153027656 markings, 274950732 edges, 50929 markings/sec, 3090 secs
lola: 133 tries, 132696687 fired transitions, 3095 secs || 153284523 markings, 275413490 edges, 51373 markings/sec, 3095 secs
lola: 133 tries, 132917752 fired transitions, 3100 secs || 153542013 markings, 275879542 edges, 51498 markings/sec, 3100 secs
lola: 134 tries, 133138804 fired transitions, 3105 secs || 153799439 markings, 276346010 edges, 51485 markings/sec, 3105 secs
lola: 134 tries, 133360075 fired transitions, 3110 secs || 154058545 markings, 276813610 edges, 51821 markings/sec, 3110 secs
lola: 134 tries, 133581257 fired transitions, 3115 secs || 154313677 markings, 277275086 edges, 51026 markings/sec, 3115 secs
lola: 134 tries, 133796370 fired transitions, 3120 secs || 154568586 markings, 277738720 edges, 50982 markings/sec, 3120 secs
lola: 135 tries, 134016452 fired transitions, 3125 secs || 154828028 markings, 278206564 edges, 51888 markings/sec, 3125 secs
lola: 135 tries, 134237731 fired transitions, 3130 secs || 155084950 markings, 278674089 edges, 51384 markings/sec, 3130 secs
lola: 135 tries, 134459169 fired transitions, 3135 secs || 155341819 markings, 279138968 edges, 51374 markings/sec, 3135 secs
lola: 135 tries, 134700267 fired transitions, 3140 secs || 155632209 markings, 279659693 edges, 58078 markings/sec, 3140 secs
lola: 135 tries, 134990698 fired transitions, 3145 secs || 155995222 markings, 280301026 edges, 72603 markings/sec, 3145 secs
lola: 136 tries, 135283123 fired transitions, 3150 secs || 156355114 markings, 280938685 edges, 71978 markings/sec, 3150 secs
lola: 136 tries, 135575528 fired transitions, 3155 secs || 156711671 markings, 281569846 edges, 71311 markings/sec, 3155 secs
lola: 136 tries, 135868253 fired transitions, 3160 secs || 157069063 markings, 282201269 edges, 71478 markings/sec, 3160 secs
lola: 137 tries, 136157956 fired transitions, 3165 secs || 157424883 markings, 282831345 edges, 71164 markings/sec, 3165 secs
lola: 137 tries, 136443382 fired transitions, 3170 secs || 157795506 markings, 283487678 edges, 74125 markings/sec, 3170 secs
lola: 137 tries, 136735145 fired transitions, 3175 secs || 158158217 markings, 284128914 edges, 72542 markings/sec, 3175 secs
lola: 138 tries, 137025931 fired transitions, 3180 secs || 158522020 markings, 284772815 edges, 72761 markings/sec, 3180 secs
lola: 138 tries, 137317207 fired transitions, 3185 secs || 158886990 markings, 285419259 edges, 72994 markings/sec, 3185 secs
lola: 138 tries, 137607479 fired transitions, 3190 secs || 159249860 markings, 286061206 edges, 72574 markings/sec, 3190 secs
lola: 138 tries, 137896333 fired transitions, 3195 secs || 159614947 markings, 286707413 edges, 73017 markings/sec, 3195 secs
lola: 139 tries, 138187111 fired transitions, 3200 secs || 159976511 markings, 287347836 edges, 72313 markings/sec, 3200 secs
lola: 139 tries, 138479397 fired transitions, 3205 secs || 160333637 markings, 287980458 edges, 71425 markings/sec, 3205 secs
lola: 139 tries, 138772540 fired transitions, 3210 secs || 160687585 markings, 288607518 edges, 70790 markings/sec, 3210 secs
lola: 140 tries, 139066017 fired transitions, 3215 secs || 161044276 markings, 289237098 edges, 71338 markings/sec, 3215 secs
lola: 140 tries, 139359532 fired transitions, 3220 secs || 161402637 markings, 289870182 edges, 71672 markings/sec, 3220 secs
lola: 140 tries, 139650953 fired transitions, 3225 secs || 161762717 markings, 290509165 edges, 72016 markings/sec, 3225 secs
lola: 140 tries, 139943254 fired transitions, 3230 secs || 162124352 markings, 291148785 edges, 72327 markings/sec, 3230 secs
lola: 141 tries, 140233717 fired transitions, 3235 secs || 162483017 markings, 291784238 edges, 71733 markings/sec, 3235 secs
lola: 141 tries, 140520420 fired transitions, 3240 secs || 162846411 markings, 292428342 edges, 72679 markings/sec, 3240 secs
lola: 141 tries, 140811720 fired transitions, 3245 secs || 163204230 markings, 293063279 edges, 71564 markings/sec, 3245 secs
lola: 142 tries, 141102578 fired transitions, 3250 secs || 163563982 markings, 293698375 edges, 71950 markings/sec, 3250 secs
lola: 142 tries, 141390455 fired transitions, 3255 secs || 163931084 markings, 294347626 edges, 73420 markings/sec, 3255 secs
lola: 142 tries, 141678230 fired transitions, 3260 secs || 164300376 markings, 295001226 edges, 73858 markings/sec, 3260 secs
lola: 142 tries, 141965888 fired transitions, 3265 secs || 164669194 markings, 295656447 edges, 73764 markings/sec, 3265 secs
lola: 143 tries, 142254783 fired transitions, 3270 secs || 165028324 markings, 296290455 edges, 71826 markings/sec, 3270 secs
lola: 143 tries, 142545552 fired transitions, 3275 secs || 165387799 markings, 296924103 edges, 71895 markings/sec, 3275 secs
lola: 143 tries, 142837820 fired transitions, 3280 secs || 165746324 markings, 297558890 edges, 71705 markings/sec, 3280 secs
lola: 144 tries, 143132646 fired transitions, 3285 secs || 166106466 markings, 298195201 edges, 72028 markings/sec, 3285 secs
lola: 144 tries, 143424714 fired transitions, 3290 secs || 166468374 markings, 298835266 edges, 72382 markings/sec, 3290 secs
lola: 144 tries, 143719471 fired transitions, 3295 secs || 166828139 markings, 299473601 edges, 71953 markings/sec, 3295 secs
lola: 144 tries, 143974764 fired transitions, 3300 secs || 167136431 markings, 300024672 edges, 61658 markings/sec, 3300 secs
lola: 145 tries, 144194996 fired transitions, 3305 secs || 167391369 markings, 300485853 edges, 50988 markings/sec, 3305 secs
lola: 145 tries, 144414089 fired transitions, 3310 secs || 167644452 markings, 300945582 edges, 50617 markings/sec, 3310 secs
lola: 145 tries, 144635034 fired transitions, 3315 secs || 167901519 markings, 301411735 edges, 51413 markings/sec, 3315 secs
lola: 145 tries, 144932425 fired transitions, 3320 secs || 168260358 markings, 302049383 edges, 71768 markings/sec, 3320 secs
lola: 146 tries, 145228654 fired transitions, 3325 secs || 168620224 markings, 302686712 edges, 71973 markings/sec, 3325 secs
lola: 146 tries, 145525866 fired transitions, 3330 secs || 168980937 markings, 303326351 edges, 72143 markings/sec, 3330 secs
lola: 146 tries, 145821855 fired transitions, 3335 secs || 169340293 markings, 303964578 edges, 71871 markings/sec, 3335 secs
lola: 147 tries, 146118604 fired transitions, 3340 secs || 169705302 markings, 304610618 edges, 73002 markings/sec, 3340 secs
lola: 147 tries, 146414249 fired transitions, 3345 secs || 170068699 markings, 305252250 edges, 72679 markings/sec, 3345 secs
lola: 147 tries, 146708968 fired transitions, 3350 secs || 170430486 markings, 305892340 edges, 72357 markings/sec, 3350 secs
lola: 148 tries, 147004980 fired transitions, 3355 secs || 170794284 markings, 306537264 edges, 72760 markings/sec, 3355 secs
lola: 148 tries, 147296481 fired transitions, 3360 secs || 171160023 markings, 307184974 edges, 73148 markings/sec, 3360 secs
lola: 148 tries, 147586855 fired transitions, 3365 secs || 171525553 markings, 307830769 edges, 73106 markings/sec, 3365 secs
lola: 148 tries, 147876576 fired transitions, 3370 secs || 171888903 markings, 308475080 edges, 72670 markings/sec, 3370 secs
lola: 149 tries, 148167072 fired transitions, 3375 secs || 172252347 markings, 309118626 edges, 72689 markings/sec, 3375 secs
lola: 149 tries, 148458343 fired transitions, 3380 secs || 172614163 markings, 309759865 edges, 72363 markings/sec, 3380 secs
lola: 149 tries, 148750241 fired transitions, 3385 secs || 172974995 markings, 310398599 edges, 72166 markings/sec, 3385 secs
lola: 150 tries, 149041130 fired transitions, 3390 secs || 173337513 markings, 311040334 edges, 72504 markings/sec, 3390 secs
lola: 150 tries, 149331543 fired transitions, 3395 secs || 173706486 markings, 311694150 edges, 73795 markings/sec, 3395 secs
lola: 150 tries, 149622857 fired transitions, 3400 secs || 174073326 markings, 312346178 edges, 73368 markings/sec, 3400 secs
lola: 150 tries, 149913742 fired transitions, 3405 secs || 174439985 markings, 312996656 edges, 73332 markings/sec, 3405 secs
lola: 151 tries, 150204294 fired transitions, 3410 secs || 174803912 markings, 313640405 edges, 72785 markings/sec, 3410 secs
lola: 151 tries, 150495539 fired transitions, 3415 secs || 175166383 markings, 314281525 edges, 72494 markings/sec, 3415 secs
lola: 151 tries, 150786517 fired transitions, 3420 secs || 175530779 markings, 314925361 edges, 72879 markings/sec, 3420 secs
lola: 152 tries, 151077385 fired transitions, 3425 secs || 175892908 markings, 315566695 edges, 72426 markings/sec, 3425 secs
lola: 152 tries, 151366999 fired transitions, 3430 secs || 176257276 markings, 316212736 edges, 72874 markings/sec, 3430 secs
lola: 152 tries, 151656618 fired transitions, 3435 secs || 176624501 markings, 316863223 edges, 73445 markings/sec, 3435 secs
lola: 152 tries, 151946848 fired transitions, 3440 secs || 176991657 markings, 317513371 edges, 73431 markings/sec, 3440 secs
lola: 153 tries, 152227381 fired transitions, 3445 secs || 177341002 markings, 318133177 edges, 69869 markings/sec, 3445 secs
lola: 153 tries, 152517801 fired transitions, 3450 secs || 177705972 markings, 318777572 edges, 72994 markings/sec, 3450 secs
lola: 153 tries, 152808891 fired transitions, 3455 secs || 178067715 markings, 319418555 edges, 72349 markings/sec, 3455 secs
lola: 154 tries, 153100006 fired transitions, 3460 secs || 178434260 markings, 320069492 edges, 73309 markings/sec, 3460 secs
lola: 154 tries, 153391322 fired transitions, 3465 secs || 178800594 markings, 320716370 edges, 73267 markings/sec, 3465 secs
lola: 154 tries, 153631995 fired transitions, 3470 secs || 179089322 markings, 321232532 edges, 57746 markings/sec, 3470 secs
lola: 154 tries, 153851650 fired transitions, 3475 secs || 179344523 markings, 321693715 edges, 51040 markings/sec, 3475 secs
lola: 155 tries, 154072076 fired transitions, 3480 secs || 179599919 markings, 322156591 edges, 51079 markings/sec, 3480 secs
lola: 155 tries, 154293110 fired transitions, 3485 secs || 179853840 markings, 322617377 edges, 50784 markings/sec, 3485 secs
lola: 155 tries, 154514372 fired transitions, 3490 secs || 180108662 markings, 323078477 edges, 50964 markings/sec, 3490 secs
lola: 155 tries, 154735246 fired transitions, 3495 secs || 180363371 markings, 323540089 edges, 50942 markings/sec, 3495 secs
lola: 155 tries, 154955101 fired transitions, 3500 secs || 180619147 markings, 324003142 edges, 51155 markings/sec, 3500 secs
lola: 156 tries, 155175887 fired transitions, 3505 secs || 180874922 markings, 324467166 edges, 51155 markings/sec, 3505 secs
lola: 156 tries, 155395962 fired transitions, 3510 secs || 181129974 markings, 324929346 edges, 51010 markings/sec, 3510 secs
lola: 156 tries, 155615632 fired transitions, 3515 secs || 181388424 markings, 325398843 edges, 51690 markings/sec, 3515 secs
lola: 156 tries, 155835649 fired transitions, 3520 secs || 181643511 markings, 325861433 edges, 51017 markings/sec, 3520 secs
lola: 157 tries, 156056082 fired transitions, 3525 secs || 181898783 markings, 326324284 edges, 51054 markings/sec, 3525 secs
lola: 157 tries, 156277881 fired transitions, 3530 secs || 182154660 markings, 326787061 edges, 51175 markings/sec, 3530 secs
lola: 157 tries, 156499419 fired transitions, 3535 secs || 182412892 markings, 327252454 edges, 51646 markings/sec, 3535 secs
lola: 157 tries, 156720422 fired transitions, 3540 secs || 182668045 markings, 327713858 edges, 51031 markings/sec, 3540 secs
lola: 157 tries, 156941659 fired transitions, 3545 secs || 182924324 markings, 328179084 edges, 51256 markings/sec, 3545 secs
lola: 158 tries, 157163447 fired transitions, 3550 secs || 183179330 markings, 328639261 edges, 51001 markings/sec, 3550 secs
lola: 158 tries, 157380183 fired transitions, 3555 secs || 183425426 markings, 329085324 edges, 49219 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 10907864 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 1554504717814

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-3A"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is NoC3x3-PT-3A, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r181-csrt-155344535000273"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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