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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.110 3113100.00 6280818.00 3176.70 [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-155344535000255.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-2A, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535000255
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.1K Mar 23 12:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 12:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 23 12:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 23 12:17 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.5K Mar 23 12:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 23 12:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K 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.8K Mar 23 12:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 23 12:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 23 11:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 11:59 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 127K 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-2A-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554502205023

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ NoC3x3-PT-2A @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 458
rslt: Output for GlobalProperties @ NoC3x3-PT-2A
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: 789/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 361
lola: finding significant places
lola: 361 places, 428 transitions, 234 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 121 generators (84 in search tree, 37 by composition)
lola: representing 6.27415E+30 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 237697 fired transitions, 0 secs || 313852 markings, 558150 edges, 62770 markings/sec, 0 secs
lola: 1 tries, 548551 fired transitions, 5 secs || 754200 markings, 1292603 edges, 88070 markings/sec, 5 secs
lola: 1 tries, 840129 fired transitions, 10 secs || 1170104 markings, 1974042 edges, 83181 markings/sec, 10 secs
lola: 2 tries, 1083480 fired transitions, 15 secs || 1566324 markings, 2619255 edges, 79244 markings/sec, 15 secs
lola: 2 tries, 1402493 fired transitions, 20 secs || 2006739 markings, 3334096 edges, 88083 markings/sec, 20 secs
lola: 2 tries, 1724998 fired transitions, 25 secs || 2445628 markings, 4049314 edges, 87778 markings/sec, 25 secs
lola: 3 tries, 2088767 fired transitions, 30 secs || 2887036 markings, 4773600 edges, 88282 markings/sec, 30 secs
lola: 3 tries, 2458981 fired transitions, 35 secs || 3340996 markings, 5517703 edges, 90792 markings/sec, 35 secs
lola: 3 tries, 2841257 fired transitions, 40 secs || 3785729 markings, 6249283 edges, 88947 markings/sec, 40 secs
lola: 4 tries, 3240042 fired transitions, 45 secs || 4214716 markings, 6943549 edges, 85797 markings/sec, 45 secs
lola: 4 tries, 3607003 fired transitions, 50 secs || 4628237 markings, 7617289 edges, 82704 markings/sec, 50 secs
lola: 4 tries, 3956681 fired transitions, 55 secs || 5007579 markings, 8241013 edges, 75868 markings/sec, 55 secs
lola: 5 tries, 4301840 fired transitions, 60 secs || 5433454 markings, 8947689 edges, 85175 markings/sec, 60 secs
lola: 5 tries, 4673256 fired transitions, 65 secs || 5851084 markings, 9643166 edges, 83526 markings/sec, 65 secs
lola: 6 tries, 5060965 fired transitions, 70 secs || 6271698 markings, 10342805 edges, 84123 markings/sec, 70 secs
lola: 6 tries, 5399285 fired transitions, 75 secs || 6671050 markings, 11010803 edges, 79870 markings/sec, 75 secs
lola: 6 tries, 5648486 fired transitions, 80 secs || 7044485 markings, 11638293 edges, 74687 markings/sec, 80 secs
lola: 6 tries, 5895802 fired transitions, 85 secs || 7431505 markings, 12289628 edges, 77404 markings/sec, 85 secs
lola: 7 tries, 6268958 fired transitions, 90 secs || 7882748 markings, 13048965 edges, 90249 markings/sec, 90 secs
lola: 7 tries, 6671468 fired transitions, 95 secs || 8321134 markings, 13788284 edges, 87677 markings/sec, 95 secs
lola: 8 tries, 7082708 fired transitions, 100 secs || 8743478 markings, 14500736 edges, 84469 markings/sec, 100 secs
lola: 8 tries, 7392363 fired transitions, 105 secs || 9135409 markings, 15163263 edges, 78386 markings/sec, 105 secs
lola: 8 tries, 7718371 fired transitions, 110 secs || 9537726 markings, 15844105 edges, 80463 markings/sec, 110 secs
lola: 9 tries, 8090785 fired transitions, 115 secs || 9976167 markings, 16586785 edges, 87688 markings/sec, 115 secs
lola: 9 tries, 8438106 fired transitions, 120 secs || 10391433 markings, 17290519 edges, 83053 markings/sec, 120 secs
lola: 9 tries, 8755005 fired transitions, 125 secs || 10778519 markings, 17947597 edges, 77417 markings/sec, 125 secs
lola: 10 tries, 9096221 fired transitions, 130 secs || 11166018 markings, 18605513 edges, 77500 markings/sec, 130 secs
lola: 10 tries, 9466311 fired transitions, 135 secs || 11587119 markings, 19319010 edges, 84220 markings/sec, 135 secs
lola: 10 tries, 9849672 fired transitions, 140 secs || 12013522 markings, 20042722 edges, 85281 markings/sec, 140 secs
lola: 11 tries, 10235570 fired transitions, 145 secs || 12407273 markings, 20711505 edges, 78750 markings/sec, 145 secs
lola: 11 tries, 10593525 fired transitions, 150 secs || 12842952 markings, 21455327 edges, 87136 markings/sec, 150 secs
lola: 11 tries, 10838892 fired transitions, 155 secs || 13219344 markings, 22094718 edges, 75278 markings/sec, 155 secs
lola: 12 tries, 11109944 fired transitions, 160 secs || 13625832 markings, 22786473 edges, 81298 markings/sec, 160 secs
lola: 12 tries, 11461389 fired transitions, 165 secs || 14044563 markings, 23500249 edges, 83746 markings/sec, 165 secs
lola: 12 tries, 11711700 fired transitions, 170 secs || 14410446 markings, 24121195 edges, 73177 markings/sec, 170 secs
lola: 13 tries, 12047344 fired transitions, 175 secs || 14788463 markings, 24765430 edges, 75603 markings/sec, 175 secs
lola: 13 tries, 12322580 fired transitions, 180 secs || 15160915 markings, 25400243 edges, 74490 markings/sec, 180 secs
lola: 13 tries, 12570547 fired transitions, 185 secs || 15542891 markings, 26050797 edges, 76395 markings/sec, 185 secs
lola: 13 tries, 12842701 fired transitions, 190 secs || 15893681 markings, 26648250 edges, 70158 markings/sec, 190 secs
lola: 14 tries, 13212456 fired transitions, 195 secs || 16305148 markings, 27348495 edges, 82293 markings/sec, 195 secs
lola: 14 tries, 13512040 fired transitions, 200 secs || 16697573 markings, 28016932 edges, 78485 markings/sec, 200 secs
lola: 14 tries, 13786942 fired transitions, 205 secs || 17058600 markings, 28632321 edges, 72205 markings/sec, 205 secs
lola: 15 tries, 14031133 fired transitions, 210 secs || 17419621 markings, 29247940 edges, 72204 markings/sec, 210 secs
lola: 15 tries, 14284923 fired transitions, 215 secs || 17766124 markings, 29837592 edges, 69301 markings/sec, 215 secs
lola: 15 tries, 14560305 fired transitions, 220 secs || 18095491 markings, 30399266 edges, 65873 markings/sec, 220 secs
lola: 15 tries, 14840839 fired transitions, 225 secs || 18440710 markings, 30989168 edges, 69044 markings/sec, 225 secs
lola: 16 tries, 15096585 fired transitions, 230 secs || 18806032 markings, 31612222 edges, 73064 markings/sec, 230 secs
lola: 16 tries, 15361221 fired transitions, 235 secs || 19187992 markings, 32263895 edges, 76392 markings/sec, 235 secs
lola: 16 tries, 15636484 fired transitions, 240 secs || 19544497 markings, 32871461 edges, 71301 markings/sec, 240 secs
lola: 16 tries, 15895208 fired transitions, 245 secs || 19904987 markings, 33487594 edges, 72098 markings/sec, 245 secs
lola: 17 tries, 16192528 fired transitions, 250 secs || 20287114 markings, 34138507 edges, 76425 markings/sec, 250 secs
lola: 17 tries, 16550272 fired transitions, 255 secs || 20726467 markings, 34888677 edges, 87871 markings/sec, 255 secs
lola: 17 tries, 16934770 fired transitions, 260 secs || 21163113 markings, 35635096 edges, 87329 markings/sec, 260 secs
lola: 18 tries, 17299187 fired transitions, 265 secs || 21620569 markings, 36416994 edges, 91491 markings/sec, 265 secs
lola: 18 tries, 17691597 fired transitions, 270 secs || 22012190 markings, 37084685 edges, 78324 markings/sec, 270 secs
lola: 19 tries, 18096617 fired transitions, 275 secs || 22435150 markings, 37808807 edges, 84592 markings/sec, 275 secs
lola: 19 tries, 18482937 fired transitions, 280 secs || 22876245 markings, 38563533 edges, 88219 markings/sec, 280 secs
lola: 19 tries, 18887750 fired transitions, 285 secs || 23292761 markings, 39276508 edges, 83303 markings/sec, 285 secs
lola: 20 tries, 19292209 fired transitions, 290 secs || 23687531 markings, 39952628 edges, 78954 markings/sec, 290 secs
lola: 20 tries, 19691628 fired transitions, 295 secs || 24108212 markings, 40668752 edges, 84136 markings/sec, 295 secs
lola: 21 tries, 20081921 fired transitions, 300 secs || 24514038 markings, 41362785 edges, 81165 markings/sec, 300 secs
lola: 21 tries, 20472448 fired transitions, 305 secs || 24927628 markings, 42068453 edges, 82718 markings/sec, 305 secs
lola: 21 tries, 20866039 fired transitions, 310 secs || 25327467 markings, 42750741 edges, 79968 markings/sec, 310 secs
lola: 22 tries, 21259564 fired transitions, 315 secs || 25747202 markings, 43469283 edges, 83947 markings/sec, 315 secs
lola: 22 tries, 21636775 fired transitions, 320 secs || 26133545 markings, 44130485 edges, 77269 markings/sec, 320 secs
lola: 23 tries, 22040044 fired transitions, 325 secs || 26557919 markings, 44856154 edges, 84875 markings/sec, 325 secs
lola: 23 tries, 22445415 fired transitions, 330 secs || 26961305 markings, 45544858 edges, 80677 markings/sec, 330 secs
lola: 23 tries, 22841149 fired transitions, 335 secs || 27408453 markings, 46309667 edges, 89430 markings/sec, 335 secs
lola: 24 tries, 23253278 fired transitions, 340 secs || 27828720 markings, 47030067 edges, 84053 markings/sec, 340 secs
lola: 24 tries, 23648888 fired transitions, 345 secs || 28277495 markings, 47797665 edges, 89755 markings/sec, 345 secs
lola: 25 tries, 24054274 fired transitions, 350 secs || 28704353 markings, 48530237 edges, 85372 markings/sec, 350 secs
lola: 25 tries, 24462879 fired transitions, 355 secs || 29151364 markings, 49293782 edges, 89402 markings/sec, 355 secs
lola: 25 tries, 24880899 fired transitions, 360 secs || 29603914 markings, 50068846 edges, 90510 markings/sec, 360 secs
lola: 26 tries, 25259492 fired transitions, 365 secs || 30065196 markings, 50855596 edges, 92256 markings/sec, 365 secs
lola: 26 tries, 25665284 fired transitions, 370 secs || 30493340 markings, 51587947 edges, 85629 markings/sec, 370 secs
lola: 27 tries, 26073842 fired transitions, 375 secs || 30925603 markings, 52327029 edges, 86453 markings/sec, 375 secs
lola: 27 tries, 26456931 fired transitions, 380 secs || 31348677 markings, 53049136 edges, 84615 markings/sec, 380 secs
lola: 27 tries, 26857974 fired transitions, 385 secs || 31796897 markings, 53816175 edges, 89644 markings/sec, 385 secs
lola: 28 tries, 27260401 fired transitions, 390 secs || 32193818 markings, 54492375 edges, 79384 markings/sec, 390 secs
lola: 28 tries, 27655895 fired transitions, 395 secs || 32635656 markings, 55245269 edges, 88368 markings/sec, 395 secs
lola: 29 tries, 28059990 fired transitions, 400 secs || 33055025 markings, 55960200 edges, 83874 markings/sec, 400 secs
lola: 29 tries, 28450861 fired transitions, 405 secs || 33491012 markings, 56705379 edges, 87197 markings/sec, 405 secs
lola: 29 tries, 28841382 fired transitions, 410 secs || 33927234 markings, 57449228 edges, 87244 markings/sec, 410 secs
lola: 30 tries, 29230480 fired transitions, 415 secs || 34362597 markings, 58193750 edges, 87073 markings/sec, 415 secs
lola: 30 tries, 29612921 fired transitions, 420 secs || 34780855 markings, 58907203 edges, 83652 markings/sec, 420 secs
lola: 30 tries, 29978817 fired transitions, 425 secs || 35211495 markings, 59645312 edges, 86128 markings/sec, 425 secs
lola: 31 tries, 30358456 fired transitions, 430 secs || 35633398 markings, 60366425 edges, 84381 markings/sec, 430 secs
lola: 31 tries, 30734588 fired transitions, 435 secs || 36076231 markings, 61124903 edges, 88567 markings/sec, 435 secs
lola: 32 tries, 31126318 fired transitions, 440 secs || 36484529 markings, 61823795 edges, 81660 markings/sec, 440 secs
lola: 32 tries, 31507201 fired transitions, 445 secs || 36893212 markings, 62522120 edges, 81737 markings/sec, 445 secs
lola: 32 tries, 31919916 fired transitions, 450 secs || 37298136 markings, 63213563 edges, 80985 markings/sec, 450 secs
lola: 33 tries, 32304792 fired transitions, 455 secs || 37714171 markings, 63927007 edges, 83207 markings/sec, 455 secs
lola: 33 tries, 32658728 fired transitions, 460 secs || 38124313 markings, 64629284 edges, 82028 markings/sec, 460 secs
lola: 34 tries, 33036660 fired transitions, 465 secs || 38552249 markings, 65362172 edges, 85587 markings/sec, 465 secs
lola: 34 tries, 33393345 fired transitions, 470 secs || 39018263 markings, 66160234 edges, 93203 markings/sec, 470 secs
lola: 34 tries, 33777407 fired transitions, 475 secs || 39427355 markings, 66860574 edges, 81818 markings/sec, 475 secs
lola: 35 tries, 34123763 fired transitions, 480 secs || 39878985 markings, 67635337 edges, 90326 markings/sec, 480 secs
lola: 35 tries, 34466718 fired transitions, 485 secs || 40334907 markings, 68417018 edges, 91184 markings/sec, 485 secs
lola: 35 tries, 34837557 fired transitions, 490 secs || 40774573 markings, 69171740 edges, 87933 markings/sec, 490 secs
lola: 36 tries, 35227588 fired transitions, 495 secs || 41195576 markings, 69894010 edges, 84201 markings/sec, 495 secs
lola: 36 tries, 35633810 fired transitions, 500 secs || 41635279 markings, 70647491 edges, 87941 markings/sec, 500 secs
lola: 37 tries, 36015960 fired transitions, 505 secs || 42054440 markings, 71363790 edges, 83832 markings/sec, 505 secs
lola: 37 tries, 36422093 fired transitions, 510 secs || 42486066 markings, 72104905 edges, 86325 markings/sec, 510 secs
lola: 37 tries, 36830265 fired transitions, 515 secs || 42921729 markings, 72850284 edges, 87133 markings/sec, 515 secs
lola: 38 tries, 37232188 fired transitions, 520 secs || 43391393 markings, 73656344 edges, 93933 markings/sec, 520 secs
lola: 38 tries, 37628153 fired transitions, 525 secs || 43832021 markings, 74411030 edges, 88126 markings/sec, 525 secs
lola: 39 tries, 38043703 fired transitions, 530 secs || 44290637 markings, 75197970 edges, 91723 markings/sec, 530 secs
lola: 39 tries, 38447339 fired transitions, 535 secs || 44729132 markings, 75950227 edges, 87699 markings/sec, 535 secs
lola: 39 tries, 38838408 fired transitions, 540 secs || 45177304 markings, 76718296 edges, 89634 markings/sec, 540 secs
lola: 40 tries, 39249095 fired transitions, 545 secs || 45645589 markings, 77520399 edges, 93657 markings/sec, 545 secs
lola: 40 tries, 39664249 fired transitions, 550 secs || 46096040 markings, 78294655 edges, 90090 markings/sec, 550 secs
lola: 41 tries, 40075342 fired transitions, 555 secs || 46519951 markings, 79021673 edges, 84782 markings/sec, 555 secs
lola: 41 tries, 40487458 fired transitions, 560 secs || 46961035 markings, 79777406 edges, 88217 markings/sec, 560 secs
lola: 41 tries, 40884338 fired transitions, 565 secs || 47420562 markings, 80564922 edges, 91905 markings/sec, 565 secs
lola: 42 tries, 41252207 fired transitions, 570 secs || 47873296 markings, 81341787 edges, 90547 markings/sec, 570 secs
lola: 42 tries, 41655856 fired transitions, 575 secs || 48320329 markings, 82109466 edges, 89407 markings/sec, 575 secs
lola: 43 tries, 42049478 fired transitions, 580 secs || 48764210 markings, 82871176 edges, 88776 markings/sec, 580 secs
lola: 43 tries, 42429684 fired transitions, 585 secs || 49217997 markings, 83650196 edges, 90757 markings/sec, 585 secs
lola: 43 tries, 42818438 fired transitions, 590 secs || 49669467 markings, 84422629 edges, 90294 markings/sec, 590 secs
lola: 44 tries, 43225042 fired transitions, 595 secs || 50104174 markings, 85166432 edges, 86941 markings/sec, 595 secs
lola: 44 tries, 43612816 fired transitions, 600 secs || 50564658 markings, 85957791 edges, 92097 markings/sec, 600 secs
lola: 45 tries, 44008269 fired transitions, 605 secs || 50999768 markings, 86704805 edges, 87022 markings/sec, 605 secs
lola: 45 tries, 44425290 fired transitions, 610 secs || 51445293 markings, 87470637 edges, 89105 markings/sec, 610 secs
lola: 45 tries, 44818846 fired transitions, 615 secs || 51897757 markings, 88247339 edges, 90493 markings/sec, 615 secs
lola: 46 tries, 45203442 fired transitions, 620 secs || 52335280 markings, 88997528 edges, 87505 markings/sec, 620 secs
lola: 46 tries, 45611296 fired transitions, 625 secs || 52794233 markings, 89783791 edges, 91791 markings/sec, 625 secs
lola: 46 tries, 45963432 fired transitions, 630 secs || 53235642 markings, 90542714 edges, 88282 markings/sec, 630 secs
lola: 47 tries, 46353446 fired transitions, 635 secs || 53682397 markings, 91307167 edges, 89351 markings/sec, 635 secs
lola: 47 tries, 46751288 fired transitions, 640 secs || 54136522 markings, 92084837 edges, 90825 markings/sec, 640 secs
lola: 48 tries, 47144903 fired transitions, 645 secs || 54565832 markings, 92821943 edges, 85862 markings/sec, 645 secs
lola: 48 tries, 47551828 fired transitions, 650 secs || 55009522 markings, 93583452 edges, 88738 markings/sec, 650 secs
lola: 48 tries, 47957712 fired transitions, 655 secs || 55472966 markings, 94379738 edges, 92689 markings/sec, 655 secs
lola: 49 tries, 48349933 fired transitions, 660 secs || 55926919 markings, 95159537 edges, 90791 markings/sec, 660 secs
lola: 49 tries, 48759365 fired transitions, 665 secs || 56367511 markings, 95913578 edges, 88118 markings/sec, 665 secs
lola: 50 tries, 49158020 fired transitions, 670 secs || 56807850 markings, 96670097 edges, 88068 markings/sec, 670 secs
lola: 50 tries, 49502594 fired transitions, 675 secs || 57206613 markings, 97356045 edges, 79753 markings/sec, 675 secs
lola: 50 tries, 49886921 fired transitions, 680 secs || 57660997 markings, 98136940 edges, 90877 markings/sec, 680 secs
lola: 51 tries, 50256390 fired transitions, 685 secs || 58103778 markings, 98896799 edges, 88556 markings/sec, 685 secs
lola: 51 tries, 50643083 fired transitions, 690 secs || 58531916 markings, 99632764 edges, 85628 markings/sec, 690 secs
lola: 52 tries, 51034861 fired transitions, 695 secs || 58982916 markings, 100406138 edges, 90200 markings/sec, 695 secs
lola: 52 tries, 51419864 fired transitions, 700 secs || 59432103 markings, 101175943 edges, 89837 markings/sec, 700 secs
lola: 52 tries, 51830531 fired transitions, 705 secs || 59871133 markings, 101930220 edges, 87806 markings/sec, 705 secs
lola: 53 tries, 52226894 fired transitions, 710 secs || 60303966 markings, 102674040 edges, 86567 markings/sec, 710 secs
lola: 53 tries, 52610617 fired transitions, 715 secs || 60737406 markings, 103418542 edges, 86688 markings/sec, 715 secs
lola: 54 tries, 53001568 fired transitions, 720 secs || 61163717 markings, 104149918 edges, 85262 markings/sec, 720 secs
lola: 54 tries, 53399762 fired transitions, 725 secs || 61615379 markings, 104924892 edges, 90332 markings/sec, 725 secs
lola: 54 tries, 53808079 fired transitions, 730 secs || 62051442 markings, 105674549 edges, 87213 markings/sec, 730 secs
lola: 55 tries, 54197109 fired transitions, 735 secs || 62504310 markings, 106450675 edges, 90574 markings/sec, 735 secs
lola: 55 tries, 54600272 fired transitions, 740 secs || 62956689 markings, 107231176 edges, 90476 markings/sec, 740 secs
lola: 56 tries, 55005876 fired transitions, 745 secs || 63395520 markings, 107985953 edges, 87766 markings/sec, 745 secs
lola: 56 tries, 55425011 fired transitions, 750 secs || 63815313 markings, 108707690 edges, 83959 markings/sec, 750 secs
lola: 56 tries, 55832160 fired transitions, 755 secs || 64247687 markings, 109450654 edges, 86475 markings/sec, 755 secs
lola: 57 tries, 56213771 fired transitions, 760 secs || 64705553 markings, 110237683 edges, 91573 markings/sec, 760 secs
lola: 57 tries, 56619190 fired transitions, 765 secs || 65156319 markings, 111012751 edges, 90153 markings/sec, 765 secs
lola: 58 tries, 57019975 fired transitions, 770 secs || 65607126 markings, 111787953 edges, 90161 markings/sec, 770 secs
lola: 58 tries, 57421286 fired transitions, 775 secs || 66037838 markings, 112528270 edges, 86142 markings/sec, 775 secs
lola: 58 tries, 57800155 fired transitions, 780 secs || 66494234 markings, 113312265 edges, 91279 markings/sec, 780 secs
lola: 59 tries, 58205491 fired transitions, 785 secs || 66957330 markings, 114108391 edges, 92619 markings/sec, 785 secs
lola: 59 tries, 58617753 fired transitions, 790 secs || 67405623 markings, 114879204 edges, 89659 markings/sec, 790 secs
lola: 60 tries, 59019433 fired transitions, 795 secs || 67854891 markings, 115653768 edges, 89854 markings/sec, 795 secs
lola: 60 tries, 59432394 fired transitions, 800 secs || 68299699 markings, 116419318 edges, 88962 markings/sec, 800 secs
lola: 60 tries, 59834297 fired transitions, 805 secs || 68756606 markings, 117202384 edges, 91381 markings/sec, 805 secs
lola: 61 tries, 60241457 fired transitions, 810 secs || 69181570 markings, 117931652 edges, 84993 markings/sec, 810 secs
lola: 61 tries, 60644246 fired transitions, 815 secs || 69653173 markings, 118741175 edges, 94321 markings/sec, 815 secs
lola: 62 tries, 61057305 fired transitions, 820 secs || 70116774 markings, 119540702 edges, 92720 markings/sec, 820 secs
lola: 62 tries, 61453800 fired transitions, 825 secs || 70579487 markings, 120335936 edges, 92543 markings/sec, 825 secs
lola: 62 tries, 61845685 fired transitions, 830 secs || 71007180 markings, 121070891 edges, 85539 markings/sec, 830 secs
lola: 63 tries, 62263508 fired transitions, 835 secs || 71461230 markings, 121851317 edges, 90810 markings/sec, 835 secs
lola: 63 tries, 62675496 fired transitions, 840 secs || 71897615 markings, 122600917 edges, 87277 markings/sec, 840 secs
lola: 64 tries, 63092261 fired transitions, 845 secs || 72363243 markings, 123404389 edges, 93126 markings/sec, 845 secs
lola: 64 tries, 63507180 fired transitions, 850 secs || 72827370 markings, 124204826 edges, 92825 markings/sec, 850 secs
lola: 64 tries, 63917897 fired transitions, 855 secs || 73296936 markings, 125013240 edges, 93913 markings/sec, 855 secs
lola: 65 tries, 64326416 fired transitions, 860 secs || 73754341 markings, 125799679 edges, 91481 markings/sec, 860 secs
lola: 65 tries, 64745018 fired transitions, 865 secs || 74217312 markings, 126595704 edges, 92594 markings/sec, 865 secs
lola: 66 tries, 65160292 fired transitions, 870 secs || 74681847 markings, 127394363 edges, 92907 markings/sec, 870 secs
lola: 66 tries, 65578452 fired transitions, 875 secs || 75150110 markings, 128201591 edges, 93653 markings/sec, 875 secs
lola: 66 tries, 65975738 fired transitions, 880 secs || 75607831 markings, 128986238 edges, 91544 markings/sec, 880 secs
lola: 67 tries, 66376173 fired transitions, 885 secs || 76076968 markings, 129790141 edges, 93827 markings/sec, 885 secs
lola: 67 tries, 66788163 fired transitions, 890 secs || 76537101 markings, 130581339 edges, 92027 markings/sec, 890 secs
lola: 68 tries, 67192088 fired transitions, 895 secs || 77010646 markings, 131393896 edges, 94709 markings/sec, 895 secs
lola: 68 tries, 67612128 fired transitions, 900 secs || 77464900 markings, 132175147 edges, 90851 markings/sec, 900 secs
lola: 69 tries, 68020086 fired transitions, 905 secs || 77938046 markings, 132989879 edges, 94629 markings/sec, 905 secs
lola: 69 tries, 68436100 fired transitions, 910 secs || 78404116 markings, 133790695 edges, 93214 markings/sec, 910 secs
lola: 69 tries, 68855875 fired transitions, 915 secs || 78860616 markings, 134576299 edges, 91300 markings/sec, 915 secs
lola: 70 tries, 69264757 fired transitions, 920 secs || 79328592 markings, 135381093 edges, 93595 markings/sec, 920 secs
lola: 70 tries, 69677442 fired transitions, 925 secs || 79788339 markings, 136171574 edges, 91949 markings/sec, 925 secs
lola: 71 tries, 70095458 fired transitions, 930 secs || 80253889 markings, 136971383 edges, 93110 markings/sec, 930 secs
lola: 71 tries, 70506743 fired transitions, 935 secs || 80724412 markings, 137779812 edges, 94105 markings/sec, 935 secs
lola: 71 tries, 70925283 fired transitions, 940 secs || 81188773 markings, 138579073 edges, 92872 markings/sec, 940 secs
lola: 72 tries, 71349786 fired transitions, 945 secs || 81649515 markings, 139371481 edges, 92148 markings/sec, 945 secs
lola: 72 tries, 71774401 fired transitions, 950 secs || 82104671 markings, 140155315 edges, 91031 markings/sec, 950 secs
lola: 73 tries, 72199313 fired transitions, 955 secs || 82575097 markings, 140963762 edges, 94085 markings/sec, 955 secs
lola: 73 tries, 72592549 fired transitions, 960 secs || 83039304 markings, 141762247 edges, 92841 markings/sec, 960 secs
lola: 74 tries, 73012560 fired transitions, 965 secs || 83500994 markings, 142557315 edges, 92338 markings/sec, 965 secs
lola: 74 tries, 73434321 fired transitions, 970 secs || 83965510 markings, 143355337 edges, 92903 markings/sec, 970 secs
lola: 74 tries, 73850639 fired transitions, 975 secs || 84432758 markings, 144157171 edges, 93450 markings/sec, 975 secs
lola: 75 tries, 74261272 fired transitions, 980 secs || 84894234 markings, 144950746 edges, 92295 markings/sec, 980 secs
lola: 75 tries, 74670629 fired transitions, 985 secs || 85364843 markings, 145758597 edges, 94122 markings/sec, 985 secs
lola: 76 tries, 75086528 fired transitions, 990 secs || 85830559 markings, 146558881 edges, 93143 markings/sec, 990 secs
lola: 76 tries, 75506654 fired transitions, 995 secs || 86300755 markings, 147365736 edges, 94039 markings/sec, 995 secs
lola: 76 tries, 75924844 fired transitions, 1000 secs || 86769448 markings, 148172394 edges, 93739 markings/sec, 1000 secs
lola: 77 tries, 76345814 fired transitions, 1005 secs || 87234238 markings, 148970713 edges, 92958 markings/sec, 1005 secs
lola: 77 tries, 76761323 fired transitions, 1010 secs || 87701535 markings, 149775625 edges, 93459 markings/sec, 1010 secs
lola: 78 tries, 77176762 fired transitions, 1015 secs || 88169094 markings, 150581715 edges, 93512 markings/sec, 1015 secs
lola: 78 tries, 77595142 fired transitions, 1020 secs || 88637255 markings, 151387611 edges, 93632 markings/sec, 1020 secs
lola: 79 tries, 78015372 fired transitions, 1025 secs || 89108521 markings, 152198745 edges, 94253 markings/sec, 1025 secs
lola: 79 tries, 78433154 fired transitions, 1030 secs || 89579323 markings, 153009938 edges, 94160 markings/sec, 1030 secs
lola: 79 tries, 78848765 fired transitions, 1035 secs || 90049611 markings, 153819770 edges, 94058 markings/sec, 1035 secs
lola: 80 tries, 79252582 fired transitions, 1040 secs || 90521806 markings, 154630913 edges, 94439 markings/sec, 1040 secs
lola: 80 tries, 79665866 fired transitions, 1045 secs || 90994242 markings, 155442760 edges, 94487 markings/sec, 1045 secs
lola: 81 tries, 80072512 fired transitions, 1050 secs || 91460943 markings, 156245760 edges, 93340 markings/sec, 1050 secs
lola: 81 tries, 80471580 fired transitions, 1055 secs || 91915723 markings, 157026698 edges, 90956 markings/sec, 1055 secs
lola: 81 tries, 80864581 fired transitions, 1060 secs || 92385162 markings, 157831087 edges, 93888 markings/sec, 1060 secs
lola: 82 tries, 81272042 fired transitions, 1065 secs || 92843621 markings, 158620176 edges, 91692 markings/sec, 1065 secs
lola: 82 tries, 81682246 fired transitions, 1070 secs || 93305685 markings, 159416125 edges, 92413 markings/sec, 1070 secs
lola: 83 tries, 82082348 fired transitions, 1075 secs || 93768690 markings, 160213955 edges, 92601 markings/sec, 1075 secs
lola: 83 tries, 82495114 fired transitions, 1080 secs || 94236881 markings, 161019078 edges, 93638 markings/sec, 1080 secs
lola: 83 tries, 82903490 fired transitions, 1085 secs || 94706302 markings, 161827155 edges, 93884 markings/sec, 1085 secs
lola: 84 tries, 83320564 fired transitions, 1090 secs || 95171178 markings, 162631248 edges, 92975 markings/sec, 1090 secs
lola: 84 tries, 83737502 fired transitions, 1095 secs || 95628806 markings, 163420976 edges, 91526 markings/sec, 1095 secs
lola: 85 tries, 84117187 fired transitions, 1100 secs || 96093395 markings, 164220580 edges, 92918 markings/sec, 1100 secs
lola: 85 tries, 84532352 fired transitions, 1105 secs || 96562191 markings, 165027443 edges, 93759 markings/sec, 1105 secs
lola: 85 tries, 84948973 fired transitions, 1110 secs || 97020802 markings, 165816896 edges, 91722 markings/sec, 1110 secs
lola: 86 tries, 85355193 fired transitions, 1115 secs || 97478988 markings, 166605290 edges, 91637 markings/sec, 1115 secs
lola: 86 tries, 85758828 fired transitions, 1120 secs || 97942389 markings, 167401228 edges, 92680 markings/sec, 1120 secs
lola: 87 tries, 86166794 fired transitions, 1125 secs || 98411931 markings, 168208948 edges, 93908 markings/sec, 1125 secs
lola: 87 tries, 86585989 fired transitions, 1130 secs || 98886388 markings, 169027388 edges, 94891 markings/sec, 1130 secs
lola: 88 tries, 87003909 fired transitions, 1135 secs || 99349900 markings, 169827075 edges, 92702 markings/sec, 1135 secs
lola: 88 tries, 87414397 fired transitions, 1140 secs || 99817556 markings, 170632521 edges, 93531 markings/sec, 1140 secs
lola: 88 tries, 87835639 fired transitions, 1145 secs || 100282906 markings, 171431827 edges, 93070 markings/sec, 1145 secs
lola: 89 tries, 88253381 fired transitions, 1150 secs || 100753575 markings, 172244364 edges, 94134 markings/sec, 1150 secs
lola: 89 tries, 88660154 fired transitions, 1155 secs || 101219037 markings, 173047024 edges, 93092 markings/sec, 1155 secs
lola: 90 tries, 89078015 fired transitions, 1160 secs || 101676458 markings, 173835115 edges, 91484 markings/sec, 1160 secs
lola: 90 tries, 89490391 fired transitions, 1165 secs || 102143201 markings, 174639500 edges, 93349 markings/sec, 1165 secs
lola: 90 tries, 89891142 fired transitions, 1170 secs || 102611049 markings, 175446585 edges, 93570 markings/sec, 1170 secs
lola: 91 tries, 90310863 fired transitions, 1175 secs || 103047650 markings, 176200208 edges, 87320 markings/sec, 1175 secs
lola: 91 tries, 90732857 fired transitions, 1180 secs || 103512966 markings, 177002609 edges, 93063 markings/sec, 1180 secs
lola: 92 tries, 91145972 fired transitions, 1185 secs || 103977275 markings, 177803443 edges, 92862 markings/sec, 1185 secs
lola: 92 tries, 91564427 fired transitions, 1190 secs || 104446573 markings, 178614642 edges, 93860 markings/sec, 1190 secs
lola: 92 tries, 91979282 fired transitions, 1195 secs || 104910660 markings, 179413851 edges, 92817 markings/sec, 1195 secs
lola: 93 tries, 92396244 fired transitions, 1200 secs || 105376751 markings, 180218851 edges, 93218 markings/sec, 1200 secs
lola: 93 tries, 92803893 fired transitions, 1205 secs || 105848737 markings, 181031583 edges, 94397 markings/sec, 1205 secs
lola: 94 tries, 93198315 fired transitions, 1210 secs || 106313767 markings, 181833809 edges, 93006 markings/sec, 1210 secs
lola: 94 tries, 93614832 fired transitions, 1215 secs || 106779086 markings, 182635570 edges, 93064 markings/sec, 1215 secs
lola: 95 tries, 94034453 fired transitions, 1220 secs || 107251226 markings, 183449421 edges, 94428 markings/sec, 1220 secs
lola: 95 tries, 94454213 fired transitions, 1225 secs || 107715697 markings, 184250384 edges, 92894 markings/sec, 1225 secs
lola: 95 tries, 94862805 fired transitions, 1230 secs || 108177471 markings, 185044368 edges, 92355 markings/sec, 1230 secs
lola: 96 tries, 95277308 fired transitions, 1235 secs || 108633014 markings, 185830049 edges, 91109 markings/sec, 1235 secs
lola: 96 tries, 95680915 fired transitions, 1240 secs || 109085531 markings, 186610926 edges, 90503 markings/sec, 1240 secs
lola: 97 tries, 96091532 fired transitions, 1245 secs || 109544204 markings, 187402947 edges, 91735 markings/sec, 1245 secs
lola: 97 tries, 96469597 fired transitions, 1250 secs || 110012498 markings, 188210045 edges, 93659 markings/sec, 1250 secs
lola: 97 tries, 96888341 fired transitions, 1255 secs || 110480017 markings, 189015504 edges, 93504 markings/sec, 1255 secs
lola: 98 tries, 97304175 fired transitions, 1260 secs || 110936662 markings, 189800574 edges, 91329 markings/sec, 1260 secs
lola: 98 tries, 97722424 fired transitions, 1265 secs || 111402966 markings, 190605377 edges, 93261 markings/sec, 1265 secs
lola: 99 tries, 98150420 fired transitions, 1270 secs || 111826234 markings, 191335633 edges, 84654 markings/sec, 1270 secs
lola: 99 tries, 98569877 fired transitions, 1275 secs || 112276199 markings, 192114159 edges, 89993 markings/sec, 1275 secs
lola: 99 tries, 98994870 fired transitions, 1280 secs || 112739839 markings, 192913813 edges, 92728 markings/sec, 1280 secs
lola: 100 tries, 99414804 fired transitions, 1285 secs || 113202434 markings, 193710978 edges, 92519 markings/sec, 1285 secs
lola: 100 tries, 99835820 fired transitions, 1290 secs || 113655099 markings, 194493108 edges, 90533 markings/sec, 1290 secs
lola: 101 tries, 100234416 fired transitions, 1295 secs || 114124173 markings, 195302369 edges, 93815 markings/sec, 1295 secs
lola: 101 tries, 100647137 fired transitions, 1300 secs || 114593519 markings, 196112057 edges, 93869 markings/sec, 1300 secs
lola: 102 tries, 101064770 fired transitions, 1305 secs || 115040382 markings, 196884832 edges, 89373 markings/sec, 1305 secs
lola: 102 tries, 101486698 fired transitions, 1310 secs || 115507592 markings, 197692351 edges, 93442 markings/sec, 1310 secs
lola: 102 tries, 101899412 fired transitions, 1315 secs || 115957392 markings, 198468366 edges, 89960 markings/sec, 1315 secs
lola: 103 tries, 102310876 fired transitions, 1320 secs || 116417961 markings, 199261876 edges, 92114 markings/sec, 1320 secs
lola: 103 tries, 102716356 fired transitions, 1325 secs || 116877818 markings, 200054265 edges, 91971 markings/sec, 1325 secs
lola: 104 tries, 103119608 fired transitions, 1330 secs || 117346101 markings, 200862153 edges, 93657 markings/sec, 1330 secs
lola: 104 tries, 103522099 fired transitions, 1335 secs || 117813623 markings, 201665655 edges, 93504 markings/sec, 1335 secs
lola: 104 tries, 103926651 fired transitions, 1340 secs || 118270614 markings, 202452678 edges, 91398 markings/sec, 1340 secs
lola: 105 tries, 104340622 fired transitions, 1345 secs || 118718427 markings, 203226021 edges, 89563 markings/sec, 1345 secs
lola: 105 tries, 104758709 fired transitions, 1350 secs || 119182409 markings, 204027709 edges, 92796 markings/sec, 1350 secs
lola: 106 tries, 105177727 fired transitions, 1355 secs || 119648016 markings, 204832930 edges, 93121 markings/sec, 1355 secs
lola: 106 tries, 105597644 fired transitions, 1360 secs || 120118661 markings, 205644026 edges, 94129 markings/sec, 1360 secs
lola: 107 tries, 106012314 fired transitions, 1365 secs || 120581999 markings, 206443196 edges, 92668 markings/sec, 1365 secs
lola: 107 tries, 106431859 fired transitions, 1370 secs || 121053263 markings, 207254171 edges, 94253 markings/sec, 1370 secs
lola: 107 tries, 106849016 fired transitions, 1375 secs || 121521100 markings, 208063886 edges, 93567 markings/sec, 1375 secs
lola: 108 tries, 107269222 fired transitions, 1380 secs || 121947758 markings, 208799313 edges, 85332 markings/sec, 1380 secs
lola: 108 tries, 107686441 fired transitions, 1385 secs || 122415555 markings, 209608017 edges, 93559 markings/sec, 1385 secs
lola: 109 tries, 108105572 fired transitions, 1390 secs || 122877790 markings, 210407509 edges, 92447 markings/sec, 1390 secs
lola: 109 tries, 108521353 fired transitions, 1395 secs || 123333714 markings, 211193808 edges, 91185 markings/sec, 1395 secs
lola: 109 tries, 108923113 fired transitions, 1400 secs || 123806619 markings, 212008981 edges, 94581 markings/sec, 1400 secs
lola: 110 tries, 109330946 fired transitions, 1405 secs || 124270130 markings, 212809625 edges, 92702 markings/sec, 1405 secs
lola: 110 tries, 109753848 fired transitions, 1410 secs || 124724079 markings, 213594094 edges, 90790 markings/sec, 1410 secs
lola: 111 tries, 110174352 fired transitions, 1415 secs || 125179017 markings, 214381752 edges, 90988 markings/sec, 1415 secs
lola: 111 tries, 110592185 fired transitions, 1420 secs || 125647455 markings, 215190983 edges, 93688 markings/sec, 1420 secs
lola: 112 tries, 111002995 fired transitions, 1425 secs || 126114986 markings, 215999845 edges, 93506 markings/sec, 1425 secs
lola: 112 tries, 111407299 fired transitions, 1430 secs || 126571007 markings, 216785194 edges, 91204 markings/sec, 1430 secs
lola: 112 tries, 111820286 fired transitions, 1435 secs || 127041229 markings, 217593790 edges, 94044 markings/sec, 1435 secs
lola: 113 tries, 112238932 fired transitions, 1440 secs || 127510617 markings, 218402859 edges, 93878 markings/sec, 1440 secs
lola: 113 tries, 112646780 fired transitions, 1445 secs || 127975025 markings, 219204785 edges, 92882 markings/sec, 1445 secs
lola: 114 tries, 113034071 fired transitions, 1450 secs || 128443937 markings, 220016404 edges, 93782 markings/sec, 1450 secs
lola: 114 tries, 113457120 fired transitions, 1455 secs || 128901140 markings, 220806038 edges, 91441 markings/sec, 1455 secs
lola: 114 tries, 113879440 fired transitions, 1460 secs || 129356778 markings, 221594471 edges, 91128 markings/sec, 1460 secs
lola: 115 tries, 114299123 fired transitions, 1465 secs || 129812538 markings, 222379700 edges, 91152 markings/sec, 1465 secs
lola: 115 tries, 114716697 fired transitions, 1470 secs || 130277368 markings, 223182375 edges, 92966 markings/sec, 1470 secs
lola: 116 tries, 115092948 fired transitions, 1475 secs || 130747453 markings, 223996508 edges, 94017 markings/sec, 1475 secs
lola: 116 tries, 115475138 fired transitions, 1480 secs || 131204283 markings, 224784843 edges, 91366 markings/sec, 1480 secs
lola: 116 tries, 115883787 fired transitions, 1485 secs || 131664453 markings, 225580213 edges, 92034 markings/sec, 1485 secs
lola: 117 tries, 116255585 fired transitions, 1490 secs || 132127043 markings, 226377564 edges, 92518 markings/sec, 1490 secs
lola: 117 tries, 116658270 fired transitions, 1495 secs || 132575313 markings, 227150261 edges, 89654 markings/sec, 1495 secs
lola: 118 tries, 117062385 fired transitions, 1500 secs || 133039397 markings, 227952329 edges, 92817 markings/sec, 1500 secs
lola: 118 tries, 117475802 fired transitions, 1505 secs || 133511618 markings, 228765330 edges, 94444 markings/sec, 1505 secs
lola: 118 tries, 117895644 fired transitions, 1510 secs || 133937741 markings, 229501457 edges, 85225 markings/sec, 1510 secs
lola: 119 tries, 118313691 fired transitions, 1515 secs || 134400602 markings, 230302607 edges, 92572 markings/sec, 1515 secs
lola: 119 tries, 118731902 fired transitions, 1520 secs || 134853060 markings, 231084814 edges, 90492 markings/sec, 1520 secs
lola: 120 tries, 119129956 fired transitions, 1525 secs || 135325306 markings, 231898318 edges, 94449 markings/sec, 1525 secs
lola: 120 tries, 119524833 fired transitions, 1530 secs || 135771937 markings, 232668740 edges, 89326 markings/sec, 1530 secs
lola: 120 tries, 119925251 fired transitions, 1535 secs || 136242203 markings, 233476878 edges, 94053 markings/sec, 1535 secs
lola: 121 tries, 120325255 fired transitions, 1540 secs || 136713838 markings, 234288940 edges, 94327 markings/sec, 1540 secs
lola: 121 tries, 120737737 fired transitions, 1545 secs || 137164156 markings, 235065465 edges, 90064 markings/sec, 1545 secs
lola: 122 tries, 121151137 fired transitions, 1550 secs || 137630079 markings, 235869126 edges, 93185 markings/sec, 1550 secs
lola: 122 tries, 121568587 fired transitions, 1555 secs || 138099061 markings, 236677526 edges, 93796 markings/sec, 1555 secs
lola: 122 tries, 121970332 fired transitions, 1560 secs || 138562245 markings, 237478557 edges, 92637 markings/sec, 1560 secs
lola: 123 tries, 122395418 fired transitions, 1565 secs || 139020580 markings, 238268167 edges, 91667 markings/sec, 1565 secs
lola: 123 tries, 122800712 fired transitions, 1570 secs || 139487756 markings, 239074124 edges, 93435 markings/sec, 1570 secs
lola: 124 tries, 123218629 fired transitions, 1575 secs || 139956324 markings, 239883892 edges, 93714 markings/sec, 1575 secs
lola: 124 tries, 123622337 fired transitions, 1580 secs || 140398841 markings, 240650188 edges, 88503 markings/sec, 1580 secs
lola: 125 tries, 124047871 fired transitions, 1585 secs || 140852343 markings, 241430025 edges, 90700 markings/sec, 1585 secs
lola: 125 tries, 124463264 fired transitions, 1590 secs || 141269391 markings, 242151089 edges, 83410 markings/sec, 1590 secs
lola: 125 tries, 124859723 fired transitions, 1595 secs || 141735313 markings, 242959197 edges, 93184 markings/sec, 1595 secs
lola: 126 tries, 125262000 fired transitions, 1600 secs || 142202407 markings, 243767647 edges, 93419 markings/sec, 1600 secs
lola: 126 tries, 125679161 fired transitions, 1605 secs || 142664363 markings, 244564993 edges, 92391 markings/sec, 1605 secs
lola: 127 tries, 126098720 fired transitions, 1610 secs || 143122373 markings, 245355580 edges, 91602 markings/sec, 1610 secs
lola: 127 tries, 126520242 fired transitions, 1615 secs || 143577597 markings, 246143518 edges, 91045 markings/sec, 1615 secs
lola: 127 tries, 126939013 fired transitions, 1620 secs || 144040564 markings, 246942070 edges, 92593 markings/sec, 1620 secs
lola: 128 tries, 127358975 fired transitions, 1625 secs || 144496151 markings, 247730728 edges, 91117 markings/sec, 1625 secs
lola: 128 tries, 127778300 fired transitions, 1630 secs || 144957774 markings, 248530133 edges, 92325 markings/sec, 1630 secs
lola: 129 tries, 128197719 fired transitions, 1635 secs || 145425361 markings, 249336945 edges, 93517 markings/sec, 1635 secs
lola: 129 tries, 128594457 fired transitions, 1640 secs || 145893187 markings, 250147154 edges, 93565 markings/sec, 1640 secs
lola: 130 tries, 129004826 fired transitions, 1645 secs || 146348167 markings, 250933497 edges, 90996 markings/sec, 1645 secs
lola: 130 tries, 129424037 fired transitions, 1650 secs || 146808526 markings, 251727653 edges, 92072 markings/sec, 1650 secs
lola: 130 tries, 129840567 fired transitions, 1655 secs || 147276343 markings, 252533855 edges, 93563 markings/sec, 1655 secs
lola: 131 tries, 130254687 fired transitions, 1660 secs || 147725054 markings, 253308974 edges, 89742 markings/sec, 1660 secs
lola: 131 tries, 130675047 fired transitions, 1665 secs || 148170889 markings, 254078928 edges, 89167 markings/sec, 1665 secs
lola: 132 tries, 131082030 fired transitions, 1670 secs || 148623306 markings, 254860900 edges, 90483 markings/sec, 1670 secs
lola: 132 tries, 131501736 fired transitions, 1675 secs || 149088055 markings, 255664745 edges, 92950 markings/sec, 1675 secs
lola: 132 tries, 131920333 fired transitions, 1680 secs || 149532086 markings, 256432823 edges, 88806 markings/sec, 1680 secs
lola: 133 tries, 132337294 fired transitions, 1685 secs || 149991107 markings, 257226681 edges, 91804 markings/sec, 1685 secs
lola: 133 tries, 132758731 fired transitions, 1690 secs || 150451053 markings, 258024516 edges, 91989 markings/sec, 1690 secs
lola: 134 tries, 133176943 fired transitions, 1695 secs || 150916625 markings, 258831385 edges, 93114 markings/sec, 1695 secs
lola: 134 tries, 133590437 fired transitions, 1700 secs || 151376758 markings, 259627981 edges, 92027 markings/sec, 1700 secs
lola: 135 tries, 134010277 fired transitions, 1705 secs || 151842491 markings, 260434429 edges, 93147 markings/sec, 1705 secs
lola: 135 tries, 134429237 fired transitions, 1710 secs || 152308220 markings, 261239655 edges, 93146 markings/sec, 1710 secs
lola: 135 tries, 134843694 fired transitions, 1715 secs || 152773431 markings, 262045313 edges, 93042 markings/sec, 1715 secs
lola: 136 tries, 135259624 fired transitions, 1720 secs || 153231877 markings, 262834607 edges, 91689 markings/sec, 1720 secs
lola: 136 tries, 135680371 fired transitions, 1725 secs || 153700044 markings, 263641129 edges, 93633 markings/sec, 1725 secs
lola: 137 tries, 136100908 fired transitions, 1730 secs || 154160795 markings, 264440217 edges, 92150 markings/sec, 1730 secs
lola: 137 tries, 136514586 fired transitions, 1735 secs || 154626010 markings, 265242259 edges, 93043 markings/sec, 1735 secs
lola: 137 tries, 136933573 fired transitions, 1740 secs || 155094297 markings, 266051126 edges, 93657 markings/sec, 1740 secs
lola: 138 tries, 137343065 fired transitions, 1745 secs || 155558731 markings, 266853133 edges, 92887 markings/sec, 1745 secs
lola: 138 tries, 137761692 fired transitions, 1750 secs || 156024688 markings, 267657122 edges, 93191 markings/sec, 1750 secs
lola: 139 tries, 138178294 fired transitions, 1755 secs || 156487525 markings, 268456342 edges, 92567 markings/sec, 1755 secs
lola: 139 tries, 138603813 fired transitions, 1760 secs || 156948598 markings, 269253253 edges, 92215 markings/sec, 1760 secs
lola: 140 tries, 139020304 fired transitions, 1765 secs || 157417451 markings, 270066340 edges, 93771 markings/sec, 1765 secs
lola: 140 tries, 139437189 fired transitions, 1770 secs || 157883498 markings, 270875009 edges, 93209 markings/sec, 1770 secs
lola: 140 tries, 139854598 fired transitions, 1775 secs || 158345847 markings, 271676314 edges, 92470 markings/sec, 1775 secs
lola: 141 tries, 140277858 fired transitions, 1780 secs || 158786390 markings, 272438718 edges, 88109 markings/sec, 1780 secs
lola: 141 tries, 140698220 fired transitions, 1785 secs || 159245427 markings, 273233630 edges, 91807 markings/sec, 1785 secs
lola: 142 tries, 141118831 fired transitions, 1790 secs || 159712886 markings, 274042128 edges, 93492 markings/sec, 1790 secs
lola: 142 tries, 141541451 fired transitions, 1795 secs || 160179706 markings, 274846520 edges, 93364 markings/sec, 1795 secs
lola: 142 tries, 141962533 fired transitions, 1800 secs || 160645854 markings, 275656856 edges, 93230 markings/sec, 1800 secs
lola: 143 tries, 142368403 fired transitions, 1805 secs || 161109476 markings, 276459869 edges, 92724 markings/sec, 1805 secs
lola: 143 tries, 142788285 fired transitions, 1810 secs || 161573980 markings, 277262871 edges, 92901 markings/sec, 1810 secs
lola: 144 tries, 143201607 fired transitions, 1815 secs || 162015815 markings, 278027234 edges, 88367 markings/sec, 1815 secs
lola: 144 tries, 143623712 fired transitions, 1820 secs || 162468776 markings, 278812535 edges, 90592 markings/sec, 1820 secs
lola: 145 tries, 144041315 fired transitions, 1825 secs || 162934135 markings, 279620395 edges, 93072 markings/sec, 1825 secs
lola: 145 tries, 144449813 fired transitions, 1830 secs || 163403514 markings, 280434363 edges, 93876 markings/sec, 1830 secs
lola: 145 tries, 144869970 fired transitions, 1835 secs || 163843761 markings, 281195614 edges, 88049 markings/sec, 1835 secs
lola: 146 tries, 145285028 fired transitions, 1840 secs || 164295208 markings, 281978264 edges, 90289 markings/sec, 1840 secs
lola: 146 tries, 145708619 fired transitions, 1845 secs || 164755173 markings, 282775642 edges, 91993 markings/sec, 1845 secs
lola: 147 tries, 146133455 fired transitions, 1850 secs || 165194626 markings, 283536499 edges, 87891 markings/sec, 1850 secs
lola: 147 tries, 146544592 fired transitions, 1855 secs || 165660054 markings, 284341976 edges, 93086 markings/sec, 1855 secs
lola: 147 tries, 146949154 fired transitions, 1860 secs || 166114709 markings, 285128707 edges, 90931 markings/sec, 1860 secs
lola: 148 tries, 147369919 fired transitions, 1865 secs || 166571192 markings, 285919128 edges, 91297 markings/sec, 1865 secs
lola: 148 tries, 147781060 fired transitions, 1870 secs || 167032357 markings, 286717260 edges, 92233 markings/sec, 1870 secs
lola: 149 tries, 148200700 fired transitions, 1875 secs || 167498907 markings, 287526103 edges, 93310 markings/sec, 1875 secs
lola: 149 tries, 148614927 fired transitions, 1880 secs || 167963819 markings, 288329801 edges, 92982 markings/sec, 1880 secs
lola: 150 tries, 149033426 fired transitions, 1885 secs || 168430085 markings, 289138657 edges, 93253 markings/sec, 1885 secs
lola: 150 tries, 149447249 fired transitions, 1890 secs || 168892159 markings, 289941153 edges, 92415 markings/sec, 1890 secs
lola: 150 tries, 149871091 fired transitions, 1895 secs || 169345619 markings, 290726855 edges, 90692 markings/sec, 1895 secs
lola: 151 tries, 150290342 fired transitions, 1900 secs || 169813136 markings, 291536712 edges, 93503 markings/sec, 1900 secs
lola: 151 tries, 150709291 fired transitions, 1905 secs || 170280033 markings, 292343616 edges, 93379 markings/sec, 1905 secs
lola: 152 tries, 151130999 fired transitions, 1910 secs || 170744065 markings, 293146074 edges, 92806 markings/sec, 1910 secs
lola: 152 tries, 151549767 fired transitions, 1915 secs || 171207232 markings, 293947552 edges, 92633 markings/sec, 1915 secs
lola: 152 tries, 151967435 fired transitions, 1920 secs || 171673924 markings, 294753882 edges, 93338 markings/sec, 1920 secs
lola: 153 tries, 152383286 fired transitions, 1925 secs || 172140969 markings, 295562976 edges, 93409 markings/sec, 1925 secs
lola: 153 tries, 152805658 fired transitions, 1930 secs || 172605107 markings, 296367403 edges, 92828 markings/sec, 1930 secs
lola: 154 tries, 153222040 fired transitions, 1935 secs || 173060088 markings, 297153064 edges, 90996 markings/sec, 1935 secs
lola: 154 tries, 153640728 fired transitions, 1940 secs || 173505047 markings, 297922326 edges, 88992 markings/sec, 1940 secs
lola: 155 tries, 154064433 fired transitions, 1945 secs || 173962399 markings, 298712003 edges, 91470 markings/sec, 1945 secs
lola: 155 tries, 154491903 fired transitions, 1950 secs || 174403021 markings, 299476100 edges, 88124 markings/sec, 1950 secs
lola: 155 tries, 154894275 fired transitions, 1955 secs || 174857126 markings, 300263054 edges, 90821 markings/sec, 1955 secs
lola: 156 tries, 155304162 fired transitions, 1960 secs || 175294418 markings, 301018130 edges, 87458 markings/sec, 1960 secs
lola: 156 tries, 155711628 fired transitions, 1965 secs || 175749666 markings, 301805277 edges, 91050 markings/sec, 1965 secs
lola: 157 tries, 156131557 fired transitions, 1970 secs || 176214943 markings, 302609714 edges, 93055 markings/sec, 1970 secs
lola: 157 tries, 156534084 fired transitions, 1975 secs || 176669496 markings, 303396317 edges, 90911 markings/sec, 1975 secs
lola: 157 tries, 156945371 fired transitions, 1980 secs || 177140689 markings, 304211232 edges, 94239 markings/sec, 1980 secs
lola: 158 tries, 157366258 fired transitions, 1985 secs || 177606159 markings, 305017906 edges, 93094 markings/sec, 1985 secs
lola: 158 tries, 157785442 fired transitions, 1990 secs || 178076808 markings, 305832678 edges, 94130 markings/sec, 1990 secs
lola: 159 tries, 158206000 fired transitions, 1995 secs || 178547024 markings, 306647531 edges, 94043 markings/sec, 1995 secs
lola: 159 tries, 158625894 fired transitions, 2000 secs || 179018451 markings, 307462895 edges, 94285 markings/sec, 2000 secs
lola: 160 tries, 159043478 fired transitions, 2005 secs || 179491517 markings, 308280661 edges, 94613 markings/sec, 2005 secs
lola: 160 tries, 159463975 fired transitions, 2010 secs || 179963895 markings, 309098256 edges, 94476 markings/sec, 2010 secs
lola: 160 tries, 159883714 fired transitions, 2015 secs || 180430656 markings, 309907783 edges, 93352 markings/sec, 2015 secs
lola: 161 tries, 160311210 fired transitions, 2020 secs || 180891401 markings, 310708800 edges, 92149 markings/sec, 2020 secs
lola: 161 tries, 160738221 fired transitions, 2025 secs || 181356948 markings, 311512855 edges, 93109 markings/sec, 2025 secs
lola: 162 tries, 161158141 fired transitions, 2030 secs || 181824868 markings, 312325548 edges, 93584 markings/sec, 2030 secs
lola: 162 tries, 161577238 fired transitions, 2035 secs || 182294510 markings, 313138922 edges, 93928 markings/sec, 2035 secs
lola: 162 tries, 161996376 fired transitions, 2040 secs || 182766017 markings, 313956013 edges, 94301 markings/sec, 2040 secs
lola: 163 tries, 162415678 fired transitions, 2045 secs || 183235844 markings, 314770635 edges, 93965 markings/sec, 2045 secs
lola: 163 tries, 162836486 fired transitions, 2050 secs || 183711016 markings, 315592371 edges, 95034 markings/sec, 2050 secs
lola: 164 tries, 163255500 fired transitions, 2055 secs || 184181642 markings, 316408025 edges, 94125 markings/sec, 2055 secs
lola: 164 tries, 163676636 fired transitions, 2060 secs || 184655973 markings, 317230131 edges, 94866 markings/sec, 2060 secs
lola: 165 tries, 164095738 fired transitions, 2065 secs || 185126098 markings, 318045029 edges, 94025 markings/sec, 2065 secs
lola: 165 tries, 164516869 fired transitions, 2070 secs || 185593160 markings, 318854502 edges, 93412 markings/sec, 2070 secs
lola: 165 tries, 164938366 fired transitions, 2075 secs || 186064021 markings, 319671041 edges, 94172 markings/sec, 2075 secs
lola: 166 tries, 165358720 fired transitions, 2080 secs || 186539953 markings, 320493136 edges, 95186 markings/sec, 2080 secs
lola: 166 tries, 165779256 fired transitions, 2085 secs || 187011552 markings, 321309213 edges, 94320 markings/sec, 2085 secs
lola: 167 tries, 166201019 fired transitions, 2090 secs || 187486530 markings, 322132689 edges, 94996 markings/sec, 2090 secs
lola: 167 tries, 166618884 fired transitions, 2095 secs || 187962889 markings, 322955739 edges, 95272 markings/sec, 2095 secs
lola: 168 tries, 167039577 fired transitions, 2100 secs || 188435920 markings, 323775518 edges, 94606 markings/sec, 2100 secs
lola: 168 tries, 167462717 fired transitions, 2105 secs || 188906388 markings, 324593807 edges, 94094 markings/sec, 2105 secs
lola: 168 tries, 167881410 fired transitions, 2110 secs || 189380270 markings, 325414999 edges, 94776 markings/sec, 2110 secs
lola: 169 tries, 168302507 fired transitions, 2115 secs || 189850370 markings, 326230400 edges, 94020 markings/sec, 2115 secs
lola: 169 tries, 168725985 fired transitions, 2120 secs || 190317423 markings, 327041939 edges, 93411 markings/sec, 2120 secs
lola: 170 tries, 169146282 fired transitions, 2125 secs || 190792602 markings, 327864956 edges, 95036 markings/sec, 2125 secs
lola: 170 tries, 169566960 fired transitions, 2130 secs || 191269680 markings, 328689432 edges, 95416 markings/sec, 2130 secs
lola: 170 tries, 169987291 fired transitions, 2135 secs || 191741989 markings, 329509308 edges, 94462 markings/sec, 2135 secs
lola: 171 tries, 170408556 fired transitions, 2140 secs || 192212776 markings, 330326669 edges, 94157 markings/sec, 2140 secs
lola: 171 tries, 170828683 fired transitions, 2145 secs || 192685170 markings, 331146056 edges, 94479 markings/sec, 2145 secs
lola: 172 tries, 171250227 fired transitions, 2150 secs || 193157307 markings, 331965063 edges, 94427 markings/sec, 2150 secs
lola: 172 tries, 171673174 fired transitions, 2155 secs || 193629613 markings, 332783701 edges, 94461 markings/sec, 2155 secs
lola: 173 tries, 172099450 fired transitions, 2160 secs || 194098482 markings, 333597097 edges, 93774 markings/sec, 2160 secs
lola: 173 tries, 172527330 fired transitions, 2165 secs || 194569010 markings, 334412826 edges, 94106 markings/sec, 2165 secs
lola: 173 tries, 172955305 fired transitions, 2170 secs || 195040106 markings, 335230408 edges, 94219 markings/sec, 2170 secs
lola: 174 tries, 173383197 fired transitions, 2175 secs || 195511687 markings, 336048762 edges, 94316 markings/sec, 2175 secs
lola: 174 tries, 173810613 fired transitions, 2180 secs || 195981184 markings, 336865530 edges, 93899 markings/sec, 2180 secs
lola: 175 tries, 174238539 fired transitions, 2185 secs || 196450750 markings, 337680099 edges, 93913 markings/sec, 2185 secs
lola: 175 tries, 174666768 fired transitions, 2190 secs || 196923622 markings, 338502037 edges, 94574 markings/sec, 2190 secs
lola: 176 tries, 175049900 fired transitions, 2195 secs || 197354585 markings, 339251457 edges, 86193 markings/sec, 2195 secs
lola: 176 tries, 175467691 fired transitions, 2200 secs || 197819232 markings, 340055913 edges, 92929 markings/sec, 2200 secs
lola: 176 tries, 175896076 fired transitions, 2205 secs || 198288492 markings, 340871443 edges, 93852 markings/sec, 2205 secs
lola: 177 tries, 176290026 fired transitions, 2210 secs || 198716345 markings, 341610542 edges, 85571 markings/sec, 2210 secs
lola: 177 tries, 176679592 fired transitions, 2215 secs || 199131994 markings, 342334253 edges, 83130 markings/sec, 2215 secs
lola: 178 tries, 177108842 fired transitions, 2220 secs || 199590564 markings, 343130209 edges, 91714 markings/sec, 2220 secs
lola: 178 tries, 177535839 fired transitions, 2225 secs || 200042780 markings, 343915883 edges, 90443 markings/sec, 2225 secs
lola: 178 tries, 177963655 fired transitions, 2230 secs || 200510442 markings, 344727220 edges, 93532 markings/sec, 2230 secs
lola: 179 tries, 178391606 fired transitions, 2235 secs || 200980956 markings, 345546457 edges, 94103 markings/sec, 2235 secs
lola: 179 tries, 178819634 fired transitions, 2240 secs || 201453533 markings, 346365408 edges, 94515 markings/sec, 2240 secs
lola: 180 tries, 179247417 fired transitions, 2245 secs || 201927977 markings, 347190366 edges, 94889 markings/sec, 2245 secs
lola: 180 tries, 179675919 fired transitions, 2250 secs || 202400525 markings, 348007606 edges, 94510 markings/sec, 2250 secs
lola: 181 tries, 180102560 fired transitions, 2255 secs || 202874874 markings, 348833353 edges, 94870 markings/sec, 2255 secs
lola: 181 tries, 180491663 fired transitions, 2260 secs || 203314485 markings, 349597624 edges, 87922 markings/sec, 2260 secs
lola: 181 tries, 180844123 fired transitions, 2265 secs || 203707231 markings, 350278535 edges, 78549 markings/sec, 2265 secs
lola: 182 tries, 181272666 fired transitions, 2270 secs || 204174019 markings, 351090278 edges, 93358 markings/sec, 2270 secs
lola: 182 tries, 181700869 fired transitions, 2275 secs || 204645358 markings, 351908557 edges, 94268 markings/sec, 2275 secs
lola: 183 tries, 182129161 fired transitions, 2280 secs || 205119729 markings, 352731910 edges, 94874 markings/sec, 2280 secs
lola: 183 tries, 182557850 fired transitions, 2285 secs || 205594026 markings, 353556412 edges, 94859 markings/sec, 2285 secs
lola: 183 tries, 182956010 fired transitions, 2290 secs || 206039034 markings, 354330345 edges, 89002 markings/sec, 2290 secs
lola: 184 tries, 183293096 fired transitions, 2295 secs || 206421076 markings, 354991756 edges, 76408 markings/sec, 2295 secs
lola: 184 tries, 183703996 fired transitions, 2300 secs || 206880913 markings, 355789213 edges, 91967 markings/sec, 2300 secs
lola: 185 tries, 184124284 fired transitions, 2305 secs || 207356861 markings, 356615337 edges, 95190 markings/sec, 2305 secs
lola: 185 tries, 184535308 fired transitions, 2310 secs || 207831958 markings, 357439635 edges, 95019 markings/sec, 2310 secs
lola: 185 tries, 184955418 fired transitions, 2315 secs || 208306204 markings, 358262932 edges, 94849 markings/sec, 2315 secs
lola: 186 tries, 185373474 fired transitions, 2320 secs || 208778712 markings, 359080956 edges, 94502 markings/sec, 2320 secs
lola: 186 tries, 185795638 fired transitions, 2325 secs || 209251376 markings, 359903189 edges, 94533 markings/sec, 2325 secs
lola: 187 tries, 186218118 fired transitions, 2330 secs || 209724992 markings, 360726171 edges, 94723 markings/sec, 2330 secs
lola: 187 tries, 186638312 fired transitions, 2335 secs || 210198940 markings, 361546022 edges, 94790 markings/sec, 2335 secs
lola: 188 tries, 187059199 fired transitions, 2340 secs || 210673047 markings, 362368459 edges, 94821 markings/sec, 2340 secs
lola: 188 tries, 187479333 fired transitions, 2345 secs || 211144903 markings, 363187842 edges, 94371 markings/sec, 2345 secs
lola: 188 tries, 187898951 fired transitions, 2350 secs || 211617313 markings, 364007229 edges, 94482 markings/sec, 2350 secs
lola: 189 tries, 188318055 fired transitions, 2355 secs || 212093282 markings, 364832271 edges, 95194 markings/sec, 2355 secs
lola: 189 tries, 188738878 fired transitions, 2360 secs || 212566509 markings, 365656015 edges, 94645 markings/sec, 2360 secs
lola: 190 tries, 189158705 fired transitions, 2365 secs || 213045536 markings, 366486785 edges, 95805 markings/sec, 2365 secs
lola: 190 tries, 189577813 fired transitions, 2370 secs || 213527583 markings, 367317258 edges, 96409 markings/sec, 2370 secs
lola: 191 tries, 190001483 fired transitions, 2375 secs || 214005537 markings, 368145611 edges, 95591 markings/sec, 2375 secs
lola: 191 tries, 190419885 fired transitions, 2380 secs || 214465655 markings, 368943511 edges, 92024 markings/sec, 2380 secs
lola: 191 tries, 190845581 fired transitions, 2385 secs || 214936471 markings, 369761099 edges, 94163 markings/sec, 2385 secs
lola: 192 tries, 191273929 fired transitions, 2390 secs || 215405493 markings, 370576729 edges, 93804 markings/sec, 2390 secs
lola: 192 tries, 191702459 fired transitions, 2395 secs || 215878678 markings, 371396904 edges, 94637 markings/sec, 2395 secs
lola: 193 tries, 192133421 fired transitions, 2400 secs || 216321774 markings, 372169485 edges, 88619 markings/sec, 2400 secs
lola: 193 tries, 192562575 fired transitions, 2405 secs || 216786044 markings, 372977465 edges, 92854 markings/sec, 2405 secs
lola: 193 tries, 192979098 fired transitions, 2410 secs || 217241578 markings, 373766947 edges, 91107 markings/sec, 2410 secs
lola: 194 tries, 193407518 fired transitions, 2415 secs || 217717401 markings, 374595648 edges, 95165 markings/sec, 2415 secs
lola: 194 tries, 193835806 fired transitions, 2420 secs || 218196198 markings, 375423526 edges, 95759 markings/sec, 2420 secs
lola: 195 tries, 194264140 fired transitions, 2425 secs || 218669296 markings, 376247185 edges, 94620 markings/sec, 2425 secs
lola: 195 tries, 194692165 fired transitions, 2430 secs || 219144187 markings, 377072836 edges, 94978 markings/sec, 2430 secs
lola: 196 tries, 195120537 fired transitions, 2435 secs || 219617258 markings, 377898656 edges, 94614 markings/sec, 2435 secs
lola: 196 tries, 195549147 fired transitions, 2440 secs || 220093871 markings, 378727860 edges, 95323 markings/sec, 2440 secs
lola: 196 tries, 195977351 fired transitions, 2445 secs || 220564194 markings, 379547869 edges, 94065 markings/sec, 2445 secs
lola: 197 tries, 196404993 fired transitions, 2450 secs || 221032187 markings, 380362505 edges, 93599 markings/sec, 2450 secs
lola: 197 tries, 196824422 fired transitions, 2455 secs || 221487124 markings, 381152729 edges, 90987 markings/sec, 2455 secs
lola: 198 tries, 197253436 fired transitions, 2460 secs || 221958879 markings, 381971425 edges, 94351 markings/sec, 2460 secs
lola: 198 tries, 197681922 fired transitions, 2465 secs || 222421208 markings, 382773796 edges, 92466 markings/sec, 2465 secs
lola: 199 tries, 198111551 fired transitions, 2470 secs || 222882375 markings, 383571416 edges, 92233 markings/sec, 2470 secs
lola: 199 tries, 198539937 fired transitions, 2475 secs || 223357101 markings, 384400004 edges, 94945 markings/sec, 2475 secs
lola: 199 tries, 198967835 fired transitions, 2480 secs || 223834715 markings, 385228409 edges, 95523 markings/sec, 2480 secs
lola: 200 tries, 199395710 fired transitions, 2485 secs || 224311495 markings, 386056650 edges, 95356 markings/sec, 2485 secs
lola: 200 tries, 199823278 fired transitions, 2490 secs || 224788425 markings, 386885912 edges, 95386 markings/sec, 2490 secs
lola: 201 tries, 200251252 fired transitions, 2495 secs || 225264434 markings, 387712579 edges, 95202 markings/sec, 2495 secs
lola: 201 tries, 200679090 fired transitions, 2500 secs || 225738364 markings, 388538694 edges, 94786 markings/sec, 2500 secs
lola: 202 tries, 201097217 fired transitions, 2505 secs || 226188698 markings, 389325149 edges, 90067 markings/sec, 2505 secs
lola: 202 tries, 201523675 fired transitions, 2510 secs || 226655686 markings, 390133831 edges, 93398 markings/sec, 2510 secs
lola: 202 tries, 201949986 fired transitions, 2515 secs || 227117329 markings, 390935234 edges, 92329 markings/sec, 2515 secs
lola: 203 tries, 202377256 fired transitions, 2520 secs || 227580308 markings, 391741261 edges, 92596 markings/sec, 2520 secs
lola: 203 tries, 202806540 fired transitions, 2525 secs || 228041392 markings, 392542814 edges, 92217 markings/sec, 2525 secs
lola: 204 tries, 203235021 fired transitions, 2530 secs || 228499562 markings, 393340178 edges, 91634 markings/sec, 2530 secs
lola: 204 tries, 203665312 fired transitions, 2535 secs || 228956431 markings, 394136921 edges, 91374 markings/sec, 2535 secs
lola: 205 tries, 204094297 fired transitions, 2540 secs || 229418253 markings, 394942828 edges, 92364 markings/sec, 2540 secs
lola: 205 tries, 204522580 fired transitions, 2545 secs || 229881458 markings, 395750671 edges, 92641 markings/sec, 2545 secs
lola: 205 tries, 204951272 fired transitions, 2550 secs || 230338643 markings, 396545437 edges, 91437 markings/sec, 2550 secs
lola: 206 tries, 205376554 fired transitions, 2555 secs || 230807254 markings, 397361641 edges, 93722 markings/sec, 2555 secs
lola: 206 tries, 205805995 fired transitions, 2560 secs || 231274657 markings, 398172001 edges, 93481 markings/sec, 2560 secs
lola: 207 tries, 206234302 fired transitions, 2565 secs || 231742743 markings, 398988048 edges, 93617 markings/sec, 2565 secs
lola: 207 tries, 206663427 fired transitions, 2570 secs || 232210314 markings, 399797289 edges, 93514 markings/sec, 2570 secs
lola: 208 tries, 207085424 fired transitions, 2575 secs || 232669718 markings, 400596012 edges, 91881 markings/sec, 2575 secs
lola: 208 tries, 207513593 fired transitions, 2580 secs || 233142319 markings, 401420823 edges, 94520 markings/sec, 2580 secs
lola: 208 tries, 207937456 fired transitions, 2585 secs || 233600137 markings, 402217712 edges, 91564 markings/sec, 2585 secs
lola: 209 tries, 208365610 fired transitions, 2590 secs || 234070880 markings, 403037937 edges, 94149 markings/sec, 2590 secs
lola: 209 tries, 208794753 fired transitions, 2595 secs || 234539040 markings, 403850755 edges, 93632 markings/sec, 2595 secs
lola: 210 tries, 209223722 fired transitions, 2600 secs || 235006134 markings, 404663432 edges, 93419 markings/sec, 2600 secs
lola: 210 tries, 209651020 fired transitions, 2605 secs || 235477429 markings, 405483047 edges, 94259 markings/sec, 2605 secs
lola: 211 tries, 210078145 fired transitions, 2610 secs || 235950802 markings, 406305621 edges, 94675 markings/sec, 2610 secs
lola: 211 tries, 210506057 fired transitions, 2615 secs || 236418043 markings, 407119456 edges, 93448 markings/sec, 2615 secs
lola: 211 tries, 210934046 fired transitions, 2620 secs || 236883270 markings, 407927607 edges, 93045 markings/sec, 2620 secs
lola: 212 tries, 211362734 fired transitions, 2625 secs || 237347538 markings, 408734655 edges, 92854 markings/sec, 2625 secs
lola: 212 tries, 211757592 fired transitions, 2630 secs || 237792190 markings, 409508171 edges, 88930 markings/sec, 2630 secs
lola: 213 tries, 212180285 fired transitions, 2635 secs || 238249299 markings, 410306060 edges, 91422 markings/sec, 2635 secs
lola: 213 tries, 212600919 fired transitions, 2640 secs || 238707791 markings, 411100944 edges, 91698 markings/sec, 2640 secs
lola: 214 tries, 213028587 fired transitions, 2645 secs || 239168384 markings, 411906010 edges, 92119 markings/sec, 2645 secs
lola: 214 tries, 213442518 fired transitions, 2650 secs || 239627124 markings, 412703308 edges, 91748 markings/sec, 2650 secs
lola: 214 tries, 213870388 fired transitions, 2655 secs || 240088395 markings, 413506313 edges, 92254 markings/sec, 2655 secs
lola: 215 tries, 214296057 fired transitions, 2660 secs || 240549608 markings, 414307730 edges, 92243 markings/sec, 2660 secs
lola: 215 tries, 214722870 fired transitions, 2665 secs || 241022633 markings, 415127283 edges, 94605 markings/sec, 2665 secs
lola: 216 tries, 215083908 fired transitions, 2670 secs || 241434426 markings, 415841615 edges, 82359 markings/sec, 2670 secs
lola: 216 tries, 215450503 fired transitions, 2675 secs || 241842552 markings, 416551966 edges, 81625 markings/sec, 2675 secs
lola: 216 tries, 215881204 fired transitions, 2680 secs || 242305993 markings, 417357692 edges, 92688 markings/sec, 2680 secs
lola: 217 tries, 216312553 fired transitions, 2685 secs || 242761499 markings, 418151590 edges, 91101 markings/sec, 2685 secs
lola: 217 tries, 216737377 fired transitions, 2690 secs || 243211426 markings, 418932428 edges, 89985 markings/sec, 2690 secs
lola: 218 tries, 217156939 fired transitions, 2695 secs || 243678508 markings, 419745920 edges, 93416 markings/sec, 2695 secs
lola: 218 tries, 217571616 fired transitions, 2700 secs || 244143119 markings, 420554353 edges, 92922 markings/sec, 2700 secs
lola: 218 tries, 217931391 fired transitions, 2705 secs || 244558164 markings, 421276182 edges, 83009 markings/sec, 2705 secs
lola: 219 tries, 218266755 fired transitions, 2710 secs || 244944614 markings, 421945125 edges, 77290 markings/sec, 2710 secs
lola: 219 tries, 218601257 fired transitions, 2715 secs || 245321431 markings, 422602121 edges, 75363 markings/sec, 2715 secs
lola: 219 tries, 218936639 fired transitions, 2720 secs || 245702348 markings, 423264891 edges, 76183 markings/sec, 2720 secs
lola: 220 tries, 219358747 fired transitions, 2725 secs || 246172798 markings, 424083439 edges, 94090 markings/sec, 2725 secs
lola: 220 tries, 219787271 fired transitions, 2730 secs || 246641393 markings, 424900790 edges, 93719 markings/sec, 2730 secs
lola: 221 tries, 220208409 fired transitions, 2735 secs || 247113196 markings, 425717669 edges, 94361 markings/sec, 2735 secs
lola: 221 tries, 220622693 fired transitions, 2740 secs || 247584023 markings, 426534509 edges, 94165 markings/sec, 2740 secs
lola: 222 tries, 221035423 fired transitions, 2745 secs || 248053027 markings, 427349486 edges, 93801 markings/sec, 2745 secs
lola: 222 tries, 221464889 fired transitions, 2750 secs || 248514864 markings, 428153335 edges, 92367 markings/sec, 2750 secs
lola: 222 tries, 221894015 fired transitions, 2755 secs || 248980700 markings, 428963891 edges, 93167 markings/sec, 2755 secs
lola: 223 tries, 222322223 fired transitions, 2760 secs || 249448098 markings, 429781521 edges, 93480 markings/sec, 2760 secs
lola: 223 tries, 222751442 fired transitions, 2765 secs || 249915297 markings, 430594334 edges, 93440 markings/sec, 2765 secs
lola: 224 tries, 223180444 fired transitions, 2770 secs || 250383293 markings, 431409283 edges, 93599 markings/sec, 2770 secs
lola: 224 tries, 223607393 fired transitions, 2775 secs || 250842997 markings, 432209294 edges, 91941 markings/sec, 2775 secs
lola: 225 tries, 224036064 fired transitions, 2780 secs || 251319553 markings, 433038847 edges, 95311 markings/sec, 2780 secs
lola: 225 tries, 224462926 fired transitions, 2785 secs || 251793491 markings, 433865820 edges, 94788 markings/sec, 2785 secs
lola: 225 tries, 224873686 fired transitions, 2790 secs || 252259690 markings, 434676907 edges, 93240 markings/sec, 2790 secs
lola: 226 tries, 225289137 fired transitions, 2795 secs || 252729905 markings, 435496204 edges, 94043 markings/sec, 2795 secs
lola: 226 tries, 225708183 fired transitions, 2800 secs || 253198484 markings, 436313204 edges, 93716 markings/sec, 2800 secs
lola: 227 tries, 226125590 fired transitions, 2805 secs || 253666095 markings, 437131347 edges, 93522 markings/sec, 2805 secs
lola: 227 tries, 226542542 fired transitions, 2810 secs || 254142531 markings, 437958391 edges, 95287 markings/sec, 2810 secs
lola: 227 tries, 226936851 fired transitions, 2815 secs || 254601036 markings, 438751757 edges, 91701 markings/sec, 2815 secs
lola: 228 tries, 227272868 fired transitions, 2820 secs || 254995541 markings, 439439046 edges, 78901 markings/sec, 2820 secs
lola: 228 tries, 227667343 fired transitions, 2825 secs || 255441870 markings, 440213995 edges, 89266 markings/sec, 2825 secs
lola: 229 tries, 228082535 fired transitions, 2830 secs || 255908676 markings, 441031889 edges, 93361 markings/sec, 2830 secs
lola: 229 tries, 228500861 fired transitions, 2835 secs || 256379058 markings, 441850789 edges, 94076 markings/sec, 2835 secs
lola: 229 tries, 228916989 fired transitions, 2840 secs || 256850667 markings, 442670623 edges, 94322 markings/sec, 2840 secs
lola: 230 tries, 229336981 fired transitions, 2845 secs || 257321286 markings, 443491799 edges, 94124 markings/sec, 2845 secs
lola: 230 tries, 229753512 fired transitions, 2850 secs || 257796757 markings, 444314777 edges, 95094 markings/sec, 2850 secs
lola: 231 tries, 230175747 fired transitions, 2855 secs || 258267214 markings, 445139013 edges, 94091 markings/sec, 2855 secs
lola: 231 tries, 230593273 fired transitions, 2860 secs || 258748002 markings, 445977146 edges, 96158 markings/sec, 2860 secs
lola: 231 tries, 230978871 fired transitions, 2865 secs || 259196222 markings, 446756945 edges, 89644 markings/sec, 2865 secs
lola: 232 tries, 231393510 fired transitions, 2870 secs || 259669253 markings, 447579725 edges, 94606 markings/sec, 2870 secs
lola: 232 tries, 231805474 fired transitions, 2875 secs || 260132054 markings, 448389022 edges, 92560 markings/sec, 2875 secs
lola: 233 tries, 232157570 fired transitions, 2880 secs || 260539821 markings, 449097246 edges, 81553 markings/sec, 2880 secs
lola: 233 tries, 232538638 fired transitions, 2885 secs || 260989332 markings, 449881615 edges, 89902 markings/sec, 2885 secs
lola: 233 tries, 232944521 fired transitions, 2890 secs || 261460408 markings, 450698310 edges, 94215 markings/sec, 2890 secs
lola: 234 tries, 233297933 fired transitions, 2895 secs || 261867833 markings, 451407677 edges, 81485 markings/sec, 2895 secs
lola: 234 tries, 233670849 fired transitions, 2900 secs || 262304441 markings, 452169691 edges, 87322 markings/sec, 2900 secs
lola: 235 tries, 234089278 fired transitions, 2905 secs || 262780742 markings, 452996106 edges, 95260 markings/sec, 2905 secs
lola: 235 tries, 234513988 fired transitions, 2910 secs || 263254016 markings, 453821263 edges, 94655 markings/sec, 2910 secs
lola: 235 tries, 234925482 fired transitions, 2915 secs || 263715159 markings, 454624064 edges, 92229 markings/sec, 2915 secs
lola: 236 tries, 235316228 fired transitions, 2920 secs || 264175919 markings, 455426231 edges, 92152 markings/sec, 2920 secs
lola: 236 tries, 235705209 fired transitions, 2925 secs || 264638852 markings, 456232815 edges, 92587 markings/sec, 2925 secs
lola: 237 tries, 236053514 fired transitions, 2930 secs || 265060670 markings, 456967215 edges, 84364 markings/sec, 2930 secs
lola: 237 tries, 236470435 fired transitions, 2935 secs || 265530856 markings, 457787963 edges, 94037 markings/sec, 2935 secs
lola: 237 tries, 236808759 fired transitions, 2940 secs || 265922958 markings, 458467477 edges, 78420 markings/sec, 2940 secs
lola: 238 tries, 237208753 fired transitions, 2945 secs || 266374174 markings, 459252328 edges, 90243 markings/sec, 2945 secs
lola: 238 tries, 237631426 fired transitions, 2950 secs || 266848168 markings, 460082428 edges, 94799 markings/sec, 2950 secs
lola: 239 tries, 238037565 fired transitions, 2955 secs || 267311712 markings, 460893583 edges, 92709 markings/sec, 2955 secs
lola: 239 tries, 238385307 fired transitions, 2960 secs || 267725618 markings, 461612229 edges, 82781 markings/sec, 2960 secs
lola: 239 tries, 238783148 fired transitions, 2965 secs || 268204023 markings, 462442683 edges, 95681 markings/sec, 2965 secs
lola: 240 tries, 239191932 fired transitions, 2970 secs || 268676236 markings, 463265287 edges, 94443 markings/sec, 2970 secs
lola: 240 tries, 239611879 fired transitions, 2975 secs || 269148018 markings, 464088699 edges, 94356 markings/sec, 2975 secs
lola: 241 tries, 240028143 fired transitions, 2980 secs || 269623789 markings, 464921430 edges, 95154 markings/sec, 2980 secs
lola: 241 tries, 240439842 fired transitions, 2985 secs || 270100947 markings, 465749858 edges, 95432 markings/sec, 2985 secs
lola: 241 tries, 240858106 fired transitions, 2990 secs || 270574830 markings, 466575526 edges, 94777 markings/sec, 2990 secs
lola: 242 tries, 241279274 fired transitions, 2995 secs || 271048662 markings, 467400832 edges, 94766 markings/sec, 2995 secs
lola: 242 tries, 241643024 fired transitions, 3000 secs || 271462602 markings, 468121922 edges, 82788 markings/sec, 3000 secs
lola: 242 tries, 241976037 fired transitions, 3005 secs || 271855086 markings, 468801464 edges, 78497 markings/sec, 3005 secs
lola: 243 tries, 242312908 fired transitions, 3010 secs || 272242086 markings, 469474943 edges, 77400 markings/sec, 3010 secs
lola: 243 tries, 242659058 fired transitions, 3015 secs || 272637952 markings, 470165979 edges, 79173 markings/sec, 3015 secs
lola: 243 tries, 242996824 fired transitions, 3020 secs || 273018253 markings, 470827631 edges, 76060 markings/sec, 3020 secs
lola: 244 tries, 243333984 fired transitions, 3025 secs || 273403869 markings, 471499386 edges, 77123 markings/sec, 3025 secs
lola: 244 tries, 243670500 fired transitions, 3030 secs || 273783971 markings, 472163896 edges, 76020 markings/sec, 3030 secs
lola: 245 tries, 244008139 fired transitions, 3035 secs || 274168954 markings, 472834627 edges, 76997 markings/sec, 3035 secs
lola: 245 tries, 244419285 fired transitions, 3040 secs || 274637441 markings, 473651351 edges, 93697 markings/sec, 3040 secs
lola: 245 tries, 244837363 fired transitions, 3045 secs || 275105131 markings, 474468198 edges, 93538 markings/sec, 3045 secs
lola: 246 tries, 245235511 fired transitions, 3050 secs || 275583577 markings, 475304081 edges, 95689 markings/sec, 3050 secs
lola: 246 tries, 245683078 fired transitions, 3055 secs || 275839954 markings, 475751550 edges, 51275 markings/sec, 3055 secs
lola: 247 tries, 246074918 fired transitions, 3060 secs || 276031595 markings, 476086775 edges, 38328 markings/sec, 3060 secs
lola: 247 tries, 246511572 fired transitions, 3065 secs || 276230857 markings, 476434574 edges, 39852 markings/sec, 3065 secs
lola: 247 tries, 246939237 fired transitions, 3070 secs || 276392753 markings, 476718175 edges, 32379 markings/sec, 3070 secs
lola: 248 tries, 247092736 fired transitions, 3075 secs || 276424147 markings, 476772931 edges, 6279 markings/sec, 3075 secs
lola: 248 tries, 247573623 fired transitions, 3080 secs || 276481614 markings, 476875254 edges, 11493 markings/sec, 3080 secs
lola: 249 tries, 248124734 fired transitions, 3085 secs || 276510382 markings, 476925032 edges, 5754 markings/sec, 3085 secs
lola: 249 tries, 248456342 fired transitions, 3090 secs || 276569734 markings, 477027833 edges, 11870 markings/sec, 3090 secs
Killed
rslt: finished

BK_STOP 1554505318123

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
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-2A"
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-2A, 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-155344535000255"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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