fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r052-smll-152646379800026
Last Updated
June 26, 2018

About the Execution of LoLA for CloudReconfiguration-PT-304

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15916.430 3570638.00 6376264.00 55884.40 FTFTF?FFFFTFFFTF normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-304, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379800026
=====================================================================


--------------------
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 CloudReconfiguration-PT-304-ReachabilityCardinality-00
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-01
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-02
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-03
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-04
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-05
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-06
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-07
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-08
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-09
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-10
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-11
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-12
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-13
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-14
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1526478329348

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-304 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-304 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ CloudReconfiguration-PT-304 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: Size of bit vector: 2584
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p1422)
lola: LP says that atomic proposition is always false: (2 <= p207)
lola: LP says that atomic proposition is always false: (2 <= p1430)
lola: LP says that atomic proposition is always false: (3 <= p77)
lola: LP says that atomic proposition is always false: (2 <= p2281)
lola: LP says that atomic proposition is always false: (2 <= p2062)
lola: LP says that atomic proposition is always false: (2 <= p1325)
lola: LP says that atomic proposition is always false: (3 <= p1918)
lola: LP says that atomic proposition is always false: (2 <= p871)
lola: LP says that atomic proposition is always false: (2 <= p671)
lola: LP says that atomic proposition is always false: (2 <= p1602)
lola: LP says that atomic proposition is always false: (2 <= p173)
lola: LP says that atomic proposition is always false: (3 <= p2044)
lola: LP says that atomic proposition is always false: (2 <= p231)
lola: LP says that atomic proposition is always false: (3 <= p864)
lola: LP says that atomic proposition is always false: (2 <= p1348)
lola: E (F (FALSE)) : E (F (((p1329 <= 0) AND (p564 + 1 <= p295)))) : E (F (())) : E (F ((((p146 + 1 <= p268))))) : E (F (FALSE)) : A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277)))) : E (F (FALSE)) : A (G (((1 <= p538) OR (p1911 + 1 <= p2038) OR (p254 <= p1589)))) : A (G ((p603 <= p202))) : A (G ((((p1635 <= p2195) OR (1 <= p2414) OR (p2384 <= p1223)) AND ((p863 <= p584) OR (1 <= p1876) OR (p429 + 1 <= p794))))) : E (F (((p1515 + 1 <= p908) AND (p1729 <= p1733) AND ((p2171 + 1 <= p2197) OR ((p91 <= p26) AND (p980 <= p79)))))) : E (F (FALSE)) : A (G (((p997 <= p498)))) : A (G ((p2065 <= p313))) : E (F (((1 <= p2331)))) : E (F (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p2331))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= p2331))))
lola: processed formula length: 22
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p2331))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 54 markings, 53 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p997 <= p498))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p997 <= p498))))
lola: processed formula length: 24
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p498 + 1 <= p997))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 58 markings, 57 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2065 <= p313)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p2065 <= p313)))
lola: processed formula length: 23
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p313 + 1 <= p2065)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3316 markings, 3912 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p603 <= p202)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p603 <= p202)))
lola: processed formula length: 22
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p202 + 1 <= p603)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-9-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 48 markings, 47 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p146 + 1 <= p268)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((((p146 + 1 <= p268)))))
lola: processed formula length: 30
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p146 + 1 <= p268)))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 82 markings, 81 edges
lola:
========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1329 <= 0) AND (p564 + 1 <= p295))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((p1329 <= 0) AND (p564 + 1 <= p295))))
lola: processed formula length: 45
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p1329 <= 0) AND (p564 + 1 <= p295))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 552 markings, 601 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 880 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277))))
lola: processed formula length: 63
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p2186 + 1 <= p559) AND (p2400 + 1 <= p2302) AND (p1277 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 58943 markings, 76131 edges, 11789 markings/sec, 0 secs
lola: sara is running 5 secs || 121602 markings, 153677 edges, 12532 markings/sec, 5 secs
lola: sara is running 10 secs || 183366 markings, 228324 edges, 12353 markings/sec, 10 secs
lola: sara is running 15 secs || 249932 markings, 329665 edges, 13313 markings/sec, 15 secs
lola: sara is running 20 secs || 327919 markings, 426756 edges, 15597 markings/sec, 20 secs
lola: sara is running 25 secs || 408218 markings, 528455 edges, 16060 markings/sec, 25 secs
lola: sara is running 30 secs || 482001 markings, 642145 edges, 14757 markings/sec, 30 secs
lola: sara is running 35 secs || 550932 markings, 748148 edges, 13786 markings/sec, 35 secs
lola: sara is running 40 secs || 626596 markings, 843024 edges, 15133 markings/sec, 40 secs
lola: sara is running 45 secs || 701311 markings, 935544 edges, 14943 markings/sec, 45 secs
sara: warning, failure of lp_solve (at job 310)
lola: sara is running 50 secs || 777315 markings, 1029825 edges, 15201 markings/sec, 50 secs
lola: sara is running 55 secs || 852112 markings, 1122383 edges, 14959 markings/sec, 55 secs
lola: sara is running 60 secs || 923260 markings, 1211150 edges, 14230 markings/sec, 60 secs
lola: sara is running 65 secs || 990549 markings, 1295738 edges, 13458 markings/sec, 65 secs
lola: sara is running 70 secs || 1056023 markings, 1389322 edges, 13095 markings/sec, 70 secs
lola: sara is running 75 secs || 1125194 markings, 1481652 edges, 13834 markings/sec, 75 secs
lola: sara is running 80 secs || 1191437 markings, 1567878 edges, 13249 markings/sec, 80 secs
lola: sara is running 85 secs || 1266556 markings, 1659768 edges, 15024 markings/sec, 85 secs
lola: sara is running 90 secs || 1340671 markings, 1751935 edges, 14823 markings/sec, 90 secs
lola: sara is running 95 secs || 1408632 markings, 1842691 edges, 13592 markings/sec, 95 secs
lola: sara is running 100 secs || 1470386 markings, 1926758 edges, 12351 markings/sec, 100 secs
lola: sara is running 105 secs || 1535249 markings, 2007867 edges, 12973 markings/sec, 105 secs
lola: sara is running 110 secs || 1600598 markings, 2092834 edges, 13070 markings/sec, 110 secs
lola: sara is running 115 secs || 1669092 markings, 2179106 edges, 13699 markings/sec, 115 secs
lola: sara is running 120 secs || 1736119 markings, 2273737 edges, 13405 markings/sec, 120 secs
lola: sara is running 125 secs || 1803794 markings, 2364705 edges, 13535 markings/sec, 125 secs
lola: sara is running 130 secs || 1870255 markings, 2449437 edges, 13292 markings/sec, 130 secs
lola: sara is running 135 secs || 1942981 markings, 2541205 edges, 14545 markings/sec, 135 secs
lola: sara is running 140 secs || 2012828 markings, 2626523 edges, 13969 markings/sec, 140 secs
lola: sara is running 145 secs || 2087655 markings, 2719427 edges, 14965 markings/sec, 145 secs
lola: sara is running 150 secs || 2157037 markings, 2804946 edges, 13876 markings/sec, 150 secs
lola: sara is running 155 secs || 2223423 markings, 2900409 edges, 13277 markings/sec, 155 secs
lola: sara is running 160 secs || 2287681 markings, 2981522 edges, 12852 markings/sec, 160 secs
lola: sara is running 165 secs || 2352691 markings, 3065571 edges, 13002 markings/sec, 165 secs
lola: sara is running 170 secs || 2421634 markings, 3152672 edges, 13789 markings/sec, 170 secs
lola: sara is running 175 secs || 2488777 markings, 3237238 edges, 13429 markings/sec, 175 secs
lola: sara is running 180 secs || 2558040 markings, 3323710 edges, 13853 markings/sec, 180 secs
lola: sara is running 185 secs || 2625728 markings, 3406851 edges, 13538 markings/sec, 185 secs
lola: sara is running 190 secs || 2684956 markings, 3485201 edges, 11846 markings/sec, 190 secs
lola: sara is running 195 secs || 2748330 markings, 3564626 edges, 12675 markings/sec, 195 secs
lola: sara is running 200 secs || 2808853 markings, 3638955 edges, 12105 markings/sec, 200 secs
lola: sara is running 205 secs || 2873332 markings, 3717941 edges, 12896 markings/sec, 205 secs
lola: sara is running 210 secs || 2932257 markings, 3792334 edges, 11785 markings/sec, 210 secs
lola: sara is running 215 secs || 2975294 markings, 3885558 edges, 8607 markings/sec, 215 secs
lola: sara is running 220 secs || 3019518 markings, 3976836 edges, 8845 markings/sec, 220 secs
lola: sara is running 225 secs || 3084870 markings, 4057034 edges, 13070 markings/sec, 225 secs
lola: sara is running 230 secs || 3136999 markings, 4138507 edges, 10426 markings/sec, 230 secs
lola: sara is running 235 secs || 3179339 markings, 4230195 edges, 8468 markings/sec, 235 secs
lola: sara is running 240 secs || 3219621 markings, 4324090 edges, 8056 markings/sec, 240 secs
lola: sara is running 245 secs || 3280694 markings, 4406417 edges, 12215 markings/sec, 245 secs
lola: sara is running 250 secs || 3337104 markings, 4475709 edges, 11282 markings/sec, 250 secs
lola: sara is running 255 secs || 3397499 markings, 4549675 edges, 12079 markings/sec, 255 secs
lola: sara is running 260 secs || 3454325 markings, 4620677 edges, 11365 markings/sec, 260 secs
lola: sara is running 265 secs || 3494799 markings, 4708326 edges, 8095 markings/sec, 265 secs
lola: sara is running 270 secs || 3536441 markings, 4799987 edges, 8328 markings/sec, 270 secs
lola: sara is running 275 secs || 3585971 markings, 4900028 edges, 9906 markings/sec, 275 secs
lola: sara is running 280 secs || 3639472 markings, 5009178 edges, 10700 markings/sec, 280 secs
lola: sara is running 285 secs || 3692562 markings, 5117242 edges, 10618 markings/sec, 285 secs
lola: sara is running 290 secs || 3742711 markings, 5219929 edges, 10030 markings/sec, 290 secs
lola: sara is running 295 secs || 3791132 markings, 5318819 edges, 9684 markings/sec, 295 secs
lola: sara is running 300 secs || 3839907 markings, 5418341 edges, 9755 markings/sec, 300 secs
lola: sara is running 305 secs || 3884314 markings, 5507928 edges, 8881 markings/sec, 305 secs
lola: sara is running 310 secs || 3926576 markings, 5593119 edges, 8452 markings/sec, 310 secs
lola: sara is running 315 secs || 3964620 markings, 5671407 edges, 7609 markings/sec, 315 secs
lola: sara is running 320 secs || 4004788 markings, 5752048 edges, 8034 markings/sec, 320 secs
lola: sara is running 325 secs || 4047889 markings, 5840825 edges, 8620 markings/sec, 325 secs
lola: sara is running 330 secs || 4089752 markings, 5925022 edges, 8373 markings/sec, 330 secs
lola: sara is running 335 secs || 4128380 markings, 6004117 edges, 7726 markings/sec, 335 secs
lola: sara is running 340 secs || 4170106 markings, 6093496 edges, 8345 markings/sec, 340 secs
lola: sara is running 345 secs || 4209619 markings, 6179124 edges, 7903 markings/sec, 345 secs
lola: sara is running 350 secs || 4244186 markings, 6263916 edges, 6913 markings/sec, 350 secs
lola: sara is running 355 secs || 4282459 markings, 6354104 edges, 7655 markings/sec, 355 secs
lola: sara is running 360 secs || 4334583 markings, 6436141 edges, 10425 markings/sec, 360 secs
lola: sara is running 365 secs || 4394902 markings, 6510186 edges, 12064 markings/sec, 365 secs
lola: sara is running 370 secs || 4456833 markings, 6586080 edges, 12386 markings/sec, 370 secs
lola: sara is running 375 secs || 4516568 markings, 6659429 edges, 11947 markings/sec, 375 secs
lola: sara is running 380 secs || 4574179 markings, 6729487 edges, 11522 markings/sec, 380 secs
lola: sara is running 385 secs || 4634407 markings, 6803439 edges, 12046 markings/sec, 385 secs
lola: sara is running 390 secs || 4694661 markings, 6877402 edges, 12051 markings/sec, 390 secs
lola: sara is running 395 secs || 4751971 markings, 6947249 edges, 11462 markings/sec, 395 secs
lola: sara is running 400 secs || 4808833 markings, 7016295 edges, 11372 markings/sec, 400 secs
lola: sara is running 405 secs || 4870043 markings, 7091490 edges, 12242 markings/sec, 405 secs
lola: sara is running 410 secs || 4930658 markings, 7165907 edges, 12123 markings/sec, 410 secs
lola: sara is running 415 secs || 4993548 markings, 7242965 edges, 12578 markings/sec, 415 secs
lola: sara is running 420 secs || 5053483 markings, 7316574 edges, 11987 markings/sec, 420 secs
lola: sara is running 425 secs || 5111759 markings, 7387401 edges, 11655 markings/sec, 425 secs
lola: sara is running 430 secs || 5172120 markings, 7461667 edges, 12072 markings/sec, 430 secs
lola: sara is running 435 secs || 5234046 markings, 7538243 edges, 12385 markings/sec, 435 secs
lola: sara is running 440 secs || 5289035 markings, 7606954 edges, 10998 markings/sec, 440 secs
lola: sara is running 445 secs || 5345354 markings, 7677987 edges, 11264 markings/sec, 445 secs
lola: sara is running 450 secs || 5401339 markings, 7749344 edges, 11197 markings/sec, 450 secs
lola: sara is running 455 secs || 5455419 markings, 7819781 edges, 10816 markings/sec, 455 secs
lola: sara is running 460 secs || 5519550 markings, 7898524 edges, 12826 markings/sec, 460 secs
lola: sara is running 465 secs || 5578642 markings, 7971014 edges, 11818 markings/sec, 465 secs
lola: sara is running 470 secs || 5636995 markings, 8041873 edges, 11671 markings/sec, 470 secs
lola: sara is running 475 secs || 5694301 markings, 8114539 edges, 11461 markings/sec, 475 secs
lola: sara is running 480 secs || 5737652 markings, 8204266 edges, 8670 markings/sec, 480 secs
lola: sara is running 485 secs || 5798400 markings, 8294942 edges, 12150 markings/sec, 485 secs
lola: sara is running 490 secs || 5862642 markings, 8373506 edges, 12848 markings/sec, 490 secs
lola: sara is running 495 secs || 5926710 markings, 8455050 edges, 12814 markings/sec, 495 secs
lola: sara is running 500 secs || 5966229 markings, 8551394 edges, 7904 markings/sec, 500 secs
lola: sara is running 505 secs || 6004935 markings, 8632884 edges, 7741 markings/sec, 505 secs
lola: sara is running 510 secs || 6075476 markings, 8719449 edges, 14108 markings/sec, 510 secs
lola: sara is running 515 secs || 6140134 markings, 8799928 edges, 12932 markings/sec, 515 secs
lola: sara is running 520 secs || 6208821 markings, 8885563 edges, 13737 markings/sec, 520 secs
lola: sara is running 525 secs || 6292081 markings, 8988524 edges, 16652 markings/sec, 525 secs
lola: sara is running 530 secs || 6373704 markings, 9090326 edges, 16325 markings/sec, 530 secs
lola: sara is running 535 secs || 6449326 markings, 9185389 edges, 15124 markings/sec, 535 secs
lola: sara is running 540 secs || 6513080 markings, 9267203 edges, 12751 markings/sec, 540 secs
lola: sara is running 545 secs || 6579479 markings, 9352318 edges, 13280 markings/sec, 545 secs
lola: sara is running 550 secs || 6657009 markings, 9451620 edges, 15506 markings/sec, 550 secs
lola: sara is running 555 secs || 6739349 markings, 9554037 edges, 16468 markings/sec, 555 secs
lola: sara is running 560 secs || 6816471 markings, 9648501 edges, 15424 markings/sec, 560 secs
lola: sara is running 565 secs || 6896059 markings, 9750133 edges, 15918 markings/sec, 565 secs
lola: sara is running 570 secs || 6969680 markings, 9845645 edges, 14724 markings/sec, 570 secs
lola: sara is running 575 secs || 7047099 markings, 9940894 edges, 15484 markings/sec, 575 secs
lola: sara is running 580 secs || 7129908 markings, 10044195 edges, 16562 markings/sec, 580 secs
lola: sara is running 585 secs || 7208452 markings, 10141693 edges, 15709 markings/sec, 585 secs
lola: sara is running 590 secs || 7278002 markings, 10229955 edges, 13910 markings/sec, 590 secs
lola: sara is running 595 secs || 7344930 markings, 10315570 edges, 13386 markings/sec, 595 secs
lola: sara is running 600 secs || 7420028 markings, 10410974 edges, 15020 markings/sec, 600 secs
lola: sara is running 605 secs || 7492411 markings, 10504359 edges, 14477 markings/sec, 605 secs
lola: sara is running 610 secs || 7567264 markings, 10599233 edges, 14971 markings/sec, 610 secs
lola: sara is running 615 secs || 7642587 markings, 10696683 edges, 15065 markings/sec, 615 secs
lola: sara is running 620 secs || 7717176 markings, 10793385 edges, 14918 markings/sec, 620 secs
lola: sara is running 625 secs || 7783457 markings, 10896138 edges, 13256 markings/sec, 625 secs
lola: sara is running 630 secs || 7844227 markings, 10998148 edges, 12154 markings/sec, 630 secs
lola: sara is running 635 secs || 7905470 markings, 11105813 edges, 12249 markings/sec, 635 secs
lola: sara is running 640 secs || 7960134 markings, 11201034 edges, 10933 markings/sec, 640 secs
lola: sara is running 645 secs || 8007702 markings, 11288900 edges, 9514 markings/sec, 645 secs
lola: sara is running 650 secs || 8063500 markings, 11372357 edges, 11160 markings/sec, 650 secs
lola: sara is running 655 secs || 8112979 markings, 11463377 edges, 9896 markings/sec, 655 secs
lola: sara is running 660 secs || 8160907 markings, 11546644 edges, 9586 markings/sec, 660 secs
lola: sara is running 665 secs || 8231856 markings, 11653483 edges, 14190 markings/sec, 665 secs
lola: sara is running 670 secs || 8302835 markings, 11754899 edges, 14196 markings/sec, 670 secs
lola: sara is running 675 secs || 8373677 markings, 11857731 edges, 14168 markings/sec, 675 secs
lola: sara is running 680 secs || 8443568 markings, 11961608 edges, 13978 markings/sec, 680 secs
lola: sara is running 685 secs || 8514775 markings, 12066069 edges, 14241 markings/sec, 685 secs
lola: sara is running 690 secs || 8584564 markings, 12169125 edges, 13958 markings/sec, 690 secs
lola: sara is running 695 secs || 8656813 markings, 12274474 edges, 14450 markings/sec, 695 secs
lola: sara is running 700 secs || 8727933 markings, 12378919 edges, 14224 markings/sec, 700 secs
lola: sara is running 705 secs || 8794706 markings, 12483543 edges, 13355 markings/sec, 705 secs
lola: sara is running 710 secs || 8867248 markings, 12596838 edges, 14508 markings/sec, 710 secs
lola: sara is running 715 secs || 8940080 markings, 12704280 edges, 14566 markings/sec, 715 secs
lola: sara is running 720 secs || 9010901 markings, 12812726 edges, 14164 markings/sec, 720 secs
lola: sara is running 725 secs || 9065256 markings, 12891527 edges, 10871 markings/sec, 725 secs
lola: sara is running 730 secs || 9121424 markings, 12959707 edges, 11234 markings/sec, 730 secs
lola: sara is running 735 secs || 9179499 markings, 13027405 edges, 11615 markings/sec, 735 secs
lola: sara is running 740 secs || 9236517 markings, 13094563 edges, 11404 markings/sec, 740 secs
lola: sara is running 745 secs || 9292172 markings, 13159851 edges, 11131 markings/sec, 745 secs
lola: sara is running 750 secs || 9346221 markings, 13223162 edges, 10810 markings/sec, 750 secs
lola: sara is running 755 secs || 9399036 markings, 13286284 edges, 10563 markings/sec, 755 secs
lola: sara is running 760 secs || 9452054 markings, 13356932 edges, 10604 markings/sec, 760 secs
lola: sara is running 765 secs || 9489191 markings, 13440937 edges, 7427 markings/sec, 765 secs
lola: sara is running 770 secs || 9534197 markings, 13524330 edges, 9001 markings/sec, 770 secs
lola: sara is running 775 secs || 9576108 markings, 13601463 edges, 8382 markings/sec, 775 secs
lola: sara is running 780 secs || 9613848 markings, 13684237 edges, 7548 markings/sec, 780 secs
lola: sara is running 785 secs || 9656675 markings, 13762885 edges, 8565 markings/sec, 785 secs
lola: sara is running 790 secs || 9706907 markings, 13850089 edges, 10046 markings/sec, 790 secs
lola: sara is running 795 secs || 9749088 markings, 13928958 edges, 8436 markings/sec, 795 secs
lola: sara is running 800 secs || 9799802 markings, 14006264 edges, 10143 markings/sec, 800 secs
lola: sara is running 805 secs || 9856555 markings, 14076060 edges, 11351 markings/sec, 805 secs
lola: sara is running 810 secs || 9910193 markings, 14148862 edges, 10728 markings/sec, 810 secs
lola: sara is running 815 secs || 9963373 markings, 14219253 edges, 10636 markings/sec, 815 secs
lola: sara is running 820 secs || 10019686 markings, 14291969 edges, 11263 markings/sec, 820 secs
lola: sara is running 825 secs || 10077627 markings, 14370766 edges, 11588 markings/sec, 825 secs
lola: sara is running 830 secs || 10131895 markings, 14440998 edges, 10854 markings/sec, 830 secs
lola: sara is running 835 secs || 10190027 markings, 14516216 edges, 11626 markings/sec, 835 secs
lola: sara is running 840 secs || 10238102 markings, 14586238 edges, 9615 markings/sec, 840 secs
lola: sara is running 845 secs || 10294005 markings, 14654044 edges, 11181 markings/sec, 845 secs
lola: sara is running 850 secs || 10350008 markings, 14729331 edges, 11201 markings/sec, 850 secs
lola: sara is running 855 secs || 10406884 markings, 14798716 edges, 11375 markings/sec, 855 secs
lola: sara is running 860 secs || 10467974 markings, 14875672 edges, 12218 markings/sec, 860 secs
lola: sara is running 865 secs || 10517303 markings, 14964458 edges, 9866 markings/sec, 865 secs
lola: sara is running 870 secs || 10572794 markings, 15045936 edges, 11098 markings/sec, 870 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no yes no unknown no unknown no unknown unknown no no no yes no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no yes no yes no unknown no unknown no unknown unknown no no no yes no
lola: memory consumption: 2396828 KB
lola: time consumption: 930 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 880 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p538) OR (p1911 + 1 <= p2038) OR (p254 <= p1589))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((1 <= p538) OR (p1911 + 1 <= p2038) OR (p254 <= p1589))))
lola: processed formula length: 66
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p538 <= 0) AND (p2038 <= p1911) AND (p1589 + 1 <= p254))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 67 markings, 66 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1515 + 1 <= p908) AND (p1729 <= p1733) AND ((p2171 + 1 <= p2197) OR ((p91 <= p26) AND (p980 <= p79))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((p1515 + 1 <= p908) AND (p1729 <= p1733) AND ((p2171 + 1 <= p2197) OR ((p91 <= p26) AND (p980 <= p79))))))
lola: processed formula length: 114
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p1515 + 1 <= p908) AND (p1729 <= p1733) AND ((p2171 + 1 <= p2197) OR ((p91 <= p26) AND (p980 <= p79))))
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-14-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 56 markings, 55 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2640 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p1635 <= p2195) OR (1 <= p2414) OR (p2384 <= p1223)) AND ((p863 <= p584) OR (1 <= p1876) OR (p429 + 1 <= p794)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((p1635 <= p2195) OR (1 <= p2414) OR (p2384 <= p1223)) AND ((p863 <= p584) OR (1 <= p1876) OR (p429 + 1 <= p794)))))
lola: processed formula length: 127
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((p2195 + 1 <= p1635) AND (p2414 <= 0) AND (p1223 + 1 <= p2384)) OR ((p584 + 1 <= p863) AND (p1876 <= 0) AND (p794 <= p429)))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================

FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277))))
lola: processed formula length: 63
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p2186 + 1 <= p559) AND (p2400 + 1 <= p2302) AND (p1277 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 59115 markings, 76343 edges, 11823 markings/sec, 0 secs
lola: sara is running 5 secs || 118844 markings, 150345 edges, 11946 markings/sec, 5 secs
lola: sara is running 10 secs || 180434 markings, 224755 edges, 12318 markings/sec, 10 secs
lola: sara is running 15 secs || 246737 markings, 325807 edges, 13261 markings/sec, 15 secs
lola: sara is running 20 secs || 323558 markings, 421398 edges, 15364 markings/sec, 20 secs
lola: sara is running 25 secs || 399576 markings, 517685 edges, 15204 markings/sec, 25 secs
lola: sara is running 30 secs || 473032 markings, 630535 edges, 14691 markings/sec, 30 secs
lola: sara is running 35 secs || 540452 markings, 735311 edges, 13484 markings/sec, 35 secs
lola: sara is running 40 secs || 610084 markings, 822287 edges, 13926 markings/sec, 40 secs
lola: sara is running 45 secs || 683578 markings, 913480 edges, 14699 markings/sec, 45 secs
sara: warning, failure of lp_solve (at job 310)
lola: sara is running 50 secs || 756780 markings, 1004014 edges, 14640 markings/sec, 50 secs
lola: sara is running 55 secs || 829631 markings, 1094802 edges, 14570 markings/sec, 55 secs
lola: sara is running 60 secs || 898357 markings, 1179816 edges, 13745 markings/sec, 60 secs
lola: sara is running 65 secs || 965825 markings, 1264254 edges, 13494 markings/sec, 65 secs
lola: sara is running 70 secs || 1029502 markings, 1354303 edges, 12735 markings/sec, 70 secs
lola: sara is running 75 secs || 1094164 markings, 1443257 edges, 12932 markings/sec, 75 secs
lola: sara is running 80 secs || 1160289 markings, 1527460 edges, 13225 markings/sec, 80 secs
lola: sara is running 85 secs || 1230414 markings, 1615434 edges, 14025 markings/sec, 85 secs
lola: sara is running 90 secs || 1295227 markings, 1696180 edges, 12963 markings/sec, 90 secs
lola: sara is running 95 secs || 1359959 markings, 1775621 edges, 12946 markings/sec, 95 secs
lola: sara is running 100 secs || 1423303 markings, 1861175 edges, 12669 markings/sec, 100 secs
lola: sara is running 105 secs || 1484182 markings, 1943620 edges, 12176 markings/sec, 105 secs
lola: sara is running 110 secs || 1544881 markings, 2022253 edges, 12140 markings/sec, 110 secs
lola: sara is running 115 secs || 1605823 markings, 2099589 edges, 12188 markings/sec, 115 secs
lola: sara is running 120 secs || 1672313 markings, 2183311 edges, 13298 markings/sec, 120 secs
lola: sara is running 125 secs || 1737235 markings, 2275213 edges, 12984 markings/sec, 125 secs
lola: sara is running 130 secs || 1800440 markings, 2360488 edges, 12641 markings/sec, 130 secs
lola: sara is running 135 secs || 1862116 markings, 2437822 edges, 12335 markings/sec, 135 secs
lola: sara is running 140 secs || 1931054 markings, 2526576 edges, 13788 markings/sec, 140 secs
lola: sara is running 145 secs || 1998789 markings, 2609098 edges, 13547 markings/sec, 145 secs
lola: sara is running 150 secs || 2073189 markings, 2701656 edges, 14880 markings/sec, 150 secs
lola: sara is running 155 secs || 2140399 markings, 2784753 edges, 13442 markings/sec, 155 secs
lola: sara is running 160 secs || 2208417 markings, 2876575 edges, 13604 markings/sec, 160 secs
lola: sara is running 165 secs || 2269884 markings, 2959203 edges, 12293 markings/sec, 165 secs
lola: sara is running 170 secs || 2333711 markings, 3039973 edges, 12765 markings/sec, 170 secs
lola: sara is running 175 secs || 2398916 markings, 3122835 edges, 13041 markings/sec, 175 secs
lola: sara is running 180 secs || 2465356 markings, 3208037 edges, 13288 markings/sec, 180 secs
lola: sara is running 185 secs || 2532371 markings, 3291899 edges, 13403 markings/sec, 185 secs
lola: sara is running 190 secs || 2599441 markings, 3374528 edges, 13414 markings/sec, 190 secs
lola: sara is running 195 secs || 2662786 markings, 3455251 edges, 12669 markings/sec, 195 secs
lola: sara is running 200 secs || 2713758 markings, 3522205 edges, 10194 markings/sec, 200 secs
lola: sara is running 205 secs || 2779287 markings, 3602628 edges, 13106 markings/sec, 205 secs
lola: sara is running 210 secs || 2838554 markings, 3675272 edges, 11853 markings/sec, 210 secs
lola: sara is running 215 secs || 2900873 markings, 3751753 edges, 12464 markings/sec, 215 secs
lola: sara is running 220 secs || 2950479 markings, 3831794 edges, 9921 markings/sec, 220 secs
lola: sara is running 225 secs || 2992012 markings, 3921734 edges, 8307 markings/sec, 225 secs
lola: sara is running 230 secs || 3042788 markings, 4005385 edges, 10155 markings/sec, 230 secs
lola: sara is running 235 secs || 3096727 markings, 4071605 edges, 10788 markings/sec, 235 secs
lola: sara is running 240 secs || 3142700 markings, 4150853 edges, 9195 markings/sec, 240 secs
lola: sara is running 245 secs || 3182430 markings, 4236893 edges, 7946 markings/sec, 245 secs
lola: sara is running 250 secs || 3220781 markings, 4327738 edges, 7670 markings/sec, 250 secs
lola: sara is running 255 secs || 3281556 markings, 4407480 edges, 12155 markings/sec, 255 secs
lola: sara is running 260 secs || 3340011 markings, 4479253 edges, 11691 markings/sec, 260 secs
lola: sara is running 265 secs || 3404814 markings, 4558648 edges, 12961 markings/sec, 265 secs
lola: sara is running 270 secs || 3460105 markings, 4633230 edges, 11058 markings/sec, 270 secs
lola: sara is running 275 secs || 3501319 markings, 4722499 edges, 8243 markings/sec, 275 secs
lola: sara is running 280 secs || 3542271 markings, 4811014 edges, 8190 markings/sec, 280 secs
lola: sara is running 285 secs || 3594390 markings, 4917561 edges, 10424 markings/sec, 285 secs
lola: sara is running 290 secs || 3647614 markings, 5025455 edges, 10645 markings/sec, 290 secs
lola: sara is running 295 secs || 3699398 markings, 5131201 edges, 10357 markings/sec, 295 secs
lola: sara is running 300 secs || 3748094 markings, 5230713 edges, 9739 markings/sec, 300 secs
lola: sara is running 305 secs || 3794811 markings, 5326297 edges, 9343 markings/sec, 305 secs
lola: sara is running 310 secs || 3842192 markings, 5422807 edges, 9476 markings/sec, 310 secs
lola: sara is running 315 secs || 3885263 markings, 5509934 edges, 8614 markings/sec, 315 secs
lola: sara is running 320 secs || 3928140 markings, 5596147 edges, 8575 markings/sec, 320 secs
lola: sara is running 325 secs || 3965345 markings, 5672889 edges, 7441 markings/sec, 325 secs
lola: sara is running 330 secs || 4004278 markings, 5751065 edges, 7787 markings/sec, 330 secs
lola: sara is running 335 secs || 4045854 markings, 5836616 edges, 8315 markings/sec, 335 secs
lola: sara is running 340 secs || 4085182 markings, 5915702 edges, 7866 markings/sec, 340 secs
lola: sara is running 345 secs || 4123362 markings, 5993922 edges, 7636 markings/sec, 345 secs
lola: sara is running 350 secs || 4163982 markings, 6080264 edges, 8124 markings/sec, 350 secs
lola: sara is running 355 secs || 4204824 markings, 6168712 edges, 8168 markings/sec, 355 secs
lola: sara is running 360 secs || 4243399 markings, 6261416 edges, 7715 markings/sec, 360 secs
lola: sara is running 365 secs || 4281541 markings, 6351193 edges, 7628 markings/sec, 365 secs
lola: sara is running 370 secs || 4332880 markings, 6434049 edges, 10268 markings/sec, 370 secs
lola: sara is running 375 secs || 4389957 markings, 6504117 edges, 11415 markings/sec, 375 secs
lola: sara is running 380 secs || 4452415 markings, 6580661 edges, 12492 markings/sec, 380 secs
lola: sara is running 385 secs || 4514401 markings, 6656765 edges, 12397 markings/sec, 385 secs
lola: sara is running 390 secs || 4574301 markings, 6729640 edges, 11980 markings/sec, 390 secs
lola: sara is running 395 secs || 4636909 markings, 6806511 edges, 12522 markings/sec, 395 secs
lola: sara is running 400 secs || 4698732 markings, 6882398 edges, 12365 markings/sec, 400 secs
lola: sara is running 405 secs || 4756974 markings, 6953349 edges, 11648 markings/sec, 405 secs
lola: sara is running 410 secs || 4814141 markings, 7022734 edges, 11433 markings/sec, 410 secs
lola: sara is running 415 secs || 4876888 markings, 7099886 edges, 12549 markings/sec, 415 secs
lola: sara is running 420 secs || 4937513 markings, 7174334 edges, 12125 markings/sec, 420 secs
lola: sara is running 425 secs || 5001241 markings, 7252408 edges, 12746 markings/sec, 425 secs
lola: sara is running 430 secs || 5060944 markings, 7325731 edges, 11941 markings/sec, 430 secs
lola: sara is running 435 secs || 5119888 markings, 7397237 edges, 11789 markings/sec, 435 secs
lola: sara is running 440 secs || 5181585 markings, 7473449 edges, 12339 markings/sec, 440 secs
lola: sara is running 445 secs || 5241962 markings, 7548179 edges, 12075 markings/sec, 445 secs
lola: sara is running 450 secs || 5293431 markings, 7612487 edges, 10294 markings/sec, 450 secs
lola: sara is running 455 secs || 5349986 markings, 7683764 edges, 11311 markings/sec, 455 secs
lola: sara is running 460 secs || 5402195 markings, 7750373 edges, 10442 markings/sec, 460 secs
lola: sara is running 465 secs || 5455771 markings, 7820238 edges, 10715 markings/sec, 465 secs
lola: sara is running 470 secs || 5520629 markings, 7899839 edges, 12972 markings/sec, 470 secs
lola: sara is running 475 secs || 5578217 markings, 7970501 edges, 11518 markings/sec, 475 secs
lola: sara is running 480 secs || 5635015 markings, 8039451 edges, 11360 markings/sec, 480 secs
lola: sara is running 485 secs || 5692441 markings, 8112111 edges, 11485 markings/sec, 485 secs
lola: sara is running 490 secs || 5737151 markings, 8201222 edges, 8942 markings/sec, 490 secs
lola: sara is running 495 secs || 5797974 markings, 8294424 edges, 12165 markings/sec, 495 secs
lola: sara is running 500 secs || 5861698 markings, 8372391 edges, 12745 markings/sec, 500 secs
lola: sara is running 505 secs || 5927645 markings, 8456275 edges, 13189 markings/sec, 505 secs
lola: sara is running 510 secs || 5965619 markings, 8549434 edges, 7595 markings/sec, 510 secs
lola: sara is running 515 secs || 6001717 markings, 8628993 edges, 7220 markings/sec, 515 secs
lola: sara is running 520 secs || 6073343 markings, 8716829 edges, 14325 markings/sec, 520 secs
lola: sara is running 525 secs || 6138620 markings, 8798067 edges, 13055 markings/sec, 525 secs
lola: sara is running 530 secs || 6208049 markings, 8884627 edges, 13886 markings/sec, 530 secs
lola: sara is running 535 secs || 6292006 markings, 8988428 edges, 16791 markings/sec, 535 secs
lola: sara is running 540 secs || 6374003 markings, 9090676 edges, 16399 markings/sec, 540 secs
lola: sara is running 545 secs || 6450646 markings, 9187012 edges, 15329 markings/sec, 545 secs
lola: sara is running 550 secs || 6519594 markings, 9275331 edges, 13790 markings/sec, 550 secs
lola: sara is running 555 secs || 6591013 markings, 9366360 edges, 14284 markings/sec, 555 secs
lola: sara is running 560 secs || 6668220 markings, 9465845 edges, 15441 markings/sec, 560 secs
lola: sara is running 565 secs || 6751279 markings, 9568680 edges, 16612 markings/sec, 565 secs
lola: sara is running 570 secs || 6827277 markings, 9663111 edges, 15200 markings/sec, 570 secs
lola: sara is running 575 secs || 6906977 markings, 9763988 edges, 15940 markings/sec, 575 secs
lola: sara is running 580 secs || 6979065 markings, 9857518 edges, 14418 markings/sec, 580 secs
lola: sara is running 585 secs || 7057855 markings, 9954220 edges, 15758 markings/sec, 585 secs
lola: sara is running 590 secs || 7140444 markings, 10057448 edges, 16518 markings/sec, 590 secs
lola: sara is running 595 secs || 7219168 markings, 10154963 edges, 15745 markings/sec, 595 secs
lola: sara is running 600 secs || 7286265 markings, 10240777 edges, 13419 markings/sec, 600 secs
lola: sara is running 605 secs || 7354231 markings, 10327880 edges, 13593 markings/sec, 605 secs
lola: sara is running 610 secs || 7430847 markings, 10424818 edges, 15323 markings/sec, 610 secs
lola: sara is running 615 secs || 7503585 markings, 10518367 edges, 14548 markings/sec, 615 secs
lola: sara is running 620 secs || 7579652 markings, 10614870 edges, 15213 markings/sec, 620 secs
lola: sara is running 625 secs || 7652641 markings, 10709983 edges, 14598 markings/sec, 625 secs
lola: sara is running 630 secs || 7726910 markings, 10805790 edges, 14854 markings/sec, 630 secs
lola: sara is running 635 secs || 7790774 markings, 10910177 edges, 12773 markings/sec, 635 secs
lola: sara is running 640 secs || 7852689 markings, 11009125 edges, 12383 markings/sec, 640 secs
lola: sara is running 645 secs || 7911852 markings, 11117694 edges, 11833 markings/sec, 645 secs
lola: sara is running 650 secs || 7965192 markings, 11210126 edges, 10668 markings/sec, 650 secs
lola: sara is running 655 secs || 8012047 markings, 11296798 edges, 9371 markings/sec, 655 secs
lola: sara is running 660 secs || 8068439 markings, 11380016 edges, 11278 markings/sec, 660 secs
lola: sara is running 665 secs || 8116977 markings, 11470818 edges, 9708 markings/sec, 665 secs
lola: sara is running 670 secs || 8165873 markings, 11555436 edges, 9779 markings/sec, 670 secs
lola: sara is running 675 secs || 8237641 markings, 11662125 edges, 14354 markings/sec, 675 secs
lola: sara is running 680 secs || 8308560 markings, 11763265 edges, 14184 markings/sec, 680 secs
lola: sara is running 685 secs || 8379752 markings, 11867731 edges, 14238 markings/sec, 685 secs
lola: sara is running 690 secs || 8451401 markings, 11971233 edges, 14330 markings/sec, 690 secs
lola: sara is running 695 secs || 8521306 markings, 12075666 edges, 13981 markings/sec, 695 secs
lola: sara is running 700 secs || 8591992 markings, 12179335 edges, 14137 markings/sec, 700 secs
lola: sara is running 705 secs || 8663936 markings, 12285503 edges, 14389 markings/sec, 705 secs
lola: sara is running 710 secs || 8736209 markings, 12390697 edges, 14455 markings/sec, 710 secs
lola: sara is running 715 secs || 8803234 markings, 12497022 edges, 13405 markings/sec, 715 secs
lola: sara is running 720 secs || 8876510 markings, 12609394 edges, 14655 markings/sec, 720 secs
lola: sara is running 725 secs || 8948624 markings, 12717820 edges, 14423 markings/sec, 725 secs
lola: sara is running 730 secs || 9017957 markings, 12826677 edges, 13867 markings/sec, 730 secs
lola: sara is running 735 secs || 9072520 markings, 12900329 edges, 10913 markings/sec, 735 secs
lola: sara is running 740 secs || 9128873 markings, 12968501 edges, 11271 markings/sec, 740 secs
lola: sara is running 745 secs || 9187876 markings, 13037175 edges, 11801 markings/sec, 745 secs
lola: sara is running 750 secs || 9245286 markings, 13104724 edges, 11482 markings/sec, 750 secs
lola: sara is running 755 secs || 9299977 markings, 13169276 edges, 10938 markings/sec, 755 secs
lola: sara is running 760 secs || 9354947 markings, 13233396 edges, 10994 markings/sec, 760 secs
lola: sara is running 765 secs || 9408837 markings, 13297895 edges, 10778 markings/sec, 765 secs
lola: sara is running 770 secs || 9458993 markings, 13372513 edges, 10031 markings/sec, 770 secs
lola: sara is running 775 secs || 9496111 markings, 13456848 edges, 7424 markings/sec, 775 secs
lola: sara is running 780 secs || 9541746 markings, 13538963 edges, 9127 markings/sec, 780 secs
lola: sara is running 785 secs || 9582323 markings, 13615588 edges, 8115 markings/sec, 785 secs
lola: sara is running 790 secs || 9623594 markings, 13698613 edges, 8254 markings/sec, 790 secs
lola: sara is running 795 secs || 9663995 markings, 13771804 edges, 8080 markings/sec, 795 secs
lola: sara is running 800 secs || 9713408 markings, 13858534 edges, 9883 markings/sec, 800 secs
lola: sara is running 805 secs || 9755347 markings, 13938371 edges, 8388 markings/sec, 805 secs
lola: sara is running 810 secs || 9804451 markings, 14012283 edges, 9821 markings/sec, 810 secs
lola: sara is running 815 secs || 9862780 markings, 14083743 edges, 11666 markings/sec, 815 secs
lola: sara is running 820 secs || 9914652 markings, 14159635 edges, 10374 markings/sec, 820 secs
lola: sara is running 825 secs || 9969819 markings, 14227106 edges, 11033 markings/sec, 825 secs
lola: sara is running 830 secs || 10025682 markings, 14299272 edges, 11173 markings/sec, 830 secs
lola: sara is running 835 secs || 10084131 markings, 14378650 edges, 11690 markings/sec, 835 secs
lola: sara is running 840 secs || 10140740 markings, 14454762 edges, 11322 markings/sec, 840 secs
lola: sara is running 845 secs || 10197497 markings, 14525006 edges, 11351 markings/sec, 845 secs
lola: sara is running 850 secs || 10245526 markings, 14595081 edges, 9606 markings/sec, 850 secs
lola: sara is running 855 secs || 10303743 markings, 14665931 edges, 11643 markings/sec, 855 secs
lola: sara is running 860 secs || 10359384 markings, 14740705 edges, 11128 markings/sec, 860 secs
lola: sara is running 865 secs || 10418477 markings, 14813053 edges, 11819 markings/sec, 865 secs
lola: sara is running 870 secs || 10475248 markings, 14893306 edges, 11354 markings/sec, 870 secs
lola: sara is running 875 secs || 10525370 markings, 14980996 edges, 10024 markings/sec, 875 secs
lola: sara is running 880 secs || 10580688 markings, 15060898 edges, 11064 markings/sec, 880 secs
lola: sara is running 885 secs || 10637201 markings, 15132387 edges, 11303 markings/sec, 885 secs
lola: sara is running 890 secs || 10688513 markings, 15215724 edges, 10262 markings/sec, 890 secs
lola: sara is running 895 secs || 10738527 markings, 15293766 edges, 10003 markings/sec, 895 secs
lola: sara is running 900 secs || 10793239 markings, 15363559 edges, 10942 markings/sec, 900 secs
lola: sara is running 905 secs || 10833018 markings, 15435990 edges, 7956 markings/sec, 905 secs
lola: sara is running 910 secs || 10867156 markings, 15511726 edges, 6828 markings/sec, 910 secs
lola: sara is running 915 secs || 10910763 markings, 15585637 edges, 8721 markings/sec, 915 secs
lola: sara is running 920 secs || 10978015 markings, 15669787 edges, 13450 markings/sec, 920 secs
lola: sara is running 925 secs || 11031086 markings, 15733236 edges, 10614 markings/sec, 925 secs
lola: sara is running 930 secs || 11083428 markings, 15796890 edges, 10468 markings/sec, 930 secs
lola: sara is running 935 secs || 11126422 markings, 15864593 edges, 8599 markings/sec, 935 secs
lola: sara is running 940 secs || 11167623 markings, 15939265 edges, 8240 markings/sec, 940 secs
lola: sara is running 945 secs || 11205725 markings, 16023950 edges, 7620 markings/sec, 945 secs
lola: sara is running 950 secs || 11256781 markings, 16097609 edges, 10211 markings/sec, 950 secs
lola: sara is running 955 secs || 11307668 markings, 16163783 edges, 10177 markings/sec, 955 secs
lola: sara is running 960 secs || 11356389 markings, 16233491 edges, 9744 markings/sec, 960 secs
lola: sara is running 965 secs || 11408711 markings, 16296665 edges, 10464 markings/sec, 965 secs
lola: sara is running 970 secs || 11456905 markings, 16369112 edges, 9639 markings/sec, 970 secs
lola: sara is running 975 secs || 11510997 markings, 16439441 edges, 10818 markings/sec, 975 secs
lola: sara is running 980 secs || 11559403 markings, 16511475 edges, 9681 markings/sec, 980 secs
lola: sara is running 985 secs || 11621318 markings, 16603018 edges, 12383 markings/sec, 985 secs
lola: sara is running 990 secs || 11676276 markings, 16669740 edges, 10992 markings/sec, 990 secs
lola: sara is running 995 secs || 11725207 markings, 16735896 edges, 9786 markings/sec, 995 secs
lola: sara is running 1000 secs || 11783680 markings, 16849573 edges, 11695 markings/sec, 1000 secs
lola: sara is running 1005 secs || 11834924 markings, 16919561 edges, 10249 markings/sec, 1005 secs
lola: sara is running 1010 secs || 11894210 markings, 17003283 edges, 11857 markings/sec, 1010 secs
lola: sara is running 1015 secs || 11936509 markings, 17095289 edges, 8460 markings/sec, 1015 secs
lola: sara is running 1020 secs || 11976182 markings, 17178529 edges, 7935 markings/sec, 1020 secs
lola: sara is running 1025 secs || 12029931 markings, 17262783 edges, 10750 markings/sec, 1025 secs
lola: sara is running 1030 secs || 12080846 markings, 17331512 edges, 10183 markings/sec, 1030 secs
lola: sara is running 1035 secs || 12129880 markings, 17401481 edges, 9807 markings/sec, 1035 secs
lola: sara is running 1040 secs || 12186894 markings, 17471469 edges, 11403 markings/sec, 1040 secs
lola: sara is running 1045 secs || 12233752 markings, 17552157 edges, 9372 markings/sec, 1045 secs
lola: sara is running 1050 secs || 12278844 markings, 17632703 edges, 9018 markings/sec, 1050 secs
lola: sara is running 1055 secs || 12330031 markings, 17703740 edges, 10237 markings/sec, 1055 secs
lola: sara is running 1060 secs || 12385850 markings, 17784755 edges, 11164 markings/sec, 1060 secs
lola: sara is running 1065 secs || 12434195 markings, 17850149 edges, 9669 markings/sec, 1065 secs
lola: sara is running 1070 secs || 12484779 markings, 17916693 edges, 10117 markings/sec, 1070 secs
lola: sara is running 1075 secs || 12546471 markings, 17992360 edges, 12338 markings/sec, 1075 secs
lola: sara is running 1080 secs || 12617013 markings, 18080492 edges, 14108 markings/sec, 1080 secs
lola: sara is running 1085 secs || 12669086 markings, 18169842 edges, 10415 markings/sec, 1085 secs
lola: sara is running 1090 secs || 12713838 markings, 18251636 edges, 8950 markings/sec, 1090 secs
lola: sara is running 1095 secs || 12761588 markings, 18331268 edges, 9550 markings/sec, 1095 secs
lola: sara is running 1100 secs || 12828399 markings, 18417030 edges, 13362 markings/sec, 1100 secs
lola: sara is running 1105 secs || 12882121 markings, 18491068 edges, 10744 markings/sec, 1105 secs
lola: sara is running 1110 secs || 12950450 markings, 18591175 edges, 13666 markings/sec, 1110 secs
lola: sara is running 1115 secs || 12994328 markings, 18684550 edges, 8776 markings/sec, 1115 secs
lola: sara is running 1120 secs || 13054677 markings, 18764550 edges, 12070 markings/sec, 1120 secs
lola: sara is running 1125 secs || 13104191 markings, 18852288 edges, 9903 markings/sec, 1125 secs
lola: sara is running 1130 secs || 13150923 markings, 18945449 edges, 9346 markings/sec, 1130 secs
lola: sara is running 1135 secs || 13213197 markings, 19032805 edges, 12455 markings/sec, 1135 secs
lola: sara is running 1140 secs || 13260784 markings, 19088867 edges, 9517 markings/sec, 1140 secs
lola: sara is running 1145 secs || 13305100 markings, 19141160 edges, 8863 markings/sec, 1145 secs
lola: sara is running 1150 secs || 13353092 markings, 19202926 edges, 9598 markings/sec, 1150 secs
lola: sara is running 1155 secs || 13392337 markings, 19267798 edges, 7849 markings/sec, 1155 secs
lola: sara is running 1160 secs || 13434936 markings, 19327574 edges, 8520 markings/sec, 1160 secs
lola: sara is running 1165 secs || 13483361 markings, 19400139 edges, 9685 markings/sec, 1165 secs
lola: sara is running 1170 secs || 13544311 markings, 19480048 edges, 12190 markings/sec, 1170 secs
lola: sara is running 1175 secs || 13595163 markings, 19541893 edges, 10170 markings/sec, 1175 secs
lola: sara is running 1180 secs || 13644568 markings, 19603327 edges, 9881 markings/sec, 1180 secs
lola: sara is running 1185 secs || 13688044 markings, 19668895 edges, 8695 markings/sec, 1185 secs
lola: sara is running 1190 secs || 13733780 markings, 19745127 edges, 9147 markings/sec, 1190 secs
lola: sara is running 1195 secs || 13781008 markings, 19821034 edges, 9446 markings/sec, 1195 secs
lola: sara is running 1200 secs || 13830556 markings, 19907404 edges, 9910 markings/sec, 1200 secs
lola: sara is running 1205 secs || 13893980 markings, 19988045 edges, 12685 markings/sec, 1205 secs
lola: sara is running 1210 secs || 13937243 markings, 20043635 edges, 8653 markings/sec, 1210 secs
lola: sara is running 1215 secs || 13977872 markings, 20114248 edges, 8126 markings/sec, 1215 secs
lola: sara is running 1220 secs || 14025605 markings, 20202165 edges, 9547 markings/sec, 1220 secs
lola: sara is running 1225 secs || 14092615 markings, 20296093 edges, 13402 markings/sec, 1225 secs
lola: sara is running 1230 secs || 14147134 markings, 20371639 edges, 10904 markings/sec, 1230 secs
lola: sara is running 1235 secs || 14199242 markings, 20439548 edges, 10422 markings/sec, 1235 secs
lola: sara is running 1240 secs || 14238823 markings, 20511465 edges, 7916 markings/sec, 1240 secs
lola: sara is running 1245 secs || 14283145 markings, 20578160 edges, 8864 markings/sec, 1245 secs
lola: sara is running 1250 secs || 14336801 markings, 20661457 edges, 10731 markings/sec, 1250 secs
lola: sara is running 1255 secs || 14387670 markings, 20757463 edges, 10174 markings/sec, 1255 secs
lola: sara is running 1260 secs || 14442989 markings, 20835214 edges, 11064 markings/sec, 1260 secs
lola: sara is running 1265 secs || 14495226 markings, 20934010 edges, 10447 markings/sec, 1265 secs
lola: sara is running 1270 secs || 14538519 markings, 21036227 edges, 8659 markings/sec, 1270 secs
lola: sara is running 1275 secs || 14587558 markings, 21104671 edges, 9808 markings/sec, 1275 secs
lola: sara is running 1280 secs || 14653444 markings, 21186709 edges, 13177 markings/sec, 1280 secs
lola: sara is running 1285 secs || 14713670 markings, 21268143 edges, 12045 markings/sec, 1285 secs
lola: sara is running 1290 secs || 14763859 markings, 21348602 edges, 10038 markings/sec, 1290 secs
lola: sara is running 1295 secs || 14817369 markings, 21426872 edges, 10702 markings/sec, 1295 secs
lola: sara is running 1300 secs || 14870514 markings, 21533232 edges, 10629 markings/sec, 1300 secs
lola: sara is running 1305 secs || 14925921 markings, 21603121 edges, 11081 markings/sec, 1305 secs
lola: sara is running 1310 secs || 14976008 markings, 21676592 edges, 10017 markings/sec, 1310 secs
lola: sara is running 1315 secs || 15022466 markings, 21749477 edges, 9292 markings/sec, 1315 secs
lola: sara is running 1320 secs || 15072636 markings, 21824718 edges, 10034 markings/sec, 1320 secs
lola: sara is running 1325 secs || 15125398 markings, 21902672 edges, 10552 markings/sec, 1325 secs
lola: sara is running 1330 secs || 15177046 markings, 21992846 edges, 10330 markings/sec, 1330 secs
lola: sara is running 1335 secs || 15247150 markings, 22107315 edges, 14021 markings/sec, 1335 secs
lola: sara is running 1340 secs || 15314173 markings, 22224432 edges, 13405 markings/sec, 1340 secs
lola: sara is running 1345 secs || 15389542 markings, 22317587 edges, 15074 markings/sec, 1345 secs
lola: sara is running 1350 secs || 15448219 markings, 22429860 edges, 11735 markings/sec, 1350 secs
lola: sara is running 1355 secs || 15523408 markings, 22530077 edges, 15038 markings/sec, 1355 secs
lola: sara is running 1360 secs || 15604621 markings, 22630613 edges, 16243 markings/sec, 1360 secs
lola: sara is running 1365 secs || 15662636 markings, 22758436 edges, 11603 markings/sec, 1365 secs
lola: sara is running 1370 secs || 15722449 markings, 22868686 edges, 11963 markings/sec, 1370 secs
lola: sara is running 1375 secs || 15780424 markings, 22950886 edges, 11595 markings/sec, 1375 secs
lola: sara is running 1380 secs || 15836326 markings, 23023207 edges, 11180 markings/sec, 1380 secs
lola: sara is running 1385 secs || 15899976 markings, 23127981 edges, 12730 markings/sec, 1385 secs
lola: sara is running 1390 secs || 15959441 markings, 23216173 edges, 11893 markings/sec, 1390 secs
lola: sara is running 1395 secs || 16018309 markings, 23298512 edges, 11774 markings/sec, 1395 secs
lola: sara is running 1400 secs || 16062974 markings, 23358928 edges, 8933 markings/sec, 1400 secs
lola: sara is running 1405 secs || 16109720 markings, 23434035 edges, 9349 markings/sec, 1405 secs
lola: sara is running 1410 secs || 16165918 markings, 23510474 edges, 11240 markings/sec, 1410 secs
lola: sara is running 1415 secs || 16217148 markings, 23593216 edges, 10246 markings/sec, 1415 secs
lola: sara is running 1420 secs || 16282505 markings, 23686771 edges, 13071 markings/sec, 1420 secs
lola: sara is running 1425 secs || 16360633 markings, 23787447 edges, 15626 markings/sec, 1425 secs
lola: sara is running 1430 secs || 16429711 markings, 23878502 edges, 13816 markings/sec, 1430 secs
lola: sara is running 1435 secs || 16494001 markings, 23963509 edges, 12858 markings/sec, 1435 secs
lola: sara is running 1440 secs || 16558737 markings, 24046835 edges, 12947 markings/sec, 1440 secs
lola: sara is running 1445 secs || 16609830 markings, 24128769 edges, 10219 markings/sec, 1445 secs
lola: sara is running 1450 secs || 16668901 markings, 24220547 edges, 11814 markings/sec, 1450 secs
lola: sara is running 1455 secs || 16731972 markings, 24321395 edges, 12614 markings/sec, 1455 secs
lola: sara is running 1460 secs || 16797568 markings, 24416972 edges, 13119 markings/sec, 1460 secs
lola: sara is running 1465 secs || 16857942 markings, 24507678 edges, 12075 markings/sec, 1465 secs
lola: sara is running 1470 secs || 16923573 markings, 24600544 edges, 13126 markings/sec, 1470 secs
lola: sara is running 1475 secs || 16981520 markings, 24686923 edges, 11589 markings/sec, 1475 secs
lola: sara is running 1480 secs || 17047711 markings, 24776440 edges, 13238 markings/sec, 1480 secs
lola: sara is running 1485 secs || 17102637 markings, 24859150 edges, 10985 markings/sec, 1485 secs
lola: sara is running 1490 secs || 17162199 markings, 24935640 edges, 11912 markings/sec, 1490 secs
lola: sara is running 1495 secs || 17221838 markings, 25011864 edges, 11928 markings/sec, 1495 secs
lola: sara is running 1500 secs || 17280951 markings, 25094365 edges, 11823 markings/sec, 1500 secs
lola: sara is running 1505 secs || 17337386 markings, 25174411 edges, 11287 markings/sec, 1505 secs
lola: sara is running 1510 secs || 17391091 markings, 25253630 edges, 10741 markings/sec, 1510 secs
lola: sara is running 1515 secs || 17447244 markings, 25342772 edges, 11231 markings/sec, 1515 secs
lola: sara is running 1520 secs || 17506096 markings, 25418889 edges, 11770 markings/sec, 1520 secs
lola: sara is running 1525 secs || 17566150 markings, 25494597 edges, 12011 markings/sec, 1525 secs
lola: sara is running 1530 secs || 17619478 markings, 25561565 edges, 10666 markings/sec, 1530 secs
lola: sara is running 1535 secs || 17677490 markings, 25641049 edges, 11602 markings/sec, 1535 secs
lola: sara is running 1540 secs || 17730166 markings, 25713108 edges, 10535 markings/sec, 1540 secs
lola: sara is running 1545 secs || 17784847 markings, 25785563 edges, 10936 markings/sec, 1545 secs
lola: sara is running 1550 secs || 17843007 markings, 25858436 edges, 11632 markings/sec, 1550 secs
lola: sara is running 1555 secs || 17899013 markings, 25928974 edges, 11201 markings/sec, 1555 secs
lola: sara is running 1560 secs || 17952343 markings, 25995289 edges, 10666 markings/sec, 1560 secs
lola: sara is running 1565 secs || 18005849 markings, 26062205 edges, 10701 markings/sec, 1565 secs
lola: sara is running 1570 secs || 18057690 markings, 26128588 edges, 10368 markings/sec, 1570 secs
lola: sara is running 1575 secs || 18116418 markings, 26201374 edges, 11746 markings/sec, 1575 secs
lola: sara is running 1580 secs || 18168459 markings, 26265919 edges, 10408 markings/sec, 1580 secs
lola: sara is running 1585 secs || 18228072 markings, 26339150 edges, 11923 markings/sec, 1585 secs
lola: sara is running 1590 secs || 18280983 markings, 26404495 edges, 10582 markings/sec, 1590 secs
lola: sara is running 1595 secs || 18335449 markings, 26472083 edges, 10893 markings/sec, 1595 secs
lola: sara is running 1600 secs || 18388853 markings, 26539956 edges, 10681 markings/sec, 1600 secs
lola: sara is running 1605 secs || 18447166 markings, 26611944 edges, 11663 markings/sec, 1605 secs
lola: sara is running 1610 secs || 18501790 markings, 26679011 edges, 10925 markings/sec, 1610 secs
lola: sara is running 1615 secs || 18558318 markings, 26748696 edges, 11306 markings/sec, 1615 secs
lola: sara is running 1620 secs || 18613098 markings, 26815969 edges, 10956 markings/sec, 1620 secs
lola: sara is running 1625 secs || 18664224 markings, 26879259 edges, 10225 markings/sec, 1625 secs
lola: sara is running 1630 secs || 18721836 markings, 26950401 edges, 11522 markings/sec, 1630 secs
lola: sara is running 1635 secs || 18779224 markings, 27023411 edges, 11478 markings/sec, 1635 secs
lola: sara is running 1640 secs || 18835720 markings, 27099361 edges, 11299 markings/sec, 1640 secs
lola: sara is running 1645 secs || 18887428 markings, 27163162 edges, 10342 markings/sec, 1645 secs
lola: sara is running 1650 secs || 18943345 markings, 27232631 edges, 11183 markings/sec, 1650 secs
lola: sara is running 1655 secs || 18994357 markings, 27296083 edges, 10202 markings/sec, 1655 secs
lola: sara is running 1660 secs || 19047920 markings, 27361529 edges, 10713 markings/sec, 1660 secs
lola: sara is running 1665 secs || 19100194 markings, 27426119 edges, 10455 markings/sec, 1665 secs
lola: sara is running 1670 secs || 19157517 markings, 27497645 edges, 11465 markings/sec, 1670 secs
lola: sara is running 1675 secs || 19220013 markings, 27576712 edges, 12499 markings/sec, 1675 secs
lola: sara is running 1680 secs || 19270138 markings, 27638847 edges, 10025 markings/sec, 1680 secs
lola: sara is running 1685 secs || 19326636 markings, 27708740 edges, 11300 markings/sec, 1685 secs
lola: sara is running 1690 secs || 19381123 markings, 27776137 edges, 10897 markings/sec, 1690 secs
lola: sara is running 1695 secs || 19430799 markings, 27837150 edges, 9935 markings/sec, 1695 secs
lola: sara is running 1700 secs || 19474817 markings, 27891006 edges, 8804 markings/sec, 1700 secs
lola: sara is running 1705 secs || 19529612 markings, 27958336 edges, 10959 markings/sec, 1705 secs
lola: sara is running 1710 secs || 19570908 markings, 28009004 edges, 8259 markings/sec, 1710 secs
lola: sara is running 1715 secs || 19609756 markings, 28086226 edges, 7770 markings/sec, 1715 secs
lola: sara is running 1720 secs || 19648122 markings, 28176127 edges, 7673 markings/sec, 1720 secs
lola: sara is running 1725 secs || 19701863 markings, 28249174 edges, 10748 markings/sec, 1725 secs
lola: sara is running 1730 secs || 19749031 markings, 28307081 edges, 9434 markings/sec, 1730 secs
lola: sara is running 1735 secs || 19789787 markings, 28378854 edges, 8151 markings/sec, 1735 secs
lola: sara is running 1740 secs || 19829886 markings, 28465714 edges, 8020 markings/sec, 1740 secs
lola: sara is running 1745 secs || 19867602 markings, 28553841 edges, 7543 markings/sec, 1745 secs
lola: sara is running 1750 secs || 19921034 markings, 28627224 edges, 10686 markings/sec, 1750 secs
lola: sara is running 1755 secs || 19967504 markings, 28684276 edges, 9294 markings/sec, 1755 secs
lola: sara is running 1760 secs || 20018794 markings, 28747079 edges, 10258 markings/sec, 1760 secs
lola: sara is running 1765 secs || 20068263 markings, 28807837 edges, 9894 markings/sec, 1765 secs
lola: sara is running 1770 secs || 20108300 markings, 28863609 edges, 8007 markings/sec, 1770 secs
lola: sara is running 1775 secs || 20148901 markings, 28951540 edges, 8120 markings/sec, 1775 secs
lola: sara is running 1780 secs || 20189346 markings, 29038903 edges, 8089 markings/sec, 1780 secs
lola: sara is running 1785 secs || 20233268 markings, 29127849 edges, 8784 markings/sec, 1785 secs
lola: sara is running 1790 secs || 20275259 markings, 29213172 edges, 8398 markings/sec, 1790 secs
lola: sara is running 1795 secs || 20314173 markings, 29292589 edges, 7783 markings/sec, 1795 secs
lola: sara is running 1800 secs || 20352636 markings, 29369553 edges, 7693 markings/sec, 1800 secs
lola: sara is running 1805 secs || 20386734 markings, 29439537 edges, 6820 markings/sec, 1805 secs
lola: sara is running 1810 secs || 20420555 markings, 29508459 edges, 6764 markings/sec, 1810 secs
lola: sara is running 1815 secs || 20453564 markings, 29575440 edges, 6602 markings/sec, 1815 secs
lola: sara is running 1820 secs || 20485309 markings, 29640211 edges, 6349 markings/sec, 1820 secs
lola: sara is running 1825 secs || 20516284 markings, 29703577 edges, 6195 markings/sec, 1825 secs
lola: sara is running 1830 secs || 20546090 markings, 29764186 edges, 5961 markings/sec, 1830 secs
lola: sara is running 1835 secs || 20575344 markings, 29823521 edges, 5851 markings/sec, 1835 secs
lola: sara is running 1840 secs || 20603755 markings, 29881830 edges, 5682 markings/sec, 1840 secs
lola: sara is running 1845 secs || 20631291 markings, 29937896 edges, 5507 markings/sec, 1845 secs
lola: sara is running 1850 secs || 20657106 markings, 29990678 edges, 5163 markings/sec, 1850 secs
lola: sara is running 1855 secs || 20682607 markings, 30042876 edges, 5100 markings/sec, 1855 secs
lola: sara is running 1860 secs || 20708467 markings, 30095151 edges, 5172 markings/sec, 1860 secs
lola: sara is running 1865 secs || 20733443 markings, 30146638 edges, 4995 markings/sec, 1865 secs
lola: sara is running 1870 secs || 20757309 markings, 30195438 edges, 4773 markings/sec, 1870 secs
lola: sara is running 1875 secs || 20782732 markings, 30247338 edges, 5085 markings/sec, 1875 secs
lola: sara is running 1880 secs || 20820420 markings, 30328502 edges, 7538 markings/sec, 1880 secs
lola: sara is running 1885 secs || 20859980 markings, 30414202 edges, 7912 markings/sec, 1885 secs
lola: sara is running 1890 secs || 20895017 markings, 30502747 edges, 7007 markings/sec, 1890 secs
lola: sara is running 1895 secs || 20931547 markings, 30587359 edges, 7306 markings/sec, 1895 secs
lola: sara is running 1900 secs || 20979660 markings, 30662720 edges, 9623 markings/sec, 1900 secs
lola: sara is running 1905 secs || 21026791 markings, 30720599 edges, 9426 markings/sec, 1905 secs
lola: sara is running 1910 secs || 21066856 markings, 30769695 edges, 8013 markings/sec, 1910 secs
lola: sara is running 1915 secs || 21121206 markings, 30836384 edges, 10870 markings/sec, 1915 secs
lola: sara is running 1920 secs || 21162785 markings, 30887409 edges, 8316 markings/sec, 1920 secs
lola: sara is running 1925 secs || 21213180 markings, 30948770 edges, 10079 markings/sec, 1925 secs
lola: sara is running 1930 secs || 21269566 markings, 31017822 edges, 11277 markings/sec, 1930 secs
lola: sara is running 1935 secs || 21321956 markings, 31082192 edges, 10478 markings/sec, 1935 secs
lola: sara is running 1940 secs || 21360880 markings, 31129941 edges, 7785 markings/sec, 1940 secs
lola: sara is running 1945 secs || 21415663 markings, 31196473 edges, 10957 markings/sec, 1945 secs
lola: sara is running 1950 secs || 21471184 markings, 31264075 edges, 11104 markings/sec, 1950 secs
lola: sara is running 1955 secs || 21527198 markings, 31332912 edges, 11203 markings/sec, 1955 secs
lola: sara is running 1960 secs || 21571660 markings, 31387509 edges, 8892 markings/sec, 1960 secs
lola: sara is running 1965 secs || 21618301 markings, 31444601 edges, 9328 markings/sec, 1965 secs
lola: sara is running 1970 secs || 21668441 markings, 31506192 edges, 10028 markings/sec, 1970 secs
lola: sara is running 1975 secs || 21707487 markings, 31554095 edges, 7809 markings/sec, 1975 secs
lola: sara is running 1980 secs || 21763853 markings, 31622552 edges, 11273 markings/sec, 1980 secs
lola: sara is running 1985 secs || 21819885 markings, 31691713 edges, 11206 markings/sec, 1985 secs
lola: sara is running 1990 secs || 21869097 markings, 31753092 edges, 9842 markings/sec, 1990 secs
lola: sara is running 1995 secs || 21912011 markings, 31806129 edges, 8583 markings/sec, 1995 secs
lola: sara is running 2000 secs || 21957125 markings, 31862521 edges, 9023 markings/sec, 2000 secs
lola: sara is running 2005 secs || 22011847 markings, 31931508 edges, 10944 markings/sec, 2005 secs
lola: sara is running 2010 secs || 22064831 markings, 32000827 edges, 10597 markings/sec, 2010 secs
lola: sara is running 2015 secs || 22118707 markings, 32068738 edges, 10775 markings/sec, 2015 secs
lola: sara is running 2020 secs || 22173312 markings, 32135831 edges, 10921 markings/sec, 2020 secs
lola: sara is running 2025 secs || 22215088 markings, 32187086 edges, 8355 markings/sec, 2025 secs
lola: sara is running 2030 secs || 22270309 markings, 32254215 edges, 11044 markings/sec, 2030 secs
lola: sara is running 2035 secs || 22296842 markings, 32286417 edges, 5307 markings/sec, 2035 secs
lola: sara is running 2040 secs || 22298704 markings, 32288699 edges, 372 markings/sec, 2040 secs
lola: sara is running 2045 secs || 22299499 markings, 32289665 edges, 159 markings/sec, 2045 secs
lola: sara is running 2050 secs || 22300871 markings, 32291315 edges, 274 markings/sec, 2050 secs
lola: sara is running 2055 secs || 22303639 markings, 32294666 edges, 554 markings/sec, 2055 secs
lola: sara is running 2060 secs || 22306310 markings, 32297892 edges, 534 markings/sec, 2060 secs
lola: sara is running 2065 secs || 22307963 markings, 32299913 edges, 331 markings/sec, 2065 secs
lola: sara is running 2070 secs || 22309286 markings, 32301544 edges, 265 markings/sec, 2070 secs
lola: sara is running 2075 secs || 22309541 markings, 32301856 edges, 51 markings/sec, 2075 secs
lola: sara is running 2080 secs || 22310870 markings, 32303460 edges, 266 markings/sec, 2080 secs
lola: sara is running 2085 secs || 22313094 markings, 32306152 edges, 445 markings/sec, 2085 secs
lola: sara is running 2090 secs || 22315034 markings, 32308483 edges, 388 markings/sec, 2090 secs
lola: sara is running 2095 secs || 22316066 markings, 32309786 edges, 206 markings/sec, 2095 secs
lola: sara is running 2100 secs || 22316695 markings, 32310764 edges, 126 markings/sec, 2100 secs
lola: sara is running 2105 secs || 22317393 markings, 32311874 edges, 140 markings/sec, 2105 secs
lola: sara is running 2110 secs || 22318606 markings, 32313782 edges, 243 markings/sec, 2110 secs
lola: sara is running 2115 secs || 22320324 markings, 32316398 edges, 344 markings/sec, 2115 secs
lola: sara is running 2120 secs || 22320842 markings, 32317093 edges, 104 markings/sec, 2120 secs
lola: sara is running 2125 secs || 22322274 markings, 32319121 edges, 286 markings/sec, 2125 secs
lola: sara is running 2130 secs || 22326029 markings, 32324324 edges, 751 markings/sec, 2130 secs
lola: sara is running 2135 secs || 22326626 markings, 32325052 edges, 119 markings/sec, 2135 secs
lola: sara is running 2140 secs || 22328051 markings, 32326789 edges, 285 markings/sec, 2140 secs
lola: sara is running 2145 secs || 22330060 markings, 32329258 edges, 402 markings/sec, 2145 secs
lola: sara is running 2150 secs || 22330972 markings, 32330369 edges, 182 markings/sec, 2150 secs
lola: sara is running 2155 secs || 22334236 markings, 32334316 edges, 653 markings/sec, 2155 secs
lola: sara is running 2160 secs || 22336058 markings, 32336504 edges, 364 markings/sec, 2160 secs
lola: sara is running 2165 secs || 22341020 markings, 32343417 edges, 992 markings/sec, 2165 secs
lola: sara is running 2170 secs || 22342233 markings, 32344983 edges, 243 markings/sec, 2170 secs
lola: sara is running 2175 secs || 22344913 markings, 32348542 edges, 536 markings/sec, 2175 secs
lola: sara is running 2180 secs || 22348168 markings, 32352748 edges, 651 markings/sec, 2180 secs
lola: sara is running 2185 secs || 22349203 markings, 32354090 edges, 207 markings/sec, 2185 secs
lola: sara is running 2190 secs || 22351203 markings, 32356699 edges, 400 markings/sec, 2190 secs
lola: sara is running 2195 secs || 22353390 markings, 32359415 edges, 437 markings/sec, 2195 secs
lola: sara is running 2200 secs || 22355311 markings, 32361814 edges, 384 markings/sec, 2200 secs
lola: sara is running 2205 secs || 22356138 markings, 32362847 edges, 165 markings/sec, 2205 secs
lola: sara is running 2210 secs || 22358328 markings, 32365532 edges, 438 markings/sec, 2210 secs
lola: sara is running 2215 secs || 22358755 markings, 32366048 edges, 85 markings/sec, 2215 secs
lola: sara is running 2220 secs || 22359656 markings, 32367156 edges, 180 markings/sec, 2220 secs
lola: sara is running 2225 secs || 22360335 markings, 32367980 edges, 136 markings/sec, 2225 secs
lola: sara is running 2230 secs || 22361414 markings, 32369311 edges, 216 markings/sec, 2230 secs
lola: sara is running 2235 secs || 22363446 markings, 32371767 edges, 406 markings/sec, 2235 secs
lola: sara is running 2240 secs || 22365485 markings, 32374250 edges, 408 markings/sec, 2240 secs
lola: sara is running 2245 secs || 22368418 markings, 32377778 edges, 587 markings/sec, 2245 secs
lola: sara is running 2250 secs || 22369039 markings, 32378532 edges, 124 markings/sec, 2250 secs
lola: sara is running 2255 secs || 22370886 markings, 32380787 edges, 369 markings/sec, 2255 secs
lola: sara is running 2260 secs || 22372711 markings, 32383037 edges, 365 markings/sec, 2260 secs
lola: sara is running 2265 secs || 22373986 markings, 32384561 edges, 255 markings/sec, 2265 secs
lola: sara is running 2270 secs || 22375735 markings, 32386695 edges, 350 markings/sec, 2270 secs
lola: sara is running 2275 secs || 22401050 markings, 32469440 edges, 5063 markings/sec, 2275 secs
lola: sara is running 2280 secs || 22457243 markings, 32538481 edges, 11239 markings/sec, 2280 secs
lola: sara is running 2285 secs || 22496905 markings, 32587145 edges, 7932 markings/sec, 2285 secs
lola: sara is running 2290 secs || 22552344 markings, 32657283 edges, 11088 markings/sec, 2290 secs
lola: sara is running 2295 secs || 22597852 markings, 32743907 edges, 9102 markings/sec, 2295 secs
lola: sara is running 2300 secs || 22631283 markings, 32825818 edges, 6686 markings/sec, 2300 secs
lola: sara is running 2305 secs || 22683369 markings, 32900408 edges, 10417 markings/sec, 2305 secs
lola: sara is running 2310 secs || 22731427 markings, 32959428 edges, 9612 markings/sec, 2310 secs
lola: sara is running 2315 secs || 22775911 markings, 33014947 edges, 8897 markings/sec, 2315 secs
lola: sara is running 2320 secs || 22837420 markings, 33092247 edges, 12302 markings/sec, 2320 secs
lola: sara is running 2325 secs || 22905554 markings, 33176658 edges, 13627 markings/sec, 2325 secs
lola: sara is running 2330 secs || 22968734 markings, 33257349 edges, 12636 markings/sec, 2330 secs
lola: sara is running 2335 secs || 23027321 markings, 33332024 edges, 11717 markings/sec, 2335 secs
lola: sara is running 2340 secs || 23085425 markings, 33404518 edges, 11621 markings/sec, 2340 secs
lola: sara is running 2345 secs || 23139917 markings, 33472500 edges, 10898 markings/sec, 2345 secs
lola: sara is running 2350 secs || 23192193 markings, 33537418 edges, 10455 markings/sec, 2350 secs
lola: sara is running 2355 secs || 23254730 markings, 33617564 edges, 12507 markings/sec, 2355 secs
lola: sara is running 2360 secs || 23323771 markings, 33705699 edges, 13808 markings/sec, 2360 secs
lola: sara is running 2365 secs || 23391649 markings, 33789546 edges, 13576 markings/sec, 2365 secs
lola: sara is running 2370 secs || 23440591 markings, 33849596 edges, 9788 markings/sec, 2370 secs
lola: sara is running 2375 secs || 23508762 markings, 33935562 edges, 13634 markings/sec, 2375 secs
lola: sara is running 2380 secs || 23574317 markings, 34020868 edges, 13111 markings/sec, 2380 secs
lola: sara is running 2385 secs || 23640331 markings, 34104052 edges, 13203 markings/sec, 2385 secs
lola: sara is running 2390 secs || 23708190 markings, 34188450 edges, 13572 markings/sec, 2390 secs
lola: sara is running 2395 secs || 23768929 markings, 34265818 edges, 12148 markings/sec, 2395 secs
lola: sara is running 2400 secs || 23826135 markings, 34338683 edges, 11441 markings/sec, 2400 secs
lola: sara is running 2405 secs || 23884032 markings, 34410694 edges, 11579 markings/sec, 2405 secs
lola: sara is running 2410 secs || 23938231 markings, 34478254 edges, 10840 markings/sec, 2410 secs
lola: sara is running 2415 secs || 23990599 markings, 34543327 edges, 10474 markings/sec, 2415 secs
lola: sara is running 2420 secs || 24050729 markings, 34620044 edges, 12026 markings/sec, 2420 secs
lola: sara is running 2425 secs || 24118710 markings, 34707086 edges, 13596 markings/sec, 2425 secs
lola: sara is running 2430 secs || 24186696 markings, 34793397 edges, 13597 markings/sec, 2430 secs
lola: sara is running 2435 secs || 24254176 markings, 34880907 edges, 13496 markings/sec, 2435 secs
lola: sara is running 2440 secs || 24321708 markings, 34966943 edges, 13506 markings/sec, 2440 secs
lola: sara is running 2445 secs || 24389791 markings, 35054565 edges, 13617 markings/sec, 2445 secs
lola: sara is running 2450 secs || 24447321 markings, 35137267 edges, 11506 markings/sec, 2450 secs
lola: sara is running 2455 secs || 24500007 markings, 35214978 edges, 10537 markings/sec, 2455 secs
lola: sara is running 2460 secs || 24555204 markings, 35296457 edges, 11039 markings/sec, 2460 secs
lola: sara is running 2465 secs || 24616299 markings, 35384781 edges, 12219 markings/sec, 2465 secs
lola: sara is running 2470 secs || 24668836 markings, 35462183 edges, 10507 markings/sec, 2470 secs
lola: sara is running 2475 secs || 24720726 markings, 35539334 edges, 10378 markings/sec, 2475 secs
lola: sara is running 2480 secs || 24774465 markings, 35616926 edges, 10748 markings/sec, 2480 secs
lola: sara is running 2485 secs || 24833685 markings, 35703712 edges, 11844 markings/sec, 2485 secs
lola: sara is running 2490 secs || 24890689 markings, 35787635 edges, 11401 markings/sec, 2490 secs
lola: sara is running 2495 secs || 24943759 markings, 35865296 edges, 10614 markings/sec, 2495 secs
lola: sara is running 2500 secs || 24995845 markings, 35945217 edges, 10417 markings/sec, 2500 secs
lola: sara is running 2505 secs || 25050479 markings, 36027848 edges, 10927 markings/sec, 2505 secs
lola: sara is running 2510 secs || 25104384 markings, 36109194 edges, 10781 markings/sec, 2510 secs
lola: sara is running 2515 secs || 25157257 markings, 36186638 edges, 10575 markings/sec, 2515 secs
lola: sara is running 2520 secs || 25209548 markings, 36263926 edges, 10458 markings/sec, 2520 secs
lola: sara is running 2525 secs || 25264223 markings, 36345208 edges, 10935 markings/sec, 2525 secs
lola: sara is running 2530 secs || 25327630 markings, 36436044 edges, 12681 markings/sec, 2530 secs
lola: sara is running 2535 secs || 25382360 markings, 36518997 edges, 10946 markings/sec, 2535 secs
lola: sara is running 2540 secs || 25433875 markings, 36598617 edges, 10303 markings/sec, 2540 secs
lola: sara is running 2545 secs || 25482127 markings, 36685209 edges, 9650 markings/sec, 2545 secs
lola: sara is running 2550 secs || 25530752 markings, 36764669 edges, 9725 markings/sec, 2550 secs
lola: sara is running 2555 secs || 25581832 markings, 36846709 edges, 10216 markings/sec, 2555 secs
lola: sara is running 2560 secs || 25630898 markings, 36937005 edges, 9813 markings/sec, 2560 secs
lola: sara is running 2565 secs || 25684157 markings, 37024475 edges, 10652 markings/sec, 2565 secs
lola: sara is running 2570 secs || 25735526 markings, 37116774 edges, 10274 markings/sec, 2570 secs
lola: sara is running 2575 secs || 25788069 markings, 37215003 edges, 10509 markings/sec, 2575 secs
lola: sara is running 2580 secs || 25835702 markings, 37301731 edges, 9527 markings/sec, 2580 secs
lola: sara is running 2585 secs || 25888150 markings, 37387863 edges, 10490 markings/sec, 2585 secs
lola: sara is running 2590 secs || 25953759 markings, 37478821 edges, 13122 markings/sec, 2590 secs
lola: sara is running 2595 secs || 26017426 markings, 37568116 edges, 12733 markings/sec, 2595 secs
lola: sara is running 2600 secs || 26065743 markings, 37644953 edges, 9663 markings/sec, 2600 secs
lola: sara is running 2605 secs || 26120510 markings, 37752657 edges, 10953 markings/sec, 2605 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no yes no unknown no no no no yes no no no yes no
lola:
preliminary result: no yes no yes no unknown no no no no yes no no no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no yes no unknown no no no no yes no no no yes no
lola: memory consumption: 4505656 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no yes no unknown no no no no yes no no no yes no
lola: memory consumption: 4506532 KB
lola: time consumption: 3570 seconds

BK_STOP 1526481899986

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

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="CloudReconfiguration-PT-304"
export BK_EXAMINATION="ReachabilityCardinality"
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

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-304.tgz
mv CloudReconfiguration-PT-304 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-304, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646379800026"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.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 ;