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

About the Execution of LoLA for CloudReconfiguration-PT-307

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
10648.400 3570341.00 7141817.00 9971.00 ?TFFFTTTTFT?FFFT 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 824K
-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.0K 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.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K 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.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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-307, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379800047
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526496392773

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-307 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-307 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ CloudReconfiguration-PT-307 @ 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-307-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p1696)
lola: LP says that atomic proposition is always false: (2 <= p598)
lola: LP says that atomic proposition is always false: (2 <= p1952)
lola: LP says that atomic proposition is always false: (2 <= p490)
lola: LP says that atomic proposition is always false: (2 <= p691)
lola: LP says that atomic proposition is always false: (3 <= p1484)
lola: LP says that atomic proposition is always false: (3 <= p1922)
lola: LP says that atomic proposition is always false: (3 <= p693)
lola: LP says that atomic proposition is always false: (3 <= p987)
lola: LP says that atomic proposition is always false: (3 <= p2138)
lola: LP says that atomic proposition is always false: (2 <= p645)
lola: LP says that atomic proposition is always false: (2 <= p1854)
lola: LP says that atomic proposition is always false: (3 <= p782)
lola: LP says that atomic proposition is always false: (2 <= p2213)
lola: LP says that atomic proposition is always false: (2 <= p885)
lola: LP says that atomic proposition is always false: (3 <= p1424)
lola: LP says that atomic proposition is always false: (2 <= p264)
lola: LP says that atomic proposition is always false: (2 <= p1541)
lola: LP says that atomic proposition is always false: (2 <= p446)
lola: LP says that atomic proposition is always false: (3 <= p457)
lola: LP says that atomic proposition is always false: (2 <= p1649)
lola: A (G (((((p2048 <= p1574) OR (p1419 <= p1872)) AND ((p495 <= p1170))) OR (p2249 <= p1859)))) : E (F ((p1592 + 1 <= p119))) : A (G (((p1625 <= p1945) OR (p694 <= p16) OR (1 <= p1441)))) : A (G (((p1049 <= p932)))) : E (F (())) : A (G (TRUE)) : E (F ((1 <= p751))) : E (F ((((p1979 <= p79) OR (p875 <= p773)) AND ((p1871 <= p2081) OR (p1744 <= p1170)) AND (1 <= p2495)))) : A (G (())) : E (F (FALSE)) : E (F (((p2144 <= p306) AND ((1 <= p169))))) : A (G (((p1306 <= p1372) OR (1 <= p1154) OR (p2065 <= p835)))) : A (G (((p603 <= p1143)))) : A (G ((p1532 <= p504))) : A (G (((p2437 <= p1977) AND ((p1818 <= 0) OR (p2344 + 1 <= p1728))))) : E (F (((1 <= p1036))))
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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: 12 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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-307-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 12 rewrites
lola: closed formula file CloudReconfiguration-PT-307-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-5 TRUE 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 12 rewrites
lola: closed formula file CloudReconfiguration-PT-307-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 3 will run for 271 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: 12 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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-307-ReachabilityCardinality-9 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: E (F ((1 <= p751)))
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 <= p751)))
lola: processed formula length: 19
lola: 13 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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 <= p751)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-4-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: 86 markings, 85 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-6 TRUE 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: E (F (((1 <= p1036))))
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 <= p1036))))
lola: processed formula length: 22
lola: 13 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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 <= p1036))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-5-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 56 markings, 55 edges

