fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r040-smll-152646357400236
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
8454.880 3569553.00 7187802.00 6539.80 TFTFFFTFF?FFFFTF 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 ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400236
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526604670856

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 ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ CloudDeployment-PT-5a @ 3569 seconds
lola: LoLA will run for 3569 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-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p116)
lola: LP says that atomic proposition is always false: (2 <= p112)
lola: LP says that atomic proposition is always false: (2 <= p83)
lola: LP says that atomic proposition is always false: (2 <= p165)
lola: LP says that atomic proposition is always false: (2 <= p47)
lola: LP says that atomic proposition is always false: (3 <= p118)
lola: LP says that atomic proposition is always false: (2 <= p15)
lola: LP says that atomic proposition is always false: (3 <= p86)
lola: LP says that atomic proposition is always false: (3 <= p175)
lola: LP says that atomic proposition is always false: (2 <= p135)
lola: LP says that atomic proposition is always false: (2 <= p107)
lola: LP says that atomic proposition is always false: (3 <= p41)
lola: LP says that atomic proposition is always false: (2 <= p84)
lola: place invariant simplifies atomic proposition
lola: before: (p4 <= p116)
lola: after: (0 <= 0)
lola: always true
lola: E (F ((1 <= p45))) : E (F (FALSE)) : E (F (((p25 <= 0) AND ((p106 + 1 <= p9) OR (p76 + 1 <= p117))))) : A (G (((p73 <= p152) OR ((1 <= p78) AND (p1 <= p132))))) : E (F (())) : E (F (())) : E (F ((1 <= p46))) : E (F (FALSE)) : A (G (((p97 <= p83)))) : A (G (((p1 <= p137) OR (p12 <= p123)))) : A (G ((p119 <= p115))) : E (F (())) : A (G (((p71 <= p153) AND (p76 <= p26) AND (p141 <= 0) AND ((p8 <= p97) OR (1 <= p59) OR (1 <= p75))))) : A (G ((p131 <= p13))) : E (F ((((p64 + 1 <= p130))))) : A (G ((p18 <= p127)))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

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

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

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

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p45)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((1 <= p45)))
lola: processed formula length: 18
lola: 16 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (1 <= p45)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-5-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 10 markings, 9 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p46)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((1 <= p46)))
lola: processed formula length: 18
lola: 16 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (1 <= p46)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9 markings, 8 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p119 <= p115)))
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 ((p119 <= p115)))
lola: processed formula length: 22
lola: 17 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p115 + 1 <= p119)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 34 markings, 35 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p97 <= p83))))
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 (((p97 <= p83))))
lola: processed formula length: 22
lola: 17 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p83 + 1 <= p97))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-5a-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 178 markings, 5406 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p131 <= p13)))
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 ((p131 <= p13)))
lola: processed formula length: 21
lola: 17 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p13 + 1 <= p131)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-9-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 8 markings, 7 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p64 + 1 <= p130)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((((p64 + 1 <= p130)))))
lola: processed formula length: 29
lola: 16 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p64 + 1 <= p130)))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-10-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 14 markings, 13 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p18 <= p127)))
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 ((p18 <= p127)))
lola: processed formula length: 21
lola: 17 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p127 + 1 <= p18)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-11-0.sara
lola: lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 9 markings, 8 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1 <= p137) OR (p12 <= p123))))
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 (((p1 <= p137) OR (p12 <= p123))))
lola: processed formula length: 40
lola: 17 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p137 + 1 <= p1) AND (p123 + 1 <= p12))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-5a-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 35529 markings, 2573616 edges, 7106 markings/sec, 0 secs
lola: sara is running 5 secs || 79253 markings, 5051714 edges, 8745 markings/sec, 5 secs
lola: sara is running 10 secs || 123138 markings, 7456030 edges, 8777 markings/sec, 10 secs
lola: sara is running 15 secs || 166035 markings, 9945121 edges, 8579 markings/sec, 15 secs
sara: warning, failure of lp_solve (at job 5054)
lola: sara is running 20 secs || 213494 markings, 12245692 edges, 9492 markings/sec, 20 secs
lola: sara is running 25 secs || 229458 markings, 15094307 edges, 3193 markings/sec, 25 secs
lola: sara is running 30 secs || 266378 markings, 17468354 edges, 7384 markings/sec, 30 secs
lola: sara is running 35 secs || 285383 markings, 20361330 edges, 3801 markings/sec, 35 secs
lola: sara is running 40 secs || 313618 markings, 23004225 edges, 5647 markings/sec, 40 secs
lola: sara is running 45 secs || 341831 markings, 25689850 edges, 5643 markings/sec, 45 secs
lola: sara is running 50 secs || 379157 markings, 28126880 edges, 7465 markings/sec, 50 secs
lola: sara is running 55 secs || 397942 markings, 30924764 edges, 3757 markings/sec, 55 secs
lola: sara is running 60 secs || 424460 markings, 33475452 edges, 5304 markings/sec, 60 secs
lola: sara is running 65 secs || 453971 markings, 36068893 edges, 5902 markings/sec, 65 secs
lola: sara is running 70 secs || 485689 markings, 38642190 edges, 6344 markings/sec, 70 secs
lola: sara is running 75 secs || 517541 markings, 41184027 edges, 6370 markings/sec, 75 secs
lola: sara is running 80 secs || 546314 markings, 43710619 edges, 5755 markings/sec, 80 secs
lola: sara is running 85 secs || 578658 markings, 46231614 edges, 6469 markings/sec, 85 secs
lola: sara is running 90 secs || 611789 markings, 48740318 edges, 6626 markings/sec, 90 secs
lola: sara is running 95 secs || 638969 markings, 51252956 edges, 5436 markings/sec, 95 secs
lola: sara is running 100 secs || 674663 markings, 53704672 edges, 7139 markings/sec, 100 secs
lola: sara is running 105 secs || 709618 markings, 56183874 edges, 6991 markings/sec, 105 secs
lola: sara is running 110 secs || 746484 markings, 58638424 edges, 7373 markings/sec, 110 secs
lola: sara is running 115 secs || 783267 markings, 61041678 edges, 7357 markings/sec, 115 secs
lola: sara is running 120 secs || 815999 markings, 63476164 edges, 6546 markings/sec, 120 secs
lola: sara is running 125 secs || 838985 markings, 66006435 edges, 4597 markings/sec, 125 secs
lola: sara is running 130 secs || 861830 markings, 68552346 edges, 4569 markings/sec, 130 secs
lola: sara is running 135 secs || 894760 markings, 71042479 edges, 6586 markings/sec, 135 secs
lola: sara is running 140 secs || 927834 markings, 73621492 edges, 6615 markings/sec, 140 secs
lola: sara is running 145 secs || 960019 markings, 76136056 edges, 6437 markings/sec, 145 secs
lola: sara is running 150 secs || 1007251 markings, 78585318 edges, 9446 markings/sec, 150 secs
lola: sara is running 155 secs || 1060520 markings, 80968676 edges, 10654 markings/sec, 155 secs
lola: sara is running 160 secs || 1100893 markings, 83340608 edges, 8075 markings/sec, 160 secs
lola: sara is running 165 secs || 1140045 markings, 85802584 edges, 7830 markings/sec, 165 secs
lola: sara is running 170 secs || 1171215 markings, 88346054 edges, 6234 markings/sec, 170 secs
lola: sara is running 175 secs || 1194288 markings, 90859439 edges, 4615 markings/sec, 175 secs
lola: sara is running 180 secs || 1227012 markings, 93278257 edges, 6545 markings/sec, 180 secs
lola: sara is running 185 secs || 1270833 markings, 95725933 edges, 8764 markings/sec, 185 secs
lola: sara is running 190 secs || 1314586 markings, 98169432 edges, 8751 markings/sec, 190 secs
lola: sara is running 195 secs || 1357832 markings, 100595399 edges, 8649 markings/sec, 195 secs
lola: sara is running 200 secs || 1389661 markings, 103075824 edges, 6366 markings/sec, 200 secs
lola: sara is running 205 secs || 1412478 markings, 105571334 edges, 4563 markings/sec, 205 secs
lola: sara is running 210 secs || 1464936 markings, 107875057 edges, 10492 markings/sec, 210 secs
lola: sara is running 215 secs || 1504005 markings, 110315921 edges, 7814 markings/sec, 215 secs
lola: sara is running 220 secs || 1537547 markings, 112833072 edges, 6708 markings/sec, 220 secs
lola: sara is running 225 secs || 1568513 markings, 115300429 edges, 6193 markings/sec, 225 secs
lola: sara is running 230 secs || 1590986 markings, 117762013 edges, 4495 markings/sec, 230 secs
lola: sara is running 235 secs || 1626433 markings, 120027080 edges, 7089 markings/sec, 235 secs
lola: sara is running 240 secs || 1658117 markings, 122520651 edges, 6337 markings/sec, 240 secs
lola: sara is running 245 secs || 1697417 markings, 124941566 edges, 7860 markings/sec, 245 secs
lola: sara is running 250 secs || 1733945 markings, 127294166 edges, 7306 markings/sec, 250 secs
lola: sara is running 255 secs || 1769073 markings, 129718239 edges, 7026 markings/sec, 255 secs
lola: sara is running 260 secs || 1806722 markings, 132126361 edges, 7530 markings/sec, 260 secs
lola: sara is running 265 secs || 1829095 markings, 134607639 edges, 4475 markings/sec, 265 secs
lola: sara is running 270 secs || 1885895 markings, 136893462 edges, 11360 markings/sec, 270 secs
lola: sara is running 275 secs || 1921235 markings, 139253511 edges, 7068 markings/sec, 275 secs
lola: sara is running 280 secs || 1976843 markings, 141499393 edges, 11122 markings/sec, 280 secs
lola: sara is running 285 secs || 1999291 markings, 143957658 edges, 4490 markings/sec, 285 secs
lola: sara is running 290 secs || 2041400 markings, 146212993 edges, 8422 markings/sec, 290 secs
lola: sara is running 295 secs || 2063536 markings, 148622359 edges, 4427 markings/sec, 295 secs
lola: sara is running 300 secs || 2086325 markings, 151106372 edges, 4558 markings/sec, 300 secs
lola: sara is running 305 secs || 2109240 markings, 153596731 edges, 4583 markings/sec, 305 secs
lola: sara is running 310 secs || 2131460 markings, 156019606 edges, 4444 markings/sec, 310 secs
lola: sara is running 315 secs || 2153347 markings, 158411787 edges, 4377 markings/sec, 315 secs
lola: sara is running 320 secs || 2187187 markings, 160792329 edges, 6768 markings/sec, 320 secs
lola: sara is running 325 secs || 2222492 markings, 163352119 edges, 7061 markings/sec, 325 secs
lola: sara is running 330 secs || 2260526 markings, 165912271 edges, 7607 markings/sec, 330 secs
lola: sara is running 335 secs || 2295549 markings, 168392371 edges, 7005 markings/sec, 335 secs
lola: sara is running 340 secs || 2331931 markings, 170912042 edges, 7276 markings/sec, 340 secs
lola: sara is running 345 secs || 2370224 markings, 173446714 edges, 7659 markings/sec, 345 secs
lola: sara is running 350 secs || 2423527 markings, 175933810 edges, 10661 markings/sec, 350 secs
lola: sara is running 355 secs || 2479532 markings, 178367278 edges, 11201 markings/sec, 355 secs
lola: sara is running 360 secs || 2546024 markings, 180757307 edges, 13298 markings/sec, 360 secs
lola: sara is running 365 secs || 2588684 markings, 183197692 edges, 8532 markings/sec, 365 secs
lola: sara is running 370 secs || 2615584 markings, 185707854 edges, 5380 markings/sec, 370 secs
lola: sara is running 375 secs || 2650003 markings, 188181046 edges, 6884 markings/sec, 375 secs
lola: sara is running 380 secs || 2689823 markings, 190676460 edges, 7964 markings/sec, 380 secs
lola: sara is running 385 secs || 2735621 markings, 193046646 edges, 9160 markings/sec, 385 secs
lola: sara is running 390 secs || 2772827 markings, 195575150 edges, 7441 markings/sec, 390 secs
lola: sara is running 395 secs || 2805879 markings, 198171362 edges, 6610 markings/sec, 395 secs
lola: sara is running 400 secs || 2848380 markings, 200409301 edges, 8500 markings/sec, 400 secs
lola: sara is running 405 secs || 2883525 markings, 202759096 edges, 7029 markings/sec, 405 secs
lola: sara is running 410 secs || 2910938 markings, 205279207 edges, 5483 markings/sec, 410 secs
lola: sara is running 415 secs || 2962677 markings, 207226282 edges, 10348 markings/sec, 415 secs
lola: sara is running 420 secs || 3030096 markings, 208814100 edges, 13484 markings/sec, 420 secs
lola: sara is running 425 secs || 3052670 markings, 211408338 edges, 4515 markings/sec, 425 secs
lola: sara is running 430 secs || 3053721 markings, 214515023 edges, 210 markings/sec, 430 secs
lola: sara is running 435 secs || 3054043 markings, 217659519 edges, 64 markings/sec, 435 secs
lola: sara is running 440 secs || 3054318 markings, 220765302 edges, 55 markings/sec, 440 secs
lola: sara is running 445 secs || 3072044 markings, 223558956 edges, 3545 markings/sec, 445 secs
lola: sara is running 450 secs || 3126288 markings, 225521474 edges, 10849 markings/sec, 450 secs
lola: sara is running 455 secs || 3135500 markings, 228504854 edges, 1842 markings/sec, 455 secs
lola: sara is running 460 secs || 3153007 markings, 231332893 edges, 3501 markings/sec, 460 secs
lola: sara is running 465 secs || 3174540 markings, 234031416 edges, 4307 markings/sec, 465 secs
lola: sara is running 470 secs || 3201134 markings, 236619319 edges, 5319 markings/sec, 470 secs
lola: sara is running 475 secs || 3226493 markings, 239223407 edges, 5072 markings/sec, 475 secs
lola: sara is running 480 secs || 3251774 markings, 241809209 edges, 5056 markings/sec, 480 secs
lola: sara is running 485 secs || 3271252 markings, 244534344 edges, 3896 markings/sec, 485 secs
lola: sara is running 490 secs || 3309374 markings, 246997435 edges, 7624 markings/sec, 490 secs
lola: sara is running 495 secs || 3358470 markings, 249005195 edges, 9819 markings/sec, 495 secs
lola: sara is running 500 secs || 3400350 markings, 251146727 edges, 8376 markings/sec, 500 secs
lola: sara is running 505 secs || 3456192 markings, 252947833 edges, 11168 markings/sec, 505 secs
lola: sara is running 510 secs || 3512199 markings, 254731431 edges, 11201 markings/sec, 510 secs
lola: sara is running 515 secs || 3525812 markings, 257445221 edges, 2723 markings/sec, 515 secs
lola: sara is running 520 secs || 3526536 markings, 260436097 edges, 145 markings/sec, 520 secs
lola: sara is running 525 secs || 3526830 markings, 263477388 edges, 59 markings/sec, 525 secs
lola: sara is running 530 secs || 3527066 markings, 266500354 edges, 47 markings/sec, 530 secs
lola: sara is running 535 secs || 3554492 markings, 268999007 edges, 5485 markings/sec, 535 secs
lola: sara is running 540 secs || 3593678 markings, 271231174 edges, 7837 markings/sec, 540 secs
lola: sara is running 545 secs || 3594016 markings, 274353029 edges, 68 markings/sec, 545 secs
lola: sara is running 550 secs || 3621002 markings, 276863004 edges, 5397 markings/sec, 550 secs
lola: sara is running 555 secs || 3640702 markings, 279552001 edges, 3940 markings/sec, 555 secs
lola: sara is running 560 secs || 3669292 markings, 282036452 edges, 5718 markings/sec, 560 secs
lola: sara is running 565 secs || 3690365 markings, 284694688 edges, 4215 markings/sec, 565 secs
lola: sara is running 570 secs || 3715845 markings, 287257598 edges, 5096 markings/sec, 570 secs
lola: sara is running 575 secs || 3748973 markings, 289690719 edges, 6626 markings/sec, 575 secs
lola: sara is running 580 secs || 3802636 markings, 291503829 edges, 10733 markings/sec, 580 secs
lola: sara is running 585 secs || 3815729 markings, 294176992 edges, 2619 markings/sec, 585 secs
lola: sara is running 590 secs || 3828330 markings, 296751166 edges, 2520 markings/sec, 590 secs
lola: sara is running 595 secs || 3842488 markings, 299346243 edges, 2832 markings/sec, 595 secs
lola: sara is running 600 secs || 3865225 markings, 301780955 edges, 4547 markings/sec, 600 secs
lola: sara is running 605 secs || 3896658 markings, 304144223 edges, 6287 markings/sec, 605 secs
lola: sara is running 610 secs || 3913633 markings, 306687365 edges, 3395 markings/sec, 610 secs
lola: sara is running 615 secs || 3940204 markings, 309076768 edges, 5314 markings/sec, 615 secs
lola: sara is running 620 secs || 3971783 markings, 311423319 edges, 6316 markings/sec, 620 secs
lola: sara is running 625 secs || 3989527 markings, 314008988 edges, 3549 markings/sec, 625 secs
lola: sara is running 630 secs || 4016457 markings, 316405286 edges, 5386 markings/sec, 630 secs
lola: sara is running 635 secs || 4047806 markings, 318759830 edges, 6270 markings/sec, 635 secs
lola: sara is running 640 secs || 4064914 markings, 321337923 edges, 3422 markings/sec, 640 secs
lola: sara is running 645 secs || 4091469 markings, 323739703 edges, 5311 markings/sec, 645 secs
lola: sara is running 650 secs || 4123462 markings, 326077411 edges, 6399 markings/sec, 650 secs
lola: sara is running 655 secs || 4140849 markings, 328602555 edges, 3477 markings/sec, 655 secs
lola: sara is running 660 secs || 4164698 markings, 331094845 edges, 4770 markings/sec, 660 secs
lola: sara is running 665 secs || 4197901 markings, 333307758 edges, 6641 markings/sec, 665 secs
lola: sara is running 670 secs || 4216454 markings, 335978578 edges, 3711 markings/sec, 670 secs
lola: sara is running 675 secs || 4245546 markings, 338523907 edges, 5818 markings/sec, 675 secs
lola: sara is running 680 secs || 4275657 markings, 341107867 edges, 6022 markings/sec, 680 secs
lola: sara is running 685 secs || 4335495 markings, 342921003 edges, 11968 markings/sec, 685 secs
lola: sara is running 690 secs || 4346080 markings, 345775727 edges, 2117 markings/sec, 690 secs
lola: sara is running 695 secs || 4366141 markings, 348391266 edges, 4012 markings/sec, 695 secs
lola: sara is running 700 secs || 4380325 markings, 351213330 edges, 2837 markings/sec, 700 secs
lola: sara is running 705 secs || 4416812 markings, 353473150 edges, 7297 markings/sec, 705 secs
lola: sara is running 710 secs || 4429717 markings, 356227428 edges, 2581 markings/sec, 710 secs
lola: sara is running 715 secs || 4455026 markings, 358750688 edges, 5062 markings/sec, 715 secs
lola: sara is running 720 secs || 4481581 markings, 361175981 edges, 5311 markings/sec, 720 secs
lola: sara is running 725 secs || 4507857 markings, 363702842 edges, 5255 markings/sec, 725 secs
lola: sara is running 730 secs || 4531367 markings, 366198651 edges, 4702 markings/sec, 730 secs
lola: sara is running 735 secs || 4557345 markings, 368736213 edges, 5196 markings/sec, 735 secs
lola: sara is running 740 secs || 4584019 markings, 371359868 edges, 5335 markings/sec, 740 secs
lola: sara is running 745 secs || 4615191 markings, 373848582 edges, 6234 markings/sec, 745 secs
lola: sara is running 750 secs || 4638346 markings, 376435744 edges, 4631 markings/sec, 750 secs
lola: sara is running 755 secs || 4661030 markings, 378660465 edges, 4537 markings/sec, 755 secs
lola: sara is running 760 secs || 4691733 markings, 381164686 edges, 6141 markings/sec, 760 secs
lola: sara is running 765 secs || 4714535 markings, 383836441 edges, 4560 markings/sec, 765 secs
lola: sara is running 770 secs || 4739426 markings, 386336505 edges, 4978 markings/sec, 770 secs
lola: sara is running 775 secs || 4774447 markings, 388762715 edges, 7004 markings/sec, 775 secs
lola: sara is running 780 secs || 4794689 markings, 391494044 edges, 4048 markings/sec, 780 secs
lola: sara is running 785 secs || 4820922 markings, 394021125 edges, 5247 markings/sec, 785 secs
lola: sara is running 790 secs || 4856516 markings, 396464119 edges, 7119 markings/sec, 790 secs
lola: sara is running 795 secs || 4875838 markings, 399216715 edges, 3864 markings/sec, 795 secs
lola: sara is running 800 secs || 4902933 markings, 401771202 edges, 5419 markings/sec, 800 secs
lola: sara is running 805 secs || 4938619 markings, 404248462 edges, 7137 markings/sec, 805 secs
lola: sara is running 810 secs || 4956519 markings, 406901827 edges, 3580 markings/sec, 810 secs
lola: sara is running 815 secs || 4981363 markings, 409295675 edges, 4969 markings/sec, 815 secs
lola: sara is running 820 secs || 5016417 markings, 411640473 edges, 7011 markings/sec, 820 secs
lola: sara is running 825 secs || 5034495 markings, 414398525 edges, 3616 markings/sec, 825 secs
lola: sara is running 830 secs || 5059059 markings, 416943830 edges, 4913 markings/sec, 830 secs
lola: sara is running 835 secs || 5088577 markings, 419408615 edges, 5904 markings/sec, 835 secs
lola: sara is running 840 secs || 5114830 markings, 422007571 edges, 5251 markings/sec, 840 secs
lola: sara is running 845 secs || 5139593 markings, 424587385 edges, 4953 markings/sec, 845 secs
lola: sara is running 850 secs || 5171458 markings, 427033051 edges, 6373 markings/sec, 850 secs
lola: sara is running 855 secs || 5192360 markings, 429611640 edges, 4180 markings/sec, 855 secs
lola: sara is running 860 secs || 5222682 markings, 432068988 edges, 6064 markings/sec, 860 secs
lola: sara is running 865 secs || 5245747 markings, 434783718 edges, 4613 markings/sec, 865 secs
lola: sara is running 870 secs || 5273299 markings, 437368372 edges, 5510 markings/sec, 870 secs
lola: sara is running 875 secs || 5301092 markings, 439950541 edges, 5559 markings/sec, 875 secs
lola: sara is running 880 secs || 5331028 markings, 442491549 edges, 5987 markings/sec, 880 secs
lola: sara is running 885 secs || 5353938 markings, 445120471 edges, 4582 markings/sec, 885 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown no no yes no no unknown no no unknown no yes no
lola: memory consumption: 222784 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p73 <= p152) OR ((1 <= p78) AND (p1 <= p132)))))
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 (((p73 <= p152) OR ((1 <= p78) AND (p1 <= p132)))))
lola: processed formula length: 57
lola: 17 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p152 + 1 <= p73) AND ((p78 <= 0) OR (p132 + 1 <= p1)))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-5a-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10 markings, 9 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p25 <= 0) AND ((p106 + 1 <= p9) OR (p76 + 1 <= p117)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((p25 <= 0) AND ((p106 + 1 <= p9) OR (p76 + 1 <= p117)))))
lola: processed formula length: 65
lola: 16 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p25 <= 0) AND ((p106 + 1 <= p9) OR (p76 + 1 <= p117)))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 12 markings, 11 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2677 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p71 <= p153) AND (p76 <= p26) AND (p141 <= 0) AND ((p8 <= p97) OR (1 <= p59) OR (1 <= p75)))))
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 (((p71 <= p153) AND (p76 <= p26) AND (p141 <= 0) AND ((p8 <= p97) OR (1 <= p59) OR (1 <= p75)))))
lola: processed formula length: 104
lola: 17 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p153 + 1 <= p71) OR (p26 + 1 <= p76) OR (1 <= p141) OR ((p97 + 1 <= p8) AND (p59 <= 0) AND (p75 <= 0)))
lola: state equation: Generated DNF with 6 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10 markings, 9 edges
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-15-0.sara
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (((p1 <= p137) OR (p12 <= p123))))
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 (((p1 <= p137) OR (p12 <= p123))))
lola: processed formula length: 40
lola: 17 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p137 + 1 <= p1) AND (p123 + 1 <= p12))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-5a-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 34325 markings, 2494469 edges, 6865 markings/sec, 0 secs
lola: sara is running 5 secs || 75871 markings, 4915843 edges, 8309 markings/sec, 5 secs
lola: sara is running 10 secs || 119040 markings, 7223746 edges, 8634 markings/sec, 10 secs
lola: sara is running 15 secs || 161982 markings, 9721299 edges, 8588 markings/sec, 15 secs
sara: warning, failure of lp_solve (at job 5054)
lola: sara is running 20 secs || 209666 markings, 12053835 edges, 9537 markings/sec, 20 secs
lola: sara is running 25 secs || 228425 markings, 14854995 edges, 3752 markings/sec, 25 secs
lola: sara is running 30 secs || 262773 markings, 17305050 edges, 6870 markings/sec, 30 secs
lola: sara is running 35 secs || 282771 markings, 20204303 edges, 4000 markings/sec, 35 secs
lola: sara is running 40 secs || 311274 markings, 22873155 edges, 5701 markings/sec, 40 secs
lola: sara is running 45 secs || 339581 markings, 25569888 edges, 5661 markings/sec, 45 secs
lola: sara is running 50 secs || 378460 markings, 28027959 edges, 7776 markings/sec, 50 secs
lola: sara is running 55 secs || 397480 markings, 30844023 edges, 3804 markings/sec, 55 secs
lola: sara is running 60 secs || 424251 markings, 33440827 edges, 5354 markings/sec, 60 secs
lola: sara is running 65 secs || 453987 markings, 36077411 edges, 5947 markings/sec, 65 secs
lola: sara is running 70 secs || 486678 markings, 38676815 edges, 6538 markings/sec, 70 secs
lola: sara is running 75 secs || 518672 markings, 41264154 edges, 6399 markings/sec, 75 secs
lola: sara is running 80 secs || 547080 markings, 43834301 edges, 5682 markings/sec, 80 secs
lola: sara is running 85 secs || 580994 markings, 46402022 edges, 6783 markings/sec, 85 secs
lola: sara is running 90 secs || 613728 markings, 48955666 edges, 6547 markings/sec, 90 secs
lola: sara is running 95 secs || 642707 markings, 51489253 edges, 5796 markings/sec, 95 secs
lola: sara is running 100 secs || 683057 markings, 53916175 edges, 8070 markings/sec, 100 secs
lola: sara is running 105 secs || 714425 markings, 56519887 edges, 6274 markings/sec, 105 secs
lola: sara is running 110 secs || 751878 markings, 59006275 edges, 7491 markings/sec, 110 secs
lola: sara is running 115 secs || 789430 markings, 61451801 edges, 7510 markings/sec, 115 secs
lola: sara is running 120 secs || 819612 markings, 63955090 edges, 6036 markings/sec, 120 secs
lola: sara is running 125 secs || 843130 markings, 66515255 edges, 4704 markings/sec, 125 secs
lola: sara is running 130 secs || 870068 markings, 69026658 edges, 5388 markings/sec, 130 secs
lola: sara is running 135 secs || 901840 markings, 71611428 edges, 6354 markings/sec, 135 secs
lola: sara is running 140 secs || 934951 markings, 74197782 edges, 6622 markings/sec, 140 secs
lola: sara is running 145 secs || 971987 markings, 76747454 edges, 7407 markings/sec, 145 secs
lola: sara is running 150 secs || 1020064 markings, 79215789 edges, 9615 markings/sec, 150 secs
lola: sara is running 155 secs || 1080317 markings, 81548615 edges, 12051 markings/sec, 155 secs
lola: sara is running 160 secs || 1108694 markings, 84026601 edges, 5675 markings/sec, 160 secs
lola: sara is running 165 secs || 1153567 markings, 86521003 edges, 8975 markings/sec, 165 secs
lola: sara is running 170 secs || 1178172 markings, 89102338 edges, 4921 markings/sec, 170 secs
lola: sara is running 175 secs || 1203384 markings, 91629956 edges, 5042 markings/sec, 175 secs
lola: sara is running 180 secs || 1238903 markings, 94092369 edges, 7104 markings/sec, 180 secs
lola: sara is running 185 secs || 1284606 markings, 96557184 edges, 9141 markings/sec, 185 secs
lola: sara is running 190 secs || 1329541 markings, 99022127 edges, 8987 markings/sec, 190 secs
lola: sara is running 195 secs || 1373850 markings, 101493107 edges, 8862 markings/sec, 195 secs
lola: sara is running 200 secs || 1398548 markings, 104048421 edges, 4940 markings/sec, 200 secs
lola: sara is running 205 secs || 1424662 markings, 106576558 edges, 5223 markings/sec, 205 secs
lola: sara is running 210 secs || 1477771 markings, 108917756 edges, 10622 markings/sec, 210 secs
lola: sara is running 215 secs || 1521859 markings, 111381505 edges, 8818 markings/sec, 215 secs
lola: sara is running 220 secs || 1552778 markings, 113965036 edges, 6184 markings/sec, 220 secs
lola: sara is running 225 secs || 1579231 markings, 116451104 edges, 5291 markings/sec, 225 secs
lola: sara is running 230 secs || 1601881 markings, 118945103 edges, 4530 markings/sec, 230 secs
lola: sara is running 235 secs || 1647437 markings, 121189494 edges, 9111 markings/sec, 235 secs
lola: sara is running 240 secs || 1677053 markings, 123825996 edges, 5923 markings/sec, 240 secs
lola: sara is running 245 secs || 1714566 markings, 126252498 edges, 7503 markings/sec, 245 secs
lola: sara is running 250 secs || 1752744 markings, 128658457 edges, 7636 markings/sec, 250 secs
lola: sara is running 255 secs || 1791705 markings, 131087420 edges, 7792 markings/sec, 255 secs
lola: sara is running 260 secs || 1819920 markings, 133588459 edges, 5643 markings/sec, 260 secs
lola: sara is running 265 secs || 1871429 markings, 135950351 edges, 10302 markings/sec, 265 secs
lola: sara is running 270 secs || 1909112 markings, 138355792 edges, 7537 markings/sec, 270 secs
lola: sara is running 275 secs || 1961721 markings, 140664273 edges, 10522 markings/sec, 275 secs
lola: sara is running 280 secs || 1991613 markings, 143120087 edges, 5978 markings/sec, 280 secs
lola: sara is running 285 secs || 2032832 markings, 145428798 edges, 8244 markings/sec, 285 secs
lola: sara is running 290 secs || 2056586 markings, 147867788 edges, 4751 markings/sec, 290 secs
lola: sara is running 295 secs || 2079607 markings, 150363843 edges, 4604 markings/sec, 295 secs
lola: sara is running 300 secs || 2102677 markings, 152889286 edges, 4614 markings/sec, 300 secs
lola: sara is running 305 secs || 2125559 markings, 155382977 edges, 4576 markings/sec, 305 secs
lola: sara is running 310 secs || 2147703 markings, 157786209 edges, 4429 markings/sec, 310 secs
lola: sara is running 315 secs || 2180432 markings, 160168188 edges, 6546 markings/sec, 315 secs
lola: sara is running 320 secs || 2215308 markings, 162768328 edges, 6975 markings/sec, 320 secs
lola: sara is running 325 secs || 2252607 markings, 165386011 edges, 7460 markings/sec, 325 secs
lola: sara is running 330 secs || 2289018 markings, 167922970 edges, 7282 markings/sec, 330 secs
lola: sara is running 335 secs || 2325848 markings, 170476165 edges, 7366 markings/sec, 335 secs
lola: sara is running 340 secs || 2364141 markings, 173042320 edges, 7659 markings/sec, 340 secs
lola: sara is running 345 secs || 2412439 markings, 175597577 edges, 9660 markings/sec, 345 secs
lola: sara is running 350 secs || 2473372 markings, 178059049 edges, 12187 markings/sec, 350 secs
lola: sara is running 355 secs || 2541786 markings, 180479945 edges, 13683 markings/sec, 355 secs
lola: sara is running 360 secs || 2586538 markings, 182958825 edges, 8950 markings/sec, 360 secs
lola: sara is running 365 secs || 2612699 markings, 185523716 edges, 5232 markings/sec, 365 secs
lola: sara is running 370 secs || 2648676 markings, 188036895 edges, 7195 markings/sec, 370 secs
lola: sara is running 375 secs || 2687015 markings, 190575377 edges, 7668 markings/sec, 375 secs
lola: sara is running 380 secs || 2735558 markings, 192967859 edges, 9709 markings/sec, 380 secs
lola: sara is running 385 secs || 2771894 markings, 195554940 edges, 7267 markings/sec, 385 secs
lola: sara is running 390 secs || 2806196 markings, 198173759 edges, 6860 markings/sec, 390 secs
lola: sara is running 395 secs || 2849602 markings, 200442834 edges, 8681 markings/sec, 395 secs
lola: sara is running 400 secs || 2883548 markings, 202872476 edges, 6789 markings/sec, 400 secs
lola: sara is running 405 secs || 2915897 markings, 205344283 edges, 6470 markings/sec, 405 secs
lola: sara is running 410 secs || 2968595 markings, 207317815 edges, 10540 markings/sec, 410 secs
lola: sara is running 415 secs || 3034099 markings, 209007471 edges, 13101 markings/sec, 415 secs
lola: sara is running 420 secs || 3052828 markings, 211741979 edges, 3746 markings/sec, 420 secs
lola: sara is running 425 secs || 3053780 markings, 214900862 edges, 190 markings/sec, 425 secs
lola: sara is running 430 secs || 3054096 markings, 218085209 edges, 63 markings/sec, 430 secs
lola: sara is running 435 secs || 3054343 markings, 221234915 edges, 49 markings/sec, 435 secs
lola: sara is running 440 secs || 3084611 markings, 223803004 edges, 6054 markings/sec, 440 secs
lola: sara is running 445 secs || 3132626 markings, 225961241 edges, 9603 markings/sec, 445 secs
lola: sara is running 450 secs || 3135556 markings, 229144312 edges, 586 markings/sec, 450 secs
lola: sara is running 455 secs || 3154710 markings, 231970106 edges, 3831 markings/sec, 455 secs
lola: sara is running 460 secs || 3181133 markings, 234628409 edges, 5285 markings/sec, 460 secs
lola: sara is running 465 secs || 3209027 markings, 237233436 edges, 5579 markings/sec, 465 secs
lola: sara is running 470 secs || 3231999 markings, 239934367 edges, 4594 markings/sec, 470 secs
lola: sara is running 475 secs || 3255012 markings, 242635787 edges, 4603 markings/sec, 475 secs
lola: sara is running 480 secs || 3291264 markings, 245119688 edges, 7250 markings/sec, 480 secs
lola: sara is running 485 secs || 3340422 markings, 247287578 edges, 9832 markings/sec, 485 secs
lola: sara is running 490 secs || 3371248 markings, 249763087 edges, 6165 markings/sec, 490 secs
lola: sara is running 495 secs || 3403228 markings, 252163152 edges, 6396 markings/sec, 495 secs
lola: sara is running 500 secs || 3481821 markings, 253511492 edges, 15719 markings/sec, 500 secs
lola: sara is running 505 secs || 3522171 markings, 255698183 edges, 8070 markings/sec, 505 secs
lola: sara is running 510 secs || 3526148 markings, 258682543 edges, 795 markings/sec, 510 secs
lola: sara is running 515 secs || 3526695 markings, 261749810 edges, 109 markings/sec, 515 secs
lola: sara is running 520 secs || 3526957 markings, 264839215 edges, 52 markings/sec, 520 secs
lola: sara is running 525 secs || 3530911 markings, 267842413 edges, 791 markings/sec, 525 secs
lola: sara is running 530 secs || 3586174 markings, 269801778 edges, 11053 markings/sec, 530 secs
lola: sara is running 535 secs || 3593926 markings, 272789254 edges, 1550 markings/sec, 535 secs
lola: sara is running 540 secs || 3608279 markings, 275658726 edges, 2871 markings/sec, 540 secs
lola: sara is running 545 secs || 3631063 markings, 278341880 edges, 4557 markings/sec, 545 secs
lola: sara is running 550 secs || 3658063 markings, 280904851 edges, 5400 markings/sec, 550 secs
lola: sara is running 555 secs || 3680064 markings, 283593230 edges, 4400 markings/sec, 555 secs
lola: sara is running 560 secs || 3708219 markings, 286114668 edges, 5631 markings/sec, 560 secs
lola: sara is running 565 secs || 3728288 markings, 288786479 edges, 4014 markings/sec, 565 secs
lola: sara is running 570 secs || 3778271 markings, 290763921 edges, 9997 markings/sec, 570 secs
lola: sara is running 575 secs || 3815438 markings, 292921141 edges, 7433 markings/sec, 575 secs
lola: sara is running 580 secs || 3815831 markings, 295852433 edges, 79 markings/sec, 580 secs
lola: sara is running 585 secs || 3838401 markings, 298368463 edges, 4514 markings/sec, 585 secs
lola: sara is running 590 secs || 3857897 markings, 300977106 edges, 3899 markings/sec, 590 secs
lola: sara is running 595 secs || 3879556 markings, 303533492 edges, 4332 markings/sec, 595 secs
lola: sara is running 600 secs || 3907899 markings, 305915493 edges, 5669 markings/sec, 600 secs
lola: sara is running 605 secs || 3938724 markings, 308232315 edges, 6165 markings/sec, 605 secs
lola: sara is running 610 secs || 3955368 markings, 310856049 edges, 3329 markings/sec, 610 secs
lola: sara is running 615 secs || 3983927 markings, 313192001 edges, 5712 markings/sec, 615 secs
lola: sara is running 620 secs || 4016241 markings, 315500727 edges, 6463 markings/sec, 620 secs
lola: sara is running 625 secs || 4031328 markings, 318132586 edges, 3017 markings/sec, 625 secs
lola: sara is running 630 secs || 4059943 markings, 320473806 edges, 5723 markings/sec, 630 secs
lola: sara is running 635 secs || 4090783 markings, 322766933 edges, 6168 markings/sec, 635 secs
lola: sara is running 640 secs || 4105917 markings, 325376459 edges, 3027 markings/sec, 640 secs
lola: sara is running 645 secs || 4134866 markings, 327669571 edges, 5790 markings/sec, 645 secs
lola: sara is running 650 secs || 4164078 markings, 330055266 edges, 5842 markings/sec, 650 secs
lola: sara is running 655 secs || 4181882 markings, 332744241 edges, 3561 markings/sec, 655 secs
lola: sara is running 660 secs || 4210193 markings, 335291862 edges, 5662 markings/sec, 660 secs
lola: sara is running 665 secs || 4240172 markings, 337822342 edges, 5996 markings/sec, 665 secs
lola: sara is running 670 secs || 4265315 markings, 340480733 edges, 5029 markings/sec, 670 secs
lola: sara is running 675 secs || 4317890 markings, 342517396 edges, 10515 markings/sec, 675 secs
lola: sara is running 680 secs || 4345990 markings, 344980143 edges, 5620 markings/sec, 680 secs
lola: sara is running 685 secs || 4350038 markings, 347994631 edges, 810 markings/sec, 685 secs
lola: sara is running 690 secs || 4374643 markings, 350631114 edges, 4921 markings/sec, 690 secs
lola: sara is running 695 secs || 4404524 markings, 353149680 edges, 5976 markings/sec, 695 secs
lola: sara is running 700 secs || 4427006 markings, 355698896 edges, 4496 markings/sec, 700 secs
lola: sara is running 705 secs || 4452169 markings, 358227968 edges, 5033 markings/sec, 705 secs
lola: sara is running 710 secs || 4476973 markings, 360706067 edges, 4961 markings/sec, 710 secs
lola: sara is running 715 secs || 4499850 markings, 363257177 edges, 4575 markings/sec, 715 secs
lola: sara is running 720 secs || 4527575 markings, 365707187 edges, 5545 markings/sec, 720 secs
lola: sara is running 725 secs || 4555239 markings, 368164243 edges, 5533 markings/sec, 725 secs
lola: sara is running 730 secs || 4579831 markings, 370763062 edges, 4918 markings/sec, 730 secs
lola: sara is running 735 secs || 4610281 markings, 373280242 edges, 6090 markings/sec, 735 secs
lola: sara is running 740 secs || 4632907 markings, 375919715 edges, 4525 markings/sec, 740 secs
lola: sara is running 745 secs || 4658677 markings, 378403250 edges, 5154 markings/sec, 745 secs
lola: sara is running 750 secs || 4691646 markings, 380866491 edges, 6594 markings/sec, 750 secs
lola: sara is running 755 secs || 4711723 markings, 383563777 edges, 4015 markings/sec, 755 secs
lola: sara is running 760 secs || 4736628 markings, 386077218 edges, 4981 markings/sec, 760 secs
lola: sara is running 765 secs || 4774134 markings, 388461025 edges, 7501 markings/sec, 765 secs
lola: sara is running 770 secs || 4791797 markings, 391221483 edges, 3533 markings/sec, 770 secs
lola: sara is running 775 secs || 4817931 markings, 393720678 edges, 5227 markings/sec, 775 secs
lola: sara is running 780 secs || 4855208 markings, 396100446 edges, 7455 markings/sec, 780 secs
lola: sara is running 785 secs || 4873468 markings, 398910766 edges, 3652 markings/sec, 785 secs
lola: sara is running 790 secs || 4899915 markings, 401480890 edges, 5289 markings/sec, 790 secs
lola: sara is running 795 secs || 4937347 markings, 403898063 edges, 7486 markings/sec, 795 secs
lola: sara is running 800 secs || 4954637 markings, 406717191 edges, 3458 markings/sec, 800 secs
lola: sara is running 805 secs || 4981202 markings, 409286195 edges, 5313 markings/sec, 805 secs
lola: sara is running 810 secs || 5018225 markings, 411692540 edges, 7405 markings/sec, 810 secs
lola: sara is running 815 secs || 5036073 markings, 414503270 edges, 3570 markings/sec, 815 secs
lola: sara is running 820 secs || 5061313 markings, 417110984 edges, 5048 markings/sec, 820 secs
lola: sara is running 825 secs || 5095642 markings, 419599827 edges, 6866 markings/sec, 825 secs
lola: sara is running 830 secs || 5116823 markings, 422372244 edges, 4236 markings/sec, 830 secs
lola: sara is running 835 secs || 5143415 markings, 424971131 edges, 5318 markings/sec, 835 secs
lola: sara is running 840 secs || 5178240 markings, 427385766 edges, 6965 markings/sec, 840 secs
lola: sara is running 845 secs || 5197651 markings, 430047691 edges, 3882 markings/sec, 845 secs
lola: sara is running 850 secs || 5225360 markings, 432669171 edges, 5542 markings/sec, 850 secs
lola: sara is running 855 secs || 5253808 markings, 435251861 edges, 5690 markings/sec, 855 secs
lola: sara is running 860 secs || 5279479 markings, 437905373 edges, 5134 markings/sec, 860 secs
lola: sara is running 865 secs || 5307277 markings, 440545700 edges, 5560 markings/sec, 865 secs
lola: sara is running 870 secs || 5336003 markings, 443097218 edges, 5745 markings/sec, 870 secs
lola: sara is running 875 secs || 5360216 markings, 445692879 edges, 4843 markings/sec, 875 secs
lola: sara is running 880 secs || 5391223 markings, 448150153 edges, 6201 markings/sec, 880 secs
lola: sara is running 885 secs || 5414054 markings, 450799174 edges, 4566 markings/sec, 885 secs
lola: sara is running 890 secs || 5438498 markings, 453380525 edges, 4889 markings/sec, 890 secs
lola: sara is running 895 secs || 5474971 markings, 455720291 edges, 7295 markings/sec, 895 secs
lola: sara is running 900 secs || 5491785 markings, 458495702 edges, 3363 markings/sec, 900 secs
lola: sara is running 905 secs || 5517133 markings, 461032651 edges, 5070 markings/sec, 905 secs
lola: sara is running 910 secs || 5545911 markings, 463588332 edges, 5756 markings/sec, 910 secs
lola: sara is running 915 secs || 5605866 markings, 465617029 edges, 11991 markings/sec, 915 secs
lola: sara is running 920 secs || 5625665 markings, 468278858 edges, 3960 markings/sec, 920 secs
lola: sara is running 925 secs || 5648365 markings, 470947066 edges, 4540 markings/sec, 925 secs
lola: sara is running 930 secs || 5670033 markings, 473679122 edges, 4334 markings/sec, 930 secs
lola: sara is running 935 secs || 5700008 markings, 476236809 edges, 5995 markings/sec, 935 secs
lola: sara is running 940 secs || 5732365 markings, 478793542 edges, 6471 markings/sec, 940 secs
lola: sara is running 945 secs || 5762063 markings, 481425609 edges, 5940 markings/sec, 945 secs
lola: sara is running 950 secs || 5793981 markings, 483883815 edges, 6384 markings/sec, 950 secs
lola: sara is running 955 secs || 5822603 markings, 486413347 edges, 5724 markings/sec, 955 secs
lola: sara is running 960 secs || 5853106 markings, 488930254 edges, 6101 markings/sec, 960 secs
lola: sara is running 965 secs || 5882162 markings, 491424741 edges, 5811 markings/sec, 965 secs
lola: sara is running 970 secs || 5915413 markings, 493821108 edges, 6650 markings/sec, 970 secs
lola: sara is running 975 secs || 5941640 markings, 496348962 edges, 5245 markings/sec, 975 secs
lola: sara is running 980 secs || 5973603 markings, 498884670 edges, 6393 markings/sec, 980 secs
lola: sara is running 985 secs || 6006736 markings, 501411161 edges, 6627 markings/sec, 985 secs
lola: sara is running 990 secs || 6035630 markings, 503972589 edges, 5779 markings/sec, 990 secs
lola: sara is running 995 secs || 6064026 markings, 506432857 edges, 5679 markings/sec, 995 secs
lola: sara is running 1000 secs || 6098254 markings, 508913402 edges, 6846 markings/sec, 1000 secs
lola: sara is running 1005 secs || 6126726 markings, 511537756 edges, 5694 markings/sec, 1005 secs
lola: sara is running 1010 secs || 6157724 markings, 514094364 edges, 6200 markings/sec, 1010 secs
lola: sara is running 1015 secs || 6191587 markings, 516564326 edges, 6773 markings/sec, 1015 secs
lola: sara is running 1020 secs || 6220517 markings, 519112218 edges, 5786 markings/sec, 1020 secs
lola: sara is running 1025 secs || 6250267 markings, 521642245 edges, 5950 markings/sec, 1025 secs
lola: sara is running 1030 secs || 6280962 markings, 524162613 edges, 6139 markings/sec, 1030 secs
lola: sara is running 1035 secs || 6316061 markings, 526649185 edges, 7020 markings/sec, 1035 secs
lola: sara is running 1040 secs || 6352251 markings, 529137503 edges, 7238 markings/sec, 1040 secs
lola: sara is running 1045 secs || 6383570 markings, 531607049 edges, 6264 markings/sec, 1045 secs
lola: sara is running 1050 secs || 6417632 markings, 534089704 edges, 6812 markings/sec, 1050 secs
lola: sara is running 1055 secs || 6452614 markings, 536574469 edges, 6996 markings/sec, 1055 secs
lola: sara is running 1060 secs || 6483312 markings, 539068716 edges, 6140 markings/sec, 1060 secs
lola: sara is running 1065 secs || 6506312 markings, 541557391 edges, 4600 markings/sec, 1065 secs
lola: sara is running 1070 secs || 6527781 markings, 543953492 edges, 4294 markings/sec, 1070 secs
lola: sara is running 1075 secs || 6549221 markings, 546406336 edges, 4288 markings/sec, 1075 secs
lola: sara is running 1080 secs || 6571355 markings, 548837858 edges, 4427 markings/sec, 1080 secs
lola: sara is running 1085 secs || 6592180 markings, 551208485 edges, 4165 markings/sec, 1085 secs
lola: sara is running 1090 secs || 6613845 markings, 553603416 edges, 4333 markings/sec, 1090 secs
lola: sara is running 1095 secs || 6635715 markings, 556006798 edges, 4374 markings/sec, 1095 secs
lola: sara is running 1100 secs || 6657526 markings, 558379899 edges, 4362 markings/sec, 1100 secs
lola: sara is running 1105 secs || 6687454 markings, 560707267 edges, 5986 markings/sec, 1105 secs
lola: sara is running 1110 secs || 6719854 markings, 563097073 edges, 6480 markings/sec, 1110 secs
lola: sara is running 1115 secs || 6752535 markings, 565467022 edges, 6536 markings/sec, 1115 secs
lola: sara is running 1120 secs || 6785684 markings, 567916951 edges, 6630 markings/sec, 1120 secs
lola: sara is running 1125 secs || 6819649 markings, 570353483 edges, 6793 markings/sec, 1125 secs
lola: sara is running 1130 secs || 6854047 markings, 572755276 edges, 6880 markings/sec, 1130 secs
lola: sara is running 1135 secs || 6886870 markings, 575126752 edges, 6565 markings/sec, 1135 secs
lola: sara is running 1140 secs || 6920141 markings, 577562069 edges, 6654 markings/sec, 1140 secs
lola: sara is running 1145 secs || 6952852 markings, 579955511 edges, 6542 markings/sec, 1145 secs
lola: sara is running 1150 secs || 6986938 markings, 582407606 edges, 6817 markings/sec, 1150 secs
lola: sara is running 1155 secs || 7021166 markings, 584869284 edges, 6846 markings/sec, 1155 secs
lola: sara is running 1160 secs || 7061850 markings, 587079718 edges, 8137 markings/sec, 1160 secs
lola: sara is running 1165 secs || 7086219 markings, 589571980 edges, 4874 markings/sec, 1165 secs
lola: sara is running 1170 secs || 7119523 markings, 592005239 edges, 6661 markings/sec, 1170 secs
lola: sara is running 1175 secs || 7151455 markings, 594388236 edges, 6386 markings/sec, 1175 secs
lola: sara is running 1180 secs || 7184651 markings, 596813376 edges, 6639 markings/sec, 1180 secs
lola: sara is running 1185 secs || 7218865 markings, 599282815 edges, 6843 markings/sec, 1185 secs
lola: sara is running 1190 secs || 7252126 markings, 601561047 edges, 6652 markings/sec, 1190 secs
lola: sara is running 1195 secs || 7269513 markings, 604150297 edges, 3477 markings/sec, 1195 secs
lola: sara is running 1200 secs || 7291521 markings, 606695432 edges, 4402 markings/sec, 1200 secs
lola: sara is running 1205 secs || 7311746 markings, 609196676 edges, 4045 markings/sec, 1205 secs
lola: sara is running 1210 secs || 7333688 markings, 611636753 edges, 4388 markings/sec, 1210 secs
lola: sara is running 1215 secs || 7356345 markings, 614148773 edges, 4531 markings/sec, 1215 secs
lola: sara is running 1220 secs || 7378840 markings, 616633290 edges, 4499 markings/sec, 1220 secs
lola: sara is running 1225 secs || 7401514 markings, 619111765 edges, 4535 markings/sec, 1225 secs
lola: sara is running 1230 secs || 7431313 markings, 621513668 edges, 5960 markings/sec, 1230 secs
lola: sara is running 1235 secs || 7461675 markings, 623975676 edges, 6072 markings/sec, 1235 secs
lola: sara is running 1240 secs || 7494454 markings, 626441276 edges, 6556 markings/sec, 1240 secs
lola: sara is running 1245 secs || 7527403 markings, 628850330 edges, 6590 markings/sec, 1245 secs
lola: sara is running 1250 secs || 7561366 markings, 631296635 edges, 6793 markings/sec, 1250 secs
lola: sara is running 1255 secs || 7595764 markings, 633740207 edges, 6880 markings/sec, 1255 secs
lola: sara is running 1260 secs || 7625500 markings, 636223648 edges, 5947 markings/sec, 1260 secs
lola: sara is running 1265 secs || 7658828 markings, 638566841 edges, 6666 markings/sec, 1265 secs
lola: sara is running 1270 secs || 7678125 markings, 641333880 edges, 3859 markings/sec, 1270 secs
lola: sara is running 1275 secs || 7704901 markings, 643910183 edges, 5355 markings/sec, 1275 secs
lola: sara is running 1280 secs || 7732710 markings, 646504698 edges, 5562 markings/sec, 1280 secs
lola: sara is running 1285 secs || 7761152 markings, 649088177 edges, 5688 markings/sec, 1285 secs
lola: sara is running 1290 secs || 7789499 markings, 651545612 edges, 5669 markings/sec, 1290 secs
lola: sara is running 1295 secs || 7810714 markings, 654107506 edges, 4243 markings/sec, 1295 secs
lola: sara is running 1300 secs || 7838989 markings, 656607041 edges, 5655 markings/sec, 1300 secs
lola: sara is running 1305 secs || 7867195 markings, 658996738 edges, 5641 markings/sec, 1305 secs
lola: sara is running 1310 secs || 7894689 markings, 661332133 edges, 5499 markings/sec, 1310 secs
lola: sara is running 1315 secs || 7926360 markings, 663798075 edges, 6334 markings/sec, 1315 secs
lola: sara is running 1320 secs || 7950667 markings, 666259615 edges, 4861 markings/sec, 1320 secs
lola: sara is running 1325 secs || 7984234 markings, 668673282 edges, 6713 markings/sec, 1325 secs
lola: sara is running 1330 secs || 8013591 markings, 671102932 edges, 5871 markings/sec, 1330 secs
lola: sara is running 1335 secs || 8041174 markings, 673495614 edges, 5517 markings/sec, 1335 secs
lola: sara is running 1340 secs || 8068399 markings, 675967892 edges, 5445 markings/sec, 1340 secs
lola: sara is running 1345 secs || 8090898 markings, 678405750 edges, 4500 markings/sec, 1345 secs
lola: sara is running 1350 secs || 8113317 markings, 680896686 edges, 4484 markings/sec, 1350 secs
lola: sara is running 1355 secs || 8134819 markings, 683354579 edges, 4300 markings/sec, 1355 secs
lola: sara is running 1360 secs || 8156949 markings, 685743073 edges, 4426 markings/sec, 1360 secs
lola: sara is running 1365 secs || 8178999 markings, 688188439 edges, 4410 markings/sec, 1365 secs
lola: sara is running 1370 secs || 8199787 markings, 690522037 edges, 4158 markings/sec, 1370 secs
lola: sara is running 1375 secs || 8223974 markings, 692905354 edges, 4837 markings/sec, 1375 secs
lola: sara is running 1380 secs || 8244807 markings, 695390285 edges, 4167 markings/sec, 1380 secs
lola: sara is running 1385 secs || 8266637 markings, 697788239 edges, 4366 markings/sec, 1385 secs
lola: sara is running 1390 secs || 8287528 markings, 700178826 edges, 4178 markings/sec, 1390 secs
lola: sara is running 1395 secs || 8309111 markings, 702564086 edges, 4317 markings/sec, 1395 secs
lola: sara is running 1400 secs || 8330822 markings, 704942364 edges, 4342 markings/sec, 1400 secs
lola: sara is running 1405 secs || 8359829 markings, 707154327 edges, 5801 markings/sec, 1405 secs
lola: sara is running 1410 secs || 8374746 markings, 709764626 edges, 2983 markings/sec, 1410 secs
lola: sara is running 1415 secs || 8397302 markings, 712233735 edges, 4511 markings/sec, 1415 secs
lola: sara is running 1420 secs || 8419222 markings, 714650397 edges, 4384 markings/sec, 1420 secs
lola: sara is running 1425 secs || 8440302 markings, 717036340 edges, 4216 markings/sec, 1425 secs
lola: sara is running 1430 secs || 8462368 markings, 719467329 edges, 4413 markings/sec, 1430 secs
lola: sara is running 1435 secs || 8484258 markings, 721883284 edges, 4378 markings/sec, 1435 secs
lola: sara is running 1440 secs || 8508372 markings, 724272432 edges, 4823 markings/sec, 1440 secs
lola: sara is running 1445 secs || 8529036 markings, 726694412 edges, 4133 markings/sec, 1445 secs
lola: sara is running 1450 secs || 8550172 markings, 729125574 edges, 4227 markings/sec, 1450 secs
lola: sara is running 1455 secs || 8571460 markings, 731472547 edges, 4258 markings/sec, 1455 secs
lola: sara is running 1460 secs || 8593507 markings, 733813967 edges, 4409 markings/sec, 1460 secs
lola: sara is running 1465 secs || 8613574 markings, 736142839 edges, 4013 markings/sec, 1465 secs
lola: sara is running 1470 secs || 8635365 markings, 738540151 edges, 4358 markings/sec, 1470 secs
lola: sara is running 1475 secs || 8657562 markings, 740968987 edges, 4439 markings/sec, 1475 secs
lola: sara is running 1480 secs || 8678914 markings, 743376875 edges, 4270 markings/sec, 1480 secs
lola: sara is running 1485 secs || 8700312 markings, 745722210 edges, 4280 markings/sec, 1485 secs
lola: sara is running 1490 secs || 8751323 markings, 747872680 edges, 10202 markings/sec, 1490 secs
lola: sara is running 1495 secs || 8800499 markings, 749893645 edges, 9835 markings/sec, 1495 secs
lola: sara is running 1500 secs || 8813717 markings, 752575736 edges, 2644 markings/sec, 1500 secs
lola: sara is running 1505 secs || 8858734 markings, 754843342 edges, 9003 markings/sec, 1505 secs
lola: sara is running 1510 secs || 8901740 markings, 756978536 edges, 8601 markings/sec, 1510 secs
lola: sara is running 1515 secs || 8902117 markings, 759894686 edges, 75 markings/sec, 1515 secs
lola: sara is running 1520 secs || 8926584 markings, 762392568 edges, 4893 markings/sec, 1520 secs
lola: sara is running 1525 secs || 8961611 markings, 764834389 edges, 7005 markings/sec, 1525 secs
lola: sara is running 1530 secs || 8980165 markings, 767561753 edges, 3711 markings/sec, 1530 secs
lola: sara is running 1535 secs || 9010907 markings, 770047668 edges, 6148 markings/sec, 1535 secs
lola: sara is running 1540 secs || 9038942 markings, 772456412 edges, 5607 markings/sec, 1540 secs
lola: sara is running 1545 secs || 9070366 markings, 774917053 edges, 6285 markings/sec, 1545 secs
lola: sara is running 1550 secs || 9105908 markings, 777072179 edges, 7108 markings/sec, 1550 secs
lola: sara is running 1555 secs || 9124496 markings, 779520063 edges, 3718 markings/sec, 1555 secs
lola: sara is running 1560 secs || 9153204 markings, 781896972 edges, 5742 markings/sec, 1560 secs
lola: sara is running 1565 secs || 9181882 markings, 784250672 edges, 5736 markings/sec, 1565 secs
lola: sara is running 1570 secs || 9209306 markings, 786495402 edges, 5485 markings/sec, 1570 secs
lola: sara is running 1575 secs || 9239673 markings, 788868820 edges, 6073 markings/sec, 1575 secs
lola: sara is running 1580 secs || 9273222 markings, 791247959 edges, 6710 markings/sec, 1580 secs
lola: sara is running 1585 secs || 9305759 markings, 793606537 edges, 6507 markings/sec, 1585 secs
lola: sara is running 1590 secs || 9329470 markings, 796018534 edges, 4742 markings/sec, 1590 secs
lola: sara is running 1595 secs || 9357553 markings, 798437610 edges, 5617 markings/sec, 1595 secs
lola: sara is running 1600 secs || 9390906 markings, 800753859 edges, 6671 markings/sec, 1600 secs
lola: sara is running 1605 secs || 9422337 markings, 803193689 edges, 6286 markings/sec, 1605 secs
lola: sara is running 1610 secs || 9451569 markings, 805655015 edges, 5846 markings/sec, 1610 secs
lola: sara is running 1615 secs || 9481832 markings, 808090667 edges, 6053 markings/sec, 1615 secs
lola: sara is running 1620 secs || 9511751 markings, 810601337 edges, 5984 markings/sec, 1620 secs
lola: sara is running 1625 secs || 9543070 markings, 813071168 edges, 6264 markings/sec, 1625 secs
lola: sara is running 1630 secs || 9571456 markings, 815453627 edges, 5677 markings/sec, 1630 secs
lola: sara is running 1635 secs || 9601411 markings, 817825004 edges, 5991 markings/sec, 1635 secs
lola: sara is running 1640 secs || 9631208 markings, 820282078 edges, 5959 markings/sec, 1640 secs
lola: sara is running 1645 secs || 9662312 markings, 822769755 edges, 6221 markings/sec, 1645 secs
lola: sara is running 1650 secs || 9690810 markings, 825201863 edges, 5700 markings/sec, 1650 secs
lola: sara is running 1655 secs || 9719742 markings, 827626801 edges, 5786 markings/sec, 1655 secs
lola: sara is running 1660 secs || 9761827 markings, 829919859 edges, 8417 markings/sec, 1660 secs
lola: sara is running 1665 secs || 9807907 markings, 832314970 edges, 9216 markings/sec, 1665 secs
lola: sara is running 1670 secs || 9851714 markings, 834715365 edges, 8761 markings/sec, 1670 secs
lola: sara is running 1675 secs || 9896499 markings, 837088013 edges, 8957 markings/sec, 1675 secs
lola: sara is running 1680 secs || 9940718 markings, 839373947 edges, 8844 markings/sec, 1680 secs
lola: sara is running 1685 secs || 9988131 markings, 841801830 edges, 9483 markings/sec, 1685 secs
lola: sara is running 1690 secs || 10053194 markings, 844137022 edges, 13013 markings/sec, 1690 secs
lola: sara is running 1695 secs || 10088259 markings, 846523956 edges, 7013 markings/sec, 1695 secs
lola: sara is running 1700 secs || 10109941 markings, 848965355 edges, 4336 markings/sec, 1700 secs
lola: sara is running 1705 secs || 10132227 markings, 851422459 edges, 4457 markings/sec, 1705 secs
lola: sara is running 1710 secs || 10183486 markings, 853658128 edges, 10252 markings/sec, 1710 secs
lola: sara is running 1715 secs || 10257032 markings, 855946071 edges, 14709 markings/sec, 1715 secs
lola: sara is running 1720 secs || 10328281 markings, 858211933 edges, 14250 markings/sec, 1720 secs
lola: sara is running 1725 secs || 10362795 markings, 860578053 edges, 6903 markings/sec, 1725 secs
lola: sara is running 1730 secs || 10383918 markings, 863005910 edges, 4225 markings/sec, 1730 secs
lola: sara is running 1735 secs || 10405667 markings, 865391134 edges, 4350 markings/sec, 1735 secs
lola: sara is running 1740 secs || 10456302 markings, 867681251 edges, 10127 markings/sec, 1740 secs
lola: sara is running 1745 secs || 10504286 markings, 870009818 edges, 9597 markings/sec, 1745 secs
lola: sara is running 1750 secs || 10532348 markings, 872462771 edges, 5612 markings/sec, 1750 secs
lola: sara is running 1755 secs || 10561111 markings, 874847593 edges, 5753 markings/sec, 1755 secs
lola: sara is running 1760 secs || 10603091 markings, 877176551 edges, 8396 markings/sec, 1760 secs
lola: sara is running 1765 secs || 10644890 markings, 879522004 edges, 8360 markings/sec, 1765 secs
lola: sara is running 1770 secs || 10668411 markings, 881925161 edges, 4704 markings/sec, 1770 secs
lola: sara is running 1775 secs || 10690165 markings, 884338967 edges, 4351 markings/sec, 1775 secs
lola: sara is running 1780 secs || 10712567 markings, 886728163 edges, 4480 markings/sec, 1780 secs
lola: sara is running 1785 secs || 10733528 markings, 889117984 edges, 4192 markings/sec, 1785 secs
lola: sara is running 1790 secs || 10755740 markings, 891387209 edges, 4442 markings/sec, 1790 secs
lola: sara is running 1795 secs || 10775718 markings, 893775047 edges, 3996 markings/sec, 1795 secs
lola: sara is running 1800 secs || 10797221 markings, 896131770 edges, 4301 markings/sec, 1800 secs
lola: sara is running 1805 secs || 10821039 markings, 898498102 edges, 4764 markings/sec, 1805 secs
lola: sara is running 1810 secs || 10840016 markings, 900847170 edges, 3795 markings/sec, 1810 secs
lola: sara is running 1815 secs || 10861403 markings, 903231686 edges, 4277 markings/sec, 1815 secs
lola: sara is running 1820 secs || 10886090 markings, 905601741 edges, 4937 markings/sec, 1820 secs
lola: sara is running 1825 secs || 10927954 markings, 907897517 edges, 8373 markings/sec, 1825 secs
lola: sara is running 1830 secs || 10956666 markings, 910525986 edges, 5742 markings/sec, 1830 secs
lola: sara is running 1835 secs || 10989972 markings, 912898032 edges, 6661 markings/sec, 1835 secs
lola: sara is running 1840 secs || 11021690 markings, 915178399 edges, 6344 markings/sec, 1840 secs
lola: sara is running 1845 secs || 11055585 markings, 917480862 edges, 6779 markings/sec, 1845 secs
lola: sara is running 1850 secs || 11091011 markings, 919962317 edges, 7085 markings/sec, 1850 secs
lola: sara is running 1855 secs || 11149015 markings, 922215490 edges, 11601 markings/sec, 1855 secs
lola: sara is running 1860 secs || 11200748 markings, 924568802 edges, 10347 markings/sec, 1860 secs
lola: sara is running 1865 secs || 11260470 markings, 926911053 edges, 11944 markings/sec, 1865 secs
lola: sara is running 1870 secs || 11300424 markings, 929250245 edges, 7991 markings/sec, 1870 secs
lola: sara is running 1875 secs || 11325452 markings, 931665145 edges, 5006 markings/sec, 1875 secs
lola: sara is running 1880 secs || 11359290 markings, 934025525 edges, 6768 markings/sec, 1880 secs
lola: sara is running 1885 secs || 11393901 markings, 936331615 edges, 6922 markings/sec, 1885 secs
lola: sara is running 1890 secs || 11433319 markings, 938623226 edges, 7884 markings/sec, 1890 secs
lola: sara is running 1895 secs || 11460189 markings, 940969546 edges, 5374 markings/sec, 1895 secs
lola: sara is running 1900 secs || 11477542 markings, 943575880 edges, 3471 markings/sec, 1900 secs
lola: sara is running 1905 secs || 11499304 markings, 946149554 edges, 4352 markings/sec, 1905 secs
lola: sara is running 1910 secs || 11522976 markings, 948618310 edges, 4734 markings/sec, 1910 secs
lola: sara is running 1915 secs || 11541988 markings, 950990005 edges, 3802 markings/sec, 1915 secs
lola: sara is running 1920 secs || 11562960 markings, 953318441 edges, 4194 markings/sec, 1920 secs
lola: sara is running 1925 secs || 11585499 markings, 955784114 edges, 4508 markings/sec, 1925 secs
lola: sara is running 1930 secs || 11607341 markings, 958223670 edges, 4368 markings/sec, 1930 secs
lola: sara is running 1935 secs || 11629098 markings, 960647215 edges, 4351 markings/sec, 1935 secs
lola: sara is running 1940 secs || 11651747 markings, 963160944 edges, 4530 markings/sec, 1940 secs
lola: sara is running 1945 secs || 11674547 markings, 965661681 edges, 4560 markings/sec, 1945 secs
lola: sara is running 1950 secs || 11697459 markings, 968119752 edges, 4582 markings/sec, 1950 secs
lola: sara is running 1955 secs || 11718998 markings, 970599761 edges, 4308 markings/sec, 1955 secs
lola: sara is running 1960 secs || 11741346 markings, 973076107 edges, 4470 markings/sec, 1960 secs
lola: sara is running 1965 secs || 11763373 markings, 975512379 edges, 4405 markings/sec, 1965 secs
lola: sara is running 1970 secs || 11785504 markings, 977951485 edges, 4426 markings/sec, 1970 secs
lola: sara is running 1975 secs || 11806790 markings, 980302162 edges, 4257 markings/sec, 1975 secs
lola: sara is running 1980 secs || 11827746 markings, 982625853 edges, 4191 markings/sec, 1980 secs
lola: sara is running 1985 secs || 11848606 markings, 984938467 edges, 4172 markings/sec, 1985 secs
lola: sara is running 1990 secs || 11870058 markings, 987303617 edges, 4290 markings/sec, 1990 secs
lola: sara is running 1995 secs || 11891974 markings, 989704430 edges, 4383 markings/sec, 1995 secs
lola: sara is running 2000 secs || 11913532 markings, 992076120 edges, 4312 markings/sec, 2000 secs
lola: sara is running 2005 secs || 11935334 markings, 994474151 edges, 4360 markings/sec, 2005 secs
lola: sara is running 2010 secs || 11957277 markings, 996884077 edges, 4389 markings/sec, 2010 secs
lola: sara is running 2015 secs || 11991485 markings, 999177972 edges, 6842 markings/sec, 2015 secs
lola: sara is running 2020 secs || 12019725 markings, 1001618173 edges, 5648 markings/sec, 2020 secs
lola: sara is running 2025 secs || 12055015 markings, 1004055355 edges, 7058 markings/sec, 2025 secs
lola: sara is running 2030 secs || 12088084 markings, 1006383759 edges, 6614 markings/sec, 2030 secs
lola: sara is running 2035 secs || 12121256 markings, 1008734891 edges, 6634 markings/sec, 2035 secs
lola: sara is running 2040 secs || 12154442 markings, 1011079886 edges, 6637 markings/sec, 2040 secs
lola: sara is running 2045 secs || 12190471 markings, 1013522635 edges, 7206 markings/sec, 2045 secs
lola: sara is running 2050 secs || 12255471 markings, 1015765785 edges, 13000 markings/sec, 2050 secs
lola: sara is running 2055 secs || 12309329 markings, 1018037421 edges, 10772 markings/sec, 2055 secs
lola: sara is running 2060 secs || 12361291 markings, 1020240778 edges, 10392 markings/sec, 2060 secs
lola: sara is running 2065 secs || 12393267 markings, 1022541452 edges, 6395 markings/sec, 2065 secs
lola: sara is running 2070 secs || 12419577 markings, 1024852624 edges, 5262 markings/sec, 2070 secs
lola: sara is running 2075 secs || 12450556 markings, 1027141883 edges, 6196 markings/sec, 2075 secs
lola: sara is running 2080 secs || 12485918 markings, 1029436641 edges, 7072 markings/sec, 2080 secs
lola: sara is running 2085 secs || 12528370 markings, 1031669503 edges, 8490 markings/sec, 2085 secs
lola: sara is running 2090 secs || 12563249 markings, 1033999480 edges, 6976 markings/sec, 2090 secs
lola: sara is running 2095 secs || 12594526 markings, 1036419776 edges, 6255 markings/sec, 2095 secs
lola: sara is running 2100 secs || 12627225 markings, 1038730261 edges, 6540 markings/sec, 2100 secs
lola: sara is running 2105 secs || 12662525 markings, 1040995834 edges, 7060 markings/sec, 2105 secs
lola: sara is running 2110 secs || 12693725 markings, 1043361892 edges, 6240 markings/sec, 2110 secs
lola: sara is running 2115 secs || 12727318 markings, 1045724082 edges, 6719 markings/sec, 2115 secs
lola: sara is running 2120 secs || 12760916 markings, 1048106853 edges, 6720 markings/sec, 2120 secs
lola: sara is running 2125 secs || 12818922 markings, 1050369003 edges, 11601 markings/sec, 2125 secs
lola: sara is running 2130 secs || 12868427 markings, 1052645257 edges, 9901 markings/sec, 2130 secs
lola: sara is running 2135 secs || 12934018 markings, 1054825579 edges, 13118 markings/sec, 2135 secs
lola: sara is running 2140 secs || 12978500 markings, 1057125030 edges, 8896 markings/sec, 2140 secs
lola: sara is running 2145 secs || 13013466 markings, 1059400771 edges, 6993 markings/sec, 2145 secs
lola: sara is running 2150 secs || 13038277 markings, 1061735978 edges, 4962 markings/sec, 2150 secs
lola: sara is running 2155 secs || 13066937 markings, 1063992959 edges, 5732 markings/sec, 2155 secs
lola: sara is running 2160 secs || 13105931 markings, 1066223091 edges, 7799 markings/sec, 2160 secs
lola: sara is running 2165 secs || 13132441 markings, 1068710643 edges, 5302 markings/sec, 2165 secs
lola: sara is running 2170 secs || 13164722 markings, 1071057396 edges, 6456 markings/sec, 2170 secs
lola: sara is running 2175 secs || 13196517 markings, 1073345251 edges, 6359 markings/sec, 2175 secs
lola: sara is running 2180 secs || 13229651 markings, 1075673966 edges, 6627 markings/sec, 2180 secs
lola: sara is running 2185 secs || 13263457 markings, 1078007756 edges, 6761 markings/sec, 2185 secs
lola: sara is running 2190 secs || 13312601 markings, 1080278455 edges, 9829 markings/sec, 2190 secs
lola: sara is running 2195 secs || 13362816 markings, 1082523002 edges, 10043 markings/sec, 2195 secs
lola: sara is running 2200 secs || 13426449 markings, 1084733937 edges, 12727 markings/sec, 2200 secs
lola: sara is running 2205 secs || 13467288 markings, 1087017440 edges, 8168 markings/sec, 2205 secs
lola: sara is running 2210 secs || 13492806 markings, 1089311431 edges, 5104 markings/sec, 2210 secs
lola: sara is running 2215 secs || 13525134 markings, 1091653243 edges, 6466 markings/sec, 2215 secs
lola: sara is running 2220 secs || 13551038 markings, 1093962636 edges, 5181 markings/sec, 2220 secs
lola: sara is running 2225 secs || 13590924 markings, 1096249905 edges, 7977 markings/sec, 2225 secs
lola: sara is running 2230 secs || 13627677 markings, 1098375577 edges, 7351 markings/sec, 2230 secs
lola: sara is running 2235 secs || 13652890 markings, 1100675704 edges, 5043 markings/sec, 2235 secs
lola: sara is running 2240 secs || 13665304 markings, 1103275485 edges, 2483 markings/sec, 2240 secs
lola: sara is running 2245 secs || 13684747 markings, 1105806340 edges, 3889 markings/sec, 2245 secs
lola: sara is running 2250 secs || 13705811 markings, 1108192569 edges, 4213 markings/sec, 2250 secs
lola: sara is running 2255 secs || 13726538 markings, 1110522533 edges, 4145 markings/sec, 2255 secs
lola: sara is running 2260 secs || 13748000 markings, 1112891969 edges, 4292 markings/sec, 2260 secs
lola: sara is running 2265 secs || 13768924 markings, 1115267653 edges, 4185 markings/sec, 2265 secs
lola: sara is running 2270 secs || 13790754 markings, 1117681469 edges, 4366 markings/sec, 2270 secs
lola: sara is running 2275 secs || 13812769 markings, 1120116454 edges, 4403 markings/sec, 2275 secs
lola: sara is running 2280 secs || 13834992 markings, 1122523956 edges, 4445 markings/sec, 2280 secs
lola: sara is running 2285 secs || 13856607 markings, 1124893380 edges, 4323 markings/sec, 2285 secs
lola: sara is running 2290 secs || 13878125 markings, 1127271011 edges, 4304 markings/sec, 2290 secs
lola: sara is running 2295 secs || 13899029 markings, 1129648196 edges, 4181 markings/sec, 2295 secs
lola: sara is running 2300 secs || 13920877 markings, 1132052920 edges, 4370 markings/sec, 2300 secs
lola: sara is running 2305 secs || 13942126 markings, 1134412103 edges, 4250 markings/sec, 2305 secs
lola: sara is running 2310 secs || 13959756 markings, 1136357922 edges, 3526 markings/sec, 2310 secs
lola: sara is running 2315 secs || 13980852 markings, 1138683579 edges, 4219 markings/sec, 2315 secs
lola: sara is running 2320 secs || 14001809 markings, 1140999975 edges, 4191 markings/sec, 2320 secs
lola: sara is running 2325 secs || 14022551 markings, 1143307642 edges, 4148 markings/sec, 2325 secs
lola: sara is running 2330 secs || 14043430 markings, 1145613695 edges, 4176 markings/sec, 2330 secs
lola: sara is running 2335 secs || 14065041 markings, 1147964592 edges, 4322 markings/sec, 2335 secs
lola: sara is running 2340 secs || 14086134 markings, 1150303796 edges, 4219 markings/sec, 2340 secs
lola: sara is running 2345 secs || 14107080 markings, 1152603429 edges, 4189 markings/sec, 2345 secs
lola: sara is running 2350 secs || 14128020 markings, 1154903816 edges, 4188 markings/sec, 2350 secs
lola: sara is running 2355 secs || 14148732 markings, 1157185026 edges, 4142 markings/sec, 2355 secs
lola: sara is running 2360 secs || 14192726 markings, 1159269741 edges, 8799 markings/sec, 2360 secs
lola: sara is running 2365 secs || 14216918 markings, 1161754114 edges, 4838 markings/sec, 2365 secs
lola: sara is running 2370 secs || 14250713 markings, 1164053530 edges, 6759 markings/sec, 2370 secs
lola: sara is running 2375 secs || 14281199 markings, 1166317250 edges, 6097 markings/sec, 2375 secs
lola: sara is running 2380 secs || 14314142 markings, 1168605756 edges, 6589 markings/sec, 2380 secs
lola: sara is running 2385 secs || 14348736 markings, 1170912025 edges, 6919 markings/sec, 2385 secs
lola: sara is running 2390 secs || 14393681 markings, 1173181071 edges, 8989 markings/sec, 2390 secs
lola: sara is running 2395 secs || 14447933 markings, 1175405576 edges, 10850 markings/sec, 2395 secs
lola: sara is running 2400 secs || 14511575 markings, 1177588122 edges, 12728 markings/sec, 2400 secs
lola: sara is running 2405 secs || 14553697 markings, 1179869999 edges, 8424 markings/sec, 2405 secs
lola: sara is running 2410 secs || 14580656 markings, 1182164566 edges, 5392 markings/sec, 2410 secs
lola: sara is running 2415 secs || 14611624 markings, 1184501156 edges, 6194 markings/sec, 2415 secs
lola: sara is running 2420 secs || 14638919 markings, 1186797053 edges, 5459 markings/sec, 2420 secs
lola: sara is running 2425 secs || 14678836 markings, 1189046058 edges, 7983 markings/sec, 2425 secs
lola: sara is running 2430 secs || 14710357 markings, 1191455201 edges, 6304 markings/sec, 2430 secs
lola: sara is running 2435 secs || 14733660 markings, 1193852961 edges, 4661 markings/sec, 2435 secs
lola: sara is running 2440 secs || 14764159 markings, 1196272277 edges, 6100 markings/sec, 2440 secs
lola: sara is running 2445 secs || 14789911 markings, 1198692375 edges, 5150 markings/sec, 2445 secs
lola: sara is running 2450 secs || 14824246 markings, 1200899351 edges, 6867 markings/sec, 2450 secs
lola: sara is running 2455 secs || 14840168 markings, 1203633696 edges, 3184 markings/sec, 2455 secs
lola: sara is running 2460 secs || 14867540 markings, 1206077830 edges, 5474 markings/sec, 2460 secs
lola: sara is running 2465 secs || 14892116 markings, 1208626773 edges, 4915 markings/sec, 2465 secs
lola: sara is running 2470 secs || 14918852 markings, 1211134235 edges, 5347 markings/sec, 2470 secs
lola: sara is running 2475 secs || 14953590 markings, 1213381333 edges, 6948 markings/sec, 2475 secs
lola: sara is running 2480 secs || 14969280 markings, 1216015402 edges, 3138 markings/sec, 2480 secs
lola: sara is running 2485 secs || 14992711 markings, 1218422869 edges, 4686 markings/sec, 2485 secs
lola: sara is running 2490 secs || 15018552 markings, 1220835902 edges, 5168 markings/sec, 2490 secs
lola: sara is running 2495 secs || 15047114 markings, 1223225522 edges, 5712 markings/sec, 2495 secs
lola: sara is running 2500 secs || 15077078 markings, 1225648136 edges, 5993 markings/sec, 2500 secs
lola: sara is running 2505 secs || 15104583 markings, 1228001526 edges, 5501 markings/sec, 2505 secs
lola: sara is running 2510 secs || 15135815 markings, 1230337823 edges, 6246 markings/sec, 2510 secs
lola: sara is running 2515 secs || 15157729 markings, 1232757106 edges, 4383 markings/sec, 2515 secs
lola: sara is running 2520 secs || 15189970 markings, 1235106067 edges, 6448 markings/sec, 2520 secs
lola: sara is running 2525 secs || 15221604 markings, 1237438970 edges, 6327 markings/sec, 2525 secs
lola: sara is running 2530 secs || 15244900 markings, 1239807808 edges, 4659 markings/sec, 2530 secs
lola: sara is running 2535 secs || 15274497 markings, 1242149321 edges, 5919 markings/sec, 2535 secs
lola: sara is running 2540 secs || 15307636 markings, 1244471655 edges, 6628 markings/sec, 2540 secs
lola: sara is running 2545 secs || 15337453 markings, 1246954651 edges, 5963 markings/sec, 2545 secs
lola: sara is running 2550 secs || 15380419 markings, 1249277035 edges, 8593 markings/sec, 2550 secs
lola: sara is running 2555 secs || 15410985 markings, 1251634004 edges, 6113 markings/sec, 2555 secs
lola: sara is running 2560 secs || 15449341 markings, 1253947912 edges, 7671 markings/sec, 2560 secs
lola: sara is running 2565 secs || 15486407 markings, 1256246639 edges, 7413 markings/sec, 2565 secs
lola: sara is running 2570 secs || 15509220 markings, 1258633782 edges, 4563 markings/sec, 2570 secs
lola: sara is running 2575 secs || 15536363 markings, 1260962420 edges, 5429 markings/sec, 2575 secs
lola: sara is running 2580 secs || 15578071 markings, 1263242081 edges, 8342 markings/sec, 2580 secs
lola: sara is running 2585 secs || 15618759 markings, 1265531188 edges, 8138 markings/sec, 2585 secs
lola: sara is running 2590 secs || 15653028 markings, 1267848440 edges, 6854 markings/sec, 2590 secs
lola: sara is running 2595 secs || 15674174 markings, 1270178549 edges, 4229 markings/sec, 2595 secs
lola: sara is running 2600 secs || 15707292 markings, 1272449870 edges, 6624 markings/sec, 2600 secs
lola: sara is running 2605 secs || 15743662 markings, 1274809029 edges, 7274 markings/sec, 2605 secs
lola: sara is running 2610 secs || 15773482 markings, 1277167211 edges, 5964 markings/sec, 2610 secs
lola: sara is running 2615 secs || 15795997 markings, 1279477180 edges, 4503 markings/sec, 2615 secs
lola: sara is running 2620 secs || 15817783 markings, 1281835246 edges, 4357 markings/sec, 2620 secs
lola: sara is running 2625 secs || 15838214 markings, 1284263597 edges, 4086 markings/sec, 2625 secs
lola: sara is running 2630 secs || 15859264 markings, 1286586056 edges, 4210 markings/sec, 2630 secs
lola: sara is running 2635 secs || 15880464 markings, 1288879528 edges, 4240 markings/sec, 2635 secs
lola: sara is running 2640 secs || 15901377 markings, 1291207058 edges, 4183 markings/sec, 2640 secs
lola: sara is running 2645 secs || 15922683 markings, 1293539198 edges, 4261 markings/sec, 2645 secs
lola: sara is running 2650 secs || 15943417 markings, 1295865062 edges, 4147 markings/sec, 2650 secs
lola: sara is running 2655 secs || 15964347 markings, 1298184259 edges, 4186 markings/sec, 2655 secs
lola: sara is running 2660 secs || 15985304 markings, 1300489395 edges, 4191 markings/sec, 2660 secs
lola: sara is running 2665 secs || 16007011 markings, 1302812012 edges, 4341 markings/sec, 2665 secs
lola: sara is running 2670 secs || 16027237 markings, 1305144926 edges, 4045 markings/sec, 2670 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes no no no yes no no unknown no no no no yes no
lola:
preliminary result: yes no yes no no no yes no no unknown no no no no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no no no yes no no unknown no no no no yes no
lola: memory consumption: 620924 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no no no yes no no unknown no no no no yes no
lola: memory consumption: 620924 KB
lola: time consumption: 3569 seconds

BK_STOP 1526608240409

--------------------
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="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/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 ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-smll-152646357400236"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;