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

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

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.4K Mar 23 12:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 12:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 12:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:16 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.4K Mar 23 12:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Mar 23 12:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.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.3K Mar 23 12:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 11:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 81K 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-1A-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554504733226

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ NoC3x3-PT-1A @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 764
rslt: Output for GlobalProperties @ NoC3x3-PT-1A
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: 520/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 165
lola: finding significant places
lola: 165 places, 355 transitions, 125 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1088848 fired transitions, 0 secs || 432367 markings, 1346959 edges, 86473 markings/sec, 0 secs
lola: 3 tries, 2174742 fired transitions, 5 secs || 849533 markings, 2642541 edges, 83433 markings/sec, 5 secs
lola: 4 tries, 3281254 fired transitions, 10 secs || 1282569 markings, 3961659 edges, 86607 markings/sec, 10 secs
lola: 5 tries, 4396329 fired transitions, 15 secs || 1708015 markings, 5272937 edges, 85089 markings/sec, 15 secs
lola: 6 tries, 5516546 fired transitions, 20 secs || 2134504 markings, 6573631 edges, 85298 markings/sec, 20 secs
lola: 7 tries, 6637400 fired transitions, 25 secs || 2546061 markings, 7890303 edges, 82311 markings/sec, 25 secs
lola: 8 tries, 7760580 fired transitions, 30 secs || 2963338 markings, 9196701 edges, 83455 markings/sec, 30 secs
lola: 9 tries, 8888300 fired transitions, 35 secs || 3383517 markings, 10502718 edges, 84036 markings/sec, 35 secs
lola: 11 tries, 10008711 fired transitions, 40 secs || 3805152 markings, 11808678 edges, 84327 markings/sec, 40 secs
lola: 12 tries, 11138784 fired transitions, 45 secs || 4218926 markings, 13128302 edges, 82755 markings/sec, 45 secs
lola: 13 tries, 12224931 fired transitions, 50 secs || 4632238 markings, 14412699 edges, 82662 markings/sec, 50 secs
lola: 14 tries, 13332908 fired transitions, 55 secs || 5051536 markings, 15712003 edges, 83860 markings/sec, 55 secs
lola: 15 tries, 14409920 fired transitions, 60 secs || 5447444 markings, 16941688 edges, 79182 markings/sec, 60 secs
lola: 16 tries, 15505482 fired transitions, 65 secs || 5840325 markings, 18177261 edges, 78576 markings/sec, 65 secs
lola: 17 tries, 16631889 fired transitions, 70 secs || 6253586 markings, 19466663 edges, 82652 markings/sec, 70 secs
lola: 18 tries, 17757320 fired transitions, 75 secs || 6665879 markings, 20773957 edges, 82459 markings/sec, 75 secs
lola: 19 tries, 18894622 fired transitions, 80 secs || 7075148 markings, 22077067 edges, 81854 markings/sec, 80 secs
lola: 21 tries, 20021683 fired transitions, 85 secs || 7483539 markings, 23359644 edges, 81678 markings/sec, 85 secs
lola: 22 tries, 21137242 fired transitions, 90 secs || 7898646 markings, 24650030 edges, 83021 markings/sec, 90 secs
lola: 23 tries, 22266215 fired transitions, 95 secs || 8290702 markings, 26059169 edges, 78411 markings/sec, 95 secs
lola: 24 tries, 23376410 fired transitions, 100 secs || 8669589 markings, 27548899 edges, 75777 markings/sec, 100 secs
lola: 25 tries, 24484717 fired transitions, 105 secs || 9046149 markings, 28997868 edges, 75312 markings/sec, 105 secs
lola: 26 tries, 25599705 fired transitions, 110 secs || 9413680 markings, 30435154 edges, 73506 markings/sec, 110 secs
lola: 27 tries, 26677951 fired transitions, 115 secs || 9772980 markings, 31807326 edges, 71860 markings/sec, 115 secs
lola: 28 tries, 27765333 fired transitions, 120 secs || 10129313 markings, 33176595 edges, 71267 markings/sec, 120 secs
lola: 29 tries, 28871113 fired transitions, 125 secs || 10488461 markings, 34552216 edges, 71830 markings/sec, 125 secs
lola: 30 tries, 29955742 fired transitions, 130 secs || 10841045 markings, 35896448 edges, 70517 markings/sec, 130 secs
lola: 32 tries, 31034231 fired transitions, 135 secs || 11193634 markings, 37224558 edges, 70518 markings/sec, 135 secs
lola: 33 tries, 32116799 fired transitions, 140 secs || 11548302 markings, 38584783 edges, 70934 markings/sec, 140 secs
lola: 34 tries, 33227484 fired transitions, 145 secs || 11905209 markings, 39960281 edges, 71381 markings/sec, 145 secs
lola: 35 tries, 34533401 fired transitions, 150 secs || 12310805 markings, 41499442 edges, 81119 markings/sec, 150 secs
lola: 36 tries, 35854195 fired transitions, 155 secs || 12716243 markings, 43072499 edges, 81088 markings/sec, 155 secs
lola: 37 tries, 36981680 fired transitions, 160 secs || 13081765 markings, 44477077 edges, 73104 markings/sec, 160 secs
lola: 39 tries, 38134065 fired transitions, 165 secs || 13456542 markings, 45910025 edges, 74955 markings/sec, 165 secs
lola: 40 tries, 39397938 fired transitions, 170 secs || 13859248 markings, 47441829 edges, 80541 markings/sec, 170 secs
lola: 41 tries, 40733583 fired transitions, 175 secs || 14272247 markings, 49002205 edges, 82600 markings/sec, 175 secs
lola: 42 tries, 41856030 fired transitions, 180 secs || 14636742 markings, 50365162 edges, 72899 markings/sec, 180 secs
lola: 44 tries, 43054695 fired transitions, 185 secs || 15017901 markings, 51808238 edges, 76232 markings/sec, 185 secs
lola: 45 tries, 44197580 fired transitions, 190 secs || 15386810 markings, 53215535 edges, 73782 markings/sec, 190 secs
lola: 46 tries, 45321645 fired transitions, 195 secs || 15751698 markings, 54589134 edges, 72978 markings/sec, 195 secs
lola: 47 tries, 46506148 fired transitions, 200 secs || 16131103 markings, 56021449 edges, 75881 markings/sec, 200 secs
lola: 48 tries, 47715314 fired transitions, 205 secs || 16512159 markings, 57473346 edges, 76211 markings/sec, 205 secs
lola: 49 tries, 48880959 fired transitions, 210 secs || 16884926 markings, 58904979 edges, 74553 markings/sec, 210 secs
lola: 51 tries, 50040068 fired transitions, 215 secs || 17249750 markings, 60288750 edges, 72965 markings/sec, 215 secs
lola: 52 tries, 51470516 fired transitions, 220 secs || 17675964 markings, 61896205 edges, 85243 markings/sec, 220 secs
lola: 53 tries, 52877489 fired transitions, 225 secs || 18100907 markings, 63487790 edges, 84989 markings/sec, 225 secs
lola: 55 tries, 54379100 fired transitions, 230 secs || 18540566 markings, 65122575 edges, 87932 markings/sec, 230 secs
lola: 56 tries, 55612803 fired transitions, 235 secs || 18922458 markings, 66555963 edges, 76378 markings/sec, 235 secs
lola: 57 tries, 56876245 fired transitions, 240 secs || 19316831 markings, 68015883 edges, 78875 markings/sec, 240 secs
lola: 59 tries, 58169069 fired transitions, 245 secs || 19715940 markings, 69509962 edges, 79822 markings/sec, 245 secs
lola: 60 tries, 59652150 fired transitions, 250 secs || 20152565 markings, 71146324 edges, 87325 markings/sec, 250 secs
lola: 62 tries, 61131216 fired transitions, 255 secs || 20588932 markings, 72792465 edges, 87273 markings/sec, 255 secs
lola: 63 tries, 62518750 fired transitions, 260 secs || 21000071 markings, 74343638 edges, 82228 markings/sec, 260 secs
lola: 64 tries, 63894468 fired transitions, 265 secs || 21412370 markings, 75927312 edges, 82460 markings/sec, 265 secs
lola: 66 tries, 65384314 fired transitions, 270 secs || 21835319 markings, 77522394 edges, 84590 markings/sec, 270 secs
lola: 67 tries, 66871705 fired transitions, 275 secs || 22266394 markings, 79174939 edges, 86215 markings/sec, 275 secs
lola: 69 tries, 68388756 fired transitions, 280 secs || 22703652 markings, 80832208 edges, 87452 markings/sec, 280 secs
lola: 70 tries, 69909397 fired transitions, 285 secs || 23136248 markings, 82491738 edges, 86519 markings/sec, 285 secs
lola: 72 tries, 71426019 fired transitions, 290 secs || 23569457 markings, 84120399 edges, 86642 markings/sec, 290 secs
lola: 73 tries, 72952194 fired transitions, 295 secs || 23983945 markings, 85696273 edges, 82898 markings/sec, 295 secs
lola: 75 tries, 74466192 fired transitions, 300 secs || 24410878 markings, 87282985 edges, 85387 markings/sec, 300 secs
lola: 76 tries, 75926172 fired transitions, 305 secs || 24830294 markings, 88862592 edges, 83883 markings/sec, 305 secs
lola: 78 tries, 77129872 fired transitions, 310 secs || 25201400 markings, 90273697 edges, 74221 markings/sec, 310 secs
lola: 79 tries, 78610186 fired transitions, 315 secs || 25627089 markings, 91886362 edges, 85138 markings/sec, 315 secs
lola: 80 tries, 79935597 fired transitions, 320 secs || 26024155 markings, 93387669 edges, 79413 markings/sec, 320 secs
lola: 82 tries, 81438691 fired transitions, 325 secs || 26452615 markings, 95019014 edges, 85692 markings/sec, 325 secs
lola: 83 tries, 82951233 fired transitions, 330 secs || 26878687 markings, 96606171 edges, 85214 markings/sec, 330 secs
lola: 85 tries, 84138912 fired transitions, 335 secs || 27249310 markings, 98007784 edges, 74125 markings/sec, 335 secs
lola: 86 tries, 85293932 fired transitions, 340 secs || 27611374 markings, 99373109 edges, 72413 markings/sec, 340 secs
lola: 87 tries, 86801684 fired transitions, 345 secs || 28046048 markings, 101004272 edges, 86935 markings/sec, 345 secs
lola: 89 tries, 88313984 fired transitions, 350 secs || 28481589 markings, 102691745 edges, 87108 markings/sec, 350 secs
lola: 90 tries, 89562896 fired transitions, 355 secs || 28859343 markings, 104122243 edges, 75551 markings/sec, 355 secs
lola: 91 tries, 90707555 fired transitions, 360 secs || 29214251 markings, 105445524 edges, 70982 markings/sec, 360 secs
lola: 92 tries, 91852826 fired transitions, 365 secs || 29570422 markings, 106782545 edges, 71234 markings/sec, 365 secs
lola: 94 tries, 93003114 fired transitions, 370 secs || 29927121 markings, 108106878 edges, 71340 markings/sec, 370 secs
lola: 95 tries, 94188883 fired transitions, 375 secs || 30296878 markings, 109500376 edges, 73951 markings/sec, 375 secs
lola: 96 tries, 95707539 fired transitions, 380 secs || 30724056 markings, 111114257 edges, 85436 markings/sec, 380 secs
lola: 98 tries, 97224014 fired transitions, 385 secs || 31152464 markings, 112740043 edges, 85682 markings/sec, 385 secs
lola: 99 tries, 98746334 fired transitions, 390 secs || 31570224 markings, 114315989 edges, 83552 markings/sec, 390 secs
lola: 101 tries, 100257502 fired transitions, 395 secs || 31999368 markings, 115936213 edges, 85829 markings/sec, 395 secs
lola: 102 tries, 101489752 fired transitions, 400 secs || 32368203 markings, 117325344 edges, 73767 markings/sec, 400 secs
lola: 103 tries, 102900690 fired transitions, 405 secs || 32766555 markings, 118837315 edges, 79670 markings/sec, 405 secs
lola: 105 tries, 104457456 fired transitions, 410 secs || 33228945 markings, 120891158 edges, 92478 markings/sec, 410 secs
lola: 106 tries, 105900156 fired transitions, 415 secs || 33601492 markings, 123038313 edges, 74509 markings/sec, 415 secs
lola: 108 tries, 107196274 fired transitions, 420 secs || 33989737 markings, 124489386 edges, 77649 markings/sec, 420 secs
lola: 109 tries, 108712390 fired transitions, 425 secs || 34419509 markings, 126084956 edges, 85954 markings/sec, 425 secs
lola: 111 tries, 110230440 fired transitions, 430 secs || 34846842 markings, 127697148 edges, 85467 markings/sec, 430 secs
lola: 112 tries, 111746229 fired transitions, 435 secs || 35269218 markings, 129273278 edges, 84475 markings/sec, 435 secs
lola: 114 tries, 113262431 fired transitions, 440 secs || 35694978 markings, 130877132 edges, 85152 markings/sec, 440 secs
lola: 115 tries, 114775764 fired transitions, 445 secs || 36124595 markings, 132488096 edges, 85923 markings/sec, 445 secs
lola: 117 tries, 116293584 fired transitions, 450 secs || 36548593 markings, 134093025 edges, 84800 markings/sec, 450 secs
lola: 118 tries, 117813287 fired transitions, 455 secs || 36974801 markings, 135691844 edges, 85242 markings/sec, 455 secs
lola: 120 tries, 119328802 fired transitions, 460 secs || 37400634 markings, 137292974 edges, 85167 markings/sec, 460 secs
lola: 121 tries, 120849550 fired transitions, 465 secs || 37827963 markings, 138930281 edges, 85466 markings/sec, 465 secs
lola: 123 tries, 122369046 fired transitions, 470 secs || 38257913 markings, 140551168 edges, 85990 markings/sec, 470 secs
lola: 124 tries, 123727110 fired transitions, 475 secs || 38651570 markings, 142049021 edges, 78731 markings/sec, 475 secs
lola: 125 tries, 124863517 fired transitions, 480 secs || 39028642 markings, 143457222 edges, 75414 markings/sec, 480 secs
lola: 127 tries, 126352853 fired transitions, 485 secs || 39489764 markings, 145179149 edges, 92224 markings/sec, 485 secs
lola: 128 tries, 127872045 fired transitions, 490 secs || 39914559 markings, 146783679 edges, 84959 markings/sec, 490 secs
lola: 130 tries, 129398685 fired transitions, 495 secs || 40327700 markings, 148324517 edges, 82628 markings/sec, 495 secs
lola: 131 tries, 130877083 fired transitions, 500 secs || 40747746 markings, 149916934 edges, 84009 markings/sec, 500 secs
lola: 133 tries, 132389724 fired transitions, 505 secs || 41180243 markings, 151532460 edges, 86499 markings/sec, 505 secs
lola: 134 tries, 133911928 fired transitions, 510 secs || 41606922 markings, 153125385 edges, 85336 markings/sec, 510 secs
lola: 136 tries, 135430969 fired transitions, 515 secs || 42030154 markings, 154717830 edges, 84646 markings/sec, 515 secs
lola: 137 tries, 136952400 fired transitions, 520 secs || 42456071 markings, 156324785 edges, 85183 markings/sec, 520 secs
lola: 139 tries, 138473244 fired transitions, 525 secs || 42879329 markings, 157921307 edges, 84652 markings/sec, 525 secs
lola: 140 tries, 139969443 fired transitions, 530 secs || 43289987 markings, 159462514 edges, 82132 markings/sec, 530 secs
lola: 142 tries, 141492722 fired transitions, 535 secs || 43713687 markings, 161065288 edges, 84740 markings/sec, 535 secs
lola: 144 tries, 143010833 fired transitions, 540 secs || 44137806 markings, 162664718 edges, 84824 markings/sec, 540 secs
lola: 145 tries, 144528622 fired transitions, 545 secs || 44560024 markings, 164239439 edges, 84444 markings/sec, 545 secs
lola: 147 tries, 146052791 fired transitions, 550 secs || 44983465 markings, 165863693 edges, 84688 markings/sec, 550 secs
lola: 148 tries, 147578166 fired transitions, 555 secs || 45404925 markings, 167448944 edges, 84292 markings/sec, 555 secs
lola: 150 tries, 149100125 fired transitions, 560 secs || 45832274 markings, 169060616 edges, 85470 markings/sec, 560 secs
lola: 151 tries, 150615401 fired transitions, 565 secs || 46268558 markings, 170708464 edges, 87257 markings/sec, 565 secs
lola: 153 tries, 152130616 fired transitions, 570 secs || 46694044 markings, 172315827 edges, 85097 markings/sec, 570 secs
lola: 154 tries, 153648418 fired transitions, 575 secs || 47117108 markings, 173907159 edges, 84613 markings/sec, 575 secs
lola: 156 tries, 155170051 fired transitions, 580 secs || 47542396 markings, 175503651 edges, 85058 markings/sec, 580 secs
lola: 157 tries, 156709321 fired transitions, 585 secs || 47964900 markings, 177201203 edges, 84501 markings/sec, 585 secs
lola: 159 tries, 158233535 fired transitions, 590 secs || 48386903 markings, 178785221 edges, 84401 markings/sec, 590 secs
lola: 160 tries, 159754404 fired transitions, 595 secs || 48805858 markings, 180357169 edges, 83791 markings/sec, 595 secs
lola: 162 tries, 161276505 fired transitions, 600 secs || 49226828 markings, 181948500 edges, 84194 markings/sec, 600 secs
lola: 163 tries, 162799025 fired transitions, 605 secs || 49641740 markings, 183497199 edges, 82982 markings/sec, 605 secs
lola: 165 tries, 164319045 fired transitions, 610 secs || 50055477 markings, 185071780 edges, 82747 markings/sec, 610 secs
lola: 166 tries, 165832348 fired transitions, 615 secs || 50469344 markings, 186657178 edges, 82773 markings/sec, 615 secs
lola: 168 tries, 167340758 fired transitions, 620 secs || 50890073 markings, 188241398 edges, 84146 markings/sec, 620 secs
lola: 169 tries, 168836299 fired transitions, 625 secs || 51315831 markings, 189851120 edges, 85152 markings/sec, 625 secs
lola: 171 tries, 170354868 fired transitions, 630 secs || 51727352 markings, 191400632 edges, 82304 markings/sec, 630 secs
lola: 172 tries, 171862201 fired transitions, 635 secs || 52144289 markings, 192990886 edges, 83387 markings/sec, 635 secs
lola: 174 tries, 173391226 fired transitions, 640 secs || 52557950 markings, 194547223 edges, 82732 markings/sec, 640 secs
lola: 175 tries, 174892746 fired transitions, 645 secs || 52972262 markings, 196113547 edges, 82862 markings/sec, 645 secs
lola: 177 tries, 176412962 fired transitions, 650 secs || 53389059 markings, 197690018 edges, 83359 markings/sec, 650 secs
lola: 178 tries, 177908425 fired transitions, 655 secs || 53807917 markings, 199281515 edges, 83772 markings/sec, 655 secs
lola: 180 tries, 179400239 fired transitions, 660 secs || 54226205 markings, 200847442 edges, 83658 markings/sec, 660 secs
lola: 181 tries, 180919063 fired transitions, 665 secs || 54640949 markings, 202431246 edges, 82949 markings/sec, 665 secs
lola: 183 tries, 182417162 fired transitions, 670 secs || 55062411 markings, 204020122 edges, 84292 markings/sec, 670 secs
lola: 184 tries, 183932613 fired transitions, 675 secs || 55479184 markings, 205601533 edges, 83355 markings/sec, 675 secs
lola: 186 tries, 185446910 fired transitions, 680 secs || 55897794 markings, 207180549 edges, 83722 markings/sec, 680 secs
lola: 187 tries, 186945190 fired transitions, 685 secs || 56317199 markings, 208774693 edges, 83881 markings/sec, 685 secs
lola: 189 tries, 188451909 fired transitions, 690 secs || 56737243 markings, 210377703 edges, 84009 markings/sec, 690 secs
lola: 190 tries, 189955275 fired transitions, 695 secs || 57174835 markings, 212017612 edges, 87518 markings/sec, 695 secs
lola: 192 tries, 191477181 fired transitions, 700 secs || 57590223 markings, 213582207 edges, 83078 markings/sec, 700 secs
lola: 193 tries, 192970288 fired transitions, 705 secs || 58013104 markings, 215176194 edges, 84576 markings/sec, 705 secs
lola: 195 tries, 194494351 fired transitions, 710 secs || 58425783 markings, 216739513 edges, 82536 markings/sec, 710 secs
lola: 196 tries, 195989693 fired transitions, 715 secs || 58846230 markings, 218334470 edges, 84089 markings/sec, 715 secs
lola: 198 tries, 197503707 fired transitions, 720 secs || 59295277 markings, 220013369 edges, 89809 markings/sec, 720 secs
lola: 200 tries, 199027529 fired transitions, 725 secs || 59727625 markings, 221648195 edges, 86470 markings/sec, 725 secs
lola: 201 tries, 200568801 fired transitions, 730 secs || 60149684 markings, 223243338 edges, 84412 markings/sec, 730 secs
lola: 203 tries, 202092014 fired transitions, 735 secs || 60578862 markings, 224866342 edges, 85836 markings/sec, 735 secs
lola: 204 tries, 203631788 fired transitions, 740 secs || 61006933 markings, 226482580 edges, 85614 markings/sec, 740 secs
lola: 206 tries, 205180622 fired transitions, 745 secs || 61425237 markings, 228070004 edges, 83661 markings/sec, 745 secs
lola: 207 tries, 206709527 fired transitions, 750 secs || 61861810 markings, 229708826 edges, 87315 markings/sec, 750 secs
lola: 209 tries, 208254538 fired transitions, 755 secs || 62284538 markings, 231322910 edges, 84546 markings/sec, 755 secs
lola: 210 tries, 209810083 fired transitions, 760 secs || 62700835 markings, 232902089 edges, 83259 markings/sec, 760 secs
lola: 212 tries, 211344821 fired transitions, 765 secs || 63124039 markings, 234518296 edges, 84641 markings/sec, 765 secs
lola: 213 tries, 212877644 fired transitions, 770 secs || 63562392 markings, 236194621 edges, 87671 markings/sec, 770 secs
lola: 215 tries, 214403226 fired transitions, 775 secs || 64014449 markings, 237965194 edges, 90411 markings/sec, 775 secs
lola: 216 tries, 215903244 fired transitions, 780 secs || 64466749 markings, 239758448 edges, 90460 markings/sec, 780 secs
lola: 218 tries, 217402944 fired transitions, 785 secs || 64918004 markings, 241526166 edges, 90251 markings/sec, 785 secs
lola: 219 tries, 218917403 fired transitions, 790 secs || 65365615 markings, 243303811 edges, 89522 markings/sec, 790 secs
lola: 221 tries, 220415599 fired transitions, 795 secs || 65828056 markings, 245047223 edges, 92488 markings/sec, 795 secs
lola: 222 tries, 221932516 fired transitions, 800 secs || 66274057 markings, 246752210 edges, 89200 markings/sec, 800 secs
lola: 224 tries, 223469427 fired transitions, 805 secs || 66706442 markings, 248467919 edges, 86477 markings/sec, 805 secs
lola: 226 tries, 225010563 fired transitions, 810 secs || 67137099 markings, 250169428 edges, 86131 markings/sec, 810 secs
lola: 227 tries, 226538506 fired transitions, 815 secs || 67566106 markings, 251866967 edges, 85801 markings/sec, 815 secs
lola: 229 tries, 228063552 fired transitions, 820 secs || 68000546 markings, 253583551 edges, 86888 markings/sec, 820 secs
lola: 230 tries, 229580562 fired transitions, 825 secs || 68433028 markings, 255292238 edges, 86496 markings/sec, 825 secs
lola: 232 tries, 231121138 fired transitions, 830 secs || 68856202 markings, 256976472 edges, 84635 markings/sec, 830 secs
lola: 233 tries, 232644771 fired transitions, 835 secs || 69278142 markings, 258650265 edges, 84388 markings/sec, 835 secs
lola: 235 tries, 234189896 fired transitions, 840 secs || 69700374 markings, 260333285 edges, 84446 markings/sec, 840 secs
lola: 236 tries, 235710246 fired transitions, 845 secs || 70126223 markings, 262026961 edges, 85170 markings/sec, 845 secs
lola: 238 tries, 237257801 fired transitions, 850 secs || 70549316 markings, 263698531 edges, 84619 markings/sec, 850 secs
lola: 239 tries, 238780223 fired transitions, 855 secs || 70979201 markings, 265408448 edges, 85977 markings/sec, 855 secs
lola: 241 tries, 240302991 fired transitions, 860 secs || 71406440 markings, 267102389 edges, 85448 markings/sec, 860 secs
lola: 242 tries, 241836852 fired transitions, 865 secs || 71836247 markings, 268807840 edges, 85961 markings/sec, 865 secs
lola: 244 tries, 243376933 fired transitions, 870 secs || 72259133 markings, 270477007 edges, 84577 markings/sec, 870 secs
lola: 245 tries, 244890251 fired transitions, 875 secs || 72689526 markings, 272182171 edges, 86079 markings/sec, 875 secs
lola: 247 tries, 246423096 fired transitions, 880 secs || 73118579 markings, 273882210 edges, 85811 markings/sec, 880 secs
lola: 248 tries, 247972993 fired transitions, 885 secs || 73556323 markings, 275607630 edges, 87549 markings/sec, 885 secs
lola: 250 tries, 249564510 fired transitions, 890 secs || 74008962 markings, 277326882 edges, 90528 markings/sec, 890 secs
lola: 252 tries, 251137116 fired transitions, 895 secs || 74428953 markings, 278910186 edges, 83998 markings/sec, 895 secs
lola: 253 tries, 252677467 fired transitions, 900 secs || 74843365 markings, 280476670 edges, 82882 markings/sec, 900 secs
lola: 255 tries, 254218561 fired transitions, 905 secs || 75263385 markings, 282052963 edges, 84004 markings/sec, 905 secs
lola: 256 tries, 255750376 fired transitions, 910 secs || 75690823 markings, 283647775 edges, 85488 markings/sec, 910 secs
lola: 258 tries, 257295358 fired transitions, 915 secs || 76114028 markings, 285245718 edges, 84641 markings/sec, 915 secs
lola: 259 tries, 258835209 fired transitions, 920 secs || 76537399 markings, 286854848 edges, 84674 markings/sec, 920 secs
lola: 261 tries, 260415999 fired transitions, 925 secs || 76956838 markings, 288451120 edges, 83888 markings/sec, 925 secs
lola: 262 tries, 261993382 fired transitions, 930 secs || 77374448 markings, 290026561 edges, 83522 markings/sec, 930 secs
lola: 264 tries, 263566407 fired transitions, 935 secs || 77800459 markings, 291634601 edges, 85202 markings/sec, 935 secs
lola: 266 tries, 265122536 fired transitions, 940 secs || 78227438 markings, 293244130 edges, 85396 markings/sec, 940 secs
lola: 267 tries, 266662986 fired transitions, 945 secs || 78649569 markings, 294851506 edges, 84426 markings/sec, 945 secs
lola: 269 tries, 268222969 fired transitions, 950 secs || 79071462 markings, 296433088 edges, 84379 markings/sec, 950 secs
lola: 270 tries, 269788307 fired transitions, 955 secs || 79498025 markings, 298038780 edges, 85313 markings/sec, 955 secs
lola: 272 tries, 271347559 fired transitions, 960 secs || 79925323 markings, 299656261 edges, 85460 markings/sec, 960 secs
lola: 273 tries, 272923183 fired transitions, 965 secs || 80358009 markings, 301280957 edges, 86537 markings/sec, 965 secs
lola: 275 tries, 274482036 fired transitions, 970 secs || 80788371 markings, 302903850 edges, 86072 markings/sec, 970 secs
lola: 277 tries, 276037953 fired transitions, 975 secs || 81207028 markings, 304489710 edges, 83731 markings/sec, 975 secs
lola: 278 tries, 277598092 fired transitions, 980 secs || 81635985 markings, 306127930 edges, 85791 markings/sec, 980 secs
lola: 280 tries, 279169814 fired transitions, 985 secs || 82054539 markings, 307715011 edges, 83711 markings/sec, 985 secs
lola: 281 tries, 280705680 fired transitions, 990 secs || 82477178 markings, 309308008 edges, 84528 markings/sec, 990 secs
lola: 283 tries, 282258560 fired transitions, 995 secs || 82892939 markings, 310882776 edges, 83152 markings/sec, 995 secs
lola: 284 tries, 283814012 fired transitions, 1000 secs || 83316342 markings, 312496832 edges, 84681 markings/sec, 1000 secs
lola: 286 tries, 285359018 fired transitions, 1005 secs || 83747204 markings, 314123333 edges, 86172 markings/sec, 1005 secs
lola: 287 tries, 286920350 fired transitions, 1010 secs || 84164869 markings, 315707988 edges, 83533 markings/sec, 1010 secs
lola: 289 tries, 288464050 fired transitions, 1015 secs || 84587678 markings, 317316733 edges, 84562 markings/sec, 1015 secs
lola: 291 tries, 290006601 fired transitions, 1020 secs || 84999637 markings, 318868005 edges, 82392 markings/sec, 1020 secs
lola: 292 tries, 291587369 fired transitions, 1025 secs || 85423892 markings, 320485553 edges, 84851 markings/sec, 1025 secs
lola: 294 tries, 293160151 fired transitions, 1030 secs || 85858031 markings, 322129077 edges, 86828 markings/sec, 1030 secs
lola: 295 tries, 294711495 fired transitions, 1035 secs || 86273603 markings, 323706681 edges, 83114 markings/sec, 1035 secs
lola: 297 tries, 296249405 fired transitions, 1040 secs || 86688705 markings, 325275387 edges, 83020 markings/sec, 1040 secs
lola: 298 tries, 297787824 fired transitions, 1045 secs || 87112627 markings, 326866893 edges, 84784 markings/sec, 1045 secs
lola: 300 tries, 299329285 fired transitions, 1050 secs || 87598456 markings, 328696604 edges, 97166 markings/sec, 1050 secs
lola: 301 tries, 300959487 fired transitions, 1055 secs || 88047667 markings, 331039607 edges, 89842 markings/sec, 1055 secs
lola: 303 tries, 302544830 fired transitions, 1060 secs || 88524136 markings, 332968529 edges, 95294 markings/sec, 1060 secs
lola: 305 tries, 304111209 fired transitions, 1065 secs || 89004530 markings, 334846031 edges, 96079 markings/sec, 1065 secs
lola: 306 tries, 305678668 fired transitions, 1070 secs || 89488661 markings, 336764593 edges, 96826 markings/sec, 1070 secs
lola: 308 tries, 307251732 fired transitions, 1075 secs || 89970261 markings, 338758704 edges, 96320 markings/sec, 1075 secs
lola: 309 tries, 308846296 fired transitions, 1080 secs || 90450883 markings, 340780830 edges, 96124 markings/sec, 1080 secs
lola: 311 tries, 310426644 fired transitions, 1085 secs || 90936695 markings, 342738540 edges, 97162 markings/sec, 1085 secs
lola: 313 tries, 312042582 fired transitions, 1090 secs || 91416357 markings, 344822114 edges, 95932 markings/sec, 1090 secs
lola: 314 tries, 313621479 fired transitions, 1095 secs || 91897885 markings, 346788661 edges, 96306 markings/sec, 1095 secs
lola: 316 tries, 315210762 fired transitions, 1100 secs || 92375469 markings, 348736983 edges, 95517 markings/sec, 1100 secs
lola: 317 tries, 316790346 fired transitions, 1105 secs || 92852679 markings, 350692818 edges, 95442 markings/sec, 1105 secs
lola: 319 tries, 318435200 fired transitions, 1110 secs || 93328013 markings, 352762514 edges, 95067 markings/sec, 1110 secs
lola: 321 tries, 320024517 fired transitions, 1115 secs || 93809702 markings, 354749189 edges, 96338 markings/sec, 1115 secs
lola: 322 tries, 321605390 fired transitions, 1120 secs || 94287308 markings, 356723526 edges, 95521 markings/sec, 1120 secs
lola: 324 tries, 323185382 fired transitions, 1125 secs || 94766654 markings, 358710078 edges, 95869 markings/sec, 1125 secs
lola: 325 tries, 324822945 fired transitions, 1130 secs || 95247602 markings, 360710272 edges, 96190 markings/sec, 1130 secs
lola: 327 tries, 326434134 fired transitions, 1135 secs || 95735773 markings, 362747417 edges, 97634 markings/sec, 1135 secs
lola: 329 tries, 328064563 fired transitions, 1140 secs || 96208174 markings, 364731280 edges, 94480 markings/sec, 1140 secs
lola: 330 tries, 329647833 fired transitions, 1145 secs || 96683336 markings, 366732070 edges, 95032 markings/sec, 1145 secs
lola: 332 tries, 331247801 fired transitions, 1150 secs || 97155922 markings, 368708665 edges, 94517 markings/sec, 1150 secs
lola: 333 tries, 332852135 fired transitions, 1155 secs || 97633698 markings, 370720447 edges, 95555 markings/sec, 1155 secs
lola: 335 tries, 334481130 fired transitions, 1160 secs || 98104673 markings, 372712398 edges, 94195 markings/sec, 1160 secs
lola: 337 tries, 336071013 fired transitions, 1165 secs || 98576276 markings, 374728939 edges, 94321 markings/sec, 1165 secs
lola: 338 tries, 337712342 fired transitions, 1170 secs || 99050463 markings, 376731566 edges, 94837 markings/sec, 1170 secs
lola: 340 tries, 339353452 fired transitions, 1175 secs || 99535524 markings, 378799344 edges, 97012 markings/sec, 1175 secs
lola: 342 tries, 341013171 fired transitions, 1180 secs || 100016481 markings, 380852745 edges, 96191 markings/sec, 1180 secs
lola: 343 tries, 342617343 fired transitions, 1185 secs || 100488856 markings, 382868277 edges, 94475 markings/sec, 1185 secs
lola: 345 tries, 344258262 fired transitions, 1190 secs || 100969534 markings, 384923433 edges, 96136 markings/sec, 1190 secs
lola: 346 tries, 345865585 fired transitions, 1195 secs || 101449827 markings, 386988631 edges, 96059 markings/sec, 1195 secs
lola: 348 tries, 347501197 fired transitions, 1200 secs || 101932869 markings, 389061185 edges, 96608 markings/sec, 1200 secs
lola: 350 tries, 349144107 fired transitions, 1205 secs || 102410987 markings, 391116469 edges, 95624 markings/sec, 1205 secs
lola: 351 tries, 350768204 fired transitions, 1210 secs || 102892896 markings, 393184958 edges, 96382 markings/sec, 1210 secs
lola: 353 tries, 352375326 fired transitions, 1215 secs || 103368722 markings, 395239079 edges, 95165 markings/sec, 1215 secs
lola: 354 tries, 353989507 fired transitions, 1220 secs || 103840091 markings, 397276757 edges, 94274 markings/sec, 1220 secs
lola: 356 tries, 355627189 fired transitions, 1225 secs || 104312922 markings, 399312837 edges, 94566 markings/sec, 1225 secs
lola: 358 tries, 357276108 fired transitions, 1230 secs || 104786027 markings, 401356866 edges, 94621 markings/sec, 1230 secs
lola: 359 tries, 358900807 fired transitions, 1235 secs || 105254342 markings, 403384503 edges, 93663 markings/sec, 1235 secs
lola: 361 tries, 360523971 fired transitions, 1240 secs || 105721278 markings, 405412751 edges, 93387 markings/sec, 1240 secs
lola: 363 tries, 362130189 fired transitions, 1245 secs || 106185919 markings, 407429444 edges, 92928 markings/sec, 1245 secs
lola: 364 tries, 363734349 fired transitions, 1250 secs || 106653692 markings, 409469717 edges, 93555 markings/sec, 1250 secs
lola: 366 tries, 365352592 fired transitions, 1255 secs || 107117574 markings, 411479665 edges, 92776 markings/sec, 1255 secs
lola: 368 tries, 367017717 fired transitions, 1260 secs || 107579681 markings, 413505665 edges, 92421 markings/sec, 1260 secs
lola: 369 tries, 368701775 fired transitions, 1265 secs || 108053803 markings, 415578532 edges, 94824 markings/sec, 1265 secs
lola: 371 tries, 370331839 fired transitions, 1270 secs || 108514710 markings, 417601849 edges, 92181 markings/sec, 1270 secs
lola: 372 tries, 371959906 fired transitions, 1275 secs || 108976012 markings, 419635425 edges, 92260 markings/sec, 1275 secs
lola: 374 tries, 373565631 fired transitions, 1280 secs || 109439826 markings, 421674727 edges, 92763 markings/sec, 1280 secs
lola: 376 tries, 375163552 fired transitions, 1285 secs || 109903597 markings, 423720841 edges, 92754 markings/sec, 1285 secs
lola: 377 tries, 376784586 fired transitions, 1290 secs || 110361213 markings, 425733094 edges, 91523 markings/sec, 1290 secs
lola: 379 tries, 378389210 fired transitions, 1295 secs || 110826835 markings, 427780692 edges, 93124 markings/sec, 1295 secs
lola: 381 tries, 380002430 fired transitions, 1300 secs || 111293686 markings, 429852248 edges, 93370 markings/sec, 1300 secs
lola: 382 tries, 381615850 fired transitions, 1305 secs || 111755466 markings, 431893422 edges, 92356 markings/sec, 1305 secs
lola: 384 tries, 383220115 fired transitions, 1310 secs || 112219857 markings, 433941898 edges, 92878 markings/sec, 1310 secs
lola: 385 tries, 384832545 fired transitions, 1315 secs || 112683894 markings, 435993607 edges, 92807 markings/sec, 1315 secs
lola: 387 tries, 386465704 fired transitions, 1320 secs || 113137798 markings, 438012219 edges, 90781 markings/sec, 1320 secs
lola: 389 tries, 388086176 fired transitions, 1325 secs || 113603096 markings, 440084932 edges, 93060 markings/sec, 1325 secs
lola: 390 tries, 389718974 fired transitions, 1330 secs || 114059817 markings, 442118314 edges, 91344 markings/sec, 1330 secs
lola: 392 tries, 391345222 fired transitions, 1335 secs || 114517514 markings, 444168624 edges, 91539 markings/sec, 1335 secs
lola: 394 tries, 393005425 fired transitions, 1340 secs || 114979589 markings, 446232628 edges, 92415 markings/sec, 1340 secs
lola: 395 tries, 394666359 fired transitions, 1345 secs || 115442952 markings, 448301561 edges, 92673 markings/sec, 1345 secs
lola: 397 tries, 396334209 fired transitions, 1350 secs || 115902669 markings, 450355121 edges, 91943 markings/sec, 1350 secs
lola: 398 tries, 397971345 fired transitions, 1355 secs || 116361430 markings, 452410018 edges, 91752 markings/sec, 1355 secs
lola: 400 tries, 399629872 fired transitions, 1360 secs || 116822057 markings, 454473807 edges, 92125 markings/sec, 1360 secs
lola: 402 tries, 401286141 fired transitions, 1365 secs || 117284766 markings, 456545079 edges, 92542 markings/sec, 1365 secs
lola: 403 tries, 402959754 fired transitions, 1370 secs || 117748884 markings, 458633087 edges, 92824 markings/sec, 1370 secs
lola: 405 tries, 404605579 fired transitions, 1375 secs || 118214987 markings, 460735319 edges, 93221 markings/sec, 1375 secs
lola: 407 tries, 406225764 fired transitions, 1380 secs || 118675075 markings, 462804930 edges, 92018 markings/sec, 1380 secs
lola: 408 tries, 407877050 fired transitions, 1385 secs || 119135350 markings, 464880891 edges, 92055 markings/sec, 1385 secs
lola: 410 tries, 409505077 fired transitions, 1390 secs || 119595765 markings, 466957983 edges, 92083 markings/sec, 1390 secs
lola: 412 tries, 411144712 fired transitions, 1395 secs || 120054296 markings, 469030731 edges, 91706 markings/sec, 1395 secs
lola: 413 tries, 412801203 fired transitions, 1400 secs || 120521781 markings, 471156883 edges, 93497 markings/sec, 1400 secs
lola: 415 tries, 414450371 fired transitions, 1405 secs || 120979381 markings, 473231094 edges, 91520 markings/sec, 1405 secs
lola: 417 tries, 416088311 fired transitions, 1410 secs || 121433686 markings, 475285636 edges, 90861 markings/sec, 1410 secs
lola: 418 tries, 417729555 fired transitions, 1415 secs || 121889317 markings, 477357007 edges, 91126 markings/sec, 1415 secs
lola: 420 tries, 419367910 fired transitions, 1420 secs || 122351284 markings, 479469561 edges, 92393 markings/sec, 1420 secs
lola: 422 tries, 421041375 fired transitions, 1425 secs || 122818798 markings, 481612471 edges, 93503 markings/sec, 1425 secs
lola: 423 tries, 422719180 fired transitions, 1430 secs || 123285263 markings, 483745602 edges, 93293 markings/sec, 1430 secs
lola: 425 tries, 424380570 fired transitions, 1435 secs || 123748271 markings, 485858310 edges, 92602 markings/sec, 1435 secs
lola: 427 tries, 426031668 fired transitions, 1440 secs || 124204236 markings, 487932460 edges, 91193 markings/sec, 1440 secs
lola: 428 tries, 427692743 fired transitions, 1445 secs || 124667897 markings, 490052708 edges, 92732 markings/sec, 1445 secs
lola: 430 tries, 429378777 fired transitions, 1450 secs || 125131202 markings, 492175713 edges, 92661 markings/sec, 1450 secs
lola: 432 tries, 431019520 fired transitions, 1455 secs || 125594288 markings, 494298861 edges, 92617 markings/sec, 1455 secs
lola: 433 tries, 432690616 fired transitions, 1460 secs || 126055839 markings, 496421314 edges, 92310 markings/sec, 1460 secs
lola: 435 tries, 434358746 fired transitions, 1465 secs || 126525047 markings, 498588158 edges, 93842 markings/sec, 1465 secs
lola: 437 tries, 436004308 fired transitions, 1470 secs || 126992519 markings, 500739594 edges, 93494 markings/sec, 1470 secs
lola: 438 tries, 437699528 fired transitions, 1475 secs || 127460745 markings, 502901869 edges, 93645 markings/sec, 1475 secs
lola: 440 tries, 439380180 fired transitions, 1480 secs || 127930111 markings, 505082266 edges, 93873 markings/sec, 1480 secs
lola: 442 tries, 441060265 fired transitions, 1485 secs || 128397122 markings, 507237339 edges, 93402 markings/sec, 1485 secs
lola: 443 tries, 442744587 fired transitions, 1490 secs || 128862741 markings, 509399839 edges, 93124 markings/sec, 1490 secs
lola: 445 tries, 444427238 fired transitions, 1495 secs || 129328343 markings, 511549772 edges, 93120 markings/sec, 1495 secs
lola: 447 tries, 446093619 fired transitions, 1500 secs || 129788752 markings, 513686496 edges, 92082 markings/sec, 1500 secs
lola: 448 tries, 447764401 fired transitions, 1505 secs || 130246520 markings, 515817073 edges, 91554 markings/sec, 1505 secs
lola: 450 tries, 449467785 fired transitions, 1510 secs || 130715788 markings, 517988585 edges, 93854 markings/sec, 1510 secs
lola: 452 tries, 451142514 fired transitions, 1515 secs || 131179049 markings, 520134542 edges, 92652 markings/sec, 1515 secs
lola: 453 tries, 452799842 fired transitions, 1520 secs || 131638212 markings, 522260839 edges, 91833 markings/sec, 1520 secs
lola: 455 tries, 454471817 fired transitions, 1525 secs || 132098409 markings, 524419914 edges, 92039 markings/sec, 1525 secs
lola: 457 tries, 456134374 fired transitions, 1530 secs || 132557408 markings, 526565838 edges, 91800 markings/sec, 1530 secs
lola: 458 tries, 457815922 fired transitions, 1535 secs || 133020682 markings, 528736396 edges, 92655 markings/sec, 1535 secs
lola: 460 tries, 459488070 fired transitions, 1540 secs || 133480276 markings, 530885500 edges, 91919 markings/sec, 1540 secs
lola: 462 tries, 461174993 fired transitions, 1545 secs || 133943502 markings, 533060465 edges, 92645 markings/sec, 1545 secs
lola: 463 tries, 462841849 fired transitions, 1550 secs || 134403154 markings, 535215459 edges, 91930 markings/sec, 1550 secs
lola: 465 tries, 464506780 fired transitions, 1555 secs || 134861880 markings, 537355597 edges, 91745 markings/sec, 1555 secs
lola: 467 tries, 466197743 fired transitions, 1560 secs || 135325417 markings, 539511960 edges, 92707 markings/sec, 1560 secs
lola: 468 tries, 467871218 fired transitions, 1565 secs || 135785245 markings, 541671489 edges, 91966 markings/sec, 1565 secs
lola: 470 tries, 469533280 fired transitions, 1570 secs || 136241872 markings, 543818952 edges, 91325 markings/sec, 1570 secs
lola: 472 tries, 471198575 fired transitions, 1575 secs || 136698791 markings, 545970614 edges, 91384 markings/sec, 1575 secs
lola: 473 tries, 472888868 fired transitions, 1580 secs || 137161541 markings, 548143364 edges, 92550 markings/sec, 1580 secs
lola: 475 tries, 474581077 fired transitions, 1585 secs || 137624800 markings, 550333575 edges, 92652 markings/sec, 1585 secs
lola: 477 tries, 476256316 fired transitions, 1590 secs || 138082784 markings, 552499481 edges, 91597 markings/sec, 1590 secs
lola: 478 tries, 477915668 fired transitions, 1595 secs || 138529843 markings, 554619620 edges, 89412 markings/sec, 1595 secs
lola: 480 tries, 479558258 fired transitions, 1600 secs || 138983704 markings, 556763183 edges, 90772 markings/sec, 1600 secs
lola: 482 tries, 481230539 fired transitions, 1605 secs || 139434019 markings, 558895594 edges, 90063 markings/sec, 1605 secs
lola: 483 tries, 482887603 fired transitions, 1610 secs || 139882446 markings, 561013950 edges, 89685 markings/sec, 1610 secs
lola: 485 tries, 484544243 fired transitions, 1615 secs || 140329711 markings, 563133539 edges, 89453 markings/sec, 1615 secs
lola: 487 tries, 486225714 fired transitions, 1620 secs || 140782988 markings, 565277811 edges, 90655 markings/sec, 1620 secs
lola: 488 tries, 487897755 fired transitions, 1625 secs || 141233437 markings, 567422257 edges, 90090 markings/sec, 1625 secs
lola: 490 tries, 489585137 fired transitions, 1630 secs || 141696528 markings, 569613929 edges, 92618 markings/sec, 1630 secs
lola: 492 tries, 491265385 fired transitions, 1635 secs || 142151501 markings, 571761759 edges, 90995 markings/sec, 1635 secs
lola: 493 tries, 492932552 fired transitions, 1640 secs || 142608961 markings, 573931849 edges, 91492 markings/sec, 1640 secs
lola: 495 tries, 494637382 fired transitions, 1645 secs || 143067745 markings, 576116502 edges, 91757 markings/sec, 1645 secs
lola: 497 tries, 496308860 fired transitions, 1650 secs || 143515950 markings, 578244890 edges, 89641 markings/sec, 1650 secs
lola: 498 tries, 497975227 fired transitions, 1655 secs || 143964403 markings, 580388297 edges, 89691 markings/sec, 1655 secs
lola: 500 tries, 499644345 fired transitions, 1660 secs || 144412587 markings, 582524727 edges, 89637 markings/sec, 1660 secs
lola: 502 tries, 501319545 fired transitions, 1665 secs || 144863818 markings, 584681850 edges, 90246 markings/sec, 1665 secs
lola: 504 tries, 503008146 fired transitions, 1670 secs || 145325699 markings, 586886940 edges, 92376 markings/sec, 1670 secs
lola: 505 tries, 504684878 fired transitions, 1675 secs || 145788896 markings, 589103165 edges, 92639 markings/sec, 1675 secs
lola: 507 tries, 506384269 fired transitions, 1680 secs || 146245672 markings, 591293885 edges, 91355 markings/sec, 1680 secs
lola: 509 tries, 508061891 fired transitions, 1685 secs || 146702394 markings, 593491409 edges, 91344 markings/sec, 1685 secs
lola: 510 tries, 509745902 fired transitions, 1690 secs || 147164005 markings, 595704190 edges, 92322 markings/sec, 1690 secs
lola: 512 tries, 511460316 fired transitions, 1695 secs || 147619123 markings, 597901366 edges, 91024 markings/sec, 1695 secs
lola: 514 tries, 513118457 fired transitions, 1700 secs || 148076298 markings, 600108693 edges, 91435 markings/sec, 1700 secs
lola: 515 tries, 514799129 fired transitions, 1705 secs || 148542035 markings, 602336036 edges, 93147 markings/sec, 1705 secs
lola: 517 tries, 516472663 fired transitions, 1710 secs || 149001700 markings, 604550393 edges, 91933 markings/sec, 1710 secs
lola: 519 tries, 518164670 fired transitions, 1715 secs || 149467557 markings, 606791771 edges, 93171 markings/sec, 1715 secs
lola: 520 tries, 519857345 fired transitions, 1720 secs || 149930809 markings, 609014212 edges, 92650 markings/sec, 1720 secs
lola: 522 tries, 521546734 fired transitions, 1725 secs || 150389928 markings, 611231233 edges, 91824 markings/sec, 1725 secs
lola: 524 tries, 523259135 fired transitions, 1730 secs || 150848315 markings, 613451953 edges, 91677 markings/sec, 1730 secs
lola: 525 tries, 524918766 fired transitions, 1735 secs || 151303573 markings, 615656697 edges, 91052 markings/sec, 1735 secs
lola: 527 tries, 526627817 fired transitions, 1740 secs || 151758673 markings, 617853425 edges, 91020 markings/sec, 1740 secs
lola: 529 tries, 528340880 fired transitions, 1745 secs || 152214595 markings, 620068414 edges, 91184 markings/sec, 1745 secs
lola: 531 tries, 530058314 fired transitions, 1750 secs || 152668077 markings, 622277978 edges, 90696 markings/sec, 1750 secs
lola: 532 tries, 531719922 fired transitions, 1755 secs || 153109113 markings, 624413050 edges, 88207 markings/sec, 1755 secs
lola: 534 tries, 533393646 fired transitions, 1760 secs || 153556008 markings, 626586913 edges, 89379 markings/sec, 1760 secs
lola: 536 tries, 535072603 fired transitions, 1765 secs || 154007703 markings, 628781639 edges, 90339 markings/sec, 1765 secs
lola: 537 tries, 536758654 fired transitions, 1770 secs || 154446608 markings, 630923492 edges, 87781 markings/sec, 1770 secs
lola: 539 tries, 538479251 fired transitions, 1775 secs || 154903368 markings, 633138189 edges, 91352 markings/sec, 1775 secs
lola: 541 tries, 540200336 fired transitions, 1780 secs || 155353243 markings, 635337250 edges, 89975 markings/sec, 1780 secs
lola: 542 tries, 541904931 fired transitions, 1785 secs || 155804407 markings, 637540209 edges, 90233 markings/sec, 1785 secs
lola: 544 tries, 543633507 fired transitions, 1790 secs || 156268237 markings, 639797917 edges, 92766 markings/sec, 1790 secs
lola: 546 tries, 545342132 fired transitions, 1795 secs || 156725708 markings, 642024863 edges, 91494 markings/sec, 1795 secs
lola: 548 tries, 547061525 fired transitions, 1800 secs || 157188329 markings, 644275922 edges, 92524 markings/sec, 1800 secs
lola: 549 tries, 548765076 fired transitions, 1805 secs || 157643220 markings, 646502788 edges, 90978 markings/sec, 1805 secs
lola: 551 tries, 550461633 fired transitions, 1810 secs || 158099079 markings, 648738702 edges, 91172 markings/sec, 1810 secs
lola: 553 tries, 552151420 fired transitions, 1815 secs || 158553435 markings, 650953363 edges, 90871 markings/sec, 1815 secs
lola: 554 tries, 553831589 fired transitions, 1820 secs || 159002660 markings, 653157115 edges, 89845 markings/sec, 1820 secs
lola: 556 tries, 555517571 fired transitions, 1825 secs || 159454392 markings, 655380094 edges, 90346 markings/sec, 1825 secs
lola: 558 tries, 557214935 fired transitions, 1830 secs || 159907162 markings, 657597877 edges, 90554 markings/sec, 1830 secs
lola: 559 tries, 558928938 fired transitions, 1835 secs || 160363068 markings, 659837751 edges, 91181 markings/sec, 1835 secs
lola: 561 tries, 560613809 fired transitions, 1840 secs || 160815722 markings, 662066707 edges, 90531 markings/sec, 1840 secs
lola: 563 tries, 562314721 fired transitions, 1845 secs || 161272148 markings, 664307424 edges, 91285 markings/sec, 1845 secs
lola: 565 tries, 564019691 fired transitions, 1850 secs || 161726588 markings, 666558000 edges, 90888 markings/sec, 1850 secs
lola: 566 tries, 565746863 fired transitions, 1855 secs || 162187575 markings, 668824040 edges, 92197 markings/sec, 1855 secs
lola: 568 tries, 567470284 fired transitions, 1860 secs || 162648880 markings, 671097350 edges, 92261 markings/sec, 1860 secs
lola: 570 tries, 569200323 fired transitions, 1865 secs || 163111407 markings, 673374565 edges, 92505 markings/sec, 1865 secs
lola: 571 tries, 570945181 fired transitions, 1870 secs || 163579711 markings, 675672791 edges, 93661 markings/sec, 1870 secs
lola: 573 tries, 572712863 fired transitions, 1875 secs || 164051194 markings, 678003786 edges, 94297 markings/sec, 1875 secs
lola: 575 tries, 574442372 fired transitions, 1880 secs || 164507405 markings, 680269827 edges, 91242 markings/sec, 1880 secs
lola: 577 tries, 576179910 fired transitions, 1885 secs || 164971672 markings, 682574927 edges, 92853 markings/sec, 1885 secs
lola: 578 tries, 577909549 fired transitions, 1890 secs || 165434285 markings, 684854309 edges, 92523 markings/sec, 1890 secs
lola: 580 tries, 579639474 fired transitions, 1895 secs || 165897145 markings, 687144246 edges, 92572 markings/sec, 1895 secs
lola: 582 tries, 581357688 fired transitions, 1900 secs || 166351947 markings, 689405090 edges, 90960 markings/sec, 1900 secs
lola: 583 tries, 582994473 fired transitions, 1905 secs || 166782218 markings, 691518617 edges, 86054 markings/sec, 1905 secs
lola: 585 tries, 584715652 fired transitions, 1910 secs || 167242925 markings, 693797421 edges, 92141 markings/sec, 1910 secs
lola: 587 tries, 586421278 fired transitions, 1915 secs || 167702844 markings, 696085750 edges, 91984 markings/sec, 1915 secs
lola: 589 tries, 588142242 fired transitions, 1920 secs || 168149029 markings, 698308972 edges, 89237 markings/sec, 1920 secs
lola: 590 tries, 589842889 fired transitions, 1925 secs || 168612785 markings, 700614004 edges, 92751 markings/sec, 1925 secs
lola: 592 tries, 591548205 fired transitions, 1930 secs || 169074052 markings, 702915742 edges, 92253 markings/sec, 1930 secs
lola: 594 tries, 593262732 fired transitions, 1935 secs || 169532042 markings, 705192686 edges, 91598 markings/sec, 1935 secs
lola: 595 tries, 594962453 fired transitions, 1940 secs || 169990214 markings, 707485339 edges, 91634 markings/sec, 1940 secs
lola: 597 tries, 596662149 fired transitions, 1945 secs || 170442146 markings, 709733796 edges, 90386 markings/sec, 1945 secs
lola: 599 tries, 598411525 fired transitions, 1950 secs || 170911699 markings, 712069833 edges, 93911 markings/sec, 1950 secs
lola: 601 tries, 600142068 fired transitions, 1955 secs || 171382010 markings, 714410761 edges, 94062 markings/sec, 1955 secs
lola: 602 tries, 601854453 fired transitions, 1960 secs || 171844892 markings, 716729028 edges, 92576 markings/sec, 1960 secs
lola: 604 tries, 603545236 fired transitions, 1965 secs || 172298904 markings, 718998754 edges, 90802 markings/sec, 1965 secs
lola: 606 tries, 605277310 fired transitions, 1970 secs || 172758702 markings, 721300665 edges, 91960 markings/sec, 1970 secs
lola: 607 tries, 606953377 fired transitions, 1975 secs || 173203624 markings, 723522876 edges, 88984 markings/sec, 1975 secs
lola: 609 tries, 608646715 fired transitions, 1980 secs || 173650348 markings, 725772657 edges, 89345 markings/sec, 1980 secs
lola: 611 tries, 610388106 fired transitions, 1985 secs || 174103574 markings, 728045881 edges, 90645 markings/sec, 1985 secs
lola: 613 tries, 612042482 fired transitions, 1990 secs || 174548717 markings, 730274875 edges, 89029 markings/sec, 1990 secs
lola: 614 tries, 613719095 fired transitions, 1995 secs || 174996220 markings, 732528870 edges, 89501 markings/sec, 1995 secs
lola: 616 tries, 615436328 fired transitions, 2000 secs || 175455275 markings, 734842438 edges, 91811 markings/sec, 2000 secs
lola: 618 tries, 617189503 fired transitions, 2005 secs || 175914671 markings, 737147404 edges, 91879 markings/sec, 2005 secs
lola: 619 tries, 618929609 fired transitions, 2010 secs || 176369161 markings, 739426370 edges, 90898 markings/sec, 2010 secs
lola: 621 tries, 620675220 fired transitions, 2015 secs || 176821562 markings, 741700903 edges, 90480 markings/sec, 2015 secs
lola: 623 tries, 622397415 fired transitions, 2020 secs || 177277390 markings, 744004810 edges, 91166 markings/sec, 2020 secs
lola: 625 tries, 624121179 fired transitions, 2025 secs || 177736760 markings, 746317808 edges, 91874 markings/sec, 2025 secs
lola: 626 tries, 625878712 fired transitions, 2030 secs || 178193297 markings, 748639867 edges, 91307 markings/sec, 2030 secs
lola: 628 tries, 627640387 fired transitions, 2035 secs || 178664625 markings, 751036757 edges, 94266 markings/sec, 2035 secs
lola: 630 tries, 629369957 fired transitions, 2040 secs || 179119995 markings, 753330777 edges, 91074 markings/sec, 2040 secs
lola: 632 tries, 631084483 fired transitions, 2045 secs || 179562763 markings, 755583489 edges, 88554 markings/sec, 2045 secs
lola: 633 tries, 632779006 fired transitions, 2050 secs || 180017895 markings, 757890731 edges, 91026 markings/sec, 2050 secs
lola: 635 tries, 634525105 fired transitions, 2055 secs || 180482471 markings, 760248639 edges, 92915 markings/sec, 2055 secs
lola: 637 tries, 636311858 fired transitions, 2060 secs || 180944206 markings, 762593297 edges, 92347 markings/sec, 2060 secs
lola: 639 tries, 638006470 fired transitions, 2065 secs || 181398221 markings, 764883873 edges, 90803 markings/sec, 2065 secs
lola: 640 tries, 639747683 fired transitions, 2070 secs || 181854690 markings, 767195665 edges, 91294 markings/sec, 2070 secs
lola: 642 tries, 641542931 fired transitions, 2075 secs || 182318812 markings, 769555470 edges, 92824 markings/sec, 2075 secs
lola: 644 tries, 643263208 fired transitions, 2080 secs || 182768751 markings, 771837317 edges, 89988 markings/sec, 2080 secs
lola: 646 tries, 645007030 fired transitions, 2085 secs || 183219499 markings, 774143501 edges, 90150 markings/sec, 2085 secs
lola: 647 tries, 646720876 fired transitions, 2090 secs || 183674764 markings, 776463702 edges, 91053 markings/sec, 2090 secs
lola: 649 tries, 648477914 fired transitions, 2095 secs || 184134845 markings, 778807387 edges, 92016 markings/sec, 2095 secs
lola: 651 tries, 650246666 fired transitions, 2100 secs || 184598435 markings, 781170004 edges, 92718 markings/sec, 2100 secs
lola: 652 tries, 651994359 fired transitions, 2105 secs || 185055690 markings, 783506115 edges, 91451 markings/sec, 2105 secs
lola: 654 tries, 653747432 fired transitions, 2110 secs || 185515498 markings, 785856877 edges, 91962 markings/sec, 2110 secs
lola: 656 tries, 655488155 fired transitions, 2115 secs || 185973445 markings, 788186820 edges, 91589 markings/sec, 2115 secs
lola: 658 tries, 657275371 fired transitions, 2120 secs || 186442512 markings, 790587218 edges, 93813 markings/sec, 2120 secs
lola: 660 tries, 659053208 fired transitions, 2125 secs || 186910225 markings, 792974042 edges, 93543 markings/sec, 2125 secs
lola: 661 tries, 660843473 fired transitions, 2130 secs || 187380958 markings, 795378725 edges, 94147 markings/sec, 2130 secs
lola: 663 tries, 662603830 fired transitions, 2135 secs || 187843941 markings, 797741409 edges, 92597 markings/sec, 2135 secs
lola: 665 tries, 664339768 fired transitions, 2140 secs || 188302965 markings, 800068461 edges, 91805 markings/sec, 2140 secs
lola: 667 tries, 666082870 fired transitions, 2145 secs || 188753101 markings, 802397335 edges, 90027 markings/sec, 2145 secs
lola: 668 tries, 667812979 fired transitions, 2150 secs || 189209839 markings, 804741292 edges, 91348 markings/sec, 2150 secs
lola: 670 tries, 669553199 fired transitions, 2155 secs || 189663590 markings, 807064452 edges, 90750 markings/sec, 2155 secs
lola: 672 tries, 671322170 fired transitions, 2160 secs || 190116443 markings, 809376728 edges, 90571 markings/sec, 2160 secs
lola: 674 tries, 673036844 fired transitions, 2165 secs || 190561917 markings, 811668034 edges, 89095 markings/sec, 2165 secs
lola: 675 tries, 674751575 fired transitions, 2170 secs || 191015041 markings, 813994402 edges, 90625 markings/sec, 2170 secs
lola: 677 tries, 676484654 fired transitions, 2175 secs || 191471543 markings, 816351587 edges, 91300 markings/sec, 2175 secs
lola: 679 tries, 678238227 fired transitions, 2180 secs || 191936145 markings, 818735171 edges, 92920 markings/sec, 2180 secs
lola: 680 tries, 679956252 fired transitions, 2185 secs || 192387904 markings, 821060093 edges, 90352 markings/sec, 2185 secs
lola: 682 tries, 681670040 fired transitions, 2190 secs || 192840040 markings, 823369340 edges, 90427 markings/sec, 2190 secs
lola: 684 tries, 683396700 fired transitions, 2195 secs || 193297016 markings, 825714696 edges, 91395 markings/sec, 2195 secs
lola: 686 tries, 685176569 fired transitions, 2200 secs || 193764204 markings, 828115055 edges, 93438 markings/sec, 2200 secs
lola: 687 tries, 686908510 fired transitions, 2205 secs || 194209152 markings, 830406069 edges, 88990 markings/sec, 2205 secs
lola: 689 tries, 688693213 fired transitions, 2210 secs || 194674405 markings, 832793453 edges, 93051 markings/sec, 2210 secs
lola: 691 tries, 690482444 fired transitions, 2215 secs || 195138078 markings, 835187899 edges, 92735 markings/sec, 2215 secs
lola: 693 tries, 692213262 fired transitions, 2220 secs || 195595999 markings, 837536209 edges, 91584 markings/sec, 2220 secs
lola: 694 tries, 693968088 fired transitions, 2225 secs || 196065838 markings, 839962929 edges, 93968 markings/sec, 2225 secs
lola: 696 tries, 695713590 fired transitions, 2230 secs || 196537980 markings, 842396788 edges, 94428 markings/sec, 2230 secs
lola: 698 tries, 697478544 fired transitions, 2235 secs || 197006597 markings, 844795583 edges, 93723 markings/sec, 2235 secs
lola: 700 tries, 699239870 fired transitions, 2240 secs || 197474404 markings, 847211369 edges, 93561 markings/sec, 2240 secs
lola: 701 tries, 700935023 fired transitions, 2245 secs || 197924139 markings, 849545837 edges, 89947 markings/sec, 2245 secs
lola: 703 tries, 702612218 fired transitions, 2250 secs || 198377200 markings, 851874880 edges, 90612 markings/sec, 2250 secs
lola: 705 tries, 704325772 fired transitions, 2255 secs || 198814614 markings, 854132226 edges, 87483 markings/sec, 2255 secs
lola: 707 tries, 706040899 fired transitions, 2260 secs || 199263802 markings, 856454564 edges, 89838 markings/sec, 2260 secs
lola: 708 tries, 707719148 fired transitions, 2265 secs || 199711853 markings, 858778079 edges, 89610 markings/sec, 2265 secs
lola: 710 tries, 709451816 fired transitions, 2270 secs || 200166669 markings, 861142114 edges, 90963 markings/sec, 2270 secs
lola: 712 tries, 711216118 fired transitions, 2275 secs || 200636477 markings, 863563540 edges, 93962 markings/sec, 2275 secs
lola: 714 tries, 713025077 fired transitions, 2280 secs || 201109106 markings, 866008341 edges, 94526 markings/sec, 2280 secs
lola: 715 tries, 714821136 fired transitions, 2285 secs || 201586499 markings, 868475108 edges, 95479 markings/sec, 2285 secs
lola: 717 tries, 716566750 fired transitions, 2290 secs || 202049849 markings, 870864458 edges, 92670 markings/sec, 2290 secs
lola: 719 tries, 718292439 fired transitions, 2295 secs || 202515468 markings, 873278792 edges, 93124 markings/sec, 2295 secs
lola: 721 tries, 720001979 fired transitions, 2300 secs || 202968219 markings, 875642822 edges, 90550 markings/sec, 2300 secs
lola: 722 tries, 721782551 fired transitions, 2305 secs || 203448883 markings, 878116433 edges, 96133 markings/sec, 2305 secs
lola: 724 tries, 723580255 fired transitions, 2310 secs || 203922349 markings, 880558325 edges, 94693 markings/sec, 2310 secs
lola: 726 tries, 725384407 fired transitions, 2315 secs || 204397237 markings, 883015910 edges, 94978 markings/sec, 2315 secs
lola: 728 tries, 727194676 fired transitions, 2320 secs || 204876053 markings, 885508536 edges, 95763 markings/sec, 2320 secs
lola: 729 tries, 728980986 fired transitions, 2325 secs || 205355947 markings, 888000114 edges, 95979 markings/sec, 2325 secs
lola: 731 tries, 730794702 fired transitions, 2330 secs || 205830148 markings, 890468898 edges, 94840 markings/sec, 2330 secs
lola: 733 tries, 732582645 fired transitions, 2335 secs || 206307832 markings, 892949575 edges, 95537 markings/sec, 2335 secs
lola: 735 tries, 734373347 fired transitions, 2340 secs || 206784966 markings, 895430604 edges, 95427 markings/sec, 2340 secs
lola: 737 tries, 736183127 fired transitions, 2345 secs || 207256694 markings, 897917223 edges, 94346 markings/sec, 2345 secs
lola: 739 tries, 738002634 fired transitions, 2350 secs || 207722839 markings, 900347544 edges, 93229 markings/sec, 2350 secs
lola: 740 tries, 739826753 fired transitions, 2355 secs || 208200222 markings, 902843597 edges, 95477 markings/sec, 2355 secs
lola: 742 tries, 741616526 fired transitions, 2360 secs || 208669034 markings, 905281395 edges, 93762 markings/sec, 2360 secs
lola: 744 tries, 743413711 fired transitions, 2365 secs || 209143994 markings, 907769741 edges, 94992 markings/sec, 2365 secs
lola: 746 tries, 745218802 fired transitions, 2370 secs || 209609127 markings, 910200239 edges, 93027 markings/sec, 2370 secs
lola: 747 tries, 746983040 fired transitions, 2375 secs || 210074665 markings, 912620776 edges, 93108 markings/sec, 2375 secs
lola: 749 tries, 748738236 fired transitions, 2380 secs || 210540869 markings, 915058168 edges, 93241 markings/sec, 2380 secs
lola: 751 tries, 750550820 fired transitions, 2385 secs || 211007989 markings, 917500288 edges, 93424 markings/sec, 2385 secs
lola: 753 tries, 752340332 fired transitions, 2390 secs || 211473234 markings, 919935363 edges, 93049 markings/sec, 2390 secs
lola: 755 tries, 754130197 fired transitions, 2395 secs || 211943206 markings, 922386102 edges, 93994 markings/sec, 2395 secs
lola: 756 tries, 755954552 fired transitions, 2400 secs || 212420838 markings, 924891988 edges, 95526 markings/sec, 2400 secs
lola: 758 tries, 757748735 fired transitions, 2405 secs || 212892896 markings, 927356364 edges, 94412 markings/sec, 2405 secs
lola: 760 tries, 759556532 fired transitions, 2410 secs || 213365232 markings, 929840343 edges, 94467 markings/sec, 2410 secs
lola: 762 tries, 761321730 fired transitions, 2415 secs || 213834204 markings, 932291085 edges, 93794 markings/sec, 2415 secs
lola: 764 tries, 763053487 fired transitions, 2420 secs || 214290898 markings, 934690408 edges, 91339 markings/sec, 2420 secs
lola: 765 tries, 764792834 fired transitions, 2425 secs || 214749821 markings, 937090978 edges, 91785 markings/sec, 2425 secs
lola: 767 tries, 766580280 fired transitions, 2430 secs || 215217814 markings, 939558278 edges, 93599 markings/sec, 2430 secs
lola: 769 tries, 768356080 fired transitions, 2435 secs || 215689806 markings, 942013515 edges, 94398 markings/sec, 2435 secs
lola: 771 tries, 770102179 fired transitions, 2440 secs || 216148260 markings, 944425503 edges, 91691 markings/sec, 2440 secs
lola: 772 tries, 771830527 fired transitions, 2445 secs || 216604294 markings, 946809640 edges, 91207 markings/sec, 2445 secs
lola: 774 tries, 773603515 fired transitions, 2450 secs || 217070645 markings, 949254893 edges, 93270 markings/sec, 2450 secs
lola: 776 tries, 775376833 fired transitions, 2455 secs || 217538546 markings, 951714701 edges, 93580 markings/sec, 2455 secs
lola: 778 tries, 777116006 fired transitions, 2460 secs || 218006856 markings, 954165841 edges, 93662 markings/sec, 2460 secs
lola: 779 tries, 778869756 fired transitions, 2465 secs || 218481401 markings, 956644586 edges, 94909 markings/sec, 2465 secs
lola: 781 tries, 780661598 fired transitions, 2470 secs || 218945696 markings, 959081298 edges, 92859 markings/sec, 2470 secs
lola: 783 tries, 782375782 fired transitions, 2475 secs || 219399532 markings, 961476944 edges, 90767 markings/sec, 2475 secs
lola: 785 tries, 784160513 fired transitions, 2480 secs || 219864879 markings, 963929683 edges, 93069 markings/sec, 2480 secs
lola: 786 tries, 785907866 fired transitions, 2485 secs || 220319765 markings, 966330517 edges, 90977 markings/sec, 2485 secs
lola: 788 tries, 787665946 fired transitions, 2490 secs || 220786141 markings, 968781571 edges, 93275 markings/sec, 2490 secs
lola: 790 tries, 789450919 fired transitions, 2495 secs || 221250131 markings, 971214866 edges, 92798 markings/sec, 2495 secs
lola: 792 tries, 791219854 fired transitions, 2500 secs || 221715030 markings, 973662435 edges, 92980 markings/sec, 2500 secs
lola: 794 tries, 793010674 fired transitions, 2505 secs || 222181376 markings, 976138173 edges, 93269 markings/sec, 2505 secs
lola: 795 tries, 794771631 fired transitions, 2510 secs || 222640496 markings, 978563943 edges, 91824 markings/sec, 2510 secs
lola: 797 tries, 796590182 fired transitions, 2515 secs || 223114091 markings, 981076440 edges, 94719 markings/sec, 2515 secs
lola: 799 tries, 798366199 fired transitions, 2520 secs || 223576073 markings, 983485530 edges, 92396 markings/sec, 2520 secs
lola: 801 tries, 800094422 fired transitions, 2525 secs || 224024731 markings, 985853432 edges, 89732 markings/sec, 2525 secs
lola: 802 tries, 801834793 fired transitions, 2530 secs || 224479361 markings, 988261621 edges, 90926 markings/sec, 2530 secs
lola: 804 tries, 803574294 fired transitions, 2535 secs || 224938433 markings, 990678152 edges, 91814 markings/sec, 2535 secs
lola: 806 tries, 805307381 fired transitions, 2540 secs || 225393986 markings, 993093413 edges, 91111 markings/sec, 2540 secs
lola: 808 tries, 807059761 fired transitions, 2545 secs || 225852471 markings, 995523692 edges, 91697 markings/sec, 2545 secs
lola: 809 tries, 808846948 fired transitions, 2550 secs || 226325059 markings, 998001890 edges, 94518 markings/sec, 2550 secs
lola: 811 tries, 810640660 fired transitions, 2555 secs || 226795836 markings, 1000465172 edges, 94155 markings/sec, 2555 secs
lola: 813 tries, 812418809 fired transitions, 2560 secs || 227255500 markings, 1002898368 edges, 91933 markings/sec, 2560 secs
lola: 815 tries, 814160483 fired transitions, 2565 secs || 227719281 markings, 1005373014 edges, 92756 markings/sec, 2565 secs
lola: 816 tries, 815925416 fired transitions, 2570 secs || 228181014 markings, 1007827085 edges, 92347 markings/sec, 2570 secs
lola: 818 tries, 817662258 fired transitions, 2575 secs || 228627542 markings, 1010197631 edges, 89306 markings/sec, 2575 secs
lola: 820 tries, 819390074 fired transitions, 2580 secs || 229084412 markings, 1012614207 edges, 91374 markings/sec, 2580 secs
lola: 822 tries, 821215109 fired transitions, 2585 secs || 229549470 markings, 1015087732 edges, 93012 markings/sec, 2585 secs
lola: 824 tries, 823018743 fired transitions, 2590 secs || 230021355 markings, 1017584400 edges, 94377 markings/sec, 2590 secs
lola: 825 tries, 824811228 fired transitions, 2595 secs || 230495637 markings, 1020097113 edges, 94856 markings/sec, 2595 secs
lola: 827 tries, 826596757 fired transitions, 2600 secs || 230962112 markings, 1022549800 edges, 93295 markings/sec, 2600 secs
lola: 829 tries, 828404950 fired transitions, 2605 secs || 231443660 markings, 1025110470 edges, 96310 markings/sec, 2605 secs
lola: 831 tries, 830213307 fired transitions, 2610 secs || 231915451 markings, 1027614039 edges, 94358 markings/sec, 2610 secs
lola: 832 tries, 831993123 fired transitions, 2615 secs || 232383952 markings, 1030079662 edges, 93700 markings/sec, 2615 secs
lola: 834 tries, 833726266 fired transitions, 2620 secs || 232836285 markings, 1032477771 edges, 90467 markings/sec, 2620 secs
lola: 836 tries, 835412222 fired transitions, 2625 secs || 233283486 markings, 1034858195 edges, 89440 markings/sec, 2625 secs
lola: 838 tries, 837152813 fired transitions, 2630 secs || 233734834 markings, 1037249758 edges, 90270 markings/sec, 2630 secs
lola: 839 tries, 838879740 fired transitions, 2635 secs || 234187478 markings, 1039676500 edges, 90529 markings/sec, 2635 secs
lola: 841 tries, 840650042 fired transitions, 2640 secs || 234641566 markings, 1042102034 edges, 90818 markings/sec, 2640 secs
lola: 843 tries, 842398393 fired transitions, 2645 secs || 235095318 markings, 1044515992 edges, 90750 markings/sec, 2645 secs
lola: 845 tries, 844155875 fired transitions, 2650 secs || 235549126 markings, 1046948291 edges, 90762 markings/sec, 2650 secs
lola: 846 tries, 845877380 fired transitions, 2655 secs || 236000502 markings, 1049344569 edges, 90275 markings/sec, 2655 secs
lola: 848 tries, 847605032 fired transitions, 2660 secs || 236450515 markings, 1051718836 edges, 90003 markings/sec, 2660 secs
lola: 850 tries, 849333575 fired transitions, 2665 secs || 236904740 markings, 1054139160 edges, 90845 markings/sec, 2665 secs
lola: 852 tries, 851074606 fired transitions, 2670 secs || 237354301 markings, 1056520849 edges, 89912 markings/sec, 2670 secs
lola: 853 tries, 852780831 fired transitions, 2675 secs || 237800893 markings, 1058887744 edges, 89318 markings/sec, 2675 secs
lola: 855 tries, 854503246 fired transitions, 2680 secs || 238243351 markings, 1061241140 edges, 88492 markings/sec, 2680 secs
lola: 857 tries, 856240224 fired transitions, 2685 secs || 238702261 markings, 1063705117 edges, 91782 markings/sec, 2685 secs
lola: 859 tries, 858046095 fired transitions, 2690 secs || 239177661 markings, 1066242417 edges, 95080 markings/sec, 2690 secs
lola: 860 tries, 859870537 fired transitions, 2695 secs || 239647945 markings, 1068772894 edges, 94057 markings/sec, 2695 secs
lola: 862 tries, 861660063 fired transitions, 2700 secs || 240115038 markings, 1071260276 edges, 93419 markings/sec, 2700 secs
lola: 864 tries, 863437528 fired transitions, 2705 secs || 240581828 markings, 1073739877 edges, 93358 markings/sec, 2705 secs
lola: 866 tries, 865209809 fired transitions, 2710 secs || 241044444 markings, 1076227437 edges, 92523 markings/sec, 2710 secs
lola: 868 tries, 867019446 fired transitions, 2715 secs || 241518769 markings, 1078740723 edges, 94865 markings/sec, 2715 secs
lola: 869 tries, 868840597 fired transitions, 2720 secs || 241996824 markings, 1081285863 edges, 95611 markings/sec, 2720 secs
lola: 871 tries, 870637131 fired transitions, 2725 secs || 242465946 markings, 1083800207 edges, 93824 markings/sec, 2725 secs
lola: 873 tries, 872427822 fired transitions, 2730 secs || 242936287 markings, 1086311812 edges, 94068 markings/sec, 2730 secs
lola: 875 tries, 874186609 fired transitions, 2735 secs || 243391287 markings, 1088750557 edges, 91000 markings/sec, 2735 secs
lola: 876 tries, 875948169 fired transitions, 2740 secs || 243857845 markings, 1091217331 edges, 93312 markings/sec, 2740 secs
lola: 878 tries, 877729283 fired transitions, 2745 secs || 244323410 markings, 1093710167 edges, 93113 markings/sec, 2745 secs
lola: 880 tries, 879453963 fired transitions, 2750 secs || 244771951 markings, 1096118226 edges, 89708 markings/sec, 2750 secs
lola: 882 tries, 881033798 fired transitions, 2755 secs || 245194037 markings, 1098384698 edges, 84417 markings/sec, 2755 secs
lola: 883 tries, 882708971 fired transitions, 2760 secs || 245626959 markings, 1100696682 edges, 86584 markings/sec, 2760 secs
lola: 885 tries, 884386509 fired transitions, 2765 secs || 246076452 markings, 1103132217 edges, 89899 markings/sec, 2765 secs
lola: 887 tries, 886119545 fired transitions, 2770 secs || 246532707 markings, 1105573182 edges, 91251 markings/sec, 2770 secs
lola: 888 tries, 887886351 fired transitions, 2775 secs || 246748838 markings, 1106723000 edges, 43226 markings/sec, 2775 secs
lola: 890 tries, 889656060 fired transitions, 2780 secs || 246945372 markings, 1107781007 edges, 39307 markings/sec, 2780 secs
lola: 892 tries, 891503282 fired transitions, 2785 secs || 247124318 markings, 1108736267 edges, 35789 markings/sec, 2785 secs
lola: 892 tries, 891929452 fired transitions, 2790 secs || 247161636 markings, 1108940978 edges, 7464 markings/sec, 2790 secs
lola: 893 tries, 892934294 fired transitions, 2795 secs || 247227115 markings, 1109291413 edges, 13096 markings/sec, 2795 secs
Killed
rslt: finished

BK_STOP 1554507540084

--------------------
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-1A"
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-1A, 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-155344535000237"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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