lola: ========================================
FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-15 TRUE 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 ((p1592 + 1 <= p119)))
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 ((p1592 + 1 <= p119)))
lola: processed formula length: 27
lola: 13 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: (p1592 + 1 <= p119)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-6-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 84 markings, 83 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-1 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 (((p603 <= p1143))))
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 <= p1143))))
lola: processed formula length: 25
lola: 14 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: ((p1143 + 1 <= p603))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-7-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 39 markings, 38 edges
lola:
========================================
FORMULA CloudReconfiguration-PT-307-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 ((p1532 <= p504)))
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 ((p1532 <= p504)))
lola: processed formula length: 23
lola: 14 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: (p504 + 1 <= p1532)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 730 markings, 787 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1049 <= p932))))
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 (((p1049 <= p932))))
lola: processed formula length: 25
lola: 14 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: ((p932 + 1 <= p1049))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 64 markings, 63 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2144 <= p306) AND ((1 <= p169)))))
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 (((p2144 <= p306) AND ((1 <= p169)))))
lola: processed formula length: 43
lola: 13 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: ((p2144 <= p306) AND ((1 <= p169)))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 83 markings, 82 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 705 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1306 <= p1372) OR (1 <= p1154) OR (p2065 <= p835))))
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 (((p1306 <= p1372) OR (1 <= p1154) OR (p2065 <= p835))))
lola: processed formula length: 63
lola: 14 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: ((p1372 + 1 <= p1306) AND (p1154 <= 0) AND (p835 + 1 <= p2065))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 31903 markings, 72896 edges, 6381 markings/sec, 0 secs
lola: sara is running 5 secs || 93814 markings, 152503 edges, 12382 markings/sec, 5 secs
lola: sara is running 10 secs || 164234 markings, 238988 edges, 14084 markings/sec, 10 secs
lola: sara is running 15 secs || 225541 markings, 313408 edges, 12261 markings/sec, 15 secs
lola: sara is running 20 secs || 296855 markings, 402365 edges, 14263 markings/sec, 20 secs
lola: sara is running 25 secs || 365819 markings, 488464 edges, 13793 markings/sec, 25 secs
lola: sara is running 30 secs || 424768 markings, 567355 edges, 11790 markings/sec, 30 secs
lola: sara is running 35 secs || 492178 markings, 650947 edges, 13482 markings/sec, 35 secs
lola: sara is running 40 secs || 559226 markings, 735069 edges, 13410 markings/sec, 40 secs
lola: sara is running 45 secs || 620654 markings, 810033 edges, 12286 markings/sec, 45 secs
lola: sara is running 50 secs || 675427 markings, 876710 edges, 10955 markings/sec, 50 secs
lola: sara is running 55 secs || 737863 markings, 953746 edges, 12487 markings/sec, 55 secs
lola: sara is running 60 secs || 802792 markings, 1036082 edges, 12986 markings/sec, 60 secs
lola: sara is running 65 secs || 869367 markings, 1118433 edges, 13315 markings/sec, 65 secs
lola: sara is running 70 secs || 931374 markings, 1196771 edges, 12401 markings/sec, 70 secs
lola: sara is running 75 secs || 992358 markings, 1271815 edges, 12197 markings/sec, 75 secs
lola: sara is running 80 secs || 1048266 markings, 1339914 edges, 11182 markings/sec, 80 secs
lola: sara is running 85 secs || 1103421 markings, 1407028 edges, 11031 markings/sec, 85 secs
lola: sara is running 90 secs || 1160967 markings, 1477169 edges, 11509 markings/sec, 90 secs
lola: sara is running 95 secs || 1220588 markings, 1549405 edges, 11924 markings/sec, 95 secs
lola: sara is running 100 secs || 1281281 markings, 1624523 edges, 12139 markings/sec, 100 secs
lola: sara is running 105 secs || 1353050 markings, 1716256 edges, 14354 markings/sec, 105 secs
lola: sara is running 110 secs || 1419721 markings, 1800597 edges, 13334 markings/sec, 110 secs
lola: sara is running 115 secs || 1484855 markings, 1883974 edges, 13027 markings/sec, 115 secs
lola: sara is running 120 secs || 1550225 markings, 1965371 edges, 13074 markings/sec, 120 secs
lola: sara is running 125 secs || 1615029 markings, 2048392 edges, 12961 markings/sec, 125 secs
lola: sara is running 130 secs || 1675866 markings, 2125748 edges, 12167 markings/sec, 130 secs
lola: sara is running 135 secs || 1738407 markings, 2202152 edges, 12508 markings/sec, 135 secs
lola: sara is running 140 secs || 1798029 markings, 2276475 edges, 11924 markings/sec, 140 secs
lola: sara is running 145 secs || 1864147 markings, 2362351 edges, 13224 markings/sec, 145 secs
lola: sara is running 150 secs || 1925752 markings, 2442435 edges, 12321 markings/sec, 150 secs
lola: sara is running 155 secs || 1992828 markings, 2527227 edges, 13415 markings/sec, 155 secs
lola: sara is running 160 secs || 2053422 markings, 2603291 edges, 12119 markings/sec, 160 secs
lola: sara is running 165 secs || 2109537 markings, 2674152 edges, 11223 markings/sec, 165 secs
lola: sara is running 170 secs || 2176471 markings, 2760916 edges, 13387 markings/sec, 170 secs
lola: sara is running 175 secs || 2231900 markings, 2829671 edges, 11086 markings/sec, 175 secs
lola: sara is running 180 secs || 2296707 markings, 2915873 edges, 12961 markings/sec, 180 secs
lola: sara is running 185 secs || 2352533 markings, 3003289 edges, 11165 markings/sec, 185 secs
lola: sara is running 190 secs || 2398808 markings, 3116952 edges, 9255 markings/sec, 190 secs
lola: sara is running 195 secs || 2444977 markings, 3227690 edges, 9234 markings/sec, 195 secs
lola: sara is running 200 secs || 2490479 markings, 3339099 edges, 9100 markings/sec, 200 secs
lola: sara is running 205 secs || 2541038 markings, 3418024 edges, 10112 markings/sec, 205 secs
lola: sara is running 210 secs || 2590488 markings, 3513051 edges, 9890 markings/sec, 210 secs
lola: sara is running 215 secs || 2640226 markings, 3615092 edges, 9948 markings/sec, 215 secs
lola: sara is running 220 secs || 2689198 markings, 3731230 edges, 9794 markings/sec, 220 secs
lola: sara is running 225 secs || 2736686 markings, 3827705 edges, 9498 markings/sec, 225 secs
lola: sara is running 230 secs || 2788880 markings, 3917376 edges, 10439 markings/sec, 230 secs
lola: sara is running 235 secs || 2841873 markings, 4015213 edges, 10599 markings/sec, 235 secs
lola: sara is running 240 secs || 2899161 markings, 4109118 edges, 11458 markings/sec, 240 secs
lola: sara is running 245 secs || 2961476 markings, 4200197 edges, 12463 markings/sec, 245 secs
lola: sara is running 250 secs || 3033801 markings, 4293154 edges, 14465 markings/sec, 250 secs
lola: sara is running 255 secs || 3099988 markings, 4378570 edges, 13237 markings/sec, 255 secs
lola: sara is running 260 secs || 3167203 markings, 4462955 edges, 13443 markings/sec, 260 secs
lola: sara is running 265 secs || 3229419 markings, 4541059 edges, 12443 markings/sec, 265 secs
lola: sara is running 270 secs || 3289832 markings, 4616303 edges, 12083 markings/sec, 270 secs
lola: sara is running 275 secs || 3346771 markings, 4687500 edges, 11388 markings/sec, 275 secs
lola: sara is running 280 secs || 3417160 markings, 4777497 edges, 14078 markings/sec, 280 secs
lola: sara is running 285 secs || 3489752 markings, 4871735 edges, 14518 markings/sec, 285 secs
lola: sara is running 290 secs || 3563773 markings, 4964525 edges, 14804 markings/sec, 290 secs
lola: sara is running 295 secs || 3629332 markings, 5073482 edges, 13112 markings/sec, 295 secs
lola: sara is running 300 secs || 3685128 markings, 5200600 edges, 11159 markings/sec, 300 secs
lola: sara is running 305 secs || 3741354 markings, 5328381 edges, 11245 markings/sec, 305 secs
lola: sara is running 310 secs || 3797403 markings, 5455833 edges, 11210 markings/sec, 310 secs
lola: sara is running 315 secs || 3853257 markings, 5583366 edges, 11171 markings/sec, 315 secs
lola: sara is running 320 secs || 3909289 markings, 5711115 edges, 11206 markings/sec, 320 secs
lola: sara is running 325 secs || 3964957 markings, 5837240 edges, 11134 markings/sec, 325 secs
lola: sara is running 330 secs || 4019076 markings, 5960350 edges, 10824 markings/sec, 330 secs
lola: sara is running 335 secs || 4075147 markings, 6087662 edges, 11214 markings/sec, 335 secs
lola: sara is running 340 secs || 4125246 markings, 6202293 edges, 10020 markings/sec, 340 secs
lola: sara is running 345 secs || 4174027 markings, 6313601 edges, 9756 markings/sec, 345 secs
lola: sara is running 350 secs || 4223251 markings, 6424986 edges, 9845 markings/sec, 350 secs
lola: sara is running 355 secs || 4272130 markings, 6536224 edges, 9776 markings/sec, 355 secs
lola: sara is running 360 secs || 4320624 markings, 6646905 edges, 9699 markings/sec, 360 secs
lola: sara is running 365 secs || 4368945 markings, 6757044 edges, 9664 markings/sec, 365 secs
lola: sara is running 370 secs || 4416917 markings, 6866091 edges, 9594 markings/sec, 370 secs
lola: sara is running 375 secs || 4465599 markings, 6977219 edges, 9736 markings/sec, 375 secs
lola: sara is running 380 secs || 4512047 markings, 7082704 edges, 9290 markings/sec, 380 secs
lola: sara is running 385 secs || 4554453 markings, 7179016 edges, 8481 markings/sec, 385 secs
lola: sara is running 390 secs || 4596787 markings, 7275048 edges, 8467 markings/sec, 390 secs
lola: sara is running 395 secs || 4638864 markings, 7371287 edges, 8415 markings/sec, 395 secs
lola: sara is running 400 secs || 4681017 markings, 7467320 edges, 8431 markings/sec, 400 secs
lola: sara is running 405 secs || 4723267 markings, 7563554 edges, 8450 markings/sec, 405 secs
lola: sara is running 410 secs || 4765357 markings, 7659113 edges, 8418 markings/sec, 410 secs
lola: sara is running 415 secs || 4807344 markings, 7754543 edges, 8397 markings/sec, 415 secs
lola: sara is running 420 secs || 4848279 markings, 7847628 edges, 8187 markings/sec, 420 secs
lola: sara is running 425 secs || 4890149 markings, 7943315 edges, 8374 markings/sec, 425 secs
lola: sara is running 430 secs || 4932459 markings, 8039659 edges, 8462 markings/sec, 430 secs
lola: sara is running 435 secs || 4970673 markings, 8126204 edges, 7643 markings/sec, 435 secs
lola: sara is running 440 secs || 5007605 markings, 8210798 edges, 7386 markings/sec, 440 secs
lola: sara is running 445 secs || 5044908 markings, 8295196 edges, 7461 markings/sec, 445 secs
lola: sara is running 450 secs || 5081864 markings, 8379862 edges, 7391 markings/sec, 450 secs
lola: sara is running 455 secs || 5118223 markings, 8461969 edges, 7272 markings/sec, 455 secs
lola: sara is running 460 secs || 5153893 markings, 8543532 edges, 7134 markings/sec, 460 secs
lola: sara is running 465 secs || 5190047 markings, 8626166 edges, 7231 markings/sec, 465 secs
lola: sara is running 470 secs || 5226940 markings, 8709125 edges, 7379 markings/sec, 470 secs
lola: sara is running 475 secs || 5262721 markings, 8791148 edges, 7156 markings/sec, 475 secs
lola: sara is running 480 secs || 5298993 markings, 8874007 edges, 7254 markings/sec, 480 secs
lola: sara is running 485 secs || 5336095 markings, 8958041 edges, 7420 markings/sec, 485 secs
lola: sara is running 490 secs || 5372653 markings, 9041532 edges, 7312 markings/sec, 490 secs
lola: sara is running 495 secs || 5404140 markings, 9112789 edges, 6297 markings/sec, 495 secs
lola: sara is running 500 secs || 5436014 markings, 9185136 edges, 6375 markings/sec, 500 secs
lola: sara is running 505 secs || 5467359 markings, 9257030 edges, 6269 markings/sec, 505 secs
lola: sara is running 510 secs || 5498795 markings, 9328009 edges, 6287 markings/sec, 510 secs
lola: sara is running 515 secs || 5530078 markings, 9399266 edges, 6257 markings/sec, 515 secs
lola: sara is running 520 secs || 5561115 markings, 9470208 edges, 6207 markings/sec, 520 secs
lola: sara is running 525 secs || 5591940 markings, 9539642 edges, 6165 markings/sec, 525 secs
lola: sara is running 530 secs || 5622189 markings, 9609040 edges, 6050 markings/sec, 530 secs
lola: sara is running 535 secs || 5652869 markings, 9678354 edges, 6136 markings/sec, 535 secs
lola: sara is running 540 secs || 5682443 markings, 9746148 edges, 5915 markings/sec, 540 secs
lola: sara is running 545 secs || 5712251 markings, 9813822 edges, 5962 markings/sec, 545 secs
lola: sara is running 550 secs || 5742178 markings, 9881647 edges, 5985 markings/sec, 550 secs
lola: sara is running 555 secs || 5771688 markings, 9949043 edges, 5902 markings/sec, 555 secs
lola: sara is running 560 secs || 5800208 markings, 10013969 edges, 5704 markings/sec, 560 secs
lola: sara is running 565 secs || 5829578 markings, 10080462 edges, 5874 markings/sec, 565 secs
lola: sara is running 570 secs || 5858745 markings, 10147338 edges, 5833 markings/sec, 570 secs
lola: sara is running 575 secs || 5887200 markings, 10212294 edges, 5691 markings/sec, 575 secs
lola: sara is running 580 secs || 5916173 markings, 10277307 edges, 5795 markings/sec, 580 secs
lola: sara is running 585 secs || 5944616 markings, 10341799 edges, 5689 markings/sec, 585 secs
lola: sara is running 590 secs || 5973573 markings, 10408441 edges, 5791 markings/sec, 590 secs
lola: sara is running 595 secs || 6002511 markings, 10474475 edges, 5788 markings/sec, 595 secs
lola: sara is running 600 secs || 6031205 markings, 10539045 edges, 5739 markings/sec, 600 secs
lola: sara is running 605 secs || 6059773 markings, 10603920 edges, 5714 markings/sec, 605 secs
lola: sara is running 610 secs || 6087850 markings, 10668002 edges, 5615 markings/sec, 610 secs
lola: sara is running 615 secs || 6113765 markings, 10726831 edges, 5183 markings/sec, 615 secs
lola: sara is running 620 secs || 6139532 markings, 10785545 edges, 5153 markings/sec, 620 secs
lola: sara is running 625 secs || 6165151 markings, 10844480 edges, 5124 markings/sec, 625 secs
lola: sara is running 630 secs || 6191154 markings, 10903274 edges, 5201 markings/sec, 630 secs
lola: sara is running 635 secs || 6216632 markings, 10961213 edges, 5096 markings/sec, 635 secs
lola: sara is running 640 secs || 6242544 markings, 11019671 edges, 5182 markings/sec, 640 secs
lola: sara is running 645 secs || 6268201 markings, 11078285 edges, 5131 markings/sec, 645 secs
lola: sara is running 650 secs || 6293832 markings, 11137142 edges, 5126 markings/sec, 650 secs
lola: sara is running 655 secs || 6319255 markings, 11194726 edges, 5085 markings/sec, 655 secs
lola: sara is running 660 secs || 6344689 markings, 11252301 edges, 5087 markings/sec, 660 secs
lola: sara is running 665 secs || 6370135 markings, 11309757 edges, 5089 markings/sec, 665 secs
lola: sara is running 670 secs || 6394712 markings, 11366420 edges, 4915 markings/sec, 670 secs
lola: sara is running 675 secs || 6419568 markings, 11422693 edges, 4971 markings/sec, 675 secs
lola: sara is running 680 secs || 6444426 markings, 11478955 edges, 4972 markings/sec, 680 secs
lola: sara is running 685 secs || 6469166 markings, 11535928 edges, 4948 markings/sec, 685 secs
lola: sara is running 690 secs || 6493445 markings, 11590616 edges, 4856 markings/sec, 690 secs
lola: sara is running 695 secs || 6517513 markings, 11645923 edges, 4814 markings/sec, 695 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no no yes yes unknown yes no yes unknown no no unknown yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes unknown no no yes yes unknown yes no yes unknown no no unknown yes
lola: memory consumption: 881780 KB
lola: time consumption: 749 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 705 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p2437 <= p1977) AND ((p1818 <= 0) OR (p2344 + 1 <= p1728)))))
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 (((p2437 <= p1977) AND ((p1818 <= 0) OR (p2344 + 1 <= p1728)))))
lola: processed formula length: 70
lola: 14 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: ((p1977 + 1 <= p2437) OR ((1 <= p1818) AND (p1728 <= p2344)))
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-12-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 54 markings, 53 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 940 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1625 <= p1945) OR (p694 <= p16) OR (1 <= p1441))))
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 (((p1625 <= p1945) OR (p694 <= p16) OR (1 <= p1441))))
lola: processed formula length: 61
lola: 14 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: ((p1945 + 1 <= p1625) AND (p16 + 1 <= p694) AND (p1441 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-13-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-307-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((((p2048 <= p1574) OR (p1419 <= p1872)) AND ((p495 <= p1170))) OR (p2249 <= p1859))))
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 (((((p2048 <= p1574) OR (p1419 <= p1872)) AND ((p495 <= p1170))) OR (p2249 <= p1859))))
lola: processed formula length: 94
lola: 14 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: ((((p1574 + 1 <= p2048) AND (p1872 + 1 <= p1419)) OR ((p1170 + 1 <= p495))) AND (p1859 + 1 <= p2249))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 77059 markings, 122862 edges, 15412 markings/sec, 0 secs
lola: sara is running 5 secs || 149394 markings, 240387 edges, 14467 markings/sec, 5 secs
lola: sara is running 10 secs || 216146 markings, 351452 edges, 13350 markings/sec, 10 secs
lola: sara is running 15 secs || 284920 markings, 457605 edges, 13755 markings/sec, 15 secs
lola: sara is running 20 secs || 356602 markings, 568859 edges, 14336 markings/sec, 20 secs
lola: sara is running 25 secs || 427930 markings, 679259 edges, 14266 markings/sec, 25 secs
sara: warning, failure of lp_solve (at job 667)
lola: sara is running 30 secs || 498534 markings, 797055 edges, 14121 markings/sec, 30 secs
lola: sara is running 35 secs || 569661 markings, 911556 edges, 14225 markings/sec, 35 secs
lola: sara is running 40 secs || 644458 markings, 1023405 edges, 14959 markings/sec, 40 secs
lola: sara is running 45 secs || 713938 markings, 1125128 edges, 13896 markings/sec, 45 secs
lola: sara is running 50 secs || 784902 markings, 1224313 edges, 14193 markings/sec, 50 secs
lola: sara is running 55 secs || 860838 markings, 1330175 edges, 15187 markings/sec, 55 secs
lola: sara is running 60 secs || 936165 markings, 1434766 edges, 15065 markings/sec, 60 secs
lola: sara is running 65 secs || 1010267 markings, 1533638 edges, 14820 markings/sec, 65 secs
lola: sara is running 70 secs || 1077531 markings, 1638285 edges, 13453 markings/sec, 70 secs
lola: sara is running 75 secs || 1147541 markings, 1749306 edges, 14002 markings/sec, 75 secs
lola: sara is running 80 secs || 1214614 markings, 1860014 edges, 13415 markings/sec, 80 secs
lola: sara is running 85 secs || 1283410 markings, 1968968 edges, 13759 markings/sec, 85 secs
lola: sara is running 90 secs || 1350535 markings, 2076475 edges, 13425 markings/sec, 90 secs
lola: sara is running 95 secs || 1429721 markings, 2179862 edges, 15837 markings/sec, 95 secs
lola: sara is running 100 secs || 1502225 markings, 2278763 edges, 14501 markings/sec, 100 secs
lola: sara is running 105 secs || 1576286 markings, 2383840 edges, 14812 markings/sec, 105 secs
lola: sara is running 110 secs || 1655067 markings, 2492544 edges, 15756 markings/sec, 110 secs
lola: sara is running 115 secs || 1726012 markings, 2595802 edges, 14189 markings/sec, 115 secs
lola: sara is running 120 secs || 1796656 markings, 2702518 edges, 14129 markings/sec, 120 secs
lola: sara is running 125 secs || 1867882 markings, 2810521 edges, 14245 markings/sec, 125 secs
lola: sara is running 130 secs || 1940554 markings, 2913622 edges, 14534 markings/sec, 130 secs
lola: sara is running 135 secs || 2020074 markings, 3013958 edges, 15904 markings/sec, 135 secs
lola: sara is running 140 secs || 2096229 markings, 3114967 edges, 15231 markings/sec, 140 secs
lola: sara is running 145 secs || 2170368 markings, 3216006 edges, 14828 markings/sec, 145 secs
lola: sara is running 150 secs || 2244035 markings, 3321972 edges, 14733 markings/sec, 150 secs
lola: sara is running 155 secs || 2320006 markings, 3427876 edges, 15194 markings/sec, 155 secs
lola: sara is running 160 secs || 2395620 markings, 3534628 edges, 15123 markings/sec, 160 secs
lola: sara is running 165 secs || 2469107 markings, 3643599 edges, 14697 markings/sec, 165 secs
lola: sara is running 170 secs || 2547338 markings, 3741482 edges, 15646 markings/sec, 170 secs
lola: sara is running 175 secs || 2625456 markings, 3846588 edges, 15624 markings/sec, 175 secs
lola: sara is running 180 secs || 2700392 markings, 3953389 edges, 14987 markings/sec, 180 secs
lola: sara is running 185 secs || 2782685 markings, 4059114 edges, 16459 markings/sec, 185 secs
lola: sara is running 190 secs || 2864203 markings, 4166485 edges, 16304 markings/sec, 190 secs
lola: sara is running 195 secs || 2942797 markings, 4270629 edges, 15719 markings/sec, 195 secs
lola: sara is running 200 secs || 3023422 markings, 4372016 edges, 16125 markings/sec, 200 secs
lola: sara is running 205 secs || 3100747 markings, 4469170 edges, 15465 markings/sec, 205 secs
lola: sara is running 210 secs || 3178271 markings, 4573188 edges, 15505 markings/sec, 210 secs
lola: sara is running 215 secs || 3255593 markings, 4674296 edges, 15464 markings/sec, 215 secs
lola: sara is running 220 secs || 3332577 markings, 4782555 edges, 15397 markings/sec, 220 secs
lola: sara is running 225 secs || 3412273 markings, 4885045 edges, 15939 markings/sec, 225 secs
lola: sara is running 230 secs || 3477665 markings, 5004194 edges, 13078 markings/sec, 230 secs
lola: sara is running 235 secs || 3557164 markings, 5109944 edges, 15900 markings/sec, 235 secs
lola: sara is running 240 secs || 3633298 markings, 5221084 edges, 15227 markings/sec, 240 secs
lola: sara is running 245 secs || 3717643 markings, 5329776 edges, 16869 markings/sec, 245 secs
lola: sara is running 250 secs || 3795252 markings, 5433201 edges, 15522 markings/sec, 250 secs
lola: sara is running 255 secs || 3870423 markings, 5535507 edges, 15034 markings/sec, 255 secs
lola: sara is running 260 secs || 3948204 markings, 5640038 edges, 15556 markings/sec, 260 secs
lola: sara is running 265 secs || 4021453 markings, 5745409 edges, 14650 markings/sec, 265 secs
lola: sara is running 270 secs || 4099391 markings, 5852345 edges, 15588 markings/sec, 270 secs
lola: sara is running 275 secs || 4172499 markings, 5954853 edges, 14622 markings/sec, 275 secs
lola: sara is running 280 secs || 4240109 markings, 6060278 edges, 13522 markings/sec, 280 secs
lola: sara is running 285 secs || 4320337 markings, 6161594 edges, 16046 markings/sec, 285 secs
lola: sara is running 290 secs || 4399575 markings, 6262963 edges, 15848 markings/sec, 290 secs
lola: sara is running 295 secs || 4476445 markings, 6364149 edges, 15374 markings/sec, 295 secs
lola: sara is running 300 secs || 4557018 markings, 6467803 edges, 16115 markings/sec, 300 secs
lola: sara is running 305 secs || 4635311 markings, 6574140 edges, 15659 markings/sec, 305 secs
lola: sara is running 310 secs || 4700456 markings, 6684915 edges, 13029 markings/sec, 310 secs
lola: sara is running 315 secs || 4769241 markings, 6795154 edges, 13757 markings/sec, 315 secs
lola: sara is running 320 secs || 4843446 markings, 6902448 edges, 14841 markings/sec, 320 secs
lola: sara is running 325 secs || 4915656 markings, 7005616 edges, 14442 markings/sec, 325 secs
lola: sara is running 330 secs || 4992025 markings, 7106052 edges, 15274 markings/sec, 330 secs
lola: sara is running 335 secs || 5056937 markings, 7208435 edges, 12982 markings/sec, 335 secs
lola: sara is running 340 secs || 5127601 markings, 7307353 edges, 14133 markings/sec, 340 secs
lola: sara is running 345 secs || 5201620 markings, 7409205 edges, 14804 markings/sec, 345 secs
lola: sara is running 350 secs || 5271793 markings, 7508782 edges, 14035 markings/sec, 350 secs
lola: sara is running 355 secs || 5337959 markings, 7617984 edges, 13233 markings/sec, 355 secs
lola: sara is running 360 secs || 5399441 markings, 7729773 edges, 12296 markings/sec, 360 secs
lola: sara is running 365 secs || 5469468 markings, 7834100 edges, 14005 markings/sec, 365 secs
lola: sara is running 370 secs || 5535928 markings, 7952019 edges, 13292 markings/sec, 370 secs
lola: sara is running 375 secs || 5603371 markings, 8072248 edges, 13489 markings/sec, 375 secs
lola: sara is running 380 secs || 5665437 markings, 8195496 edges, 12413 markings/sec, 380 secs
lola: sara is running 385 secs || 5735676 markings, 8300414 edges, 14048 markings/sec, 385 secs
lola: sara is running 390 secs || 5807511 markings, 8401620 edges, 14367 markings/sec, 390 secs
lola: sara is running 395 secs || 5868012 markings, 8517329 edges, 12100 markings/sec, 395 secs
lola: sara is running 400 secs || 5949405 markings, 8628806 edges, 16279 markings/sec, 400 secs
lola: sara is running 405 secs || 6039228 markings, 8743322 edges, 17965 markings/sec, 405 secs
lola: sara is running 410 secs || 6119847 markings, 8860283 edges, 16124 markings/sec, 410 secs
lola: sara is running 415 secs || 6195978 markings, 8982992 edges, 15226 markings/sec, 415 secs
lola: sara is running 420 secs || 6256426 markings, 9111292 edges, 12090 markings/sec, 420 secs
lola: sara is running 425 secs || 6333791 markings, 9220418 edges, 15473 markings/sec, 425 secs
lola: sara is running 430 secs || 6406974 markings, 9342244 edges, 14637 markings/sec, 430 secs
lola: sara is running 435 secs || 6481618 markings, 9448474 edges, 14929 markings/sec, 435 secs
lola: sara is running 440 secs || 6566885 markings, 9555383 edges, 17053 markings/sec, 440 secs
lola: sara is running 445 secs || 6651088 markings, 9662610 edges, 16841 markings/sec, 445 secs
lola: sara is running 450 secs || 6722475 markings, 9778827 edges, 14277 markings/sec, 450 secs
lola: sara is running 455 secs || 6787116 markings, 9902250 edges, 12928 markings/sec, 455 secs
lola: sara is running 460 secs || 6849595 markings, 10015176 edges, 12496 markings/sec, 460 secs
lola: sara is running 465 secs || 6923986 markings, 10126941 edges, 14878 markings/sec, 465 secs
lola: sara is running 470 secs || 6984753 markings, 10242023 edges, 12153 markings/sec, 470 secs
lola: sara is running 475 secs || 7074593 markings, 10353452 edges, 17968 markings/sec, 475 secs
lola: sara is running 480 secs || 7151810 markings, 10473008 edges, 15443 markings/sec, 480 secs
lola: sara is running 485 secs || 7235198 markings, 10587904 edges, 16678 markings/sec, 485 secs
lola: sara is running 490 secs || 7323666 markings, 10697510 edges, 17694 markings/sec, 490 secs
lola: sara is running 495 secs || 7403233 markings, 10806677 edges, 15913 markings/sec, 495 secs
lola: sara is running 500 secs || 7469204 markings, 10910672 edges, 13194 markings/sec, 500 secs
lola: sara is running 505 secs || 7545854 markings, 11008503 edges, 15330 markings/sec, 505 secs
lola: sara is running 510 secs || 7598230 markings, 11121059 edges, 10475 markings/sec, 510 secs
lola: sara is running 515 secs || 7662282 markings, 11224966 edges, 12810 markings/sec, 515 secs
lola: sara is running 520 secs || 7726408 markings, 11336988 edges, 12825 markings/sec, 520 secs
lola: sara is running 525 secs || 7800228 markings, 11450491 edges, 14764 markings/sec, 525 secs
lola: sara is running 530 secs || 7872721 markings, 11562981 edges, 14499 markings/sec, 530 secs
lola: sara is running 535 secs || 7929977 markings, 11670691 edges, 11451 markings/sec, 535 secs
lola: sara is running 540 secs || 8000048 markings, 11773520 edges, 14014 markings/sec, 540 secs
lola: sara is running 545 secs || 8059374 markings, 11882182 edges, 11865 markings/sec, 545 secs
lola: sara is running 550 secs || 8116794 markings, 11992005 edges, 11484 markings/sec, 550 secs
lola: sara is running 555 secs || 8197602 markings, 12100740 edges, 16162 markings/sec, 555 secs
lola: sara is running 560 secs || 8265958 markings, 12206323 edges, 13671 markings/sec, 560 secs
lola: sara is running 565 secs || 8332001 markings, 12307379 edges, 13209 markings/sec, 565 secs
lola: sara is running 570 secs || 8403184 markings, 12403634 edges, 14237 markings/sec, 570 secs
lola: sara is running 575 secs || 8467681 markings, 12506311 edges, 12899 markings/sec, 575 secs
lola: sara is running 580 secs || 8552699 markings, 12611515 edges, 17004 markings/sec, 580 secs
lola: sara is running 585 secs || 8630881 markings, 12716097 edges, 15636 markings/sec, 585 secs
lola: sara is running 590 secs || 8707029 markings, 12822934 edges, 15230 markings/sec, 590 secs
lola: sara is running 595 secs || 8779275 markings, 12927017 edges, 14449 markings/sec, 595 secs
lola: sara is running 600 secs || 8845189 markings, 13043486 edges, 13183 markings/sec, 600 secs
lola: sara is running 605 secs || 8919585 markings, 13154583 edges, 14879 markings/sec, 605 secs
lola: sara is running 610 secs || 8992173 markings, 13264736 edges, 14518 markings/sec, 610 secs
lola: sara is running 615 secs || 9053112 markings, 13386949 edges, 12188 markings/sec, 615 secs
lola: sara is running 620 secs || 9117384 markings, 13510420 edges, 12854 markings/sec, 620 secs
lola: sara is running 625 secs || 9191029 markings, 13628960 edges, 14729 markings/sec, 625 secs
lola: sara is running 630 secs || 9276619 markings, 13740749 edges, 17118 markings/sec, 630 secs
lola: sara is running 635 secs || 9368659 markings, 13854922 edges, 18408 markings/sec, 635 secs
lola: sara is running 640 secs || 9436179 markings, 13960472 edges, 13504 markings/sec, 640 secs
lola: sara is running 645 secs || 9491390 markings, 14072242 edges, 11042 markings/sec, 645 secs
lola: sara is running 650 secs || 9558522 markings, 14177630 edges, 13426 markings/sec, 650 secs
lola: sara is running 655 secs || 9626000 markings, 14280508 edges, 13496 markings/sec, 655 secs
lola: sara is running 660 secs || 9695266 markings, 14395855 edges, 13853 markings/sec, 660 secs
lola: sara is running 665 secs || 9760903 markings, 14492495 edges, 13127 markings/sec, 665 secs
lola: sara is running 670 secs || 9821492 markings, 14592808 edges, 12118 markings/sec, 670 secs
lola: sara is running 675 secs || 9880179 markings, 14700366 edges, 11737 markings/sec, 675 secs
lola: sara is running 680 secs || 9936474 markings, 14802248 edges, 11259 markings/sec, 680 secs
lola: sara is running 685 secs || 10003439 markings, 14897196 edges, 13393 markings/sec, 685 secs
lola: sara is running 690 secs || 10084229 markings, 14997233 edges, 16158 markings/sec, 690 secs
lola: sara is running 695 secs || 10155380 markings, 15108841 edges, 14230 markings/sec, 695 secs
lola: sara is running 700 secs || 10241326 markings, 15222452 edges, 17189 markings/sec, 700 secs
lola: sara is running 705 secs || 10333388 markings, 15335950 edges, 18412 markings/sec, 705 secs
lola: sara is running 710 secs || 10422764 markings, 15450587 edges, 17875 markings/sec, 710 secs
lola: sara is running 715 secs || 10484831 markings, 15574748 edges, 12413 markings/sec, 715 secs
lola: sara is running 720 secs || 10548600 markings, 15681517 edges, 12754 markings/sec, 720 secs
lola: sara is running 725 secs || 10626800 markings, 15783612 edges, 15640 markings/sec, 725 secs
lola: sara is running 730 secs || 10686067 markings, 15902198 edges, 11853 markings/sec, 730 secs
lola: sara is running 735 secs || 10769468 markings, 16018164 edges, 16680 markings/sec, 735 secs
lola: sara is running 740 secs || 10857263 markings, 16130004 edges, 17559 markings/sec, 740 secs
lola: sara is running 745 secs || 10934043 markings, 16251455 edges, 15356 markings/sec, 745 secs
lola: sara is running 750 secs || 11007256 markings, 16372209 edges, 14643 markings/sec, 750 secs
lola: sara is running 755 secs || 11067301 markings, 16489303 edges, 12009 markings/sec, 755 secs
lola: sara is running 760 secs || 11140469 markings, 16596448 edges, 14634 markings/sec, 760 secs
lola: sara is running 765 secs || 11203665 markings, 16707539 edges, 12639 markings/sec, 765 secs
lola: sara is running 770 secs || 11265615 markings, 16814203 edges, 12390 markings/sec, 770 secs
lola: sara is running 775 secs || 11334825 markings, 16914067 edges, 13842 markings/sec, 775 secs
lola: sara is running 780 secs || 11402625 markings, 17025151 edges, 13560 markings/sec, 780 secs
lola: sara is running 785 secs || 11481612 markings, 17143634 edges, 15797 markings/sec, 785 secs
lola: sara is running 790 secs || 11544795 markings, 17252383 edges, 12637 markings/sec, 790 secs
lola: sara is running 795 secs || 11608530 markings, 17365051 edges, 12747 markings/sec, 795 secs
lola: sara is running 800 secs || 11677419 markings, 17467749 edges, 13778 markings/sec, 800 secs
lola: sara is running 805 secs || 11736440 markings, 17589761 edges, 11804 markings/sec, 805 secs
lola: sara is running 810 secs || 11807675 markings, 17692337 edges, 14247 markings/sec, 810 secs
lola: sara is running 815 secs || 11877534 markings, 17800459 edges, 13972 markings/sec, 815 secs
lola: sara is running 820 secs || 11952094 markings, 17913918 edges, 14912 markings/sec, 820 secs
lola: sara is running 825 secs || 12021492 markings, 18037332 edges, 13880 markings/sec, 825 secs
lola: sara is running 830 secs || 12102241 markings, 18145770 edges, 16150 markings/sec, 830 secs
lola: sara is running 835 secs || 12177664 markings, 18260311 edges, 15085 markings/sec, 835 secs
lola: sara is running 840 secs || 12262334 markings, 18375759 edges, 16934 markings/sec, 840 secs
lola: sara is running 845 secs || 12353332 markings, 18488178 edges, 18200 markings/sec, 845 secs
lola: sara is running 850 secs || 12435030 markings, 18604674 edges, 16340 markings/sec, 850 secs
lola: sara is running 855 secs || 12513413 markings, 18715418 edges, 15677 markings/sec, 855 secs
lola: sara is running 860 secs || 12566192 markings, 18822287 edges, 10556 markings/sec, 860 secs
lola: sara is running 865 secs || 12632783 markings, 18938880 edges, 13318 markings/sec, 865 secs
lola: sara is running 870 secs || 12712314 markings, 19050386 edges, 15906 markings/sec, 870 secs
lola: sara is running 875 secs || 12785980 markings, 19148399 edges, 14733 markings/sec, 875 secs
lola: sara is running 880 secs || 12866000 markings, 19248184 edges, 16004 markings/sec, 880 secs
lola: sara is running 885 secs || 12931944 markings, 19362517 edges, 13189 markings/sec, 885 secs
lola: sara is running 890 secs || 13004646 markings, 19463242 edges, 14540 markings/sec, 890 secs
lola: sara is running 895 secs || 13063181 markings, 19585380 edges, 11707 markings/sec, 895 secs
lola: sara is running 900 secs || 13135076 markings, 19697753 edges, 14379 markings/sec, 900 secs
lola: sara is running 905 secs || 13215406 markings, 19805787 edges, 16066 markings/sec, 905 secs
lola: sara is running 910 secs || 13289506 markings, 19907674 edges, 14820 markings/sec, 910 secs
lola: sara is running 915 secs || 13353195 markings, 20010019 edges, 12738 markings/sec, 915 secs
lola: sara is running 920 secs || 13421379 markings, 20122812 edges, 13637 markings/sec, 920 secs
lola: sara is running 925 secs || 13481345 markings, 20230407 edges, 11993 markings/sec, 925 secs
lola: sara is running 930 secs || 13543595 markings, 20334147 edges, 12450 markings/sec, 930 secs
lola: sara is running 935 secs || 13611847 markings, 20446446 edges, 13650 markings/sec, 935 secs
lola: sara is running 940 secs || 13676235 markings, 20553233 edges, 12878 markings/sec, 940 secs
lola: sara is running 945 secs || 13738470 markings, 20668598 edges, 12447 markings/sec, 945 secs
lola: sara is running 950 secs || 13806042 markings, 20778366 edges, 13514 markings/sec, 950 secs
lola: sara is running 955 secs || 13867897 markings, 20894620 edges, 12371 markings/sec, 955 secs
lola: sara is running 960 secs || 13929433 markings, 21014720 edges, 12307 markings/sec, 960 secs
lola: sara is running 965 secs || 14001427 markings, 21126882 edges, 14399 markings/sec, 965 secs
lola: sara is running 970 secs || 14085905 markings, 21231310 edges, 16896 markings/sec, 970 secs
lola: sara is running 975 secs || 14158812 markings, 21339005 edges, 14581 markings/sec, 975 secs
lola: sara is running 980 secs || 14236969 markings, 21436355 edges, 15631 markings/sec, 980 secs
lola: sara is running 985 secs || 14299746 markings, 21542790 edges, 12555 markings/sec, 985 secs
lola: sara is running 990 secs || 14373944 markings, 21644763 edges, 14840 markings/sec, 990 secs
lola: sara is running 995 secs || 14430943 markings, 21754771 edges, 11400 markings/sec, 995 secs
lola: sara is running 1000 secs || 14504704 markings, 21864205 edges, 14752 markings/sec, 1000 secs
lola: sara is running 1005 secs || 14585992 markings, 21962547 edges, 16258 markings/sec, 1005 secs
lola: sara is running 1010 secs || 14663567 markings, 22066977 edges, 15515 markings/sec, 1010 secs
lola: sara is running 1015 secs || 14742894 markings, 22164759 edges, 15865 markings/sec, 1015 secs
lola: sara is running 1020 secs || 14817386 markings, 22266632 edges, 14898 markings/sec, 1020 secs
lola: sara is running 1025 secs || 14893967 markings, 22368600 edges, 15316 markings/sec, 1025 secs
lola: sara is running 1030 secs || 14960329 markings, 22476473 edges, 13272 markings/sec, 1030 secs
lola: sara is running 1035 secs || 15023862 markings, 22583644 edges, 12707 markings/sec, 1035 secs
lola: sara is running 1040 secs || 15089393 markings, 22689513 edges, 13106 markings/sec, 1040 secs
lola: sara is running 1045 secs || 15160239 markings, 22795507 edges, 14169 markings/sec, 1045 secs
lola: sara is running 1050 secs || 15227366 markings, 22891042 edges, 13425 markings/sec, 1050 secs
lola: sara is running 1055 secs || 15289858 markings, 22991637 edges, 12498 markings/sec, 1055 secs
lola: sara is running 1060 secs || 15358798 markings, 23079767 edges, 13788 markings/sec, 1060 secs
lola: sara is running 1065 secs || 15435306 markings, 23177596 edges, 15302 markings/sec, 1065 secs
lola: sara is running 1070 secs || 15508712 markings, 23284014 edges, 14681 markings/sec, 1070 secs
lola: sara is running 1075 secs || 15588753 markings, 23389246 edges, 16008 markings/sec, 1075 secs
lola: sara is running 1080 secs || 15656207 markings, 23487272 edges, 13491 markings/sec, 1080 secs
lola: sara is running 1085 secs || 15722184 markings, 23599761 edges, 13195 markings/sec, 1085 secs
lola: sara is running 1090 secs || 15800135 markings, 23699448 edges, 15590 markings/sec, 1090 secs
lola: sara is running 1095 secs || 15868923 markings, 23802659 edges, 13758 markings/sec, 1095 secs
lola: sara is running 1100 secs || 15922271 markings, 23916555 edges, 10670 markings/sec, 1100 secs
lola: sara is running 1105 secs || 15984519 markings, 24019388 edges, 12450 markings/sec, 1105 secs
lola: sara is running 1110 secs || 16051316 markings, 24117837 edges, 13359 markings/sec, 1110 secs
lola: sara is running 1115 secs || 16121427 markings, 24218159 edges, 14022 markings/sec, 1115 secs
lola: sara is running 1120 secs || 16201571 markings, 24317135 edges, 16029 markings/sec, 1120 secs
lola: sara is running 1125 secs || 16269282 markings, 24422391 edges, 13542 markings/sec, 1125 secs
lola: sara is running 1130 secs || 16340543 markings, 24522777 edges, 14252 markings/sec, 1130 secs
lola: sara is running 1135 secs || 16417448 markings, 24619745 edges, 15381 markings/sec, 1135 secs
lola: sara is running 1140 secs || 16498047 markings, 24720655 edges, 16120 markings/sec, 1140 secs
lola: sara is running 1145 secs || 16576903 markings, 24821838 edges, 15771 markings/sec, 1145 secs
lola: sara is running 1150 secs || 16640180 markings, 24916811 edges, 12655 markings/sec, 1150 secs
lola: sara is running 1155 secs || 16716191 markings, 25020942 edges, 15202 markings/sec, 1155 secs
lola: sara is running 1160 secs || 16797138 markings, 25120665 edges, 16189 markings/sec, 1160 secs
lola: sara is running 1165 secs || 16877713 markings, 25220553 edges, 16115 markings/sec, 1165 secs
lola: sara is running 1170 secs || 16954043 markings, 25322547 edges, 15266 markings/sec, 1170 secs
lola: sara is running 1175 secs || 17025684 markings, 25433630 edges, 14328 markings/sec, 1175 secs
lola: sara is running 1180 secs || 17094951 markings, 25536264 edges, 13853 markings/sec, 1180 secs
lola: sara is running 1185 secs || 17157626 markings, 25639550 edges, 12535 markings/sec, 1185 secs
lola: sara is running 1190 secs || 17236189 markings, 25736887 edges, 15713 markings/sec, 1190 secs
lola: sara is running 1195 secs || 17302217 markings, 25833304 edges, 13206 markings/sec, 1195 secs
lola: sara is running 1200 secs || 17374418 markings, 25930723 edges, 14440 markings/sec, 1200 secs
lola: sara is running 1205 secs || 17443741 markings, 26026518 edges, 13865 markings/sec, 1205 secs
lola: sara is running 1210 secs || 17526930 markings, 26129488 edges, 16638 markings/sec, 1210 secs
lola: sara is running 1215 secs || 17604771 markings, 26226732 edges, 15568 markings/sec, 1215 secs
lola: sara is running 1220 secs || 17681738 markings, 26330862 edges, 15393 markings/sec, 1220 secs
lola: sara is running 1225 secs || 17763235 markings, 26433591 edges, 16299 markings/sec, 1225 secs
lola: sara is running 1230 secs || 17846030 markings, 26537359 edges, 16559 markings/sec, 1230 secs
lola: sara is running 1235 secs || 17924812 markings, 26639912 edges, 15756 markings/sec, 1235 secs
lola: sara is running 1240 secs || 18002256 markings, 26741745 edges, 15489 markings/sec, 1240 secs
lola: sara is running 1245 secs || 18077481 markings, 26841222 edges, 15045 markings/sec, 1245 secs
lola: sara is running 1250 secs || 18144261 markings, 26941313 edges, 13356 markings/sec, 1250 secs
lola: sara is running 1255 secs || 18212772 markings, 27046052 edges, 13702 markings/sec, 1255 secs
lola: sara is running 1260 secs || 18281107 markings, 27158656 edges, 13667 markings/sec, 1260 secs
lola: sara is running 1265 secs || 18343396 markings, 27259546 edges, 12458 markings/sec, 1265 secs
lola: sara is running 1270 secs || 18410674 markings, 27357848 edges, 13456 markings/sec, 1270 secs
lola: sara is running 1275 secs || 18474251 markings, 27454812 edges, 12715 markings/sec, 1275 secs
lola: sara is running 1280 secs || 18541253 markings, 27549488 edges, 13400 markings/sec, 1280 secs
lola: sara is running 1285 secs || 18602371 markings, 27646376 edges, 12224 markings/sec, 1285 secs
lola: sara is running 1290 secs || 18667771 markings, 27745157 edges, 13080 markings/sec, 1290 secs
lola: sara is running 1295 secs || 18733665 markings, 27842665 edges, 13179 markings/sec, 1295 secs
lola: sara is running 1300 secs || 18793852 markings, 27944604 edges, 12037 markings/sec, 1300 secs
lola: sara is running 1305 secs || 18849210 markings, 28049040 edges, 11072 markings/sec, 1305 secs
lola: sara is running 1310 secs || 18908395 markings, 28153512 edges, 11837 markings/sec, 1310 secs
lola: sara is running 1315 secs || 18976250 markings, 28249777 edges, 13571 markings/sec, 1315 secs
lola: sara is running 1320 secs || 19042186 markings, 28350987 edges, 13187 markings/sec, 1320 secs
lola: sara is running 1325 secs || 19107309 markings, 28446153 edges, 13025 markings/sec, 1325 secs
lola: sara is running 1330 secs || 19172651 markings, 28541632 edges, 13068 markings/sec, 1330 secs
lola: sara is running 1335 secs || 19225362 markings, 28648624 edges, 10542 markings/sec, 1335 secs
lola: sara is running 1340 secs || 19277563 markings, 28776446 edges, 10440 markings/sec, 1340 secs
lola: sara is running 1345 secs || 19338295 markings, 28890919 edges, 12146 markings/sec, 1345 secs
lola: sara is running 1350 secs || 19402159 markings, 28992198 edges, 12773 markings/sec, 1350 secs
lola: sara is running 1355 secs || 19455422 markings, 29117948 edges, 10653 markings/sec, 1355 secs
lola: sara is running 1360 secs || 19514524 markings, 29227458 edges, 11820 markings/sec, 1360 secs
lola: sara is running 1365 secs || 19571658 markings, 29317447 edges, 11427 markings/sec, 1365 secs
lola: sara is running 1370 secs || 19642976 markings, 29408720 edges, 14264 markings/sec, 1370 secs
lola: sara is running 1375 secs || 19713170 markings, 29500328 edges, 14039 markings/sec, 1375 secs
lola: sara is running 1380 secs || 19778745 markings, 29591026 edges, 13115 markings/sec, 1380 secs
lola: sara is running 1385 secs || 19838008 markings, 29680587 edges, 11853 markings/sec, 1385 secs
lola: sara is running 1390 secs || 19908572 markings, 29769354 edges, 14113 markings/sec, 1390 secs
lola: sara is running 1395 secs || 19982340 markings, 29861412 edges, 14754 markings/sec, 1395 secs
lola: sara is running 1400 secs || 20055391 markings, 29955545 edges, 14610 markings/sec, 1400 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no yes yes unknown yes no yes unknown no no no yes
lola: memory consumption: 3114316 KB
lola: time consumption: 2161 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p1979 <= p79) OR (p875 <= p773)) AND ((p1871 <= p2081) OR (p1744 <= p1170)) AND (1 <= p2495))))
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 ((((p1979 <= p79) OR (p875 <= p773)) AND ((p1871 <= p2081) OR (p1744 <= p1170)) AND (1 <= p2495))))
lola: processed formula length: 106
lola: 13 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: (((p1979 <= p79) OR (p875 <= p773)) AND ((p1871 <= p2081) OR (p1744 <= p1170)) AND (1 <= p2495))
lola: state equation: Generated DNF with 12 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-15-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: 53 markings, 52 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-307-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (((p1306 <= p1372) OR (1 <= p1154) OR (p2065 <= p835))))
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 (((p1306 <= p1372) OR (1 <= p1154) OR (p2065 <= p835))))
lola: processed formula length: 63
lola: 14 rewrites
lola: closed formula file CloudReconfiguration-PT-307-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: ((p1372 + 1 <= p1306) AND (p1154 <= 0) AND (p835 + 1 <= p2065))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-307-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-307-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 34410 markings, 78455 edges, 6882 markings/sec, 0 secs
lola: sara is running 5 secs || 98160 markings, 157827 edges, 12750 markings/sec, 5 secs
lola: sara is running 10 secs || 168744 markings, 244435 edges, 14117 markings/sec, 10 secs
lola: sara is running 15 secs || 232658 markings, 322159 edges, 12783 markings/sec, 15 secs
lola: sara is running 20 secs || 304515 markings, 411778 edges, 14371 markings/sec, 20 secs
lola: sara is running 25 secs || 374077 markings, 505574 edges, 13912 markings/sec, 25 secs
lola: sara is running 30 secs || 435024 markings, 579944 edges, 12189 markings/sec, 30 secs
lola: sara is running 35 secs || 503569 markings, 665327 edges, 13709 markings/sec, 35 secs
lola: sara is running 40 secs || 572583 markings, 751471 edges, 13803 markings/sec, 40 secs
lola: sara is running 45 secs || 629991 markings, 821284 edges, 11482 markings/sec, 45 secs
lola: sara is running 50 secs || 686324 markings, 889946 edges, 11267 markings/sec, 50 secs
lola: sara is running 55 secs || 751916 markings, 971369 edges, 13118 markings/sec, 55 secs
lola: sara is running 60 secs || 818950 markings, 1056218 edges, 13407 markings/sec, 60 secs
lola: sara is running 65 secs || 884355 markings, 1137893 edges, 13081 markings/sec, 65 secs
lola: sara is running 70 secs || 947817 markings, 1217479 edges, 12692 markings/sec, 70 secs
lola: sara is running 75 secs || 1007356 markings, 1290024 edges, 11908 markings/sec, 75 secs
lola: sara is running 80 secs || 1061802 markings, 1356313 edges, 10889 markings/sec, 80 secs
lola: sara is running 85 secs || 1118343 markings, 1425330 edges, 11308 markings/sec, 85 secs
lola: sara is running 90 secs || 1174582 markings, 1493649 edges, 11248 markings/sec, 90 secs
lola: sara is running 95 secs || 1232747 markings, 1564189 edges, 11633 markings/sec, 95 secs
lola: sara is running 100 secs || 1292512 markings, 1638732 edges, 11953 markings/sec, 100 secs
lola: sara is running 105 secs || 1361588 markings, 1726639 edges, 13815 markings/sec, 105 secs
lola: sara is running 110 secs || 1425669 markings, 1808787 edges, 12816 markings/sec, 110 secs
lola: sara is running 115 secs || 1490375 markings, 1890736 edges, 12941 markings/sec, 115 secs
lola: sara is running 120 secs || 1551658 markings, 1967224 edges, 12257 markings/sec, 120 secs
lola: sara is running 125 secs || 1615017 markings, 2048363 edges, 12672 markings/sec, 125 secs
lola: sara is running 130 secs || 1671334 markings, 2120262 edges, 11263 markings/sec, 130 secs
lola: sara is running 135 secs || 1728940 markings, 2190542 edges, 11521 markings/sec, 135 secs
lola: sara is running 140 secs || 1785844 markings, 2260999 edges, 11381 markings/sec, 140 secs
lola: sara is running 145 secs || 1853457 markings, 2348626 edges, 13523 markings/sec, 145 secs
lola: sara is running 150 secs || 1916405 markings, 2429778 edges, 12590 markings/sec, 150 secs
lola: sara is running 155 secs || 1978852 markings, 2510054 edges, 12489 markings/sec, 155 secs
lola: sara is running 160 secs || 2040012 markings, 2586440 edges, 12232 markings/sec, 160 secs
lola: sara is running 165 secs || 2093739 markings, 2653806 edges, 10745 markings/sec, 165 secs
lola: sara is running 170 secs || 2160381 markings, 2740587 edges, 13328 markings/sec, 170 secs
lola: sara is running 175 secs || 2216872 markings, 2811356 edges, 11298 markings/sec, 175 secs
lola: sara is running 180 secs || 2279809 markings, 2885857 edges, 12587 markings/sec, 180 secs
lola: sara is running 185 secs || 2340046 markings, 2973919 edges, 12047 markings/sec, 185 secs
lola: sara is running 190 secs || 2387058 markings, 3084251 edges, 9402 markings/sec, 190 secs
lola: sara is running 195 secs || 2432858 markings, 3198681 edges, 9160 markings/sec, 195 secs
lola: sara is running 200 secs || 2478164 markings, 3310032 edges, 9061 markings/sec, 200 secs
lola: sara is running 205 secs || 2527751 markings, 3401964 edges, 9917 markings/sec, 205 secs
lola: sara is running 210 secs || 2576034 markings, 3482959 edges, 9657 markings/sec, 210 secs
lola: sara is running 215 secs || 2626281 markings, 3583441 edges, 10049 markings/sec, 215 secs
lola: sara is running 220 secs || 2675346 markings, 3698957 edges, 9813 markings/sec, 220 secs
lola: sara is running 225 secs || 2722002 markings, 3802465 edges, 9331 markings/sec, 225 secs
lola: sara is running 230 secs || 2773331 markings, 3898519 edges, 10266 markings/sec, 230 secs
lola: sara is running 235 secs || 2825783 markings, 3986390 edges, 10490 markings/sec, 235 secs
lola: sara is running 240 secs || 2879382 markings, 4085169 edges, 10720 markings/sec, 240 secs
lola: sara is running 245 secs || 2944497 markings, 4172027 edges, 13023 markings/sec, 245 secs
lola: sara is running 250 secs || 3012437 markings, 4265085 edges, 13588 markings/sec, 250 secs
lola: sara is running 255 secs || 3080789 markings, 4353134 edges, 13670 markings/sec, 255 secs
lola: sara is running 260 secs || 3147493 markings, 4438362 edges, 13341 markings/sec, 260 secs
lola: sara is running 265 secs || 3207246 markings, 4513584 edges, 11951 markings/sec, 265 secs
lola: sara is running 270 secs || 3268355 markings, 4589513 edges, 12222 markings/sec, 270 secs
lola: sara is running 275 secs || 3327839 markings, 4663605 edges, 11897 markings/sec, 275 secs
lola: sara is running 280 secs || 3388177 markings, 4741069 edges, 12068 markings/sec, 280 secs
lola: sara is running 285 secs || 3461434 markings, 4834436 edges, 14651 markings/sec, 285 secs
lola: sara is running 290 secs || 3532718 markings, 4926109 edges, 14257 markings/sec, 290 secs
lola: sara is running 295 secs || 3606539 markings, 5021511 edges, 14764 markings/sec, 295 secs
lola: sara is running 300 secs || 3662128 markings, 5147991 edges, 11118 markings/sec, 300 secs
lola: sara is running 305 secs || 3717984 markings, 5275418 edges, 11171 markings/sec, 305 secs
lola: sara is running 310 secs || 3773854 markings, 5402914 edges, 11174 markings/sec, 310 secs
lola: sara is running 315 secs || 3830107 markings, 5530285 edges, 11251 markings/sec, 315 secs
lola: sara is running 320 secs || 3886041 markings, 5657808 edges, 11187 markings/sec, 320 secs
lola: sara is running 325 secs || 3941613 markings, 5784561 edges, 11114 markings/sec, 325 secs
lola: sara is running 330 secs || 3996750 markings, 5909857 edges, 11027 markings/sec, 330 secs
lola: sara is running 335 secs || 4052070 markings, 6035960 edges, 11064 markings/sec, 335 secs
lola: sara is running 340 secs || 4106049 markings, 6158856 edges, 10796 markings/sec, 340 secs
lola: sara is running 345 secs || 4155959 markings, 6271757 edges, 9982 markings/sec, 345 secs
lola: sara is running 350 secs || 4205400 markings, 6384678 edges, 9888 markings/sec, 350 secs
lola: sara is running 355 secs || 4254974 markings, 6497745 edges, 9915 markings/sec, 355 secs
lola: sara is running 360 secs || 4304837 markings, 6610570 edges, 9973 markings/sec, 360 secs
lola: sara is running 365 secs || 4353113 markings, 6720549 edges, 9655 markings/sec, 365 secs
lola: sara is running 370 secs || 4400327 markings, 6827806 edges, 9443 markings/sec, 370 secs
lola: sara is running 375 secs || 4449031 markings, 6939128 edges, 9741 markings/sec, 375 secs
lola: sara is running 380 secs || 4497297 markings, 7049290 edges, 9653 markings/sec, 380 secs
lola: sara is running 385 secs || 4538697 markings, 7143329 edges, 8280 markings/sec, 385 secs
lola: sara is running 390 secs || 4580188 markings, 7238044 edges, 8298 markings/sec, 390 secs
lola: sara is running 395 secs || 4621855 markings, 7332454 edges, 8333 markings/sec, 395 secs
lola: sara is running 400 secs || 4663395 markings, 7426812 edges, 8308 markings/sec, 400 secs
lola: sara is running 405 secs || 4704934 markings, 7521327 edges, 8308 markings/sec, 405 secs
lola: sara is running 410 secs || 4746404 markings, 7615852 edges, 8294 markings/sec, 410 secs
lola: sara is running 415 secs || 4787545 markings, 7709589 edges, 8228 markings/sec, 415 secs
lola: sara is running 420 secs || 4828167 markings, 7801873 edges, 8124 markings/sec, 420 secs
lola: sara is running 425 secs || 4868659 markings, 7893991 edges, 8098 markings/sec, 425 secs
lola: sara is running 430 secs || 4910073 markings, 7988352 edges, 8283 markings/sec, 430 secs
lola: sara is running 435 secs || 4950106 markings, 8079317 edges, 8007 markings/sec, 435 secs
lola: sara is running 440 secs || 4986022 markings, 8161369 edges, 7183 markings/sec, 440 secs
lola: sara is running 445 secs || 5022175 markings, 8243398 edges, 7231 markings/sec, 445 secs
lola: sara is running 450 secs || 5058192 markings, 8325253 edges, 7203 markings/sec, 450 secs
lola: sara is running 455 secs || 5094111 markings, 8407481 edges, 7184 markings/sec, 455 secs
lola: sara is running 460 secs || 5130344 markings, 8489732 edges, 7247 markings/sec, 460 secs
lola: sara is running 465 secs || 5166429 markings, 8571678 edges, 7217 markings/sec, 465 secs
lola: sara is running 470 secs || 5201597 markings, 8652348 edges, 7034 markings/sec, 470 secs
lola: sara is running 475 secs || 5237549 markings, 8734147 edges, 7190 markings/sec, 475 secs
lola: sara is running 480 secs || 5273210 markings, 8814655 edges, 7132 markings/sec, 480 secs
lola: sara is running 485 secs || 5308875 markings, 8895894 edges, 7133 markings/sec, 485 secs
lola: sara is running 490 secs || 5344907 markings, 8978234 edges, 7206 markings/sec, 490 secs
lola: sara is running 495 secs || 5379483 markings, 9057205 edges, 6915 markings/sec, 495 secs
lola: sara is running 500 secs || 5410398 markings, 9126939 edges, 6183 markings/sec, 500 secs
lola: sara is running 505 secs || 5441200 markings, 9197641 edges, 6160 markings/sec, 505 secs
lola: sara is running 510 secs || 5471995 markings, 9267287 edges, 6159 markings/sec, 510 secs
lola: sara is running 515 secs || 5502448 markings, 9336641 edges, 6091 markings/sec, 515 secs
lola: sara is running 520 secs || 5532934 markings, 9405980 edges, 6097 markings/sec, 520 secs
lola: sara is running 525 secs || 5563192 markings, 9474960 edges, 6052 markings/sec, 525 secs
lola: sara is running 530 secs || 5593110 markings, 9542403 edges, 5984 markings/sec, 530 secs
lola: sara is running 535 secs || 5622663 markings, 9609996 edges, 5911 markings/sec, 535 secs
lola: sara is running 540 secs || 5652457 markings, 9677336 edges, 5959 markings/sec, 540 secs
lola: sara is running 545 secs || 5681310 markings, 9743213 edges, 5771 markings/sec, 545 secs
lola: sara is running 550 secs || 5710112 markings, 9809086 edges, 5760 markings/sec, 550 secs
lola: sara is running 555 secs || 5739007 markings, 9874878 edges, 5779 markings/sec, 555 secs
lola: sara is running 560 secs || 5768187 markings, 9940658 edges, 5836 markings/sec, 560 secs
lola: sara is running 565 secs || 5796946 markings, 10006457 edges, 5752 markings/sec, 565 secs
lola: sara is running 570 secs || 5825781 markings, 10072279 edges, 5767 markings/sec, 570 secs
lola: sara is running 575 secs || 5854886 markings, 10138125 edges, 5821 markings/sec, 575 secs
lola: sara is running 580 secs || 5883820 markings, 10203844 edges, 5787 markings/sec, 580 secs
lola: sara is running 585 secs || 5912572 markings, 10269784 edges, 5750 markings/sec, 585 secs
lola: sara is running 590 secs || 5941365 markings, 10335197 edges, 5759 markings/sec, 590 secs
lola: sara is running 595 secs || 5970433 markings, 10400804 edges, 5814 markings/sec, 595 secs
lola: sara is running 600 secs || 5999351 markings, 10466559 edges, 5784 markings/sec, 600 secs
lola: sara is running 605 secs || 6027999 markings, 10532375 edges, 5730 markings/sec, 605 secs
lola: sara is running 610 secs || 6056957 markings, 10598274 edges, 5792 markings/sec, 610 secs
lola: sara is running 615 secs || 6085973 markings, 10663568 edges, 5803 markings/sec, 615 secs
lola: sara is running 620 secs || 6111550 markings, 10722508 edges, 5115 markings/sec, 620 secs
lola: sara is running 625 secs || 6137520 markings, 10781441 edges, 5194 markings/sec, 625 secs
lola: sara is running 630 secs || 6163301 markings, 10840162 edges, 5156 markings/sec, 630 secs
lola: sara is running 635 secs || 6189389 markings, 10898935 edges, 5218 markings/sec, 635 secs
lola: sara is running 640 secs || 6214844 markings, 10956916 edges, 5091 markings/sec, 640 secs
lola: sara is running 645 secs || 6240094 markings, 11014890 edges, 5050 markings/sec, 645 secs
lola: sara is running 650 secs || 6265647 markings, 11072797 edges, 5111 markings/sec, 650 secs
lola: sara is running 655 secs || 6291122 markings, 11130650 edges, 5095 markings/sec, 655 secs
lola: sara is running 660 secs || 6316311 markings, 11187646 edges, 5038 markings/sec, 660 secs
lola: sara is running 665 secs || 6341051 markings, 11244494 edges, 4948 markings/sec, 665 secs
lola: sara is running 670 secs || 6366020 markings, 11301217 edges, 4994 markings/sec, 670 secs
lola: sara is running 675 secs || 6391049 markings, 11357432 edges, 5006 markings/sec, 675 secs
lola: sara is running 680 secs || 6415379 markings, 11413556 edges, 4866 markings/sec, 680 secs
lola: sara is running 685 secs || 6440139 markings, 11469584 edges, 4952 markings/sec, 685 secs
lola: sara is running 690 secs || 6465202 markings, 11526295 edges, 5013 markings/sec, 690 secs
lola: sara is running 695 secs || 6488924 markings, 11580725 edges, 4744 markings/sec, 695 secs
lola: sara is running 700 secs || 6513256 markings, 11635445 edges, 4866 markings/sec, 700 secs
lola: sara is running 705 secs || 6537081 markings, 11690277 edges, 4765 markings/sec, 705 secs
lola: sara is running 710 secs || 6561381 markings, 11744921 edges, 4860 markings/sec, 710 secs
lola: sara is running 715 secs || 6584951 markings, 11799177 edges, 4714 markings/sec, 715 secs
lola: sara is running 720 secs || 6608851 markings, 11852965 edges, 4780 markings/sec, 720 secs
lola: sara is running 725 secs || 6632365 markings, 11907045 edges, 4703 markings/sec, 725 secs
lola: sara is running 730 secs || 6656326 markings, 11960858 edges, 4792 markings/sec, 730 secs
lola: sara is running 735 secs || 6679590 markings, 12014171 edges, 4653 markings/sec, 735 secs
lola: sara is running 740 secs || 6703152 markings, 12067308 edges, 4712 markings/sec, 740 secs
lola: sara is running 745 secs || 6726385 markings, 12120516 edges, 4647 markings/sec, 745 secs
lola: sara is running 750 secs || 6749632 markings, 12172976 edges, 4649 markings/sec, 750 secs
lola: sara is running 755 secs || 6772651 markings, 12225652 edges, 4604 markings/sec, 755 secs
lola: sara is running 760 secs || 6796769 markings, 12280703 edges, 4824 markings/sec, 760 secs
lola: sara is running 765 secs || 6822744 markings, 12339520 edges, 5195 markings/sec, 765 secs
lola: sara is running 770 secs || 6848604 markings, 12398388 edges, 5172 markings/sec, 770 secs
lola: sara is running 775 secs || 6892493 markings, 12471311 edges, 8778 markings/sec, 775 secs
lola: sara is running 780 secs || 6966889 markings, 12568085 edges, 14879 markings/sec, 780 secs
lola: sara is running 785 secs || 7033441 markings, 12654538 edges, 13310 markings/sec, 785 secs
lola: sara is running 790 secs || 7099749 markings, 12735694 edges, 13262 markings/sec, 790 secs
lola: sara is running 795 secs || 7150082 markings, 12798272 edges, 10067 markings/sec, 795 secs
lola: sara is running 800 secs || 7208103 markings, 12871169 edges, 11604 markings/sec, 800 secs
lola: sara is running 805 secs || 7270801 markings, 12947792 edges, 12540 markings/sec, 805 secs
lola: sara is running 810 secs || 7319297 markings, 13006615 edges, 9699 markings/sec, 810 secs
lola: sara is running 815 secs || 7381552 markings, 13083394 edges, 12451 markings/sec, 815 secs
lola: sara is running 820 secs || 7439825 markings, 13154443 edges, 11655 markings/sec, 820 secs
lola: sara is running 825 secs || 7496983 markings, 13225123 edges, 11432 markings/sec, 825 secs
lola: sara is running 830 secs || 7558860 markings, 13303216 edges, 12375 markings/sec, 830 secs
lola: sara is running 835 secs || 7618744 markings, 13377225 edges, 11977 markings/sec, 835 secs
lola: sara is running 840 secs || 7681225 markings, 13455443 edges, 12496 markings/sec, 840 secs
lola: sara is running 845 secs || 7729009 markings, 13516109 edges, 9557 markings/sec, 845 secs
lola: sara is running 850 secs || 7783952 markings, 13588963 edges, 10989 markings/sec, 850 secs
lola: sara is running 855 secs || 7848620 markings, 13668046 edges, 12934 markings/sec, 855 secs
lola: sara is running 860 secs || 7899152 markings, 13733161 edges, 10106 markings/sec, 860 secs
lola: sara is running 865 secs || 7966013 markings, 13815497 edges, 13372 markings/sec, 865 secs
lola: sara is running 870 secs || 8011616 markings, 13875140 edges, 9121 markings/sec, 870 secs
lola: sara is running 875 secs || 8058473 markings, 13949870 edges, 9371 markings/sec, 875 secs
lola: sara is running 880 secs || 8124386 markings, 14031899 edges, 13183 markings/sec, 880 secs
lola: sara is running 885 secs || 8184912 markings, 14105788 edges, 12105 markings/sec, 885 secs
lola: sara is running 890 secs || 8233847 markings, 14165108 edges, 9787 markings/sec, 890 secs
lola: sara is running 895 secs || 8296352 markings, 14241741 edges, 12501 markings/sec, 895 secs
lola: sara is running 900 secs || 8354435 markings, 14312537 edges, 11617 markings/sec, 900 secs
lola: sara is running 905 secs || 8413146 markings, 14384358 edges, 11742 markings/sec, 905 secs
lola: sara is running 910 secs || 8471618 markings, 14458312 edges, 11694 markings/sec, 910 secs
lola: sara is running 915 secs || 8532067 markings, 14533023 edges, 12090 markings/sec, 915 secs
lola: sara is running 920 secs || 8591139 markings, 14607025 edges, 11814 markings/sec, 920 secs
lola: sara is running 925 secs || 8641811 markings, 14671083 edges, 10134 markings/sec, 925 secs
lola: sara is running 930 secs || 8707929 markings, 14752185 edges, 13224 markings/sec, 930 secs
lola: sara is running 935 secs || 8761258 markings, 14816948 edges, 10666 markings/sec, 935 secs
lola: sara is running 940 secs || 8825621 markings, 14896449 edges, 12873 markings/sec, 940 secs
lola: sara is running 945 secs || 8871600 markings, 14957300 edges, 9196 markings/sec, 945 secs
lola: sara is running 950 secs || 8941423 markings, 15046894 edges, 13965 markings/sec, 950 secs
lola: sara is running 955 secs || 9003326 markings, 15125212 edges, 12381 markings/sec, 955 secs
lola: sara is running 960 secs || 9062190 markings, 15198546 edges, 11773 markings/sec, 960 secs
lola: sara is running 965 secs || 9115658 markings, 15266060 edges, 10694 markings/sec, 965 secs
lola: sara is running 970 secs || 9175821 markings, 15340615 edges, 12033 markings/sec, 970 secs
lola: sara is running 975 secs || 9229418 markings, 15407266 edges, 10719 markings/sec, 975 secs
lola: sara is running 980 secs || 9285462 markings, 15477298 edges, 11209 markings/sec, 980 secs
lola: sara is running 985 secs || 9342743 markings, 15547184 edges, 11456 markings/sec, 985 secs
lola: sara is running 990 secs || 9396456 markings, 15616167 edges, 10743 markings/sec, 990 secs
lola: sara is running 995 secs || 9463201 markings, 15701805 edges, 13349 markings/sec, 995 secs
lola: sara is running 1000 secs || 9517639 markings, 15768061 edges, 10888 markings/sec, 1000 secs
lola: sara is running 1005 secs || 9572587 markings, 15836570 edges, 10990 markings/sec, 1005 secs
lola: sara is running 1010 secs || 9632236 markings, 15909293 edges, 11930 markings/sec, 1010 secs
lola: sara is running 1015 secs || 9697922 markings, 15989741 edges, 13137 markings/sec, 1015 secs
lola: sara is running 1020 secs || 9761911 markings, 16069263 edges, 12798 markings/sec, 1020 secs
lola: sara is running 1025 secs || 9823413 markings, 16144108 edges, 12300 markings/sec, 1025 secs
lola: sara is running 1030 secs || 9887917 markings, 16223313 edges, 12901 markings/sec, 1030 secs
lola: sara is running 1035 secs || 9953412 markings, 16305948 edges, 13099 markings/sec, 1035 secs
lola: sara is running 1040 secs || 10014116 markings, 16383270 edges, 12141 markings/sec, 1040 secs
lola: sara is running 1045 secs || 10073734 markings, 16459262 edges, 11924 markings/sec, 1045 secs
lola: sara is running 1050 secs || 10139615 markings, 16541273 edges, 13176 markings/sec, 1050 secs
lola: sara is running 1055 secs || 10205556 markings, 16622450 edges, 13188 markings/sec, 1055 secs
lola: sara is running 1060 secs || 10252871 markings, 16683225 edges, 9463 markings/sec, 1060 secs
lola: sara is running 1065 secs || 10320486 markings, 16767461 edges, 13523 markings/sec, 1065 secs
lola: sara is running 1070 secs || 10385331 markings, 16847086 edges, 12969 markings/sec, 1070 secs
lola: sara is running 1075 secs || 10449466 markings, 16927188 edges, 12827 markings/sec, 1075 secs
lola: sara is running 1080 secs || 10515608 markings, 17008767 edges, 13228 markings/sec, 1080 secs
lola: sara is running 1085 secs || 10577812 markings, 17088202 edges, 12441 markings/sec, 1085 secs
lola: sara is running 1090 secs || 10639751 markings, 17166743 edges, 12388 markings/sec, 1090 secs
lola: sara is running 1095 secs || 10698951 markings, 17240898 edges, 11840 markings/sec, 1095 secs
lola: sara is running 1100 secs || 10765876 markings, 17324016 edges, 13385 markings/sec, 1100 secs
lola: sara is running 1105 secs || 10825922 markings, 17398136 edges, 12009 markings/sec, 1105 secs
lola: sara is running 1110 secs || 10892703 markings, 17481777 edges, 13356 markings/sec, 1110 secs
lola: sara is running 1115 secs || 10953607 markings, 17559923 edges, 12181 markings/sec, 1115 secs
lola: sara is running 1120 secs || 11019272 markings, 17643727 edges, 13133 markings/sec, 1120 secs
lola: sara is running 1125 secs || 11086934 markings, 17730641 edges, 13532 markings/sec, 1125 secs
lola: sara is running 1130 secs || 11156437 markings, 17818826 edges, 13901 markings/sec, 1130 secs
lola: sara is running 1135 secs || 11222218 markings, 17902532 edges, 13156 markings/sec, 1135 secs
lola: sara is running 1140 secs || 11305207 markings, 18003806 edges, 16598 markings/sec, 1140 secs
lola: sara is running 1145 secs || 11385685 markings, 18104706 edges, 16096 markings/sec, 1145 secs
lola: sara is running 1150 secs || 11464559 markings, 18204529 edges, 15775 markings/sec, 1150 secs
lola: sara is running 1155 secs || 11540095 markings, 18298678 edges, 15107 markings/sec, 1155 secs
lola: sara is running 1160 secs || 11612931 markings, 18390923 edges, 14567 markings/sec, 1160 secs
lola: sara is running 1165 secs || 11682622 markings, 18477425 edges, 13938 markings/sec, 1165 secs
lola: sara is running 1170 secs || 11747007 markings, 18559695 edges, 12877 markings/sec, 1170 secs
lola: sara is running 1175 secs || 11812422 markings, 18642226 edges, 13083 markings/sec, 1175 secs
lola: sara is running 1180 secs || 11883295 markings, 18729389 edges, 14175 markings/sec, 1180 secs
lola: sara is running 1185 secs || 11940295 markings, 18799854 edges, 11400 markings/sec, 1185 secs
lola: sara is running 1190 secs || 12003914 markings, 18878689 edges, 12724 markings/sec, 1190 secs
lola: sara is running 1195 secs || 12060898 markings, 18950096 edges, 11397 markings/sec, 1195 secs
lola: sara is running 1200 secs || 12122254 markings, 19025895 edges, 12271 markings/sec, 1200 secs
lola: sara is running 1205 secs || 12184093 markings, 19102786 edges, 12368 markings/sec, 1205 secs
lola: sara is running 1210 secs || 12238017 markings, 19168736 edges, 10785 markings/sec, 1210 secs
lola: sara is running 1215 secs || 12295053 markings, 19239192 edges, 11407 markings/sec, 1215 secs
lola: sara is running 1220 secs || 12350043 markings, 19307851 edges, 10998 markings/sec, 1220 secs
lola: sara is running 1225 secs || 12408396 markings, 19379298 edges, 11671 markings/sec, 1225 secs
lola: sara is running 1230 secs || 12458064 markings, 19440658 edges, 9934 markings/sec, 1230 secs
lola: sara is running 1235 secs || 12515430 markings, 19514621 edges, 11473 markings/sec, 1235 secs
lola: sara is running 1240 secs || 12580665 markings, 19597351 edges, 13047 markings/sec, 1240 secs
lola: sara is running 1245 secs || 12667887 markings, 19694332 edges, 17444 markings/sec, 1245 secs
lola: sara is running 1250 secs || 12762763 markings, 19800884 edges, 18975 markings/sec, 1250 secs
lola: sara is running 1255 secs || 12859283 markings, 19910267 edges, 19304 markings/sec, 1255 secs
lola: sara is running 1260 secs || 12951281 markings, 20014974 edges, 18400 markings/sec, 1260 secs
lola: sara is running 1265 secs || 13015165 markings, 20099844 edges, 12777 markings/sec, 1265 secs
lola: sara is running 1270 secs || 13081906 markings, 20181796 edges, 13348 markings/sec, 1270 secs
lola: sara is running 1275 secs || 13148731 markings, 20265193 edges, 13365 markings/sec, 1275 secs
lola: sara is running 1280 secs || 13217743 markings, 20351085 edges, 13802 markings/sec, 1280 secs
lola: sara is running 1285 secs || 13284965 markings, 20436134 edges, 13444 markings/sec, 1285 secs
lola: sara is running 1290 secs || 13332446 markings, 20540344 edges, 9496 markings/sec, 1290 secs
lola: sara is running 1295 secs || 13394712 markings, 20617200 edges, 12453 markings/sec, 1295 secs
lola: sara is running 1300 secs || 13457894 markings, 20694512 edges, 12636 markings/sec, 1300 secs
lola: sara is running 1305 secs || 13522079 markings, 20773199 edges, 12837 markings/sec, 1305 secs
lola: sara is running 1310 secs || 13583137 markings, 20847797 edges, 12212 markings/sec, 1310 secs
lola: sara is running 1315 secs || 13646617 markings, 20925619 edges, 12696 markings/sec, 1315 secs
lola: sara is running 1320 secs || 13710579 markings, 21004801 edges, 12792 markings/sec, 1320 secs
lola: sara is running 1325 secs || 13777293 markings, 21089669 edges, 13343 markings/sec, 1325 secs
lola: sara is running 1330 secs || 13849350 markings, 21185203 edges, 14411 markings/sec, 1330 secs
lola: sara is running 1335 secs || 13921794 markings, 21276411 edges, 14489 markings/sec, 1335 secs
lola: sara is running 1340 secs || 13991080 markings, 21362548 edges, 13857 markings/sec, 1340 secs
lola: sara is running 1345 secs || 14055810 markings, 21444567 edges, 12946 markings/sec, 1345 secs
lola: sara is running 1350 secs || 14119144 markings, 21522091 edges, 12667 markings/sec, 1350 secs
lola: sara is running 1355 secs || 14180921 markings, 21597559 edges, 12355 markings/sec, 1355 secs
lola: sara is running 1360 secs || 14237818 markings, 21670504 edges, 11379 markings/sec, 1360 secs
lola: sara is running 1365 secs || 14302582 markings, 21756684 edges, 12953 markings/sec, 1365 secs
lola: sara is running 1370 secs || 14374842 markings, 21846726 edges, 14452 markings/sec, 1370 secs
lola: sara is running 1375 secs || 14442970 markings, 21932642 edges, 13626 markings/sec, 1375 secs
lola: sara is running 1380 secs || 14507474 markings, 22013171 edges, 12901 markings/sec, 1380 secs
lola: sara is running 1385 secs || 14569906 markings, 22091508 edges, 12486 markings/sec, 1385 secs
lola: sara is running 1390 secs || 14637876 markings, 22178582 edges, 13594 markings/sec, 1390 secs
lola: sara is running 1395 secs || 14703718 markings, 22260330 edges, 13168 markings/sec, 1395 secs
lola: sara is running 1400 secs || 14754255 markings, 22367491 edges, 10107 markings/sec, 1400 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no no no yes yes yes yes no yes unknown no no no yes
lola:
preliminary result: unknown yes no no no yes yes yes yes no yes unknown no no no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no no no yes yes yes yes no yes unknown no no no yes
lola: memory consumption: 1998832 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no no no yes yes yes yes no yes unknown no no no yes
lola: memory consumption: 1999080 KB
lola: time consumption: 3571 seconds

BK_STOP 1526499963114

--------------------
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-307"
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-307.tgz
mv CloudReconfiguration-PT-307 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-307, 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-152646379800047"
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 ;