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

About the Execution of LoLA for CloudOpsManagement-PT-05120by02560

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
0.000 1290630.00 0.00 0.00 [undef] Cannot compute

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r209-smll-155381375400102.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is CloudOpsManagement-PT-05120by02560, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r209-smll-155381375400102
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 4.3K Mar 26 06:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 26 06:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 06:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 06:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 121 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 359 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 06:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 26 06:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 06:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K Mar 26 06:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 25 21:32 NewModel
-rw-r--r-- 1 mcc users 4.1K Mar 26 06:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 06:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 26 06:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 06:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 26 06:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 26 06:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 25 21:32 equiv_col

-rw-r--r-- 1 mcc users 13 Mar 25 21:32 instance
-rw-r--r-- 1 mcc users 6 Mar 25 21:32 iscolored
-rw-r--r-- 1 mcc users 17K Mar 25 21:32 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 CloudOpsManagement-PT-05120by02560-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554502866369

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ CloudOpsManagement-PT-05120by02560 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 2280
rslt: Output for GlobalProperties @ CloudOpsManagement-PT-05120by02560
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: 56/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 29 transitions, 16 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 3 generators (3 in search tree, 0 by composition)
lola: representing 6 symmetries
lola: 0 dead branches visited in search tree
lola: 8 tries, 7693844 fired transitions, 0 secs || 1104492 markings, 1115147 edges, 220898 markings/sec, 0 secs
lola: 17 tries, 16424499 fired transitions, 5 secs || 2272055 markings, 2283166 edges, 233513 markings/sec, 5 secs
lola: 26 tries, 25313392 fired transitions, 10 secs || 3363349 markings, 3374886 edges, 218259 markings/sec, 10 secs
lola: 34 tries, 33964945 fired transitions, 15 secs || 4400938 markings, 4412879 edges, 207518 markings/sec, 15 secs
lola: 43 tries, 42030059 fired transitions, 20 secs || 5498352 markings, 5510721 edges, 219483 markings/sec, 20 secs
lola: 51 tries, 50758637 fired transitions, 25 secs || 6548408 markings, 6561187 edges, 210011 markings/sec, 25 secs
lola: 60 tries, 59402757 fired transitions, 30 secs || 7581715 markings, 7594898 edges, 206661 markings/sec, 30 secs
lola: 68 tries, 67779671 fired transitions, 35 secs || 8620726 markings, 8634313 edges, 207802 markings/sec, 35 secs
lola: 77 tries, 76354900 fired transitions, 40 secs || 9621673 markings, 9635652 edges, 200189 markings/sec, 40 secs
lola: 85 tries, 84914197 fired transitions, 45 secs || 10637401 markings, 10651776 edges, 203146 markings/sec, 45 secs
lola: 94 tries, 93664190 fired transitions, 50 secs || 11687612 markings, 11702397 edges, 210042 markings/sec, 50 secs
lola: 103 tries, 102017501 fired transitions, 55 secs || 12733152 markings, 12748345 edges, 209108 markings/sec, 55 secs
lola: 111 tries, 110335670 fired transitions, 60 secs || 13839143 markings, 14195175 edges, 221198 markings/sec, 60 secs
lola: 119 tries, 118503773 fired transitions, 65 secs || 14979557 markings, 15906262 edges, 228083 markings/sec, 65 secs
lola: 127 tries, 126590543 fired transitions, 70 secs || 16084079 markings, 17563478 edges, 220904 markings/sec, 70 secs
lola: 135 tries, 134661368 fired transitions, 75 secs || 17168228 markings, 19190105 edges, 216830 markings/sec, 75 secs
lola: 143 tries, 142950125 fired transitions, 80 secs || 18228959 markings, 20781580 edges, 212146 markings/sec, 80 secs
lola: 152 tries, 151347483 fired transitions, 85 secs || 19261632 markings, 22330942 edges, 206535 markings/sec, 85 secs
lola: 160 tries, 159727749 fired transitions, 90 secs || 20291603 markings, 23876240 edges, 205994 markings/sec, 90 secs
lola: 169 tries, 168074362 fired transitions, 95 secs || 21274642 markings, 25351113 edges, 196608 markings/sec, 95 secs
lola: 175 tries, 174882274 fired transitions, 100 secs || 22249852 markings, 26814234 edges, 195042 markings/sec, 100 secs
lola: 184 tries, 183395776 fired transitions, 105 secs || 23191430 markings, 28226888 edges, 188316 markings/sec, 105 secs
lola: 192 tries, 191961646 fired transitions, 110 secs || 24113617 markings, 29610440 edges, 184437 markings/sec, 110 secs
lola: 201 tries, 200396827 fired transitions, 115 secs || 25009783 markings, 30954632 edges, 179233 markings/sec, 115 secs
lola: 209 tries, 208986105 fired transitions, 120 secs || 25933057 markings, 32339724 edges, 184655 markings/sec, 120 secs
lola: 218 tries, 217359669 fired transitions, 125 secs || 26838598 markings, 33697932 edges, 181108 markings/sec, 125 secs
lola: 226 tries, 225594569 fired transitions, 130 secs || 27766865 markings, 35090731 edges, 185653 markings/sec, 130 secs
lola: 235 tries, 234350265 fired transitions, 135 secs || 28674869 markings, 36453586 edges, 181601 markings/sec, 135 secs
lola: 243 tries, 242829078 fired transitions, 140 secs || 29616116 markings, 37865701 edges, 188249 markings/sec, 140 secs
lola: 252 tries, 251238782 fired transitions, 145 secs || 30483756 markings, 39167383 edges, 173528 markings/sec, 145 secs
lola: 260 tries, 259684267 fired transitions, 150 secs || 31316109 markings, 40416123 edges, 166471 markings/sec, 150 secs
lola: 269 tries, 268221327 fired transitions, 155 secs || 32235516 markings, 41795418 edges, 183881 markings/sec, 155 secs
lola: 277 tries, 276931246 fired transitions, 160 secs || 33105674 markings, 43100911 edges, 174032 markings/sec, 160 secs
lola: 286 tries, 285448444 fired transitions, 165 secs || 33997191 markings, 44437735 edges, 178303 markings/sec, 165 secs
lola: 294 tries, 293915184 fired transitions, 170 secs || 34853259 markings, 45722710 edges, 171214 markings/sec, 170 secs
lola: 303 tries, 302701977 fired transitions, 175 secs || 35703576 markings, 46998383 edges, 170063 markings/sec, 175 secs
lola: 310 tries, 309323796 fired transitions, 180 secs || 36576495 markings, 48307599 edges, 174584 markings/sec, 180 secs
lola: 318 tries, 317479167 fired transitions, 185 secs || 37460509 markings, 49633171 edges, 176803 markings/sec, 185 secs
lola: 325 tries, 324443094 fired transitions, 190 secs || 38348026 markings, 50964935 edges, 177503 markings/sec, 190 secs
lola: 334 tries, 333031774 fired transitions, 195 secs || 39216083 markings, 52267142 edges, 173611 markings/sec, 195 secs
lola: 342 tries, 341767108 fired transitions, 200 secs || 40064728 markings, 53540573 edges, 169729 markings/sec, 200 secs
lola: 351 tries, 350456275 fired transitions, 205 secs || 40898161 markings, 54791422 edges, 166687 markings/sec, 205 secs
lola: 360 tries, 359481085 fired transitions, 210 secs || 41759658 markings, 56083251 edges, 172299 markings/sec, 210 secs
lola: 369 tries, 368395880 fired transitions, 215 secs || 42612368 markings, 57363052 edges, 170542 markings/sec, 215 secs
lola: 378 tries, 377210330 fired transitions, 220 secs || 43429974 markings, 58589479 edges, 163521 markings/sec, 220 secs
lola: 386 tries, 385826499 fired transitions, 225 secs || 44289523 markings, 59878940 edges, 171910 markings/sec, 225 secs
lola: 395 tries, 394895563 fired transitions, 230 secs || 45126906 markings, 61134228 edges, 167477 markings/sec, 230 secs
lola: 404 tries, 403695031 fired transitions, 235 secs || 45974142 markings, 62406168 edges, 169447 markings/sec, 235 secs
lola: 413 tries, 412636338 fired transitions, 240 secs || 46804560 markings, 63651995 edges, 166084 markings/sec, 240 secs
lola: 420 tries, 419310572 fired transitions, 245 secs || 47681545 markings, 64967893 edges, 175397 markings/sec, 245 secs
lola: 427 tries, 426637331 fired transitions, 250 secs || 48546084 markings, 66264871 edges, 172908 markings/sec, 250 secs
lola: 436 tries, 435456571 fired transitions, 255 secs || 49373200 markings, 67504752 edges, 165423 markings/sec, 255 secs
lola: 445 tries, 444307498 fired transitions, 260 secs || 50218457 markings, 68773756 edges, 169051 markings/sec, 260 secs
lola: 454 tries, 453292282 fired transitions, 265 secs || 51042175 markings, 70009488 edges, 164744 markings/sec, 265 secs
lola: 463 tries, 462198935 fired transitions, 270 secs || 51931958 markings, 71342836 edges, 177957 markings/sec, 270 secs
lola: 472 tries, 471365094 fired transitions, 275 secs || 52872891 markings, 72755271 edges, 188187 markings/sec, 275 secs
lola: 480 tries, 479808487 fired transitions, 280 secs || 53724489 markings, 74032555 edges, 170320 markings/sec, 280 secs
lola: 490 tries, 489154658 fired transitions, 285 secs || 54672668 markings, 75455776 edges, 189636 markings/sec, 285 secs
lola: 499 tries, 498307039 fired transitions, 290 secs || 55601510 markings, 76849336 edges, 185768 markings/sec, 290 secs
lola: 508 tries, 507094491 fired transitions, 295 secs || 56532576 markings, 78245353 edges, 186213 markings/sec, 295 secs
lola: 516 tries, 515906041 fired transitions, 300 secs || 57458496 markings, 79634180 edges, 185184 markings/sec, 300 secs
lola: 526 tries, 525273826 fired transitions, 305 secs || 58383304 markings, 81022529 edges, 184962 markings/sec, 305 secs
lola: 535 tries, 534507876 fired transitions, 310 secs || 59299016 markings, 82395673 edges, 183142 markings/sec, 310 secs
lola: 544 tries, 543863305 fired transitions, 315 secs || 60219587 markings, 83776987 edges, 184114 markings/sec, 315 secs
lola: 553 tries, 552969306 fired transitions, 320 secs || 61145895 markings, 85166894 edges, 185262 markings/sec, 320 secs
lola: 563 tries, 562251915 fired transitions, 325 secs || 62050029 markings, 86521357 edges, 180827 markings/sec, 325 secs
lola: 572 tries, 571801813 fired transitions, 330 secs || 62952134 markings, 87876565 edges, 180421 markings/sec, 330 secs
lola: 582 tries, 581152058 fired transitions, 335 secs || 63852888 markings, 89226017 edges, 180151 markings/sec, 335 secs
lola: 591 tries, 590165938 fired transitions, 340 secs || 64740368 markings, 90558809 edges, 177496 markings/sec, 340 secs
lola: 600 tries, 599297474 fired transitions, 345 secs || 65606593 markings, 91858696 edges, 173245 markings/sec, 345 secs
lola: 609 tries, 608405728 fired transitions, 350 secs || 66529806 markings, 93243550 edges, 184643 markings/sec, 350 secs
lola: 618 tries, 617623054 fired transitions, 355 secs || 67448406 markings, 94619778 edges, 183720 markings/sec, 355 secs
lola: 627 tries, 626927118 fired transitions, 360 secs || 68303208 markings, 95902406 edges, 170960 markings/sec, 360 secs
lola: 637 tries, 636140812 fired transitions, 365 secs || 69204973 markings, 97256062 edges, 180353 markings/sec, 365 secs
lola: 646 tries, 645285912 fired transitions, 370 secs || 70116809 markings, 98622619 edges, 182367 markings/sec, 370 secs
lola: 655 tries, 654423722 fired transitions, 375 secs || 71028783 markings, 99991405 edges, 182395 markings/sec, 375 secs
lola: 664 tries, 663029088 fired transitions, 380 secs || 71859354 markings, 101238855 edges, 166114 markings/sec, 380 secs
lola: 673 tries, 672260320 fired transitions, 385 secs || 72756074 markings, 102582920 edges, 179344 markings/sec, 385 secs
lola: 682 tries, 681493798 fired transitions, 390 secs || 73715964 markings, 104024058 edges, 191978 markings/sec, 390 secs
lola: 691 tries, 690638243 fired transitions, 395 secs || 74672220 markings, 105458594 edges, 191251 markings/sec, 395 secs
lola: 701 tries, 700088863 fired transitions, 400 secs || 75605361 markings, 106858450 edges, 186628 markings/sec, 400 secs
lola: 710 tries, 709297029 fired transitions, 405 secs || 76531395 markings, 108247392 edges, 185207 markings/sec, 405 secs
lola: 718 tries, 717483111 fired transitions, 410 secs || 77336953 markings, 109455575 edges, 161112 markings/sec, 410 secs
lola: 727 tries, 726527391 fired transitions, 415 secs || 78255589 markings, 110833025 edges, 183727 markings/sec, 415 secs
lola: 737 tries, 736095326 fired transitions, 420 secs || 79159559 markings, 112190287 edges, 180794 markings/sec, 420 secs
lola: 746 tries, 745202792 fired transitions, 425 secs || 79844060 markings, 113217138 edges, 136900 markings/sec, 425 secs
lola: 755 tries, 754488142 fired transitions, 430 secs || 80678718 markings, 114469200 edges, 166932 markings/sec, 430 secs
lola: 764 tries, 763992929 fired transitions, 435 secs || 81588874 markings, 115834533 edges, 182031 markings/sec, 435 secs
lola: 774 tries, 773298214 fired transitions, 440 secs || 82508190 markings, 117211973 edges, 183863 markings/sec, 440 secs
lola: 783 tries, 782590038 fired transitions, 445 secs || 83389093 markings, 118532985 edges, 176181 markings/sec, 445 secs
lola: 792 tries, 791926204 fired transitions, 450 secs || 84268065 markings, 119853031 edges, 175794 markings/sec, 450 secs
lola: 801 tries, 800965613 fired transitions, 455 secs || 85175238 markings, 121214689 edges, 181435 markings/sec, 455 secs
lola: 811 tries, 810060830 fired transitions, 460 secs || 86061349 markings, 122542350 edges, 177222 markings/sec, 460 secs
lola: 820 tries, 819242820 fired transitions, 465 secs || 86950784 markings, 123876652 edges, 177887 markings/sec, 465 secs
lola: 829 tries, 828354092 fired transitions, 470 secs || 87836187 markings, 125205801 edges, 177081 markings/sec, 470 secs
lola: 838 tries, 837414466 fired transitions, 475 secs || 88719114 markings, 126528982 edges, 176585 markings/sec, 475 secs
lola: 847 tries, 846609562 fired transitions, 480 secs || 89616338 markings, 127875731 edges, 179445 markings/sec, 480 secs
lola: 856 tries, 855748078 fired transitions, 485 secs || 90515118 markings, 129224577 edges, 179756 markings/sec, 485 secs
lola: 866 tries, 865256660 fired transitions, 490 secs || 91317817 markings, 130427349 edges, 160540 markings/sec, 490 secs
lola: 875 tries, 874601610 fired transitions, 495 secs || 92160324 markings, 131691643 edges, 168501 markings/sec, 495 secs
lola: 884 tries, 883861512 fired transitions, 500 secs || 93052080 markings, 133031065 edges, 178351 markings/sec, 500 secs
lola: 894 tries, 893131882 fired transitions, 505 secs || 93956836 markings, 134388005 edges, 180951 markings/sec, 505 secs
lola: 903 tries, 902371748 fired transitions, 510 secs || 94837144 markings, 135707023 edges, 176062 markings/sec, 510 secs
lola: 912 tries, 911612095 fired transitions, 515 secs || 95739431 markings, 137062462 edges, 180457 markings/sec, 515 secs
lola: 921 tries, 920842515 fired transitions, 520 secs || 96553072 markings, 138282407 edges, 162728 markings/sec, 520 secs
lola: 931 tries, 930078514 fired transitions, 525 secs || 97450636 markings, 139627676 edges, 179513 markings/sec, 525 secs
lola: 940 tries, 939506692 fired transitions, 530 secs || 98343479 markings, 140968885 edges, 178569 markings/sec, 530 secs
lola: 949 tries, 948747221 fired transitions, 535 secs || 99240970 markings, 142313054 edges, 179498 markings/sec, 535 secs
lola: 959 tries, 958372745 fired transitions, 540 secs || 100121055 markings, 143633785 edges, 176017 markings/sec, 540 secs
lola: 968 tries, 967711521 fired transitions, 545 secs || 100976719 markings, 144919096 edges, 171133 markings/sec, 545 secs
lola: 977 tries, 976535926 fired transitions, 550 secs || 101822899 markings, 146186699 edges, 169236 markings/sec, 550 secs
lola: 986 tries, 985686805 fired transitions, 555 secs || 102687152 markings, 147484970 edges, 172851 markings/sec, 555 secs
lola: 993 tries, 992377152 fired transitions, 560 secs || 103327552 markings, 148444135 edges, 128080 markings/sec, 560 secs
lola: 1002 tries, 1001439448 fired transitions, 565 secs || 104190038 markings, 149738302 edges, 172497 markings/sec, 565 secs
lola: 1011 tries, 1010627730 fired transitions, 570 secs || 105051024 markings, 151029312 edges, 172197 markings/sec, 570 secs
lola: 1021 tries, 1020208264 fired transitions, 575 secs || 105931264 markings, 152348528 edges, 176048 markings/sec, 575 secs
lola: 1030 tries, 1029614715 fired transitions, 580 secs || 106834179 markings, 153705799 edges, 180583 markings/sec, 580 secs
lola: 1039 tries, 1038697104 fired transitions, 585 secs || 107723256 markings, 155038678 edges, 177815 markings/sec, 585 secs
lola: 1048 tries, 1047365415 fired transitions, 590 secs || 108640825 markings, 156415188 edges, 183514 markings/sec, 590 secs
lola: 1057 tries, 1056647514 fired transitions, 595 secs || 109563896 markings, 157800676 edges, 184614 markings/sec, 595 secs
lola: 1066 tries, 1065785474 fired transitions, 600 secs || 110476232 markings, 159169020 edges, 182467 markings/sec, 600 secs
lola: 1075 tries, 1074983822 fired transitions, 605 secs || 111387018 markings, 160535886 edges, 182157 markings/sec, 605 secs
lola: 1084 tries, 1083491854 fired transitions, 610 secs || 112273314 markings, 161863091 edges, 177259 markings/sec, 610 secs
lola: 1093 tries, 1092786544 fired transitions, 615 secs || 113174105 markings, 163214613 edges, 180158 markings/sec, 615 secs
lola: 1103 tries, 1102225181 fired transitions, 620 secs || 114059728 markings, 164545284 edges, 177125 markings/sec, 620 secs
lola: 1112 tries, 1111690896 fired transitions, 625 secs || 114947013 markings, 165876227 edges, 177457 markings/sec, 625 secs
lola: 1122 tries, 1121027076 fired transitions, 630 secs || 115858108 markings, 167242355 edges, 182219 markings/sec, 630 secs
lola: 1131 tries, 1130153130 fired transitions, 635 secs || 116751897 markings, 168583735 edges, 178758 markings/sec, 635 secs
lola: 1140 tries, 1139494111 fired transitions, 640 secs || 117645108 markings, 169923795 edges, 178642 markings/sec, 640 secs
lola: 1149 tries, 1148851845 fired transitions, 645 secs || 118540388 markings, 171264481 edges, 179056 markings/sec, 645 secs
lola: 1159 tries, 1158235666 fired transitions, 650 secs || 119396646 markings, 172550726 edges, 171252 markings/sec, 650 secs
lola: 1168 tries, 1167556353 fired transitions, 655 secs || 120289371 markings, 173889680 edges, 178545 markings/sec, 655 secs
lola: 1177 tries, 1176975671 fired transitions, 660 secs || 121149987 markings, 175181399 edges, 172123 markings/sec, 660 secs
lola: 1187 tries, 1186118730 fired transitions, 665 secs || 121937943 markings, 176363363 edges, 157591 markings/sec, 665 secs
lola: 1196 tries, 1195007536 fired transitions, 670 secs || 122795959 markings, 177647278 edges, 171603 markings/sec, 670 secs
lola: 1205 tries, 1204310237 fired transitions, 675 secs || 123630147 markings, 178900391 edges, 166838 markings/sec, 675 secs
lola: 1214 tries, 1213826983 fired transitions, 680 secs || 124484892 markings, 180184291 edges, 170949 markings/sec, 680 secs
lola: 1224 tries, 1223118914 fired transitions, 685 secs || 125375683 markings, 181518566 edges, 178158 markings/sec, 685 secs
lola: 1233 tries, 1232376088 fired transitions, 690 secs || 126270777 markings, 182862931 edges, 179019 markings/sec, 690 secs
lola: 1242 tries, 1241683842 fired transitions, 695 secs || 127166833 markings, 184205562 edges, 179211 markings/sec, 695 secs
lola: 1250 tries, 1249224633 fired transitions, 700 secs || 128068477 markings, 185556586 edges, 180329 markings/sec, 700 secs
lola: 1259 tries, 1258479502 fired transitions, 705 secs || 128961354 markings, 186898651 edges, 178575 markings/sec, 705 secs
lola: 1268 tries, 1267783025 fired transitions, 710 secs || 129869443 markings, 188259067 edges, 181618 markings/sec, 710 secs
lola: 1277 tries, 1276964758 fired transitions, 715 secs || 130743358 markings, 189570512 edges, 174783 markings/sec, 715 secs
lola: 1287 tries, 1286302542 fired transitions, 720 secs || 131570303 markings, 190813236 edges, 165389 markings/sec, 720 secs
lola: 1296 tries, 1295759154 fired transitions, 725 secs || 132456094 markings, 192140122 edges, 177158 markings/sec, 725 secs
lola: 1306 tries, 1305159350 fired transitions, 730 secs || 133345477 markings, 193473899 edges, 177877 markings/sec, 730 secs
lola: 1315 tries, 1314153897 fired transitions, 735 secs || 134157534 markings, 194694184 edges, 162411 markings/sec, 735 secs
lola: 1324 tries, 1323186437 fired transitions, 740 secs || 135057400 markings, 196041760 edges, 179973 markings/sec, 740 secs
lola: 1333 tries, 1332273923 fired transitions, 745 secs || 135945332 markings, 197376282 edges, 177586 markings/sec, 745 secs
lola: 1342 tries, 1341672784 fired transitions, 750 secs || 136823018 markings, 198692908 edges, 175537 markings/sec, 750 secs
lola: 1352 tries, 1351033180 fired transitions, 755 secs || 137708263 markings, 200018590 edges, 177049 markings/sec, 755 secs
lola: 1361 tries, 1360439080 fired transitions, 760 secs || 138598872 markings, 201356368 edges, 178122 markings/sec, 760 secs
lola: 1370 tries, 1369195698 fired transitions, 765 secs || 139494600 markings, 202698298 edges, 179146 markings/sec, 765 secs
lola: 1378 tries, 1377271660 fired transitions, 770 secs || 140337147 markings, 203961374 edges, 168509 markings/sec, 770 secs
lola: 1387 tries, 1386696925 fired transitions, 775 secs || 141226931 markings, 205296219 edges, 177957 markings/sec, 775 secs
lola: 1397 tries, 1396215729 fired transitions, 780 secs || 142110165 markings, 206622468 edges, 176647 markings/sec, 780 secs
lola: 1406 tries, 1405569991 fired transitions, 785 secs || 143007721 markings, 207969815 edges, 179511 markings/sec, 785 secs
lola: 1415 tries, 1414849902 fired transitions, 790 secs || 143897508 markings, 209303019 edges, 177957 markings/sec, 790 secs
lola: 1425 tries, 1424409757 fired transitions, 795 secs || 144742174 markings, 210895469 edges, 168933 markings/sec, 795 secs
lola: 1434 tries, 1433691422 fired transitions, 800 secs || 145470430 markings, 212540330 edges, 145651 markings/sec, 800 secs
lola: 1443 tries, 1442759343 fired transitions, 805 secs || 146199554 markings, 214187473 edges, 145825 markings/sec, 805 secs
lola: 1453 tries, 1452033129 fired transitions, 810 secs || 146908855 markings, 215785774 edges, 141860 markings/sec, 810 secs
lola: 1460 tries, 1459996631 fired transitions, 815 secs || 147528977 markings, 217186458 edges, 124024 markings/sec, 815 secs
lola: 1468 tries, 1467566476 fired transitions, 820 secs || 148080387 markings, 218426610 edges, 110282 markings/sec, 820 secs
lola: 1476 tries, 1475762955 fired transitions, 825 secs || 148773662 markings, 219993300 edges, 138655 markings/sec, 825 secs
lola: 1485 tries, 1484676592 fired transitions, 830 secs || 149468909 markings, 221557696 edges, 139049 markings/sec, 830 secs
lola: 1494 tries, 1493923194 fired transitions, 835 secs || 150168488 markings, 223132432 edges, 139916 markings/sec, 835 secs
lola: 1503 tries, 1502895335 fired transitions, 840 secs || 150873743 markings, 224725203 edges, 141051 markings/sec, 840 secs
lola: 1512 tries, 1511739333 fired transitions, 845 secs || 151567253 markings, 226285155 edges, 138702 markings/sec, 845 secs
lola: 1521 tries, 1520554486 fired transitions, 850 secs || 152252122 markings, 227823277 edges, 136974 markings/sec, 850 secs
lola: 1530 tries, 1529759613 fired transitions, 855 secs || 152966197 markings, 229437301 edges, 142815 markings/sec, 855 secs
lola: 1539 tries, 1538878256 fired transitions, 860 secs || 153661939 markings, 231015266 edges, 139148 markings/sec, 860 secs
lola: 1548 tries, 1547825853 fired transitions, 865 secs || 154369114 markings, 232602983 edges, 141435 markings/sec, 865 secs
lola: 1557 tries, 1556710994 fired transitions, 870 secs || 155055062 markings, 234150733 edges, 137190 markings/sec, 870 secs
lola: 1566 tries, 1565979180 fired transitions, 875 secs || 155746294 markings, 235707498 edges, 138246 markings/sec, 875 secs
lola: 1576 tries, 1575449173 fired transitions, 880 secs || 156446704 markings, 237282462 edges, 140082 markings/sec, 880 secs
lola: 1585 tries, 1584690002 fired transitions, 885 secs || 157130639 markings, 238834026 edges, 136787 markings/sec, 885 secs
lola: 1594 tries, 1593963678 fired transitions, 890 secs || 157816113 markings, 240380975 edges, 137095 markings/sec, 890 secs
lola: 1604 tries, 1603207701 fired transitions, 895 secs || 158518359 markings, 241966197 edges, 140449 markings/sec, 895 secs
lola: 1613 tries, 1612580237 fired transitions, 900 secs || 159188858 markings, 243479297 edges, 134100 markings/sec, 900 secs
lola: 1622 tries, 1621669220 fired transitions, 905 secs || 159833213 markings, 244939728 edges, 128871 markings/sec, 905 secs
lola: 1631 tries, 1630959872 fired transitions, 910 secs || 160546099 markings, 246537846 edges, 142577 markings/sec, 910 secs
lola: 1641 tries, 1640244644 fired transitions, 915 secs || 161232565 markings, 248088313 edges, 137293 markings/sec, 915 secs
lola: 1650 tries, 1649548854 fired transitions, 920 secs || 161893419 markings, 249581287 edges, 132171 markings/sec, 920 secs
lola: 1659 tries, 1658936929 fired transitions, 925 secs || 162592715 markings, 251152659 edges, 139859 markings/sec, 925 secs
lola: 1669 tries, 1668040777 fired transitions, 930 secs || 163237887 markings, 252599266 edges, 129034 markings/sec, 930 secs
lola: 1678 tries, 1677094857 fired transitions, 935 secs || 163850618 markings, 253980547 edges, 122546 markings/sec, 935 secs
lola: 1687 tries, 1686264439 fired transitions, 940 secs || 164492822 markings, 255441079 edges, 128441 markings/sec, 940 secs
lola: 1696 tries, 1695529514 fired transitions, 945 secs || 165192446 markings, 257008893 edges, 139925 markings/sec, 945 secs
lola: 1705 tries, 1704805579 fired transitions, 950 secs || 165869077 markings, 258541277 edges, 135326 markings/sec, 950 secs
lola: 1714 tries, 1713968855 fired transitions, 955 secs || 166552290 markings, 260078871 edges, 136643 markings/sec, 955 secs
lola: 1723 tries, 1722025901 fired transitions, 960 secs || 167137376 markings, 261406050 edges, 117017 markings/sec, 960 secs
lola: 1732 tries, 1731194929 fired transitions, 965 secs || 167830496 markings, 262952285 edges, 138624 markings/sec, 965 secs
lola: 1741 tries, 1740363659 fired transitions, 970 secs || 168521490 markings, 264522366 edges, 138199 markings/sec, 970 secs
lola: 1750 tries, 1749616398 fired transitions, 975 secs || 169209872 markings, 266071999 edges, 137676 markings/sec, 975 secs
lola: 1759 tries, 1758607820 fired transitions, 980 secs || 169899785 markings, 267617006 edges, 137983 markings/sec, 980 secs
lola: 1768 tries, 1767497140 fired transitions, 985 secs || 170568445 markings, 269138060 edges, 133732 markings/sec, 985 secs
lola: 1777 tries, 1776671657 fired transitions, 990 secs || 171243154 markings, 270662539 edges, 134942 markings/sec, 990 secs
lola: 1786 tries, 1785884899 fired transitions, 995 secs || 171918721 markings, 272175146 edges, 135113 markings/sec, 995 secs
lola: 1794 tries, 1793814657 fired transitions, 1000 secs || 172531309 markings, 273562451 edges, 122518 markings/sec, 1000 secs
lola: 1804 tries, 1803133730 fired transitions, 1005 secs || 173205965 markings, 275086452 edges, 134931 markings/sec, 1005 secs
lola: 1813 tries, 1812320429 fired transitions, 1010 secs || 173872989 markings, 276593610 edges, 133405 markings/sec, 1010 secs
lola: 1822 tries, 1821588075 fired transitions, 1015 secs || 174531454 markings, 278071912 edges, 131693 markings/sec, 1015 secs
lola: 1832 tries, 1831069743 fired transitions, 1020 secs || 175180271 markings, 279524890 edges, 129763 markings/sec, 1020 secs
lola: 1841 tries, 1840331432 fired transitions, 1025 secs || 175909991 markings, 281170950 edges, 145944 markings/sec, 1025 secs
lola: 1850 tries, 1849646313 fired transitions, 1030 secs || 176624157 markings, 282788793 edges, 142833 markings/sec, 1030 secs
lola: 1859 tries, 1858733690 fired transitions, 1035 secs || 177345076 markings, 284417307 edges, 144184 markings/sec, 1035 secs
lola: 1869 tries, 1868031295 fired transitions, 1040 secs || 178049639 markings, 285993585 edges, 140913 markings/sec, 1040 secs
lola: 1878 tries, 1877249077 fired transitions, 1045 secs || 178750165 markings, 287579100 edges, 140105 markings/sec, 1045 secs
lola: 1887 tries, 1886341401 fired transitions, 1050 secs || 179438923 markings, 289123480 edges, 137752 markings/sec, 1050 secs
lola: 1896 tries, 1895472262 fired transitions, 1055 secs || 180119720 markings, 290660397 edges, 136159 markings/sec, 1055 secs
lola: 1905 tries, 1904621406 fired transitions, 1060 secs || 180838786 markings, 292271542 edges, 143813 markings/sec, 1060 secs
lola: 1914 tries, 1913826960 fired transitions, 1065 secs || 181527941 markings, 293839996 edges, 137831 markings/sec, 1065 secs
lola: 1923 tries, 1922410445 fired transitions, 1070 secs || 182169378 markings, 295270403 edges, 128287 markings/sec, 1070 secs
lola: 1932 tries, 1931518191 fired transitions, 1075 secs || 182857132 markings, 296831981 edges, 137551 markings/sec, 1075 secs
lola: 1941 tries, 1940769475 fired transitions, 1080 secs || 183545289 markings, 298381948 edges, 137631 markings/sec, 1080 secs
lola: 1949 tries, 1948688369 fired transitions, 1085 secs || 184150207 markings, 299744947 edges, 120984 markings/sec, 1085 secs
lola: 1958 tries, 1957945503 fired transitions, 1090 secs || 184845980 markings, 301318184 edges, 139155 markings/sec, 1090 secs
lola: 1968 tries, 1967153905 fired transitions, 1095 secs || 185485511 markings, 302753183 edges, 127906 markings/sec, 1095 secs
lola: 1977 tries, 1976291529 fired transitions, 1100 secs || 186132205 markings, 304213368 edges, 129339 markings/sec, 1100 secs
lola: 1986 tries, 1985103408 fired transitions, 1105 secs || 186824397 markings, 305780205 edges, 138438 markings/sec, 1105 secs
lola: 1993 tries, 1992388406 fired transitions, 1110 secs || 187450511 markings, 307191040 edges, 125223 markings/sec, 1110 secs
lola: 2002 tries, 2001252008 fired transitions, 1115 secs || 188129248 markings, 308711486 edges, 135747 markings/sec, 1115 secs
lola: 2011 tries, 2010513245 fired transitions, 1120 secs || 188799700 markings, 310234044 edges, 134090 markings/sec, 1120 secs
lola: 2020 tries, 2019539174 fired transitions, 1125 secs || 189501900 markings, 311810509 edges, 140440 markings/sec, 1125 secs
lola: 2029 tries, 2028774220 fired transitions, 1130 secs || 190165757 markings, 313308074 edges, 132771 markings/sec, 1130 secs
lola: 2038 tries, 2037461889 fired transitions, 1135 secs || 190836051 markings, 314821912 edges, 134059 markings/sec, 1135 secs
lola: 2047 tries, 2046719640 fired transitions, 1140 secs || 191541405 markings, 316414016 edges, 141071 markings/sec, 1140 secs
lola: 2056 tries, 2055999589 fired transitions, 1145 secs || 192225722 markings, 317956014 edges, 136863 markings/sec, 1145 secs
lola: 2066 tries, 2065311237 fired transitions, 1150 secs || 192901268 markings, 319485543 edges, 135109 markings/sec, 1150 secs
lola: 2075 tries, 2074056964 fired transitions, 1155 secs || 193601332 markings, 321056404 edges, 140013 markings/sec, 1155 secs
lola: 2084 tries, 2083242506 fired transitions, 1160 secs || 194280816 markings, 322599472 edges, 135897 markings/sec, 1160 secs
lola: 2093 tries, 2092347092 fired transitions, 1165 secs || 194971761 markings, 324152747 edges, 138189 markings/sec, 1165 secs
lola: 2102 tries, 2101280845 fired transitions, 1170 secs || 195640648 markings, 325660335 edges, 133777 markings/sec, 1170 secs
lola: 2111 tries, 2110090936 fired transitions, 1175 secs || 196323986 markings, 327189247 edges, 136668 markings/sec, 1175 secs
lola: 2120 tries, 2119255435 fired transitions, 1180 secs || 197014806 markings, 328755677 edges, 138164 markings/sec, 1180 secs
lola: 2129 tries, 2128405102 fired transitions, 1185 secs || 197690719 markings, 330279785 edges, 135183 markings/sec, 1185 secs
lola: 2138 tries, 2137402864 fired transitions, 1190 secs || 198361182 markings, 331789568 edges, 134093 markings/sec, 1190 secs
lola: 2147 tries, 2146791381 fired transitions, 1195 secs || 199056092 markings, 333348029 edges, 138982 markings/sec, 1195 secs
lola: 2157 tries, 2156290884 fired transitions, 1200 secs || 199737387 markings, 334881930 edges, 136259 markings/sec, 1200 secs
lola: 2166 tries, 2165519955 fired transitions, 1205 secs || 200410005 markings, 336400576 edges, 134524 markings/sec, 1205 secs
lola: 2175 tries, 2174787267 fired transitions, 1210 secs || 201096916 markings, 337952970 edges, 137382 markings/sec, 1210 secs
lola: 2184 tries, 2183962391 fired transitions, 1215 secs || 201755247 markings, 339442157 edges, 131666 markings/sec, 1215 secs
lola: 2194 tries, 2193050550 fired transitions, 1220 secs || 202437735 markings, 340975408 edges, 136498 markings/sec, 1220 secs
lola: 2203 tries, 2202407316 fired transitions, 1225 secs || 202972901 markings, 342176113 edges, 107033 markings/sec, 1225 secs
lola: 2212 tries, 2211617713 fired transitions, 1230 secs || 203621169 markings, 343650674 edges, 129654 markings/sec, 1230 secs
lola: 2222 tries, 2221016677 fired transitions, 1235 secs || 204284765 markings, 345145643 edges, 132719 markings/sec, 1235 secs
lola: 2231 tries, 2230196874 fired transitions, 1240 secs || 204945577 markings, 346633304 edges, 132162 markings/sec, 1240 secs
lola: 2240 tries, 2239404712 fired transitions, 1245 secs || 205606835 markings, 348125327 edges, 132252 markings/sec, 1245 secs
lola: 2249 tries, 2248616445 fired transitions, 1250 secs || 205840330 markings, 348655705 edges, 46699 markings/sec, 1250 secs
lola: 2257 tries, 2256780174 fired transitions, 1255 secs || 205997793 markings, 348999950 edges, 31493 markings/sec, 1255 secs
lola: 2210 tries, 2209861288 fired transitions, 1260 secs || 208932280 markings, 355681052 edges, 4525 markings/sec, 1260 secs
Killed
2260 tries, 2259331112 fired transitions, 1265 secs || 206038076 markings, 349096661 edges, 1237 markings/sec, 1265 secs
rslt: finished

BK_STOP 1554504156999

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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="CloudOpsManagement-PT-05120by02560"
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-3957"
echo " Executing tool lola"
echo " Input is CloudOpsManagement-PT-05120by02560, 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 r209-smll-155381375400102"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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