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

About the Execution of LoLA for CloudDeployment-PT-5a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7991.240 3570770.00 3620310.00 8099.40 ?TFTTFFTF?FFFF?F 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 388K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.3K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 230K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudDeployment-PT-5a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400235
=====================================================================


--------------------
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 CloudDeployment-PT-5a-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-5a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1526604043231

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-5a 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 CloudDeployment-PT-5a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CloudDeployment-PT-5a @ 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: 855/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 180
lola: finding significant places
lola: 180 places, 675 transitions, 150 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 594 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-5a-CTLFireability.task
lola: E (F (E (X (A (X (FIREABLE(t632))))))) : NOT((FIREABLE(t134) OR A (F ((FIREABLE(t13) OR FIREABLE(t553) OR FIREABLE(t308)))))) : (FIREABLE(t596) OR A (G (((NOT FIREABLE(t506) AND NOT FIREABLE(t625)) OR NOT FIREABLE(t407))))) : E (X (E (F (FIREABLE(t383))))) : (E (X (((NOT FIREABLE(t234) AND NOT FIREABLE(t285)) AND E (F (FIREABLE(t428)))))) OR E (G ((A (G (FIREABLE(t179))) OR A (G (FIREABLE(t289))))))) : A (G (NOT FIREABLE(t405))) : A (G (((E (X (FIREABLE(t407))) AND (FIREABLE(t367) AND FIREABLE(t95) AND FIREABLE(t492) AND FIREABLE(t569))) OR NOT(E (F (FIREABLE(t298))))))) : E (G (A (((FIREABLE(t204) AND FIREABLE(t524)) U NOT FIREABLE(t85))))) : A (((E (X (FIREABLE(t457))) AND A (X (FIREABLE(t580)))) U (A (F (FIREABLE(t67))) AND ((FIREABLE(t618) AND FIREABLE(t276)) OR FIREABLE(t566))))) : (NOT((((NOT FIREABLE(t237) OR NOT FIREABLE(t262)) OR A (F (FIREABLE(t273)))) AND NOT(A (F (FIREABLE(t622)))))) OR FIREABLE(t324)) : A (((FIREABLE(t573) OR NOT FIREABLE(t364)) U (FIREABLE(t25) AND FIREABLE(t352) AND NOT FIREABLE(t503) AND FIREABLE(t489)))) : NOT(E (F (E ((FIREABLE(t583) U FIREABLE(t298)))))) : A ((E (F ((FIREABLE(t122) OR FIREABLE(t168)))) U FIREABLE(t300))) : E (G ((A (F ((FIREABLE(t245) OR FIREABLE(t277)))) AND (NOT FIREABLE(t516) OR NOT FIREABLE(t282) OR NOT FIREABLE(t177))))) : E (X (A (G (E (X (FIREABLE(t451))))))) : A (F (FIREABLE(t256)))
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:446
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (X (FIREABLE(t632)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(E(TRUE U AX(FIREABLE(t632))))
lola: processed formula length: 32
lola: 29 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 29507 markings, 3122332 edges, 5901 markings/sec, 0 secs
lola: 60437 markings, 6477323 edges, 6186 markings/sec, 5 secs
lola: 91129 markings, 9766190 edges, 6138 markings/sec, 10 secs
lola: 119878 markings, 12868006 edges, 5750 markings/sec, 15 secs
lola: 149887 markings, 16093711 edges, 6002 markings/sec, 20 secs
lola: 180882 markings, 19425108 edges, 6199 markings/sec, 25 secs
lola: 210903 markings, 22657150 edges, 6004 markings/sec, 30 secs
lola: 240018 markings, 25771041 edges, 5823 markings/sec, 35 secs
lola: 271115 markings, 29130815 edges, 6219 markings/sec, 40 secs
lola: 302137 markings, 32438034 edges, 6204 markings/sec, 45 secs
lola: 331157 markings, 35583717 edges, 5804 markings/sec, 50 secs
lola: 361124 markings, 38816578 edges, 5993 markings/sec, 55 secs
lola: 392174 markings, 42140058 edges, 6210 markings/sec, 60 secs
lola: 421943 markings, 45358428 edges, 5954 markings/sec, 65 secs
lola: 450623 markings, 48443398 edges, 5736 markings/sec, 70 secs
lola: 481714 markings, 51784361 edges, 6218 markings/sec, 75 secs
lola: 512269 markings, 55075315 edges, 6111 markings/sec, 80 secs
lola: 541322 markings, 58200586 edges, 5811 markings/sec, 85 secs
lola: 570483 markings, 61335556 edges, 5832 markings/sec, 90 secs
lola: 600442 markings, 64550746 edges, 5992 markings/sec, 95 secs
lola: 629134 markings, 67631241 edges, 5738 markings/sec, 100 secs
lola: 657961 markings, 70728439 edges, 5765 markings/sec, 105 secs
lola: 686880 markings, 73829660 edges, 5784 markings/sec, 110 secs
lola: 715758 markings, 76934664 edges, 5776 markings/sec, 115 secs
lola: 744564 markings, 80028094 edges, 5761 markings/sec, 120 secs
lola: 772765 markings, 83081641 edges, 5640 markings/sec, 125 secs
lola: 801357 markings, 86160963 edges, 5718 markings/sec, 130 secs
lola: 829966 markings, 89233340 edges, 5722 markings/sec, 135 secs
lola: 858573 markings, 92307017 edges, 5721 markings/sec, 140 secs
lola: 886620 markings, 95317879 edges, 5609 markings/sec, 145 secs
lola: 912878 markings, 98162360 edges, 5252 markings/sec, 150 secs
lola: 938834 markings, 100980168 edges, 5191 markings/sec, 155 secs
lola: 966630 markings, 104033503 edges, 5559 markings/sec, 160 secs
lola: 993062 markings, 106901859 edges, 5286 markings/sec, 165 secs
lola: 1020383 markings, 109872278 edges, 5464 markings/sec, 170 secs
lola: 1048350 markings, 112909231 edges, 5593 markings/sec, 175 secs
lola: 1075075 markings, 115813262 edges, 5345 markings/sec, 180 secs
lola: 1104327 markings, 118988285 edges, 5850 markings/sec, 185 secs
lola: 1132179 markings, 122013248 edges, 5570 markings/sec, 190 secs
lola: 1160904 markings, 125132875 edges, 5745 markings/sec, 195 secs
lola: 1190080 markings, 128294287 edges, 5835 markings/sec, 200 secs
lola: 1218089 markings, 131345139 edges, 5602 markings/sec, 205 secs
lola: 1246772 markings, 134453337 edges, 5737 markings/sec, 210 secs
lola: 1274318 markings, 137438706 edges, 5509 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 680116 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (FIREABLE(t383)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:626
lola: processed formula: FIREABLE(t383)
lola: processed formula length: 14
lola: 27 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 8 markings, 7 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (((NOT FIREABLE(t234) AND NOT FIREABLE(t285)) AND E (F (FIREABLE(t428)))))) OR E (G ((A (G (FIREABLE(t179))) OR A (G (FIREABLE(t289)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (G (FIREABLE(t179))) OR A (G (FIREABLE(t289))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(A(TRUE U (E(TRUE U NOT FIREABLE(t179)) AND E(TRUE U NOT FIREABLE(t289)))))
lola: processed formula length: 78
lola: 34 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 2 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((NOT FIREABLE(t234) AND NOT FIREABLE(t285)) AND E (F (FIREABLE(t428))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(((NOT FIREABLE(t234) AND NOT FIREABLE(t285)) AND E(TRUE U FIREABLE(t428))))
lola: processed formula length: 78
lola: 28 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 29062 markings, 3091124 edges, 5812 markings/sec, 0 secs
lola: 60860 markings, 6522328 edges, 6360 markings/sec, 5 secs
lola: 92007 markings, 9870600 edges, 6229 markings/sec, 10 secs
lola: 121496 markings, 13041871 edges, 5898 markings/sec, 15 secs
lola: 150602 markings, 16170791 edges, 5821 markings/sec, 20 secs
lola: 182388 markings, 19580390 edges, 6357 markings/sec, 25 secs
lola: 213179 markings, 22870474 edges, 6158 markings/sec, 30 secs
lola: 242597 markings, 26065585 edges, 5884 markings/sec, 35 secs
lola: 274539 markings, 29499249 edges, 6388 markings/sec, 40 secs
lola: 305867 markings, 32873276 edges, 6266 markings/sec, 45 secs
lola: 335384 markings, 36047512 edges, 5903 markings/sec, 50 secs
lola: 366542 markings, 39396253 edges, 6232 markings/sec, 55 secs
lola: 398093 markings, 42789861 edges, 6310 markings/sec, 60 secs
lola: 428485 markings, 46054647 edges, 6078 markings/sec, 65 secs
lola: 458329 markings, 49273403 edges, 5969 markings/sec, 70 secs
lola: 490220 markings, 52701253 edges, 6378 markings/sec, 75 secs
lola: 521416 markings, 56052588 edges, 6239 markings/sec, 80 secs
lola: 550745 markings, 59212923 edges, 5866 markings/sec, 85 secs
lola: 581173 markings, 62484126 edges, 6086 markings/sec, 90 secs
lola: 611485 markings, 65737051 edges, 6062 markings/sec, 95 secs
lola: 641006 markings, 68907763 edges, 5904 markings/sec, 100 secs
lola: 670590 markings, 72084765 edges, 5917 markings/sec, 105 secs
lola: 700168 markings, 75260999 edges, 5916 markings/sec, 110 secs
lola: 729681 markings, 78429623 edges, 5903 markings/sec, 115 secs
lola: 759033 markings, 81593735 edges, 5870 markings/sec, 120 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 781439 markings, 84023280 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 247 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((E (X (FIREABLE(t407))) AND (FIREABLE(t367) AND FIREABLE(t95) AND FIREABLE(t492) AND FIREABLE(t569))) OR A (G (NOT FIREABLE(t298))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(TRUE U ((NOT(EX(FIREABLE(t407))) OR (NOT FIREABLE(t367) OR NOT FIREABLE(t95) OR NOT FIREABLE(t492) OR NOT FIREABLE(t569))) AND E(TRUE U FIREABLE(t298)))))
lola: processed formula length: 163
lola: 34 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 28170 markings, 3015861 edges, 5634 markings/sec, 0 secs
lola: 59782 markings, 6408304 edges, 6322 markings/sec, 5 secs
lola: 88207 markings, 9468086 edges, 5685 markings/sec, 10 secs
lola: 117537 markings, 12599021 edges, 5866 markings/sec, 15 secs
lola: 145557 markings, 15621565 edges, 5604 markings/sec, 20 secs
lola: 176921 markings, 18998996 edges, 6273 markings/sec, 25 secs
lola: 207584 markings, 22300110 edges, 6133 markings/sec, 30 secs
lola: 234928 markings, 25241765 edges, 5469 markings/sec, 35 secs
lola: 266115 markings, 28595258 edges, 6237 markings/sec, 40 secs
lola: 297236 markings, 31943799 edges, 6224 markings/sec, 45 secs
lola: 326933 markings, 35132591 edges, 5939 markings/sec, 50 secs
lola: 354432 markings, 38091735 edges, 5500 markings/sec, 55 secs
lola: 383493 markings, 41207862 edges, 5812 markings/sec, 60 secs
lola: 411828 markings, 44270872 edges, 5667 markings/sec, 65 secs
lola: 436923 markings, 46961926 edges, 5019 markings/sec, 70 secs
lola: 467134 markings, 50217542 edges, 6042 markings/sec, 75 secs
lola: 495997 markings, 53303613 edges, 5773 markings/sec, 80 secs
lola: 523152 markings, 56236314 edges, 5431 markings/sec, 85 secs
lola: 552010 markings, 59351981 edges, 5772 markings/sec, 90 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 556079 markings, 59788912 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((E (X (FIREABLE(t457))) AND A (X (FIREABLE(t580)))) U (A (F (FIREABLE(t67))) AND ((FIREABLE(t618) AND FIREABLE(t276)) OR FIREABLE(t566)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((EX(FIREABLE(t457)) AND AX(FIREABLE(t580))) U (A(TRUE U FIREABLE(t67)) AND ((FIREABLE(t618) AND FIREABLE(t276)) OR FIREABLE(t566))))
lola: processed formula length: 135
lola: 30 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 8 markings, 22 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (G (E (X (FIREABLE(t451)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(NOT(E(TRUE U NOT(EX(FIREABLE(t451))))))
lola: processed formula length: 42
lola: 29 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 30073 markings, 3186103 edges, 6015 markings/sec, 0 secs
lola: 60909 markings, 6530064 edges, 6167 markings/sec, 5 secs
lola: 91563 markings, 9811449 edges, 6131 markings/sec, 10 secs
lola: 120249 markings, 12906908 edges, 5737 markings/sec, 15 secs
lola: 150334 markings, 16139784 edges, 6017 markings/sec, 20 secs
lola: 181266 markings, 19467901 edges, 6186 markings/sec, 25 secs
lola: 211194 markings, 22690203 edges, 5986 markings/sec, 30 secs
lola: 240528 markings, 25808386 edges, 5867 markings/sec, 35 secs
lola: 271369 markings, 29157278 edges, 6168 markings/sec, 40 secs
lola: 302290 markings, 32451524 edges, 6184 markings/sec, 45 secs
lola: 331180 markings, 35586050 edges, 5778 markings/sec, 50 secs
lola: 361030 markings, 38806396 edges, 5970 markings/sec, 55 secs
lola: 392064 markings, 42130238 edges, 6207 markings/sec, 60 secs
lola: 421966 markings, 45362200 edges, 5980 markings/sec, 65 secs
lola: 450847 markings, 48467072 edges, 5776 markings/sec, 70 secs
lola: 482007 markings, 51818602 edges, 6232 markings/sec, 75 secs
lola: 512745 markings, 55122428 edges, 6148 markings/sec, 80 secs
lola: 541927 markings, 58264370 edges, 5836 markings/sec, 85 secs
lola: 571213 markings, 61413274 edges, 5857 markings/sec, 90 secs
lola: 601262 markings, 64639475 edges, 6010 markings/sec, 95 secs
lola: 630113 markings, 67734907 edges, 5770 markings/sec, 100 secs
lola: 659004 markings, 70840206 edges, 5778 markings/sec, 105 secs
lola: 687995 markings, 73952746 edges, 5798 markings/sec, 110 secs
lola: 716952 markings, 77062067 edges, 5791 markings/sec, 115 secs
lola: 745936 markings, 80173432 edges, 5797 markings/sec, 120 secs
lola: 774129 markings, 83230443 edges, 5639 markings/sec, 125 secs
lola: 802834 markings, 86319446 edges, 5741 markings/sec, 130 secs
lola: 831616 markings, 89410566 edges, 5756 markings/sec, 135 secs
lola: 860599 markings, 92489708 edges, 5797 markings/sec, 140 secs
lola: 888217 markings, 95522190 edges, 5524 markings/sec, 145 secs
lola: 914522 markings, 98373485 edges, 5261 markings/sec, 150 secs
lola: 940849 markings, 101233254 edges, 5265 markings/sec, 155 secs
lola: 969078 markings, 104300471 edges, 5646 markings/sec, 160 secs
lola: 994929 markings, 107108261 edges, 5170 markings/sec, 165 secs
lola: 1021893 markings, 110036927 edges, 5393 markings/sec, 170 secs
lola: 1049441 markings, 113023553 edges, 5510 markings/sec, 175 secs
lola: 1076333 markings, 115928416 edges, 5378 markings/sec, 180 secs
lola: 1105204 markings, 119084719 edges, 5774 markings/sec, 185 secs
lola: 1132580 markings, 122058903 edges, 5475 markings/sec, 190 secs
lola: 1160923 markings, 125136256 edges, 5669 markings/sec, 195 secs
lola: 1189975 markings, 128280779 edges, 5810 markings/sec, 200 secs
lola: 1217893 markings, 131320744 edges, 5584 markings/sec, 205 secs
lola: 1246464 markings, 134420803 edges, 5714 markings/sec, 210 secs
lola: 1273978 markings, 137398882 edges, 5503 markings/sec, 215 secs
lola: 1301524 markings, 140386423 edges, 5509 markings/sec, 220 secs
lola: 1329028 markings, 143368457 edges, 5501 markings/sec, 225 secs
lola: 1356059 markings, 146311700 edges, 5406 markings/sec, 230 secs
lola: 1383441 markings, 149288064 edges, 5476 markings/sec, 235 secs
lola: 1410920 markings, 152242282 edges, 5496 markings/sec, 240 secs
lola: 1442429 markings, 155254839 edges, 6302 markings/sec, 245 secs
lola: 1466231 markings, 158271354 edges, 4760 markings/sec, 250 secs
lola: 1493553 markings, 161248384 edges, 5464 markings/sec, 255 secs
lola: 1520140 markings, 164157737 edges, 5317 markings/sec, 260 secs
lola: 1548239 markings, 167128026 edges, 5620 markings/sec, 265 secs
lola: 1574484 markings, 170128559 edges, 5249 markings/sec, 270 secs
lola: 1600875 markings, 173035836 edges, 5278 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes yes unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 847796 KB
lola: time consumption: 731 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t298)))
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:695
lola: processed formula: A (G (NOT FIREABLE(t298)))
lola: processed formula length: 26
lola: 28 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.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:695
lola: formula 0: FIREABLE(t298)
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-CTLFireability-6-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 17 markings, 16 edges
lola: ========================================
FORMULA CloudDeployment-PT-5a-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 7 will run for 315 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t405)))
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 (NOT FIREABLE(t405)))
lola: processed formula length: 26
lola: 28 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.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: FIREABLE(t405)
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 13 markings, 12 edges

FORMULA CloudDeployment-PT-5a-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t256)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t256)
lola: processed formula length: 18
lola: 28 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 11 markings, 11 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 405 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (((FIREABLE(t204) AND FIREABLE(t524)) U NOT FIREABLE(t85)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A((FIREABLE(t204) AND FIREABLE(t524)) U NOT FIREABLE(t85)))))
lola: processed formula length: 78
lola: 28 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 7 markings, 14 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (F ((FIREABLE(t122) OR FIREABLE(t168)))) U FIREABLE(t300)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(E(TRUE U (FIREABLE(t122) OR FIREABLE(t168))) U FIREABLE(t300))
lola: processed formula length: 65
lola: 28 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 25 markings, 1145 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (F ((FIREABLE(t245) OR FIREABLE(t277)))) AND (NOT FIREABLE(t516) OR NOT FIREABLE(t282) OR NOT FIREABLE(t177)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U (NOT(A(TRUE U (FIREABLE(t245) OR FIREABLE(t277)))) OR (FIREABLE(t516) AND FIREABLE(t282) AND FIREABLE(t177)))))
lola: processed formula length: 125
lola: 30 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 7 markings, 8 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t596) OR A (G (((NOT FIREABLE(t506) AND NOT FIREABLE(t625)) OR NOT FIREABLE(t407)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t596)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t596)
lola: processed formula length: 14
lola: 26 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.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: ========================================
lola: subprocess 13 will run for 946 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t506) AND NOT FIREABLE(t625)) OR NOT FIREABLE(t407))))
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 (((NOT FIREABLE(t506) AND NOT FIREABLE(t625)) OR NOT FIREABLE(t407))))
lola: processed formula length: 76
lola: 28 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.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: ((FIREABLE(t506) OR FIREABLE(t625)) AND FIREABLE(t407))
lola: state equation: Generated DNF with 14 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-CTLFireability-13-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10 markings, 9 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 946 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t134) AND E (G ((NOT FIREABLE(t13) AND NOT FIREABLE(t553) AND NOT FIREABLE(t308)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 946 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t134)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t134)
lola: processed formula length: 18
lola: 26 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.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: ========================================
lola: subprocess 14 will run for 1419 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(t13) AND NOT FIREABLE(t553) AND NOT FIREABLE(t308))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((NOT FIREABLE(t13) AND NOT FIREABLE(t553) AND NOT FIREABLE(t308))))
lola: processed formula length: 73
lola: 26 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 11 markings, 11 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1419 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t573) OR NOT FIREABLE(t364)) U (FIREABLE(t25) AND FIREABLE(t352) AND NOT FIREABLE(t503) AND FIREABLE(t489))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((FIREABLE(t573) OR NOT FIREABLE(t364)) U (FIREABLE(t25) AND FIREABLE(t352) AND NOT FIREABLE(t503) AND FIREABLE(t489))))
lola: processed formula length: 124
lola: 30 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 12 markings, 12 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2839 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((FIREABLE(t237) AND FIREABLE(t262)) AND E (G (NOT FIREABLE(t273)))) OR (A (F (FIREABLE(t622))) OR FIREABLE(t324)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2839 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t324)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t324)
lola: processed formula length: 14
lola: 26 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.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: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t622)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t622)
lola: processed formula length: 18
lola: 28 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 13 markings, 13 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t273)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t273)))
lola: processed formula length: 26
lola: 26 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 12 markings, 12 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (X (FIREABLE(t632)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(E(TRUE U AX(FIREABLE(t632))))
lola: processed formula length: 32
lola: 29 rewrites
lola: closed formula file CloudDeployment-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 31199 markings, 3336626 edges, 6240 markings/sec, 0 secs
lola: 61787 markings, 6625012 edges, 6118 markings/sec, 5 secs
lola: 91931 markings, 9859580 edges, 6029 markings/sec, 10 secs
lola: 120154 markings, 12898215 edges, 5645 markings/sec, 15 secs
lola: 149642 markings, 16064425 edges, 5898 markings/sec, 20 secs
lola: 180353 markings, 19355936 edges, 6142 markings/sec, 25 secs
lola: 210088 markings, 22570944 edges, 5947 markings/sec, 30 secs
lola: 238536 markings, 25630496 edges, 5690 markings/sec, 35 secs
lola: 269529 markings, 28961619 edges, 6199 markings/sec, 40 secs
lola: 299755 markings, 32215615 edges, 6045 markings/sec, 45 secs
lola: 328805 markings, 35329076 edges, 5810 markings/sec, 50 secs
lola: 358368 markings, 38518371 edges, 5913 markings/sec, 55 secs
lola: 388853 markings, 41799103 edges, 6097 markings/sec, 60 secs
lola: 418949 markings, 45036726 edges, 6019 markings/sec, 65 secs
lola: 447456 markings, 48105205 edges, 5701 markings/sec, 70 secs
lola: 478046 markings, 51389936 edges, 6118 markings/sec, 75 secs
lola: 508473 markings, 54658304 edges, 6085 markings/sec, 80 secs
lola: 537302 markings, 57770112 edges, 5766 markings/sec, 85 secs
lola: 566050 markings, 60858477 edges, 5750 markings/sec, 90 secs
lola: 595678 markings, 64038783 edges, 5926 markings/sec, 95 secs
lola: 624251 markings, 67109041 edges, 5715 markings/sec, 100 secs
lola: 652826 markings, 70176613 edges, 5715 markings/sec, 105 secs
lola: 681519 markings, 73258166 edges, 5739 markings/sec, 110 secs
lola: 709963 markings, 76313243 edges, 5689 markings/sec, 115 secs
lola: 738390 markings, 79363400 edges, 5685 markings/sec, 120 secs
lola: 766424 markings, 82394856 edges, 5607 markings/sec, 125 secs
lola: 794773 markings, 85452464 edges, 5670 markings/sec, 130 secs
lola: 823490 markings, 88537401 edges, 5743 markings/sec, 135 secs
lola: 852341 markings, 91598089 edges, 5770 markings/sec, 140 secs
lola: 879532 markings, 94572118 edges, 5438 markings/sec, 145 secs
lola: 906013 markings, 97447087 edges, 5296 markings/sec, 150 secs
lola: 931378 markings, 100203198 edges, 5073 markings/sec, 155 secs
lola: 958545 markings, 103155988 edges, 5433 markings/sec, 160 secs
lola: 985228 markings, 106051393 edges, 5337 markings/sec, 165 secs
lola: 1011542 markings, 108911348 edges, 5263 markings/sec, 170 secs
lola: 1039832 markings, 111985182 edges, 5658 markings/sec, 175 secs
lola: 1066187 markings, 114846841 edges, 5271 markings/sec, 180 secs
lola: 1094418 markings, 117885171 edges, 5646 markings/sec, 185 secs
lola: 1122090 markings, 120917962 edges, 5534 markings/sec, 190 secs
lola: 1149443 markings, 123879525 edges, 5471 markings/sec, 195 secs
lola: 1178695 markings, 127067898 edges, 5850 markings/sec, 200 secs
lola: 1206481 markings, 130048903 edges, 5557 markings/sec, 205 secs
lola: 1234043 markings, 133072285 edges, 5512 markings/sec, 210 secs
lola: 1261550 markings, 136055756 edges, 5501 markings/sec, 215 secs
lola: 1289159 markings, 139046839 edges, 5522 markings/sec, 220 secs
lola: 1316567 markings, 142016808 edges, 5482 markings/sec, 225 secs
lola: 1343735 markings, 144962354 edges, 5434 markings/sec, 230 secs
lola: 1370443 markings, 147877058 edges, 5342 markings/sec, 235 secs
lola: 1397472 markings, 150807233 edges, 5406 markings/sec, 240 secs
lola: 1425607 markings, 153824199 edges, 5627 markings/sec, 245 secs
lola: 1453712 markings, 156795327 edges, 5621 markings/sec, 250 secs
lola: 1480161 markings, 159800548 edges, 5290 markings/sec, 255 secs
lola: 1507421 markings, 162742983 edges, 5452 markings/sec, 260 secs
lola: 1536600 markings, 165694429 edges, 5836 markings/sec, 265 secs
lola: 1561329 markings, 168684736 edges, 4946 markings/sec, 270 secs
lola: 1588416 markings, 171661941 edges, 5417 markings/sec, 275 secs
lola: 1614677 markings, 174544040 edges, 5252 markings/sec, 280 secs
lola: 1646756 markings, 177515994 edges, 6416 markings/sec, 285 secs
lola: 1669512 markings, 180549679 edges, 4551 markings/sec, 290 secs
lola: 1696778 markings, 183560386 edges, 5453 markings/sec, 295 secs
lola: 1723587 markings, 186499411 edges, 5362 markings/sec, 300 secs
lola: 1752326 markings, 189517035 edges, 5748 markings/sec, 305 secs
lola: 1778712 markings, 192564823 edges, 5277 markings/sec, 310 secs
lola: 1805544 markings, 195545488 edges, 5366 markings/sec, 315 secs
lola: 1832600 markings, 198510842 edges, 5411 markings/sec, 320 secs
lola: 1860763 markings, 201524123 edges, 5633 markings/sec, 325 secs
lola: 1888998 markings, 204592730 edges, 5647 markings/sec, 330 secs
lola: 1914863 markings, 207563681 edges, 5173 markings/sec, 335 secs
lola: 1941502 markings, 210463682 edges, 5328 markings/sec, 340 secs
lola: 1968316 markings, 213258892 edges, 5363 markings/sec, 345 secs
lola: 1994302 markings, 216105892 edges, 5197 markings/sec, 350 secs
lola: 2018983 markings, 218902528 edges, 4936 markings/sec, 355 secs
lola: 2044287 markings, 221672066 edges, 5061 markings/sec, 360 secs
lola: 2070200 markings, 224410596 edges, 5183 markings/sec, 365 secs
lola: 2095458 markings, 227194322 edges, 5052 markings/sec, 370 secs
lola: 2119109 markings, 229918859 edges, 4730 markings/sec, 375 secs
lola: 2144187 markings, 232648736 edges, 5016 markings/sec, 380 secs
lola: 2170428 markings, 235438058 edges, 5248 markings/sec, 385 secs
lola: 2195465 markings, 238275521 edges, 5007 markings/sec, 390 secs
lola: 2220373 markings, 241055084 edges, 4982 markings/sec, 395 secs
lola: 2245380 markings, 243803952 edges, 5001 markings/sec, 400 secs
lola: 2272168 markings, 246587464 edges, 5358 markings/sec, 405 secs
lola: 2296689 markings, 249434750 edges, 4904 markings/sec, 410 secs
lola: 2321654 markings, 252197150 edges, 4993 markings/sec, 415 secs
lola: 2346549 markings, 254908931 edges, 4979 markings/sec, 420 secs
lola: 2371698 markings, 257681020 edges, 5030 markings/sec, 425 secs
lola: 2396971 markings, 260475124 edges, 5055 markings/sec, 430 secs
lola: 2422087 markings, 263241580 edges, 5023 markings/sec, 435 secs
lola: 2446841 markings, 265959452 edges, 4951 markings/sec, 440 secs
lola: 2478286 markings, 268949815 edges, 6289 markings/sec, 445 secs
lola: 2501953 markings, 271986416 edges, 4733 markings/sec, 450 secs
lola: 2528721 markings, 274964407 edges, 5354 markings/sec, 455 secs
lola: 2555276 markings, 277881787 edges, 5311 markings/sec, 460 secs
lola: 2583288 markings, 280916079 edges, 5602 markings/sec, 465 secs
lola: 2610793 markings, 283974357 edges, 5501 markings/sec, 470 secs
lola: 2637897 markings, 286960671 edges, 5421 markings/sec, 475 secs
lola: 2665164 markings, 289927514 edges, 5453 markings/sec, 480 secs
lola: 2692918 markings, 292928348 edges, 5551 markings/sec, 485 secs
lola: 2720024 markings, 295840856 edges, 5421 markings/sec, 490 secs
lola: 2744381 markings, 298675596 edges, 4871 markings/sec, 495 secs
lola: 2769077 markings, 301358046 edges, 4939 markings/sec, 500 secs
lola: 2797653 markings, 304387287 edges, 5715 markings/sec, 505 secs
lola: 2822670 markings, 307151288 edges, 5003 markings/sec, 510 secs
lola: 2848585 markings, 310133645 edges, 5183 markings/sec, 515 secs
lola: 2875279 markings, 313039234 edges, 5339 markings/sec, 520 secs
lola: 2901450 markings, 315815510 edges, 5234 markings/sec, 525 secs
lola: 2927118 markings, 318648158 edges, 5134 markings/sec, 530 secs
lola: 2951178 markings, 321416846 edges, 4812 markings/sec, 535 secs
lola: 2976695 markings, 324186269 edges, 5103 markings/sec, 540 secs
lola: 3002719 markings, 326993010 edges, 5205 markings/sec, 545 secs
lola: 3029007 markings, 329849527 edges, 5258 markings/sec, 550 secs
lola: 3053244 markings, 332636873 edges, 4847 markings/sec, 555 secs
lola: 3077459 markings, 335286306 edges, 4843 markings/sec, 560 secs
lola: 3103382 markings, 337973277 edges, 5185 markings/sec, 565 secs
lola: 3125241 markings, 340528535 edges, 4372 markings/sec, 570 secs
lola: 3150899 markings, 343350437 edges, 5132 markings/sec, 575 secs
lola: 3175820 markings, 346120911 edges, 4984 markings/sec, 580 secs
lola: 3202004 markings, 348954109 edges, 5237 markings/sec, 585 secs
lola: 3227549 markings, 351796808 edges, 5109 markings/sec, 590 secs
lola: 3250876 markings, 354375602 edges, 4665 markings/sec, 595 secs
lola: 3274971 markings, 357026078 edges, 4819 markings/sec, 600 secs
lola: 3304379 markings, 359806034 edges, 5882 markings/sec, 605 secs
lola: 3328698 markings, 362879600 edges, 4864 markings/sec, 610 secs
lola: 3356076 markings, 365931205 edges, 5476 markings/sec, 615 secs
lola: 3383211 markings, 368904231 edges, 5427 markings/sec, 620 secs
lola: 3412983 markings, 371996736 edges, 5954 markings/sec, 625 secs
lola: 3440114 markings, 375138361 edges, 5426 markings/sec, 630 secs
lola: 3467733 markings, 378217053 edges, 5524 markings/sec, 635 secs
lola: 3496078 markings, 381275972 edges, 5669 markings/sec, 640 secs
lola: 3525069 markings, 384381395 edges, 5798 markings/sec, 645 secs
lola: 3551823 markings, 387380147 edges, 5351 markings/sec, 650 secs
lola: 3578328 markings, 390365094 edges, 5301 markings/sec, 655 secs
lola: 3607896 markings, 393427562 edges, 5914 markings/sec, 660 secs
lola: 3634439 markings, 396544534 edges, 5309 markings/sec, 665 secs
lola: 3662538 markings, 399631829 edges, 5620 markings/sec, 670 secs
lola: 3689924 markings, 402641245 edges, 5477 markings/sec, 675 secs
lola: 3720807 markings, 405547822 edges, 6177 markings/sec, 680 secs
lola: 3742901 markings, 408446229 edges, 4419 markings/sec, 685 secs
lola: 3768437 markings, 411286885 edges, 5107 markings/sec, 690 secs
lola: 3793817 markings, 414074570 edges, 5076 markings/sec, 695 secs
lola: 3824307 markings, 416978484 edges, 6098 markings/sec, 700 secs
lola: 3847018 markings, 419909995 edges, 4542 markings/sec, 705 secs
lola: 3871884 markings, 422660923 edges, 4973 markings/sec, 710 secs
lola: 3896454 markings, 425355063 edges, 4914 markings/sec, 715 secs
lola: 3925742 markings, 428056020 edges, 5858 markings/sec, 720 secs
lola: 3947657 markings, 430957231 edges, 4383 markings/sec, 725 secs
lola: 3971981 markings, 433665674 edges, 4865 markings/sec, 730 secs
lola: 3998045 markings, 436517751 edges, 5213 markings/sec, 735 secs
lola: 4028466 markings, 439377719 edges, 6084 markings/sec, 740 secs
lola: 4050340 markings, 442262357 edges, 4375 markings/sec, 745 secs
lola: 4076351 markings, 445140165 edges, 5202 markings/sec, 750 secs
lola: 4102266 markings, 447965757 edges, 5183 markings/sec, 755 secs
lola: 4132775 markings, 450989898 edges, 6102 markings/sec, 760 secs
lola: 4158505 markings, 454138528 edges, 5146 markings/sec, 765 secs
lola: 4186184 markings, 457220949 edges, 5536 markings/sec, 770 secs
lola: 4214037 markings, 460245060 edges, 5571 markings/sec, 775 secs
lola: 4243310 markings, 463445025 edges, 5855 markings/sec, 780 secs
lola: 4271701 markings, 466618375 edges, 5678 markings/sec, 785 secs
lola: 4298708 markings, 469577676 edges, 5401 markings/sec, 790 secs
lola: 4323848 markings, 472351206 edges, 5028 markings/sec, 795 secs
lola: 4352957 markings, 475494219 edges, 5822 markings/sec, 800 secs
lola: 4382147 markings, 478678559 edges, 5838 markings/sec, 805 secs
lola: 4409629 markings, 481789622 edges, 5496 markings/sec, 810 secs
lola: 4440442 markings, 484905641 edges, 6163 markings/sec, 815 secs
lola: 4467180 markings, 488099939 edges, 5348 markings/sec, 820 secs
lola: 4495951 markings, 491280817 edges, 5754 markings/sec, 825 secs
lola: 4524319 markings, 494370417 edges, 5674 markings/sec, 830 secs
lola: 4552980 markings, 497326348 edges, 5732 markings/sec, 835 secs
lola: 4578204 markings, 500304467 edges, 5045 markings/sec, 840 secs
lola: 4604873 markings, 503226333 edges, 5334 markings/sec, 845 secs
lola: 4630901 markings, 506102871 edges, 5206 markings/sec, 850 secs
lola: 4659425 markings, 509110989 edges, 5705 markings/sec, 855 secs
lola: 4685781 markings, 512140909 edges, 5271 markings/sec, 860 secs
lola: 4712856 markings, 515105970 edges, 5415 markings/sec, 865 secs
lola: 4739537 markings, 518053905 edges, 5336 markings/sec, 870 secs
lola: 4767625 markings, 521024419 edges, 5618 markings/sec, 875 secs
lola: 4794932 markings, 524026605 edges, 5461 markings/sec, 880 secs
lola: 4820569 markings, 526969186 edges, 5127 markings/sec, 885 secs
lola: 4848974 markings, 529914099 edges, 5681 markings/sec, 890 secs
lola: 4874528 markings, 532890539 edges, 5111 markings/sec, 895 secs
lola: 4901746 markings, 535860187 edges, 5444 markings/sec, 900 secs
lola: 4928277 markings, 538798404 edges, 5306 markings/sec, 905 secs
lola: 4957795 markings, 541857766 edges, 5904 markings/sec, 910 secs
lola: 4985289 markings, 545057120 edges, 5499 markings/sec, 915 secs
lola: 5014037 markings, 548248059 edges, 5750 markings/sec, 920 secs
lola: 5042368 markings, 551364807 edges, 5666 markings/sec, 925 secs
lola: 5073631 markings, 554592261 edges, 6253 markings/sec, 930 secs
lola: 5101575 markings, 557868603 edges, 5589 markings/sec, 935 secs
lola: 5130743 markings, 561078399 edges, 5834 markings/sec, 940 secs
lola: 5160158 markings, 564269057 edges, 5883 markings/sec, 945 secs
lola: 5189587 markings, 567497489 edges, 5886 markings/sec, 950 secs
lola: 5218686 markings, 570756450 edges, 5820 markings/sec, 955 secs
lola: 5247542 markings, 573925690 edges, 5771 markings/sec, 960 secs
lola: 5280074 markings, 577126830 edges, 6506 markings/sec, 965 secs
lola: 5306523 markings, 580383254 edges, 5290 markings/sec, 970 secs
lola: 5335307 markings, 583573127 edges, 5757 markings/sec, 975 secs
lola: 5363792 markings, 586691598 edges, 5697 markings/sec, 980 secs
lola: 5391972 markings, 589677433 edges, 5636 markings/sec, 985 secs
lola: 5418921 markings, 592703818 edges, 5390 markings/sec, 990 secs
lola: 5445430 markings, 595679223 edges, 5302 markings/sec, 995 secs
lola: 5474258 markings, 598666208 edges, 5766 markings/sec, 1000 secs
lola: 5500505 markings, 601719024 edges, 5249 markings/sec, 1005 secs
lola: 5528113 markings, 604772915 edges, 5522 markings/sec, 1010 secs
lola: 5555445 markings, 607771337 edges, 5466 markings/sec, 1015 secs
lola: 5587608 markings, 610782056 edges, 6433 markings/sec, 1020 secs
lola: 5610804 markings, 613850266 edges, 4639 markings/sec, 1025 secs
lola: 5638233 markings, 616883619 edges, 5486 markings/sec, 1030 secs
lola: 5665338 markings, 619864085 edges, 5421 markings/sec, 1035 secs
lola: 5692976 markings, 622888847 edges, 5528 markings/sec, 1040 secs
lola: 5720694 markings, 625949919 edges, 5544 markings/sec, 1045 secs
lola: 5747841 markings, 628946074 edges, 5429 markings/sec, 1050 secs
lola: 5775216 markings, 631939555 edges, 5475 markings/sec, 1055 secs
lola: 5803061 markings, 634996369 edges, 5569 markings/sec, 1060 secs
lola: 5830486 markings, 638002598 edges, 5485 markings/sec, 1065 secs
lola: 5857874 markings, 640999685 edges, 5478 markings/sec, 1070 secs
lola: 5885517 markings, 644064044 edges, 5529 markings/sec, 1075 secs
lola: 5913706 markings, 647126594 edges, 5638 markings/sec, 1080 secs
lola: 5940784 markings, 650146815 edges, 5416 markings/sec, 1085 secs
lola: 5968100 markings, 653160269 edges, 5463 markings/sec, 1090 secs
lola: 5994211 markings, 656011740 edges, 5222 markings/sec, 1095 secs
lola: 6019837 markings, 658808991 edges, 5125 markings/sec, 1100 secs
lola: 6045150 markings, 661598770 edges, 5063 markings/sec, 1105 secs
lola: 6070870 markings, 664442905 edges, 5144 markings/sec, 1110 secs
lola: 6096564 markings, 667262983 edges, 5139 markings/sec, 1115 secs
lola: 6122978 markings, 670077016 edges, 5283 markings/sec, 1120 secs
lola: 6147746 markings, 672906472 edges, 4954 markings/sec, 1125 secs
lola: 6174905 markings, 675889013 edges, 5432 markings/sec, 1130 secs
lola: 6203166 markings, 678918871 edges, 5652 markings/sec, 1135 secs
lola: 6230250 markings, 681981674 edges, 5417 markings/sec, 1140 secs
lola: 6258493 markings, 685099147 edges, 5649 markings/sec, 1145 secs
lola: 6286664 markings, 688191965 edges, 5634 markings/sec, 1150 secs
lola: 6315158 markings, 691186349 edges, 5699 markings/sec, 1155 secs
lola: 6339602 markings, 694021379 edges, 4889 markings/sec, 1160 secs
lola: 6366001 markings, 696899737 edges, 5280 markings/sec, 1165 secs
lola: 6392055 markings, 699753436 edges, 5211 markings/sec, 1170 secs
lola: 6417838 markings, 702630163 edges, 5157 markings/sec, 1175 secs
lola: 6444063 markings, 705527911 edges, 5245 markings/sec, 1180 secs
lola: 6471631 markings, 708491217 edges, 5514 markings/sec, 1185 secs
lola: 6499489 markings, 711594357 edges, 5572 markings/sec, 1190 secs
lola: 6527860 markings, 714754246 edges, 5674 markings/sec, 1195 secs
lola: 6556839 markings, 717930002 edges, 5796 markings/sec, 1200 secs
lola: 6585225 markings, 721060794 edges, 5677 markings/sec, 1205 secs
lola: 6614077 markings, 724144021 edges, 5770 markings/sec, 1210 secs
lola: 6639636 markings, 727051054 edges, 5112 markings/sec, 1215 secs
lola: 6666398 markings, 729989278 edges, 5352 markings/sec, 1220 secs
lola: 6692874 markings, 732903245 edges, 5295 markings/sec, 1225 secs
lola: 6719355 markings, 735837155 edges, 5296 markings/sec, 1230 secs
lola: 6746197 markings, 738793009 edges, 5368 markings/sec, 1235 secs
lola: 6773787 markings, 741807602 edges, 5518 markings/sec, 1240 secs
lola: 6802856 markings, 744946695 edges, 5814 markings/sec, 1245 secs
lola: 6831347 markings, 748167393 edges, 5698 markings/sec, 1250 secs
lola: 6860563 markings, 751385555 edges, 5843 markings/sec, 1255 secs
lola: 6889750 markings, 754581338 edges, 5837 markings/sec, 1260 secs
lola: 6919197 markings, 757691320 edges, 5889 markings/sec, 1265 secs
lola: 6944701 markings, 760642741 edges, 5101 markings/sec, 1270 secs
lola: 6972106 markings, 763664121 edges, 5481 markings/sec, 1275 secs
lola: 6999438 markings, 766651258 edges, 5466 markings/sec, 1280 secs
lola: 7026417 markings, 769618892 edges, 5396 markings/sec, 1285 secs
lola: 7053370 markings, 772613351 edges, 5391 markings/sec, 1290 secs
lola: 7081922 markings, 775750017 edges, 5710 markings/sec, 1295 secs
lola: 7110947 markings, 778943197 edges, 5805 markings/sec, 1300 secs
lola: 7140784 markings, 782204449 edges, 5967 markings/sec, 1305 secs
lola: 7170238 markings, 785466255 edges, 5891 markings/sec, 1310 secs
lola: 7199552 markings, 788706676 edges, 5863 markings/sec, 1315 secs
lola: 7227827 markings, 791812100 edges, 5655 markings/sec, 1320 secs
lola: 7255940 markings, 794814104 edges, 5623 markings/sec, 1325 secs
lola: 7282864 markings, 797867231 edges, 5385 markings/sec, 1330 secs
lola: 7310660 markings, 800928239 edges, 5559 markings/sec, 1335 secs
lola: 7338362 markings, 803959923 edges, 5540 markings/sec, 1340 secs
lola: 7365546 markings, 806986360 edges, 5437 markings/sec, 1345 secs
lola: 7393308 markings, 809983176 edges, 5552 markings/sec, 1350 secs
lola: 7419474 markings, 812864575 edges, 5233 markings/sec, 1355 secs
lola: 7444733 markings, 815615460 edges, 5052 markings/sec, 1360 secs
lola: 7471375 markings, 818535434 edges, 5328 markings/sec, 1365 secs
lola: 7497658 markings, 821441699 edges, 5257 markings/sec, 1370 secs
lola: 7523446 markings, 824256586 edges, 5158 markings/sec, 1375 secs
lola: 7551191 markings, 827318795 edges, 5549 markings/sec, 1380 secs
lola: 7577502 markings, 830200176 edges, 5262 markings/sec, 1385 secs
lola: 7604591 markings, 833172924 edges, 5418 markings/sec, 1390 secs
lola: 7632371 markings, 836218131 edges, 5556 markings/sec, 1395 secs
lola: 7659034 markings, 839142170 edges, 5333 markings/sec, 1400 secs
lola: 7688022 markings, 842307373 edges, 5798 markings/sec, 1405 secs
lola: 7715483 markings, 845327292 edges, 5492 markings/sec, 1410 secs
lola: 7742828 markings, 848320625 edges, 5469 markings/sec, 1415 secs
lola: 7770942 markings, 851368320 edges, 5623 markings/sec, 1420 secs
lola: 7797504 markings, 854304308 edges, 5312 markings/sec, 1425 secs
lola: 7822991 markings, 857092910 edges, 5097 markings/sec, 1430 secs
lola: 7849841 markings, 860000940 edges, 5370 markings/sec, 1435 secs
lola: 7875411 markings, 862849033 edges, 5114 markings/sec, 1440 secs
lola: 7902793 markings, 865857309 edges, 5476 markings/sec, 1445 secs
lola: 7929403 markings, 868739103 edges, 5322 markings/sec, 1450 secs
lola: 7956623 markings, 871765356 edges, 5444 markings/sec, 1455 secs
lola: 7983913 markings, 874730106 edges, 5458 markings/sec, 1460 secs
lola: 8011352 markings, 877775128 edges, 5488 markings/sec, 1465 secs
lola: 8038242 markings, 880725576 edges, 5378 markings/sec, 1470 secs
lola: 8064354 markings, 883594934 edges, 5222 markings/sec, 1475 secs
lola: 8091623 markings, 886593418 edges, 5454 markings/sec, 1480 secs
lola: 8119088 markings, 889609328 edges, 5493 markings/sec, 1485 secs
lola: 8146146 markings, 892559357 edges, 5412 markings/sec, 1490 secs
lola: 8173105 markings, 895521558 edges, 5392 markings/sec, 1495 secs
lola: 8199550 markings, 898417136 edges, 5289 markings/sec, 1500 secs
lola: 8225295 markings, 901237777 edges, 5149 markings/sec, 1505 secs
lola: 8252156 markings, 904188984 edges, 5372 markings/sec, 1510 secs
lola: 8278822 markings, 907114016 edges, 5333 markings/sec, 1515 secs
lola: 8304961 markings, 909987983 edges, 5228 markings/sec, 1520 secs
lola: 8332737 markings, 913036093 edges, 5555 markings/sec, 1525 secs
lola: 8359315 markings, 915954886 edges, 5316 markings/sec, 1530 secs
lola: 8386419 markings, 918931795 edges, 5421 markings/sec, 1535 secs
lola: 8414282 markings, 921993291 edges, 5573 markings/sec, 1540 secs
lola: 8441180 markings, 924946900 edges, 5380 markings/sec, 1545 secs
lola: 8469429 markings, 928046507 edges, 5650 markings/sec, 1550 secs
lola: 8496987 markings, 931076236 edges, 5512 markings/sec, 1555 secs
lola: 8524465 markings, 934053076 edges, 5496 markings/sec, 1560 secs
lola: 8550677 markings, 936959399 edges, 5242 markings/sec, 1565 secs
lola: 8576031 markings, 939738648 edges, 5071 markings/sec, 1570 secs
lola: 8603213 markings, 942707477 edges, 5436 markings/sec, 1575 secs
lola: 8629252 markings, 945573270 edges, 5208 markings/sec, 1580 secs
lola: 8656591 markings, 948584854 edges, 5468 markings/sec, 1585 secs
lola: 8683706 markings, 951543549 edges, 5423 markings/sec, 1590 secs
lola: 8711225 markings, 954582361 edges, 5504 markings/sec, 1595 secs
lola: 8739028 markings, 957625011 edges, 5561 markings/sec, 1600 secs
lola: 8766663 markings, 960670016 edges, 5527 markings/sec, 1605 secs
lola: 8793476 markings, 963613492 edges, 5363 markings/sec, 1610 secs
lola: 8820537 markings, 966580604 edges, 5412 markings/sec, 1615 secs
lola: 8847860 markings, 969590419 edges, 5465 markings/sec, 1620 secs
lola: 8875366 markings, 972609661 edges, 5501 markings/sec, 1625 secs
lola: 8902945 markings, 975615787 edges, 5516 markings/sec, 1630 secs
lola: 8929985 markings, 978588738 edges, 5408 markings/sec, 1635 secs
lola: 8956159 markings, 981447978 edges, 5235 markings/sec, 1640 secs
lola: 8982187 markings, 984310538 edges, 5206 markings/sec, 1645 secs
lola: 9009646 markings, 987320865 edges, 5492 markings/sec, 1650 secs
lola: 9036018 markings, 990208415 edges, 5274 markings/sec, 1655 secs
lola: 9062816 markings, 993154649 edges, 5360 markings/sec, 1660 secs
lola: 9090363 markings, 996188344 edges, 5509 markings/sec, 1665 secs
lola: 9116838 markings, 999097955 edges, 5295 markings/sec, 1670 secs
lola: 9144751 markings, 1002162101 edges, 5583 markings/sec, 1675 secs
lola: 9172150 markings, 1005171414 edges, 5480 markings/sec, 1680 secs
lola: 9199423 markings, 1008164740 edges, 5455 markings/sec, 1685 secs
lola: 9227994 markings, 1011302249 edges, 5714 markings/sec, 1690 secs
lola: 9255349 markings, 1014298006 edges, 5471 markings/sec, 1695 secs
lola: 9282321 markings, 1017277190 edges, 5394 markings/sec, 1700 secs
lola: 9309018 markings, 1020234028 edges, 5339 markings/sec, 1705 secs
lola: 9334603 markings, 1023059791 edges, 5117 markings/sec, 1710 secs
lola: 9360267 markings, 1025904941 edges, 5133 markings/sec, 1715 secs
lola: 9387283 markings, 1028894798 edges, 5403 markings/sec, 1720 secs
lola: 9412961 markings, 1031741465 edges, 5136 markings/sec, 1725 secs
lola: 9439279 markings, 1034658615 edges, 5264 markings/sec, 1730 secs
lola: 9466185 markings, 1037639984 edges, 5381 markings/sec, 1735 secs
lola: 9492113 markings, 1040511329 edges, 5186 markings/sec, 1740 secs
lola: 9519604 markings, 1043558803 edges, 5498 markings/sec, 1745 secs
lola: 9546569 markings, 1046545041 edges, 5393 markings/sec, 1750 secs
lola: 9573362 markings, 1049514984 edges, 5359 markings/sec, 1755 secs
lola: 9601461 markings, 1052627259 edges, 5620 markings/sec, 1760 secs
lola: 9628275 markings, 1055599698 edges, 5363 markings/sec, 1765 secs
lola: 9655437 markings, 1058583869 edges, 5432 markings/sec, 1770 secs
lola: 9682556 markings, 1061559267 edges, 5424 markings/sec, 1775 secs
lola: 9708542 markings, 1064406237 edges, 5197 markings/sec, 1780 secs
lola: 9734761 markings, 1067282385 edges, 5244 markings/sec, 1785 secs
lola: 9762138 markings, 1070289449 edges, 5475 markings/sec, 1790 secs
lola: 9788231 markings, 1073153969 edges, 5219 markings/sec, 1795 secs
lola: 9815207 markings, 1076117130 edges, 5395 markings/sec, 1800 secs
lola: 9842529 markings, 1079116977 edges, 5464 markings/sec, 1805 secs
lola: 9869124 markings, 1082036249 edges, 5319 markings/sec, 1810 secs
lola: 9897500 markings, 1085128675 edges, 5675 markings/sec, 1815 secs
lola: 9924848 markings, 1088123050 edges, 5470 markings/sec, 1820 secs
lola: 9952220 markings, 1091148986 edges, 5474 markings/sec, 1825 secs
lola: 9980521 markings, 1094266454 edges, 5660 markings/sec, 1830 secs
lola: 10007936 markings, 1097270325 edges, 5483 markings/sec, 1835 secs
lola: 10034875 markings, 1100223395 edges, 5388 markings/sec, 1840 secs
lola: 10060645 markings, 1103051992 edges, 5154 markings/sec, 1845 secs
lola: 10086872 markings, 1105929048 edges, 5245 markings/sec, 1850 secs
lola: 10113215 markings, 1108809262 edges, 5269 markings/sec, 1855 secs
lola: 10138442 markings, 1111588247 edges, 5045 markings/sec, 1860 secs
lola: 10162907 markings, 1114268748 edges, 4893 markings/sec, 1865 secs
lola: 10189848 markings, 1117233153 edges, 5388 markings/sec, 1870 secs
lola: 10215035 markings, 1120000161 edges, 5037 markings/sec, 1875 secs
lola: 10241021 markings, 1122845749 edges, 5197 markings/sec, 1880 secs
lola: 10266816 markings, 1125639856 edges, 5159 markings/sec, 1885 secs
lola: 10291122 markings, 1128351038 edges, 4861 markings/sec, 1890 secs
lola: 10314745 markings, 1130940020 edges, 4725 markings/sec, 1895 secs
lola: 10339999 markings, 1133723679 edges, 5051 markings/sec, 1900 secs
lola: 10364620 markings, 1136429403 edges, 4924 markings/sec, 1905 secs
lola: 10391425 markings, 1139343152 edges, 5361 markings/sec, 1910 secs
lola: 10418827 markings, 1142313609 edges, 5480 markings/sec, 1915 secs
lola: 10444842 markings, 1145196683 edges, 5203 markings/sec, 1920 secs
lola: 10468472 markings, 1147783812 edges, 4726 markings/sec, 1925 secs
lola: 10492832 markings, 1150451186 edges, 4872 markings/sec, 1930 secs
lola: 10520322 markings, 1153469538 edges, 5498 markings/sec, 1935 secs
lola: 10546452 markings, 1156333512 edges, 5226 markings/sec, 1940 secs
lola: 10572982 markings, 1159232359 edges, 5306 markings/sec, 1945 secs
lola: 10599494 markings, 1162142376 edges, 5302 markings/sec, 1950 secs
lola: 10622980 markings, 1164719166 edges, 4697 markings/sec, 1955 secs
lola: 10650491 markings, 1167735273 edges, 5502 markings/sec, 1960 secs
lola: 10678595 markings, 1170815751 edges, 5621 markings/sec, 1965 secs
lola: 10705754 markings, 1173791847 edges, 5432 markings/sec, 1970 secs
lola: 10734915 markings, 1176988559 edges, 5832 markings/sec, 1975 secs
lola: 10763104 markings, 1180078024 edges, 5638 markings/sec, 1980 secs
lola: 10790169 markings, 1183031928 edges, 5413 markings/sec, 1985 secs
lola: 10817203 markings, 1186000686 edges, 5407 markings/sec, 1990 secs
lola: 10843610 markings, 1188885829 edges, 5281 markings/sec, 1995 secs
lola: 10869597 markings, 1191735325 edges, 5197 markings/sec, 2000 secs
lola: 10897287 markings, 1194770713 edges, 5538 markings/sec, 2005 secs
lola: 10923651 markings, 1197657902 edges, 5273 markings/sec, 2010 secs
lola: 10950965 markings, 1200621232 edges, 5463 markings/sec, 2015 secs
lola: 10978603 markings, 1203679066 edges, 5528 markings/sec, 2020 secs
lola: 11004453 markings, 1206514356 edges, 5170 markings/sec, 2025 secs
lola: 11032451 markings, 1209584620 edges, 5600 markings/sec, 2030 secs
lola: 11060317 markings, 1212640860 edges, 5573 markings/sec, 2035 secs
lola: 11088022 markings, 1215676542 edges, 5541 markings/sec, 2040 secs
lola: 11117122 markings, 1218861424 edges, 5820 markings/sec, 2045 secs
lola: 11144592 markings, 1221875472 edges, 5494 markings/sec, 2050 secs
lola: 11172011 markings, 1224877926 edges, 5484 markings/sec, 2055 secs
lola: 11198946 markings, 1227822801 edges, 5387 markings/sec, 2060 secs
lola: 11225711 markings, 1230752257 edges, 5353 markings/sec, 2065 secs
lola: 11252509 markings, 1233681642 edges, 5360 markings/sec, 2070 secs
lola: 11279913 markings, 1236679290 edges, 5481 markings/sec, 2075 secs
lola: 11306716 markings, 1239607517 edges, 5361 markings/sec, 2080 secs
lola: 11333480 markings, 1242535777 edges, 5353 markings/sec, 2085 secs
lola: 11360573 markings, 1245499377 edges, 5419 markings/sec, 2090 secs
lola: 11385808 markings, 1248277224 edges, 5047 markings/sec, 2095 secs
lola: 11410954 markings, 1251053094 edges, 5029 markings/sec, 2100 secs
lola: 11435500 markings, 1253742900 edges, 4909 markings/sec, 2105 secs
lola: 11462798 markings, 1256730728 edges, 5460 markings/sec, 2110 secs
lola: 11489549 markings, 1259654100 edges, 5350 markings/sec, 2115 secs
lola: 11516718 markings, 1262604885 edges, 5434 markings/sec, 2120 secs
lola: 11543635 markings, 1265575856 edges, 5383 markings/sec, 2125 secs
lola: 11570872 markings, 1268569091 edges, 5447 markings/sec, 2130 secs
lola: 11598162 markings, 1271576605 edges, 5458 markings/sec, 2135 secs
lola: 11624034 markings, 1274408476 edges, 5174 markings/sec, 2140 secs
lola: 11649703 markings, 1277219745 edges, 5134 markings/sec, 2145 secs
lola: 11675149 markings, 1280036486 edges, 5089 markings/sec, 2150 secs
lola: 11700791 markings, 1282838477 edges, 5128 markings/sec, 2155 secs
lola: 11726011 markings, 1285623724 edges, 5044 markings/sec, 2160 secs
lola: 11752594 markings, 1288563440 edges, 5317 markings/sec, 2165 secs
lola: 11779498 markings, 1291518901 edges, 5381 markings/sec, 2170 secs
lola: 11803136 markings, 1294120289 edges, 4728 markings/sec, 2175 secs
lola: 11828392 markings, 1296909326 edges, 5051 markings/sec, 2180 secs
lola: 11852679 markings, 1299549519 edges, 4857 markings/sec, 2185 secs
lola: 11880066 markings, 1302596128 edges, 5477 markings/sec, 2190 secs
lola: 11904973 markings, 1305338668 edges, 4981 markings/sec, 2195 secs
lola: 11932676 markings, 1308379276 edges, 5541 markings/sec, 2200 secs
lola: 11958795 markings, 1311263198 edges, 5224 markings/sec, 2205 secs
lola: 11985207 markings, 1314158843 edges, 5282 markings/sec, 2210 secs
lola: 12012163 markings, 1317139814 edges, 5391 markings/sec, 2215 secs
lola: 12040962 markings, 1320277013 edges, 5760 markings/sec, 2220 secs
lola: 12069542 markings, 1323446996 edges, 5716 markings/sec, 2225 secs
lola: 12096522 markings, 1326410149 edges, 5396 markings/sec, 2230 secs
lola: 12123575 markings, 1329407083 edges, 5411 markings/sec, 2235 secs
lola: 12150035 markings, 1332321712 edges, 5292 markings/sec, 2240 secs
lola: 12176442 markings, 1335219831 edges, 5281 markings/sec, 2245 secs
lola: 12205632 markings, 1338438768 edges, 5838 markings/sec, 2250 secs
lola: 12232667 markings, 1341412901 edges, 5407 markings/sec, 2255 secs
lola: 12257999 markings, 1344195238 edges, 5066 markings/sec, 2260 secs
lola: 12285605 markings, 1347209116 edges, 5521 markings/sec, 2265 secs
lola: 12312188 markings, 1350173876 edges, 5317 markings/sec, 2270 secs
lola: 12336003 markings, 1352789934 edges, 4763 markings/sec, 2275 secs
lola: 12363102 markings, 1355767912 edges, 5420 markings/sec, 2280 secs
lola: 12390249 markings, 1358752158 edges, 5429 markings/sec, 2285 secs
lola: 12416074 markings, 1361585345 edges, 5165 markings/sec, 2290 secs
lola: 12442760 markings, 1364520378 edges, 5337 markings/sec, 2295 secs
lola: 12469475 markings, 1367453908 edges, 5343 markings/sec, 2300 secs
lola: 12494385 markings, 1370195242 edges, 4982 markings/sec, 2305 secs
lola: 12519378 markings, 1372968362 edges, 4999 markings/sec, 2310 secs
lola: 12546343 markings, 1375945513 edges, 5393 markings/sec, 2315 secs
lola: 12573205 markings, 1378899414 edges, 5372 markings/sec, 2320 secs
lola: 12600074 markings, 1381849643 edges, 5374 markings/sec, 2325 secs
lola: 12625334 markings, 1384627805 edges, 5052 markings/sec, 2330 secs
lola: 12650543 markings, 1387380907 edges, 5042 markings/sec, 2335 secs
lola: 12676578 markings, 1390227781 edges, 5207 markings/sec, 2340 secs
lola: 12701316 markings, 1392901951 edges, 4948 markings/sec, 2345 secs
lola: 12724994 markings, 1395534807 edges, 4736 markings/sec, 2350 secs
lola: 12752555 markings, 1398552949 edges, 5512 markings/sec, 2355 secs
lola: 12777974 markings, 1401329832 edges, 5084 markings/sec, 2360 secs
lola: 12802208 markings, 1403996884 edges, 4847 markings/sec, 2365 secs
lola: 12828860 markings, 1406914727 edges, 5330 markings/sec, 2370 secs
lola: 12854780 markings, 1409755024 edges, 5184 markings/sec, 2375 secs
lola: 12880148 markings, 1412516485 edges, 5074 markings/sec, 2380 secs
lola: 12906629 markings, 1415441225 edges, 5296 markings/sec, 2385 secs
lola: 12931426 markings, 1418146211 edges, 4959 markings/sec, 2390 secs
lola: 12958812 markings, 1421156494 edges, 5477 markings/sec, 2395 secs
lola: 12988155 markings, 1424371084 edges, 5869 markings/sec, 2400 secs
lola: 13014479 markings, 1427259536 edges, 5265 markings/sec, 2405 secs
lola: 13041254 markings, 1430181982 edges, 5355 markings/sec, 2410 secs
lola: 13068268 markings, 1433148607 edges, 5403 markings/sec, 2415 secs
lola: 13092865 markings, 1435814963 edges, 4919 markings/sec, 2420 secs
lola: 13116835 markings, 1438463412 edges, 4794 markings/sec, 2425 secs
lola: 13142638 markings, 1441292208 edges, 5161 markings/sec, 2430 secs
lola: 13169207 markings, 1444196901 edges, 5314 markings/sec, 2435 secs
lola: 13196338 markings, 1447144232 edges, 5426 markings/sec, 2440 secs
lola: 13224118 markings, 1450222455 edges, 5556 markings/sec, 2445 secs
lola: 13245577 markings, 1452577498 edges, 4292 markings/sec, 2450 secs
lola: 13273905 markings, 1455645206 edges, 5666 markings/sec, 2455 secs
lola: 13301642 markings, 1458720877 edges, 5547 markings/sec, 2460 secs
lola: 13329216 markings, 1461735170 edges, 5515 markings/sec, 2465 secs
lola: 13356780 markings, 1464766840 edges, 5513 markings/sec, 2470 secs
lola: 13382491 markings, 1467585447 edges, 5142 markings/sec, 2475 secs
lola: 13410471 markings, 1470647350 edges, 5596 markings/sec, 2480 secs
lola: 13438003 markings, 1473657859 edges, 5506 markings/sec, 2485 secs
lola: 13465277 markings, 1476642467 edges, 5455 markings/sec, 2490 secs
lola: 13492405 markings, 1479608232 edges, 5426 markings/sec, 2495 secs
lola: 13518415 markings, 1482454133 edges, 5202 markings/sec, 2500 secs
lola: 13545621 markings, 1485427892 edges, 5441 markings/sec, 2505 secs
lola: 13572826 markings, 1488400230 edges, 5441 markings/sec, 2510 secs
lola: 13599775 markings, 1491352495 edges, 5390 markings/sec, 2515 secs
lola: 13626814 markings, 1494320983 edges, 5408 markings/sec, 2520 secs
lola: 13651062 markings, 1496998849 edges, 4850 markings/sec, 2525 secs
lola: 13677369 markings, 1499882983 edges, 5261 markings/sec, 2530 secs
lola: 13703623 markings, 1502758103 edges, 5251 markings/sec, 2535 secs
lola: 13729076 markings, 1505542148 edges, 5091 markings/sec, 2540 secs
lola: 13753112 markings, 1508171917 edges, 4807 markings/sec, 2545 secs
lola: 13776545 markings, 1510698303 edges, 4687 markings/sec, 2550 secs
lola: 13801372 markings, 1513400851 edges, 4965 markings/sec, 2555 secs
lola: 13828632 markings, 1516353372 edges, 5452 markings/sec, 2560 secs
lola: 13856170 markings, 1519354277 edges, 5508 markings/sec, 2565 secs
lola: 13884107 markings, 1522389970 edges, 5587 markings/sec, 2570 secs
lola: 13912509 markings, 1525436779 edges, 5680 markings/sec, 2575 secs
lola: 13939114 markings, 1528363709 edges, 5321 markings/sec, 2580 secs
lola: 13965937 markings, 1531268914 edges, 5365 markings/sec, 2585 secs
lola: 13990560 markings, 1533937259 edges, 4925 markings/sec, 2590 secs
lola: 14015595 markings, 1536659509 edges, 5007 markings/sec, 2595 secs
lola: 14040912 markings, 1539403728 edges, 5063 markings/sec, 2600 secs
lola: 14064880 markings, 1542011251 edges, 4794 markings/sec, 2605 secs
lola: 14088881 markings, 1544659785 edges, 4800 markings/sec, 2610 secs
lola: 14114159 markings, 1547430709 edges, 5056 markings/sec, 2615 secs
lola: 14141145 markings, 1550384405 edges, 5397 markings/sec, 2620 secs
lola: 14164964 markings, 1552999547 edges, 4764 markings/sec, 2625 secs
lola: 14190789 markings, 1555829624 edges, 5165 markings/sec, 2630 secs
lola: 14217018 markings, 1558703352 edges, 5246 markings/sec, 2635 secs
lola: 14243937 markings, 1561644458 edges, 5384 markings/sec, 2640 secs
lola: 14268910 markings, 1564379212 edges, 4995 markings/sec, 2645 secs
lola: 14293393 markings, 1567062835 edges, 4897 markings/sec, 2650 secs
lola: 14320021 markings, 1569943830 edges, 5326 markings/sec, 2655 secs
lola: 14350253 markings, 1572849613 edges, 6046 markings/sec, 2660 secs
lola: 14372840 markings, 1575762509 edges, 4517 markings/sec, 2665 secs
lola: 14396241 markings, 1578355867 edges, 4680 markings/sec, 2670 secs
lola: 14421386 markings, 1581095065 edges, 5029 markings/sec, 2675 secs
lola: 14449589 markings, 1583767132 edges, 5641 markings/sec, 2680 secs
lola: 14471431 markings, 1586631322 edges, 4368 markings/sec, 2685 secs
lola: 14497021 markings, 1589497475 edges, 5118 markings/sec, 2690 secs
lola: 14522196 markings, 1592301041 edges, 5035 markings/sec, 2695 secs
lola: 14551525 markings, 1595134926 edges, 5866 markings/sec, 2700 secs
lola: 14572559 markings, 1597842597 edges, 4207 markings/sec, 2705 secs
lola: 14597328 markings, 1600583569 edges, 4954 markings/sec, 2710 secs
lola: 14620689 markings, 1603224741 edges, 4672 markings/sec, 2715 secs
lola: 14645254 markings, 1605851497 edges, 4913 markings/sec, 2720 secs
lola: 14670311 markings, 1608589232 edges, 5011 markings/sec, 2725 secs
lola: 14695002 markings, 1611315903 edges, 4938 markings/sec, 2730 secs
lola: 14719500 markings, 1614193140 edges, 4900 markings/sec, 2735 secs
lola: 14745718 markings, 1617054549 edges, 5244 markings/sec, 2740 secs
lola: 14772761 markings, 1619958364 edges, 5409 markings/sec, 2745 secs
lola: 14799098 markings, 1622892933 edges, 5267 markings/sec, 2750 secs
lola: 14823722 markings, 1625756918 edges, 4925 markings/sec, 2755 secs
lola: 14849504 markings, 1628604780 edges, 5156 markings/sec, 2760 secs
lola: 14875849 markings, 1631348875 edges, 5269 markings/sec, 2765 secs
lola: 14899137 markings, 1634108579 edges, 4658 markings/sec, 2770 secs
lola: 14923776 markings, 1636824506 edges, 4928 markings/sec, 2775 secs
lola: 14946756 markings, 1639389482 edges, 4596 markings/sec, 2780 secs
lola: 14975097 markings, 1642196395 edges, 5668 markings/sec, 2785 secs
lola: 14996239 markings, 1644881266 edges, 4228 markings/sec, 2790 secs
lola: 15022778 markings, 1647813799 edges, 5308 markings/sec, 2795 secs
lola: 15048548 markings, 1650677420 edges, 5154 markings/sec, 2800 secs
lola: 15078320 markings, 1653666100 edges, 5954 markings/sec, 2805 secs
lola: 15101571 markings, 1656575548 edges, 4650 markings/sec, 2810 secs
lola: 15126456 markings, 1659332286 edges, 4977 markings/sec, 2815 secs
lola: 15151882 markings, 1662141722 edges, 5085 markings/sec, 2820 secs
lola: 15180213 markings, 1664836660 edges, 5666 markings/sec, 2825 secs
lola: 15200235 markings, 1667484566 edges, 4004 markings/sec, 2830 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no yes yes no no yes no unknown no no no no unknown no
lola:
preliminary result: unknown yes no yes yes no no yes no unknown no no no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes yes no no yes no unknown no no no no unknown no
lola: memory consumption: 7927116 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes yes no no yes no unknown no no no no unknown no
lola: memory consumption: 7927116 KB
lola: time consumption: 3570 seconds

BK_STOP 1526607614001

--------------------
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="CloudDeployment-PT-5a"
export BK_EXAMINATION="CTLFireability"
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/CloudDeployment-PT-5a.tgz
mv CloudDeployment-PT-5a 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 CloudDeployment-PT-5a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-smll-152646357400235"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.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 ;