fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r040-smll-152646357400238
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
14588.980 3570910.00 7199300.00 8513.10 FTTTFFT?TTFFTFFF 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 ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400238
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526608260460

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 ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ CloudDeployment-PT-5a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 855/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 180
lola: finding significant places
lola: 180 places, 675 transitions, 150 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 594 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-5a-ReachabilityFireability.task
lola: A (G ((NOT FIREABLE(t392) OR NOT FIREABLE(t210)))) : E (F (FIREABLE(t354))) : E (F ((FIREABLE(t504) AND FIREABLE(t82) AND (FIREABLE(t520) OR FIREABLE(t253)) AND NOT FIREABLE(t151) AND FIREABLE(t186) AND NOT FIREABLE(t246)))) : E (F ((FIREABLE(t472) AND FIREABLE(t300) AND NOT FIREABLE(t605) AND NOT FIREABLE(t106) AND FIREABLE(t469)))) : A (G ((FIREABLE(t57) OR FIREABLE(t302) OR NOT FIREABLE(t166) OR (FIREABLE(t574) AND FIREABLE(t379)) OR (FIREABLE(t8) AND FIREABLE(t324)) OR FIREABLE(t238)))) : E (F ((FIREABLE(t664) AND ((FIREABLE(t122) AND FIREABLE(t434)) OR (FIREABLE(t341) AND FIREABLE(t242)) OR FIREABLE(t39))))) : E (F (FIREABLE(t633))) : E (F ((NOT FIREABLE(t567) AND FIREABLE(t123) AND FIREABLE(t551)))) : E (F (FIREABLE(t29))) : E (F (((NOT FIREABLE(t136) AND NOT FIREABLE(t347) AND FIREABLE(t526)) OR (NOT FIREABLE(t126) AND FIREABLE(t410))))) : E (F ((FIREABLE(t255) AND FIREABLE(t484) AND FIREABLE(t213) AND FIREABLE(t70) AND (NOT FIREABLE(t506) OR NOT FIREABLE(t226)) AND FIREABLE(t609) AND FIREABLE(t35)))) : A (G ((FIREABLE(t357) OR NOT FIREABLE(t597)))) : E (F ((FIREABLE(t145) AND (FIREABLE(t94) OR FIREABLE(t495) OR FIREABLE(t397) OR FIREABLE(t522) OR FIREABLE(t102) OR NOT FIREABLE(t4))))) : A (G (((NOT FIREABLE(t78) OR NOT FIREABLE(t176) OR (FIREABLE(t112) AND (FIREABLE(t607) OR FIREABLE(t266)))) AND NOT FIREABLE(t417)))) : A (G ((NOT FIREABLE(t331) OR FIREABLE(t635)))) : A (G (NOT FIREABLE(t421)))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t354)))
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 (FIREABLE(t354)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: FIREABLE(t354)
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-0.sara
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-ReachabilityFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t633)))
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 (FIREABLE(t633)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: FIREABLE(t633)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-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: 17 markings, 16 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t29)))
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 (FIREABLE(t29)))
lola: processed formula length: 21
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: FIREABLE(t29)
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: 13 markings, 12 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-8 TRUE 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: A (G (NOT FIREABLE(t421)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (NOT FIREABLE(t421)))
lola: processed formula length: 26
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: FIREABLE(t421)
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10 markings, 9 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-15 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: A (G ((FIREABLE(t357) OR NOT FIREABLE(t597))))
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 ((FIREABLE(t357) OR NOT FIREABLE(t597))))
lola: processed formula length: 47
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (NOT FIREABLE(t357) AND FIREABLE(t597))
lola: state equation: Generated DNF with 15 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-4-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: 14 markings, 13 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-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: A (G ((NOT FIREABLE(t331) OR FIREABLE(t635))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t331) OR FIREABLE(t635))))
lola: processed formula length: 47
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t331) AND NOT FIREABLE(t635))
lola: state equation: Generated DNF with 12 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-5-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: 16 markings, 15 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t392) OR NOT FIREABLE(t210))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t392) OR NOT FIREABLE(t210))))
lola: processed formula length: 51
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t392) AND FIREABLE(t210))
lola: state equation: Generated DNF with 10 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-6-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: 25 markings, 24 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-0 FALSE 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: E (F ((NOT FIREABLE(t567) AND FIREABLE(t123) AND FIREABLE(t551))))
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 ((NOT FIREABLE(t567) AND FIREABLE(t123) AND FIREABLE(t551))))
lola: processed formula length: 66
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (NOT FIREABLE(t567) AND FIREABLE(t123) AND FIREABLE(t551))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-5a-ReachabilityFireability-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 40032 markings, 2177093 edges, 8006 markings/sec, 0 secs
lola: sara is running 5 secs || 86086 markings, 4503429 edges, 9211 markings/sec, 5 secs
lola: sara is running 10 secs || 139714 markings, 6987533 edges, 10726 markings/sec, 10 secs
lola: sara is running 15 secs || 177586 markings, 9193193 edges, 7574 markings/sec, 15 secs
lola: sara is running 20 secs || 221551 markings, 11765663 edges, 8793 markings/sec, 20 secs
lola: sara is running 25 secs || 263608 markings, 14256657 edges, 8411 markings/sec, 25 secs
lola: sara is running 30 secs || 309695 markings, 16677910 edges, 9217 markings/sec, 30 secs
lola: sara is running 35 secs || 356407 markings, 19016058 edges, 9342 markings/sec, 35 secs
lola: sara is running 40 secs || 415796 markings, 21235255 edges, 11878 markings/sec, 40 secs
lola: sara is running 45 secs || 463714 markings, 23494253 edges, 9584 markings/sec, 45 secs
lola: sara is running 50 secs || 489018 markings, 25867181 edges, 5061 markings/sec, 50 secs
lola: sara is running 55 secs || 548730 markings, 28283497 edges, 11942 markings/sec, 55 secs
lola: sara is running 60 secs || 561175 markings, 31214880 edges, 2489 markings/sec, 60 secs
lola: sara is running 65 secs || 609852 markings, 33581457 edges, 9735 markings/sec, 65 secs
lola: sara is running 70 secs || 671723 markings, 35736642 edges, 12374 markings/sec, 70 secs
lola: sara is running 75 secs || 713210 markings, 38050453 edges, 8297 markings/sec, 75 secs
lola: sara is running 80 secs || 741648 markings, 40454025 edges, 5688 markings/sec, 80 secs
lola: sara is running 85 secs || 794237 markings, 42998836 edges, 10518 markings/sec, 85 secs
lola: sara is running 90 secs || 814293 markings, 45870061 edges, 4011 markings/sec, 90 secs
lola: sara is running 95 secs || 864929 markings, 48231204 edges, 10127 markings/sec, 95 secs
lola: sara is running 100 secs || 911098 markings, 50578295 edges, 9234 markings/sec, 100 secs
lola: sara is running 105 secs || 950912 markings, 53137347 edges, 7963 markings/sec, 105 secs
lola: sara is running 110 secs || 992445 markings, 55616901 edges, 8307 markings/sec, 110 secs
lola: sara is running 115 secs || 1026908 markings, 58268959 edges, 6893 markings/sec, 115 secs
lola: sara is running 120 secs || 1072980 markings, 60659506 edges, 9214 markings/sec, 120 secs
lola: sara is running 125 secs || 1118370 markings, 62942179 edges, 9078 markings/sec, 125 secs
lola: sara is running 130 secs || 1153069 markings, 65541919 edges, 6940 markings/sec, 130 secs
lola: sara is running 135 secs || 1194806 markings, 68016086 edges, 8347 markings/sec, 135 secs
lola: sara is running 140 secs || 1249587 markings, 70283492 edges, 10956 markings/sec, 140 secs
lola: sara is running 145 secs || 1288299 markings, 72679673 edges, 7742 markings/sec, 145 secs
lola: sara is running 150 secs || 1326468 markings, 75233722 edges, 7634 markings/sec, 150 secs
lola: sara is running 155 secs || 1370158 markings, 77623589 edges, 8738 markings/sec, 155 secs
lola: sara is running 160 secs || 1412966 markings, 79772948 edges, 8562 markings/sec, 160 secs
lola: sara is running 165 secs || 1452037 markings, 82130899 edges, 7814 markings/sec, 165 secs
lola: sara is running 170 secs || 1500272 markings, 84500708 edges, 9647 markings/sec, 170 secs
lola: sara is running 175 secs || 1564344 markings, 86952018 edges, 12814 markings/sec, 175 secs
lola: sara is running 180 secs || 1632780 markings, 89233577 edges, 13687 markings/sec, 180 secs
lola: sara is running 185 secs || 1691601 markings, 91365195 edges, 11764 markings/sec, 185 secs
lola: sara is running 190 secs || 1703183 markings, 94433225 edges, 2316 markings/sec, 190 secs
lola: sara is running 195 secs || 1752731 markings, 97078516 edges, 9910 markings/sec, 195 secs
lola: sara is running 200 secs || 1816564 markings, 99473026 edges, 12767 markings/sec, 200 secs
lola: sara is running 205 secs || 1852125 markings, 102124477 edges, 7112 markings/sec, 205 secs
lola: sara is running 210 secs || 1910233 markings, 104515262 edges, 11622 markings/sec, 210 secs
lola: sara is running 215 secs || 1949777 markings, 107187420 edges, 7909 markings/sec, 215 secs
lola: sara is running 220 secs || 1993464 markings, 109675745 edges, 8737 markings/sec, 220 secs
lola: sara is running 225 secs || 2038014 markings, 112266146 edges, 8910 markings/sec, 225 secs
lola: sara is running 230 secs || 2085083 markings, 114812754 edges, 9414 markings/sec, 230 secs
sara: warning, failure of lp_solve (at job 35862)
lola: sara is running 235 secs || 2135216 markings, 117333298 edges, 10027 markings/sec, 235 secs
lola: sara is running 240 secs || 2181203 markings, 119852731 edges, 9197 markings/sec, 240 secs
lola: sara is running 245 secs || 2220623 markings, 122477143 edges, 7884 markings/sec, 245 secs
lola: sara is running 250 secs || 2278189 markings, 124951957 edges, 11513 markings/sec, 250 secs
lola: sara is running 255 secs || 2326322 markings, 127391883 edges, 9627 markings/sec, 255 secs
lola: sara is running 260 secs || 2370007 markings, 129876267 edges, 8737 markings/sec, 260 secs
lola: sara is running 265 secs || 2415332 markings, 132124575 edges, 9065 markings/sec, 265 secs
lola: sara is running 270 secs || 2453743 markings, 134679637 edges, 7682 markings/sec, 270 secs
lola: sara is running 275 secs || 2504296 markings, 137013062 edges, 10111 markings/sec, 275 secs
lola: sara is running 280 secs || 2545722 markings, 139425164 edges, 8285 markings/sec, 280 secs
lola: sara is running 285 secs || 2578644 markings, 142081795 edges, 6584 markings/sec, 285 secs
lola: sara is running 290 secs || 2621353 markings, 144518918 edges, 8542 markings/sec, 290 secs
lola: sara is running 295 secs || 2670721 markings, 146937125 edges, 9874 markings/sec, 295 secs
lola: sara is running 300 secs || 2712246 markings, 149381564 edges, 8305 markings/sec, 300 secs
lola: sara is running 305 secs || 2758265 markings, 151798037 edges, 9204 markings/sec, 305 secs
lola: sara is running 310 secs || 2798666 markings, 154311235 edges, 8080 markings/sec, 310 secs
lola: sara is running 315 secs || 2850254 markings, 156778942 edges, 10318 markings/sec, 315 secs
lola: sara is running 320 secs || 2895532 markings, 159264704 edges, 9056 markings/sec, 320 secs
lola: sara is running 325 secs || 2939345 markings, 161750197 edges, 8763 markings/sec, 325 secs
lola: sara is running 330 secs || 2989038 markings, 164200141 edges, 9939 markings/sec, 330 secs
lola: sara is running 335 secs || 3032229 markings, 166577528 edges, 8638 markings/sec, 335 secs
lola: sara is running 340 secs || 3075237 markings, 169034490 edges, 8602 markings/sec, 340 secs
lola: sara is running 345 secs || 3120472 markings, 171501059 edges, 9047 markings/sec, 345 secs
lola: sara is running 350 secs || 3168179 markings, 173949740 edges, 9541 markings/sec, 350 secs
lola: sara is running 355 secs || 3212158 markings, 176337590 edges, 8796 markings/sec, 355 secs
lola: sara is running 360 secs || 3253513 markings, 178805520 edges, 8271 markings/sec, 360 secs
lola: sara is running 365 secs || 3299922 markings, 181256197 edges, 9282 markings/sec, 365 secs
lola: sara is running 370 secs || 3348681 markings, 183655870 edges, 9752 markings/sec, 370 secs
lola: sara is running 375 secs || 3388557 markings, 186087465 edges, 7975 markings/sec, 375 secs
lola: sara is running 380 secs || 3431278 markings, 188503887 edges, 8544 markings/sec, 380 secs
lola: sara is running 385 secs || 3477814 markings, 190941505 edges, 9307 markings/sec, 385 secs
lola: sara is running 390 secs || 3525578 markings, 193374940 edges, 9553 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown unknown unknown unknown yes unknown yes unknown unknown no unknown unknown no no
lola: memory consumption: 144732 KB
lola: time consumption: 396 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t136) AND NOT FIREABLE(t347) AND FIREABLE(t526)) OR (NOT FIREABLE(t126) AND FIREABLE(t410)))))
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 (((NOT FIREABLE(t136) AND NOT FIREABLE(t347) AND FIREABLE(t526)) OR (NOT FIREABLE(t126) AND FIREABLE(t410)))))
lola: processed formula length: 116
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: ((NOT FIREABLE(t136) AND NOT FIREABLE(t347) AND FIREABLE(t526)) OR (NOT FIREABLE(t126) AND FIREABLE(t410)))
lola: state equation: Generated DNF with 26 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-8-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 15 markings, 14 edges
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t472) AND FIREABLE(t300) AND NOT FIREABLE(t605) AND NOT FIREABLE(t106) AND FIREABLE(t469))))
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 ((FIREABLE(t472) AND FIREABLE(t300) AND NOT FIREABLE(t605) AND NOT FIREABLE(t106) AND FIREABLE(t469))))
lola: processed formula length: 108
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (FIREABLE(t472) AND FIREABLE(t300) AND NOT FIREABLE(t605) AND NOT FIREABLE(t106) AND FIREABLE(t469))
lola: state equation: Generated DNF with 22 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 13 markings, 12 edges
lola:
FORMULA CloudDeployment-PT-5a-ReachabilityFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-9-0.sara
lola: ========================================
lola: subprocess 10 will run for 528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t664) AND ((FIREABLE(t122) AND FIREABLE(t434)) OR (FIREABLE(t341) AND FIREABLE(t242)) OR FIREABLE(t39)))))
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 ((FIREABLE(t664) AND ((FIREABLE(t122) AND FIREABLE(t434)) OR (FIREABLE(t341) AND FIREABLE(t242)) OR FIREABLE(t39)))))
lola: processed formula length: 124
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (FIREABLE(t664) AND ((FIREABLE(t122) AND FIREABLE(t434)) OR (FIREABLE(t341) AND FIREABLE(t242)) OR FIREABLE(t39)))
lola: state equation: Generated DNF with 29 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-5a-ReachabilityFireability-10-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 634 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t78) OR NOT FIREABLE(t176) OR (FIREABLE(t112) AND (FIREABLE(t607) OR FIREABLE(t266)))) AND NOT FIREABLE(t417))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NOT FIREABLE(t78) OR NOT FIREABLE(t176) OR (FIREABLE(t112) AND (FIREABLE(t607) OR FIREABLE(t266)))) AND NOT FIREABLE(t417))))
lola: processed formula length: 136
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 9 markings, 8 edges
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((FIREABLE(t78) AND FIREABLE(t176) AND (NOT FIREABLE(t112) OR (NOT FIREABLE(t607) AND NOT FIREABLE(t266)))) OR FIREABLE(t417))
lola: state equation: Generated DNF with 48 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-11-0.sara
lola:
FORMULA CloudDeployment-PT-5a-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 793 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t145) AND (FIREABLE(t94) OR FIREABLE(t495) OR FIREABLE(t397) OR FIREABLE(t522) OR FIREABLE(t102) OR NOT FIREABLE(t4)))))
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 ((FIREABLE(t145) AND (FIREABLE(t94) OR FIREABLE(t495) OR FIREABLE(t397) OR FIREABLE(t522) OR FIREABLE(t102) OR NOT FIREABLE(t4)))))
lola: processed formula length: 141
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (FIREABLE(t145) AND (FIREABLE(t94) OR FIREABLE(t495) OR FIREABLE(t397) OR FIREABLE(t522) OR FIREABLE(t102) OR NOT FIREABLE(t4)))
lola: state equation: Generated DNF with 17 literals and 6 conjunctive subformulas
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-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1057 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t504) AND FIREABLE(t82) AND (FIREABLE(t520) OR FIREABLE(t253)) AND NOT FIREABLE(t151) AND FIREABLE(t186) AND NOT FIREABLE(t246))))
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 ((FIREABLE(t504) AND FIREABLE(t82) AND (FIREABLE(t520) OR FIREABLE(t253)) AND NOT FIREABLE(t151) AND FIREABLE(t186) AND NOT FIREABLE(t246))))
lola: processed formula length: 147
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (FIREABLE(t504) AND FIREABLE(t82) AND (FIREABLE(t520) OR FIREABLE(t253)) AND NOT FIREABLE(t151) AND FIREABLE(t186) AND NOT FIREABLE(t246))
lola: state equation: Generated DNF with 68 literals and 8 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-13-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: 23 markings, 22 edges
lola:
FORMULA CloudDeployment-PT-5a-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 1586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t255) AND FIREABLE(t484) AND FIREABLE(t213) AND FIREABLE(t70) AND (NOT FIREABLE(t506) OR NOT FIREABLE(t226)) AND FIREABLE(t609) AND FIREABLE(t35))))
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 ((FIREABLE(t255) AND FIREABLE(t484) AND FIREABLE(t213) AND FIREABLE(t70) AND (NOT FIREABLE(t506) OR NOT FIREABLE(t226)) AND FIREABLE(t609) AND FIREABLE(t35))))
lola: processed formula length: 165
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (FIREABLE(t255) AND FIREABLE(t484) AND FIREABLE(t213) AND FIREABLE(t70) AND (NOT FIREABLE(t506) OR NOT FIREABLE(t226)) AND FIREABLE(t609) AND FIREABLE(t35))
lola: state equation: Generated DNF with 95 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-5a-ReachabilityFireability-14-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3173 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t57) OR FIREABLE(t302) OR NOT FIREABLE(t166) OR (FIREABLE(t574) AND FIREABLE(t379)) OR (FIREABLE(t8) AND FIREABLE(t324)) OR FIREABLE(t238))))
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 ((FIREABLE(t57) OR FIREABLE(t302) OR NOT FIREABLE(t166) OR (FIREABLE(t574) AND FIREABLE(t379)) OR (FIREABLE(t8) AND FIREABLE(t324)) OR FIREABLE(t238))))
lola: processed formula length: 162
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (NOT FIREABLE(t57) AND NOT FIREABLE(t302) AND FIREABLE(t166) AND (NOT FIREABLE(t574) OR NOT FIREABLE(t379)) AND (NOT FIREABLE(t8) OR NOT FIREABLE(t324)) AND NOT FIREABLE(t238))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 7 markings, 6 edges

FORMULA CloudDeployment-PT-5a-ReachabilityFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t567) AND FIREABLE(t123) AND FIREABLE(t551))))
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 ((NOT FIREABLE(t567) AND FIREABLE(t123) AND FIREABLE(t551))))
lola: processed formula length: 66
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-5a-ReachabilityFireability.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: (NOT FIREABLE(t567) AND FIREABLE(t123) AND FIREABLE(t551))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-5a-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-5a-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 44444 markings, 2446510 edges, 8889 markings/sec, 0 secs
lola: sara is running 5 secs || 91709 markings, 4994473 edges, 9453 markings/sec, 5 secs
lola: sara is running 10 secs || 153203 markings, 7526238 edges, 12299 markings/sec, 10 secs
lola: sara is running 15 secs || 189948 markings, 10145427 edges, 7349 markings/sec, 15 secs
lola: sara is running 20 secs || 238363 markings, 12618527 edges, 9683 markings/sec, 20 secs
lola: sara is running 25 secs || 281833 markings, 15088096 edges, 8694 markings/sec, 25 secs
lola: sara is running 30 secs || 329684 markings, 17524660 edges, 9570 markings/sec, 30 secs
lola: sara is running 35 secs || 372958 markings, 19967072 edges, 8655 markings/sec, 35 secs
lola: sara is running 40 secs || 440574 markings, 22104464 edges, 13523 markings/sec, 40 secs
lola: sara is running 45 secs || 474598 markings, 24492258 edges, 6805 markings/sec, 45 secs
lola: sara is running 50 secs || 519978 markings, 26905760 edges, 9076 markings/sec, 50 secs
lola: sara is running 55 secs || 551718 markings, 29676054 edges, 6348 markings/sec, 55 secs
lola: sara is running 60 secs || 583791 markings, 32361637 edges, 6415 markings/sec, 60 secs
lola: sara is running 65 secs || 635475 markings, 34731544 edges, 10337 markings/sec, 65 secs
lola: sara is running 70 secs || 699213 markings, 36925763 edges, 12748 markings/sec, 70 secs
lola: sara is running 75 secs || 727506 markings, 39362826 edges, 5659 markings/sec, 75 secs
lola: sara is running 80 secs || 792712 markings, 41765915 edges, 13041 markings/sec, 80 secs
lola: sara is running 85 secs || 798053 markings, 44835339 edges, 1068 markings/sec, 85 secs
lola: sara is running 90 secs || 845478 markings, 47365285 edges, 9485 markings/sec, 90 secs
lola: sara is running 95 secs || 888195 markings, 49791002 edges, 8543 markings/sec, 95 secs
lola: sara is running 100 secs || 930493 markings, 52450406 edges, 8460 markings/sec, 100 secs
lola: sara is running 105 secs || 978092 markings, 54873199 edges, 9520 markings/sec, 105 secs
lola: sara is running 110 secs || 1016977 markings, 57591794 edges, 7777 markings/sec, 110 secs
lola: sara is running 115 secs || 1062075 markings, 60092943 edges, 9020 markings/sec, 115 secs
lola: sara is running 120 secs || 1106865 markings, 62449795 edges, 8958 markings/sec, 120 secs
lola: sara is running 125 secs || 1148753 markings, 65092396 edges, 8378 markings/sec, 125 secs
lola: sara is running 130 secs || 1190403 markings, 67620126 edges, 8330 markings/sec, 130 secs
lola: sara is running 135 secs || 1242550 markings, 70041500 edges, 10429 markings/sec, 135 secs
lola: sara is running 140 secs || 1287047 markings, 72436866 edges, 8899 markings/sec, 140 secs
lola: sara is running 145 secs || 1323769 markings, 75081741 edges, 7344 markings/sec, 145 secs
lola: sara is running 150 secs || 1368318 markings, 77528979 edges, 8910 markings/sec, 150 secs
lola: sara is running 155 secs || 1414996 markings, 79984530 edges, 9336 markings/sec, 155 secs
lola: sara is running 160 secs || 1455793 markings, 82457304 edges, 8159 markings/sec, 160 secs
lola: sara is running 165 secs || 1508099 markings, 84863251 edges, 10461 markings/sec, 165 secs
lola: sara is running 170 secs || 1577076 markings, 87327799 edges, 13795 markings/sec, 170 secs
lola: sara is running 175 secs || 1644412 markings, 89695389 edges, 13467 markings/sec, 175 secs
lola: sara is running 180 secs || 1692562 markings, 92021850 edges, 9630 markings/sec, 180 secs
lola: sara is running 185 secs || 1717980 markings, 94804654 edges, 5084 markings/sec, 185 secs
lola: sara is running 190 secs || 1764991 markings, 97557753 edges, 9402 markings/sec, 190 secs
lola: sara is running 195 secs || 1828702 markings, 99835089 edges, 12742 markings/sec, 195 secs
lola: sara is running 200 secs || 1861850 markings, 102572155 edges, 6630 markings/sec, 200 secs
lola: sara is running 205 secs || 1914107 markings, 105015418 edges, 10451 markings/sec, 205 secs
lola: sara is running 210 secs || 1959040 markings, 107602098 edges, 8987 markings/sec, 210 secs
lola: sara is running 215 secs || 1999641 markings, 110129000 edges, 8120 markings/sec, 215 secs
sara: warning, failure of lp_solve (at job 35862)
lola: sara is running 220 secs || 2048821 markings, 112677164 edges, 9836 markings/sec, 220 secs
lola: sara is running 225 secs || 2094648 markings, 115200121 edges, 9165 markings/sec, 225 secs
lola: sara is running 230 secs || 2148407 markings, 117673970 edges, 10752 markings/sec, 230 secs
lola: sara is running 235 secs || 2187430 markings, 120277761 edges, 7805 markings/sec, 235 secs
lola: sara is running 240 secs || 2226547 markings, 122897888 edges, 7823 markings/sec, 240 secs
lola: sara is running 245 secs || 2285108 markings, 125347684 edges, 11712 markings/sec, 245 secs
lola: sara is running 250 secs || 2330639 markings, 127837303 edges, 9106 markings/sec, 250 secs
lola: sara is running 255 secs || 2380582 markings, 130208291 edges, 9989 markings/sec, 255 secs
lola: sara is running 260 secs || 2420519 markings, 132531197 edges, 7987 markings/sec, 260 secs
lola: sara is running 265 secs || 2461128 markings, 135095635 edges, 8122 markings/sec, 265 secs
lola: sara is running 270 secs || 2512553 markings, 137423306 edges, 10285 markings/sec, 270 secs
lola: sara is running 275 secs || 2547032 markings, 139974627 edges, 6896 markings/sec, 275 secs
lola: sara is running 280 secs || 2585530 markings, 142537969 edges, 7700 markings/sec, 280 secs
lola: sara is running 285 secs || 2630978 markings, 144981597 edges, 9090 markings/sec, 285 secs
lola: sara is running 290 secs || 2681934 markings, 147346656 edges, 10191 markings/sec, 290 secs
lola: sara is running 295 secs || 2717992 markings, 149735705 edges, 7212 markings/sec, 295 secs
lola: sara is running 300 secs || 2768725 markings, 152143359 edges, 10147 markings/sec, 300 secs
lola: sara is running 305 secs || 2806432 markings, 154671479 edges, 7541 markings/sec, 305 secs
lola: sara is running 310 secs || 2858053 markings, 157138765 edges, 10324 markings/sec, 310 secs
lola: sara is running 315 secs || 2903104 markings, 159619143 edges, 9010 markings/sec, 315 secs
lola: sara is running 320 secs || 2945309 markings, 162119987 edges, 8441 markings/sec, 320 secs
lola: sara is running 325 secs || 2996524 markings, 164539484 edges, 10243 markings/sec, 325 secs
lola: sara is running 330 secs || 3038590 markings, 166950990 edges, 8413 markings/sec, 330 secs
lola: sara is running 335 secs || 3080987 markings, 169399325 edges, 8479 markings/sec, 335 secs
lola: sara is running 340 secs || 3127751 markings, 171851455 edges, 9353 markings/sec, 340 secs
lola: sara is running 345 secs || 3176590 markings, 174256257 edges, 9768 markings/sec, 345 secs
lola: sara is running 350 secs || 3216084 markings, 176706958 edges, 7899 markings/sec, 350 secs
lola: sara is running 355 secs || 3259894 markings, 179134141 edges, 8762 markings/sec, 355 secs
lola: sara is running 360 secs || 3306422 markings, 181596323 edges, 9306 markings/sec, 360 secs
lola: sara is running 365 secs || 3353234 markings, 183980570 edges, 9362 markings/sec, 365 secs
lola: sara is running 370 secs || 3393272 markings, 186437845 edges, 8008 markings/sec, 370 secs
lola: sara is running 375 secs || 3437388 markings, 188827302 edges, 8823 markings/sec, 375 secs
lola: sara is running 380 secs || 3484008 markings, 191272883 edges, 9324 markings/sec, 380 secs
lola: sara is running 385 secs || 3531060 markings, 193698096 edges, 9410 markings/sec, 385 secs
lola: sara is running 390 secs || 3574247 markings, 196030437 edges, 8637 markings/sec, 390 secs
lola: sara is running 395 secs || 3615913 markings, 198438047 edges, 8333 markings/sec, 395 secs
lola: sara is running 400 secs || 3655639 markings, 200887654 edges, 7945 markings/sec, 400 secs
lola: sara is running 405 secs || 3700377 markings, 203250021 edges, 8948 markings/sec, 405 secs
lola: sara is running 410 secs || 3745081 markings, 205641191 edges, 8941 markings/sec, 410 secs
lola: sara is running 415 secs || 3789710 markings, 208100078 edges, 8926 markings/sec, 415 secs
lola: sara is running 420 secs || 3834804 markings, 210546123 edges, 9019 markings/sec, 420 secs
lola: sara is running 425 secs || 3882104 markings, 213036029 edges, 9460 markings/sec, 425 secs
lola: sara is running 430 secs || 3926602 markings, 215589309 edges, 8900 markings/sec, 430 secs
lola: sara is running 435 secs || 3971588 markings, 218087675 edges, 8997 markings/sec, 435 secs
lola: sara is running 440 secs || 4019038 markings, 220633360 edges, 9490 markings/sec, 440 secs
lola: sara is running 445 secs || 4065581 markings, 223135958 edges, 9309 markings/sec, 445 secs
lola: sara is running 450 secs || 4112730 markings, 225623000 edges, 9430 markings/sec, 450 secs
lola: sara is running 455 secs || 4155762 markings, 228166868 edges, 8606 markings/sec, 455 secs
lola: sara is running 460 secs || 4199446 markings, 230600631 edges, 8737 markings/sec, 460 secs
lola: sara is running 465 secs || 4246818 markings, 233142087 edges, 9474 markings/sec, 465 secs
lola: sara is running 470 secs || 4293256 markings, 235646862 edges, 9288 markings/sec, 470 secs
lola: sara is running 475 secs || 4340615 markings, 238139417 edges, 9472 markings/sec, 475 secs
lola: sara is running 480 secs || 4383601 markings, 240644925 edges, 8597 markings/sec, 480 secs
lola: sara is running 485 secs || 4426696 markings, 243214454 edges, 8619 markings/sec, 485 secs
lola: sara is running 490 secs || 4473380 markings, 245718099 edges, 9337 markings/sec, 490 secs
lola: sara is running 495 secs || 4517208 markings, 248180815 edges, 8766 markings/sec, 495 secs
lola: sara is running 500 secs || 4561060 markings, 250634381 edges, 8770 markings/sec, 500 secs
lola: sara is running 505 secs || 4609205 markings, 253157928 edges, 9629 markings/sec, 505 secs
lola: sara is running 510 secs || 4654713 markings, 255653134 edges, 9102 markings/sec, 510 secs
lola: sara is running 515 secs || 4700985 markings, 258119227 edges, 9254 markings/sec, 515 secs
lola: sara is running 520 secs || 4744645 markings, 260535326 edges, 8732 markings/sec, 520 secs
lola: sara is running 525 secs || 4791164 markings, 263011056 edges, 9304 markings/sec, 525 secs
lola: sara is running 530 secs || 4834929 markings, 265552722 edges, 8753 markings/sec, 530 secs
lola: sara is running 535 secs || 4875153 markings, 267815144 edges, 8045 markings/sec, 535 secs
lola: sara is running 540 secs || 4922686 markings, 270359200 edges, 9507 markings/sec, 540 secs
lola: sara is running 545 secs || 4968894 markings, 272850845 edges, 9242 markings/sec, 545 secs
lola: sara is running 550 secs || 5015391 markings, 275313856 edges, 9299 markings/sec, 550 secs
lola: sara is running 555 secs || 5058639 markings, 277840409 edges, 8650 markings/sec, 555 secs
lola: sara is running 560 secs || 5102231 markings, 280303523 edges, 8718 markings/sec, 560 secs
lola: sara is running 565 secs || 5150162 markings, 282843996 edges, 9586 markings/sec, 565 secs
lola: sara is running 570 secs || 5197072 markings, 285285338 edges, 9382 markings/sec, 570 secs
lola: sara is running 575 secs || 5239145 markings, 287734739 edges, 8415 markings/sec, 575 secs
lola: sara is running 580 secs || 5284234 markings, 290140313 edges, 9018 markings/sec, 580 secs
lola: sara is running 585 secs || 5327516 markings, 292555507 edges, 8656 markings/sec, 585 secs
lola: sara is running 590 secs || 5375828 markings, 295008111 edges, 9662 markings/sec, 590 secs
lola: sara is running 595 secs || 5422903 markings, 297437862 edges, 9415 markings/sec, 595 secs
lola: sara is running 600 secs || 5464805 markings, 299878467 edges, 8380 markings/sec, 600 secs
lola: sara is running 605 secs || 5509481 markings, 302260081 edges, 8935 markings/sec, 605 secs
lola: sara is running 610 secs || 5552897 markings, 304657560 edges, 8683 markings/sec, 610 secs
lola: sara is running 615 secs || 5600470 markings, 307100835 edges, 9515 markings/sec, 615 secs
lola: sara is running 620 secs || 5648647 markings, 309535785 edges, 9635 markings/sec, 620 secs
lola: sara is running 625 secs || 5690391 markings, 311903808 edges, 8349 markings/sec, 625 secs
lola: sara is running 630 secs || 5732299 markings, 314402907 edges, 8382 markings/sec, 630 secs
lola: sara is running 635 secs || 5775512 markings, 316787910 edges, 8643 markings/sec, 635 secs
lola: sara is running 640 secs || 5820718 markings, 319164148 edges, 9041 markings/sec, 640 secs
lola: sara is running 645 secs || 5865373 markings, 321513066 edges, 8931 markings/sec, 645 secs
lola: sara is running 650 secs || 5911776 markings, 323874809 edges, 9281 markings/sec, 650 secs
lola: sara is running 655 secs || 5954469 markings, 326373478 edges, 8539 markings/sec, 655 secs
lola: sara is running 660 secs || 6001407 markings, 328810360 edges, 9388 markings/sec, 660 secs
lola: sara is running 665 secs || 6044758 markings, 331276429 edges, 8670 markings/sec, 665 secs
lola: sara is running 670 secs || 6094787 markings, 333680726 edges, 10006 markings/sec, 670 secs
lola: sara is running 675 secs || 6135699 markings, 336104459 edges, 8182 markings/sec, 675 secs
lola: sara is running 680 secs || 6180018 markings, 338454313 edges, 8864 markings/sec, 680 secs
lola: sara is running 685 secs || 6226900 markings, 340773691 edges, 9376 markings/sec, 685 secs
lola: sara is running 690 secs || 6270578 markings, 343250545 edges, 8736 markings/sec, 690 secs
lola: sara is running 695 secs || 6315925 markings, 345680562 edges, 9069 markings/sec, 695 secs
lola: sara is running 700 secs || 6358808 markings, 348083603 edges, 8577 markings/sec, 700 secs
lola: sara is running 705 secs || 6403266 markings, 350442161 edges, 8892 markings/sec, 705 secs
lola: sara is running 710 secs || 6449306 markings, 352769863 edges, 9208 markings/sec, 710 secs
lola: sara is running 715 secs || 6492604 markings, 355228096 edges, 8660 markings/sec, 715 secs
lola: sara is running 720 secs || 6538258 markings, 357643490 edges, 9131 markings/sec, 720 secs
lola: sara is running 725 secs || 6590833 markings, 359986591 edges, 10515 markings/sec, 725 secs
lola: sara is running 730 secs || 6643880 markings, 362258221 edges, 10609 markings/sec, 730 secs
lola: sara is running 735 secs || 6676953 markings, 364708887 edges, 6615 markings/sec, 735 secs
lola: sara is running 740 secs || 6710449 markings, 367076876 edges, 6699 markings/sec, 740 secs
lola: sara is running 745 secs || 6744358 markings, 369412028 edges, 6782 markings/sec, 745 secs
lola: sara is running 750 secs || 6810971 markings, 371733076 edges, 13323 markings/sec, 750 secs
lola: sara is running 755 secs || 6853069 markings, 374086970 edges, 8420 markings/sec, 755 secs
lola: sara is running 760 secs || 6897597 markings, 376370866 edges, 8906 markings/sec, 760 secs
lola: sara is running 765 secs || 6945411 markings, 378716654 edges, 9563 markings/sec, 765 secs
lola: sara is running 770 secs || 6992917 markings, 380997235 edges, 9501 markings/sec, 770 secs
lola: sara is running 775 secs || 7071052 markings, 383274043 edges, 15627 markings/sec, 775 secs
lola: sara is running 780 secs || 7113835 markings, 385628522 edges, 8557 markings/sec, 780 secs
lola: sara is running 785 secs || 7166974 markings, 388086685 edges, 10628 markings/sec, 785 secs
lola: sara is running 790 secs || 7200090 markings, 390727044 edges, 6623 markings/sec, 790 secs
lola: sara is running 795 secs || 7248617 markings, 393240464 edges, 9705 markings/sec, 795 secs
lola: sara is running 800 secs || 7308041 markings, 395675914 edges, 11885 markings/sec, 800 secs
lola: sara is running 805 secs || 7356553 markings, 398123984 edges, 9702 markings/sec, 805 secs
lola: sara is running 810 secs || 7410189 markings, 400556058 edges, 10727 markings/sec, 810 secs
lola: sara is running 815 secs || 7465328 markings, 402947761 edges, 11028 markings/sec, 815 secs
lola: sara is running 820 secs || 7518323 markings, 405319410 edges, 10599 markings/sec, 820 secs
lola: sara is running 825 secs || 7564867 markings, 407805394 edges, 9309 markings/sec, 825 secs
lola: sara is running 830 secs || 7605781 markings, 410399124 edges, 8183 markings/sec, 830 secs
lola: sara is running 835 secs || 7646596 markings, 412911312 edges, 8163 markings/sec, 835 secs
lola: sara is running 840 secs || 7688124 markings, 415406453 edges, 8306 markings/sec, 840 secs
lola: sara is running 845 secs || 7752661 markings, 417800279 edges, 12907 markings/sec, 845 secs
lola: sara is running 850 secs || 7817535 markings, 420132728 edges, 12975 markings/sec, 850 secs
lola: sara is running 855 secs || 7862740 markings, 422510534 edges, 9041 markings/sec, 855 secs
lola: sara is running 860 secs || 7903432 markings, 424941837 edges, 8138 markings/sec, 860 secs
lola: sara is running 865 secs || 7947417 markings, 427326285 edges, 8797 markings/sec, 865 secs
lola: sara is running 870 secs || 7990912 markings, 429706836 edges, 8699 markings/sec, 870 secs
lola: sara is running 875 secs || 8035067 markings, 432120956 edges, 8831 markings/sec, 875 secs
lola: sara is running 880 secs || 8084267 markings, 434538399 edges, 9840 markings/sec, 880 secs
lola: sara is running 885 secs || 8129239 markings, 436950979 edges, 8994 markings/sec, 885 secs
lola: sara is running 890 secs || 8193292 markings, 439244615 edges, 12811 markings/sec, 890 secs
lola: sara is running 895 secs || 8245697 markings, 441559414 edges, 10481 markings/sec, 895 secs
lola: sara is running 900 secs || 8284884 markings, 443979126 edges, 7837 markings/sec, 900 secs
lola: sara is running 905 secs || 8328208 markings, 446359475 edges, 8665 markings/sec, 905 secs
lola: sara is running 910 secs || 8368258 markings, 448634409 edges, 8010 markings/sec, 910 secs
lola: sara is running 915 secs || 8410984 markings, 450967901 edges, 8545 markings/sec, 915 secs
lola: sara is running 920 secs || 8457057 markings, 453364954 edges, 9215 markings/sec, 920 secs
lola: sara is running 925 secs || 8503748 markings, 455753381 edges, 9338 markings/sec, 925 secs
lola: sara is running 930 secs || 8550537 markings, 458158635 edges, 9358 markings/sec, 930 secs
lola: sara is running 935 secs || 8596404 markings, 460567406 edges, 9173 markings/sec, 935 secs
lola: sara is running 940 secs || 8633580 markings, 463082259 edges, 7435 markings/sec, 940 secs
lola: sara is running 945 secs || 8663251 markings, 465464389 edges, 5934 markings/sec, 945 secs
lola: sara is running 950 secs || 8710565 markings, 467849108 edges, 9463 markings/sec, 950 secs
lola: sara is running 955 secs || 8754067 markings, 470382101 edges, 8700 markings/sec, 955 secs
lola: sara is running 960 secs || 8794406 markings, 472943152 edges, 8068 markings/sec, 960 secs
lola: sara is running 965 secs || 8836063 markings, 475410705 edges, 8331 markings/sec, 965 secs
lola: sara is running 970 secs || 8871728 markings, 477963224 edges, 7133 markings/sec, 970 secs
lola: sara is running 975 secs || 8904234 markings, 480536320 edges, 6501 markings/sec, 975 secs
lola: sara is running 980 secs || 8936757 markings, 483131886 edges, 6505 markings/sec, 980 secs
lola: sara is running 985 secs || 8973921 markings, 485522851 edges, 7433 markings/sec, 985 secs
lola: sara is running 990 secs || 9014373 markings, 488031355 edges, 8090 markings/sec, 990 secs
lola: sara is running 995 secs || 9048191 markings, 490541337 edges, 6764 markings/sec, 995 secs
lola: sara is running 1000 secs || 9083907 markings, 493018283 edges, 7143 markings/sec, 1000 secs
lola: sara is running 1005 secs || 9120763 markings, 495451173 edges, 7371 markings/sec, 1005 secs
lola: sara is running 1010 secs || 9157835 markings, 497865297 edges, 7414 markings/sec, 1010 secs
lola: sara is running 1015 secs || 9194506 markings, 500343547 edges, 7334 markings/sec, 1015 secs
lola: sara is running 1020 secs || 9233351 markings, 502769911 edges, 7769 markings/sec, 1020 secs
lola: sara is running 1025 secs || 9269269 markings, 505210959 edges, 7184 markings/sec, 1025 secs
lola: sara is running 1030 secs || 9301818 markings, 507742047 edges, 6510 markings/sec, 1030 secs
lola: sara is running 1035 secs || 9344410 markings, 510285132 edges, 8518 markings/sec, 1035 secs
lola: sara is running 1040 secs || 9381706 markings, 512721458 edges, 7459 markings/sec, 1040 secs
lola: sara is running 1045 secs || 9421563 markings, 515132871 edges, 7971 markings/sec, 1045 secs
lola: sara is running 1050 secs || 9462985 markings, 517600274 edges, 8284 markings/sec, 1050 secs
lola: sara is running 1055 secs || 9498785 markings, 520254941 edges, 7160 markings/sec, 1055 secs
lola: sara is running 1060 secs || 9539328 markings, 522776892 edges, 8109 markings/sec, 1060 secs
lola: sara is running 1065 secs || 9593744 markings, 525294820 edges, 10883 markings/sec, 1065 secs
lola: sara is running 1070 secs || 9636327 markings, 527801847 edges, 8517 markings/sec, 1070 secs
lola: sara is running 1075 secs || 9696687 markings, 530282745 edges, 12072 markings/sec, 1075 secs
lola: sara is running 1080 secs || 9747729 markings, 532722222 edges, 10208 markings/sec, 1080 secs
lola: sara is running 1085 secs || 9789496 markings, 535143499 edges, 8353 markings/sec, 1085 secs
lola: sara is running 1090 secs || 9826373 markings, 537746713 edges, 7375 markings/sec, 1090 secs
lola: sara is running 1095 secs || 9868690 markings, 540172837 edges, 8463 markings/sec, 1095 secs
lola: sara is running 1100 secs || 9908033 markings, 542613558 edges, 7869 markings/sec, 1100 secs
lola: sara is running 1105 secs || 9947855 markings, 545031123 edges, 7964 markings/sec, 1105 secs
lola: sara is running 1110 secs || 9989062 markings, 547468173 edges, 8241 markings/sec, 1110 secs
lola: sara is running 1115 secs || 10028771 markings, 549866677 edges, 7942 markings/sec, 1115 secs
lola: sara is running 1120 secs || 10069145 markings, 552282005 edges, 8075 markings/sec, 1120 secs
lola: sara is running 1125 secs || 10104097 markings, 554845757 edges, 6990 markings/sec, 1125 secs
lola: sara is running 1130 secs || 10151156 markings, 557332829 edges, 9412 markings/sec, 1130 secs
lola: sara is running 1135 secs || 10188082 markings, 559831402 edges, 7385 markings/sec, 1135 secs
lola: sara is running 1140 secs || 10230457 markings, 562267499 edges, 8475 markings/sec, 1140 secs
lola: sara is running 1145 secs || 10268977 markings, 564619860 edges, 7704 markings/sec, 1145 secs
lola: sara is running 1150 secs || 10308809 markings, 567060886 edges, 7966 markings/sec, 1150 secs
lola: sara is running 1155 secs || 10349040 markings, 569473732 edges, 8046 markings/sec, 1155 secs
lola: sara is running 1160 secs || 10395586 markings, 571992245 edges, 9309 markings/sec, 1160 secs
lola: sara is running 1165 secs || 10435043 markings, 574520183 edges, 7891 markings/sec, 1165 secs
lola: sara is running 1170 secs || 10468947 markings, 577123382 edges, 6781 markings/sec, 1170 secs
lola: sara is running 1175 secs || 10516551 markings, 579639909 edges, 9521 markings/sec, 1175 secs
lola: sara is running 1180 secs || 10554096 markings, 582156476 edges, 7509 markings/sec, 1180 secs
lola: sara is running 1185 secs || 10595128 markings, 584658444 edges, 8206 markings/sec, 1185 secs
lola: sara is running 1190 secs || 10634282 markings, 587148740 edges, 7831 markings/sec, 1190 secs
lola: sara is running 1195 secs || 10672829 markings, 589648811 edges, 7709 markings/sec, 1195 secs
lola: sara is running 1200 secs || 10714456 markings, 592087871 edges, 8325 markings/sec, 1200 secs
lola: sara is running 1205 secs || 10760409 markings, 594420560 edges, 9191 markings/sec, 1205 secs
lola: sara is running 1210 secs || 10793071 markings, 596984300 edges, 6532 markings/sec, 1210 secs
lola: sara is running 1215 secs || 10836296 markings, 599395475 edges, 8645 markings/sec, 1215 secs
lola: sara is running 1220 secs || 10887632 markings, 601788227 edges, 10267 markings/sec, 1220 secs
lola: sara is running 1225 secs || 10930536 markings, 604201821 edges, 8581 markings/sec, 1225 secs
lola: sara is running 1230 secs || 10997037 markings, 606634132 edges, 13300 markings/sec, 1230 secs
lola: sara is running 1235 secs || 11033877 markings, 609018746 edges, 7368 markings/sec, 1235 secs
lola: sara is running 1240 secs || 11069600 markings, 611465795 edges, 7145 markings/sec, 1240 secs
lola: sara is running 1245 secs || 11105572 markings, 613830711 edges, 7194 markings/sec, 1245 secs
lola: sara is running 1250 secs || 11140677 markings, 616220142 edges, 7021 markings/sec, 1250 secs
lola: sara is running 1255 secs || 11180383 markings, 618562650 edges, 7941 markings/sec, 1255 secs
lola: sara is running 1260 secs || 11221203 markings, 620881556 edges, 8164 markings/sec, 1260 secs
lola: sara is running 1265 secs || 11260717 markings, 623180887 edges, 7903 markings/sec, 1265 secs
lola: sara is running 1270 secs || 11299419 markings, 625562311 edges, 7740 markings/sec, 1270 secs
lola: sara is running 1275 secs || 11337783 markings, 627920279 edges, 7673 markings/sec, 1275 secs
lola: sara is running 1280 secs || 11376850 markings, 630237959 edges, 7813 markings/sec, 1280 secs
lola: sara is running 1285 secs || 11417760 markings, 632574037 edges, 8182 markings/sec, 1285 secs
lola: sara is running 1290 secs || 11461154 markings, 634943505 edges, 8679 markings/sec, 1290 secs
lola: sara is running 1295 secs || 11509152 markings, 637300383 edges, 9600 markings/sec, 1295 secs
lola: sara is running 1300 secs || 11551442 markings, 639677527 edges, 8458 markings/sec, 1300 secs
lola: sara is running 1305 secs || 11596521 markings, 642062959 edges, 9016 markings/sec, 1305 secs
lola: sara is running 1310 secs || 11644259 markings, 644450015 edges, 9548 markings/sec, 1310 secs
lola: sara is running 1315 secs || 11688546 markings, 646845949 edges, 8857 markings/sec, 1315 secs
lola: sara is running 1320 secs || 11725083 markings, 649089450 edges, 7307 markings/sec, 1320 secs
lola: sara is running 1325 secs || 11762393 markings, 651258181 edges, 7462 markings/sec, 1325 secs
lola: sara is running 1330 secs || 11802070 markings, 653592930 edges, 7935 markings/sec, 1330 secs
lola: sara is running 1335 secs || 11842739 markings, 655959966 edges, 8134 markings/sec, 1335 secs
lola: sara is running 1340 secs || 11885954 markings, 658322535 edges, 8643 markings/sec, 1340 secs
lola: sara is running 1345 secs || 11929339 markings, 660725101 edges, 8677 markings/sec, 1345 secs
lola: sara is running 1350 secs || 11973384 markings, 663034799 edges, 8809 markings/sec, 1350 secs
lola: sara is running 1355 secs || 12019654 markings, 665403499 edges, 9254 markings/sec, 1355 secs
lola: sara is running 1360 secs || 12062613 markings, 667751081 edges, 8592 markings/sec, 1360 secs
lola: sara is running 1365 secs || 12108714 markings, 670209079 edges, 9220 markings/sec, 1365 secs
lola: sara is running 1370 secs || 12168200 markings, 672475095 edges, 11897 markings/sec, 1370 secs
lola: sara is running 1375 secs || 12203700 markings, 674931361 edges, 7100 markings/sec, 1375 secs
lola: sara is running 1380 secs || 12245173 markings, 677475546 edges, 8295 markings/sec, 1380 secs
lola: sara is running 1385 secs || 12292124 markings, 679856514 edges, 9390 markings/sec, 1385 secs
lola: sara is running 1390 secs || 12330307 markings, 682240638 edges, 7637 markings/sec, 1390 secs
lola: sara is running 1395 secs || 12381862 markings, 684658235 edges, 10311 markings/sec, 1395 secs
lola: sara is running 1400 secs || 12434658 markings, 687121120 edges, 10559 markings/sec, 1400 secs
lola: sara is running 1405 secs || 12489243 markings, 689380255 edges, 10917 markings/sec, 1405 secs
lola: sara is running 1410 secs || 12526499 markings, 691859276 edges, 7451 markings/sec, 1410 secs
lola: sara is running 1415 secs || 12561767 markings, 694473581 edges, 7054 markings/sec, 1415 secs
lola: sara is running 1420 secs || 12607996 markings, 696929728 edges, 9246 markings/sec, 1420 secs
lola: sara is running 1425 secs || 12649140 markings, 699389116 edges, 8229 markings/sec, 1425 secs
lola: sara is running 1430 secs || 12696869 markings, 701789987 edges, 9546 markings/sec, 1430 secs
lola: sara is running 1435 secs || 12741043 markings, 704209203 edges, 8835 markings/sec, 1435 secs
lola: sara is running 1440 secs || 12788673 markings, 706571072 edges, 9526 markings/sec, 1440 secs
lola: sara is running 1445 secs || 12828602 markings, 709034557 edges, 7986 markings/sec, 1445 secs
lola: sara is running 1450 secs || 12873560 markings, 711414061 edges, 8992 markings/sec, 1450 secs
lola: sara is running 1455 secs || 12919642 markings, 713817638 edges, 9216 markings/sec, 1455 secs
lola: sara is running 1460 secs || 12963542 markings, 716168662 edges, 8780 markings/sec, 1460 secs
lola: sara is running 1465 secs || 13002120 markings, 718641281 edges, 7716 markings/sec, 1465 secs
lola: sara is running 1470 secs || 13045185 markings, 721002816 edges, 8613 markings/sec, 1470 secs
lola: sara is running 1475 secs || 13094526 markings, 723327256 edges, 9868 markings/sec, 1475 secs
lola: sara is running 1480 secs || 13136369 markings, 725759679 edges, 8369 markings/sec, 1480 secs
lola: sara is running 1485 secs || 13187864 markings, 728095870 edges, 10299 markings/sec, 1485 secs
lola: sara is running 1490 secs || 13226825 markings, 730554523 edges, 7792 markings/sec, 1490 secs
lola: sara is running 1495 secs || 13269759 markings, 732944824 edges, 8587 markings/sec, 1495 secs
lola: sara is running 1500 secs || 13312574 markings, 735325065 edges, 8563 markings/sec, 1500 secs
lola: sara is running 1505 secs || 13354871 markings, 737682666 edges, 8459 markings/sec, 1505 secs
lola: sara is running 1510 secs || 13400551 markings, 740039519 edges, 9136 markings/sec, 1510 secs
lola: sara is running 1515 secs || 13443405 markings, 742406745 edges, 8571 markings/sec, 1515 secs
lola: sara is running 1520 secs || 13486526 markings, 744793103 edges, 8624 markings/sec, 1520 secs
lola: sara is running 1525 secs || 13531633 markings, 747138849 edges, 9021 markings/sec, 1525 secs
lola: sara is running 1530 secs || 13575812 markings, 749492157 edges, 8836 markings/sec, 1530 secs
lola: sara is running 1535 secs || 13619328 markings, 751811282 edges, 8703 markings/sec, 1535 secs
lola: sara is running 1540 secs || 13665187 markings, 754133868 edges, 9172 markings/sec, 1540 secs
lola: sara is running 1545 secs || 13707086 markings, 756481042 edges, 8380 markings/sec, 1545 secs
lola: sara is running 1550 secs || 13746312 markings, 758666610 edges, 7845 markings/sec, 1550 secs
lola: sara is running 1555 secs || 13790094 markings, 760990792 edges, 8756 markings/sec, 1555 secs
lola: sara is running 1560 secs || 13833306 markings, 763293547 edges, 8642 markings/sec, 1560 secs
lola: sara is running 1565 secs || 13874203 markings, 765543161 edges, 8179 markings/sec, 1565 secs
lola: sara is running 1570 secs || 13922818 markings, 767902019 edges, 9723 markings/sec, 1570 secs
lola: sara is running 1575 secs || 13962179 markings, 770321293 edges, 7872 markings/sec, 1575 secs
lola: sara is running 1580 secs || 14005676 markings, 772672274 edges, 8699 markings/sec, 1580 secs
lola: sara is running 1585 secs || 14049078 markings, 774998888 edges, 8680 markings/sec, 1585 secs
lola: sara is running 1590 secs || 14092895 markings, 777356432 edges, 8763 markings/sec, 1590 secs
lola: sara is running 1595 secs || 14137153 markings, 779671370 edges, 8852 markings/sec, 1595 secs
lola: sara is running 1600 secs || 14177404 markings, 781913298 edges, 8050 markings/sec, 1600 secs
lola: sara is running 1605 secs || 14221330 markings, 784224546 edges, 8785 markings/sec, 1605 secs
lola: sara is running 1610 secs || 14263731 markings, 786604719 edges, 8480 markings/sec, 1610 secs
lola: sara is running 1615 secs || 14307236 markings, 788941423 edges, 8701 markings/sec, 1615 secs
lola: sara is running 1620 secs || 14349858 markings, 791262441 edges, 8524 markings/sec, 1620 secs
lola: sara is running 1625 secs || 14394897 markings, 793676141 edges, 9008 markings/sec, 1625 secs
lola: sara is running 1630 secs || 14441603 markings, 796177086 edges, 9341 markings/sec, 1630 secs
lola: sara is running 1635 secs || 14484816 markings, 798665201 edges, 8643 markings/sec, 1635 secs
lola: sara is running 1640 secs || 14547246 markings, 801105696 edges, 12486 markings/sec, 1640 secs
lola: sara is running 1645 secs || 14585722 markings, 803582434 edges, 7695 markings/sec, 1645 secs
lola: sara is running 1650 secs || 14620723 markings, 806169427 edges, 7000 markings/sec, 1650 secs
lola: sara is running 1655 secs || 14673427 markings, 808440271 edges, 10541 markings/sec, 1655 secs
lola: sara is running 1660 secs || 14732687 markings, 810683216 edges, 11852 markings/sec, 1660 secs
lola: sara is running 1665 secs || 14792281 markings, 812956210 edges, 11919 markings/sec, 1665 secs
lola: sara is running 1670 secs || 14816413 markings, 815384567 edges, 4826 markings/sec, 1670 secs
lola: sara is running 1675 secs || 14864228 markings, 817840746 edges, 9563 markings/sec, 1675 secs
lola: sara is running 1680 secs || 14879204 markings, 820801009 edges, 2995 markings/sec, 1680 secs
lola: sara is running 1685 secs || 14924550 markings, 823192434 edges, 9069 markings/sec, 1685 secs
lola: sara is running 1690 secs || 14961630 markings, 825775909 edges, 7416 markings/sec, 1690 secs
lola: sara is running 1695 secs || 15007163 markings, 828294139 edges, 9107 markings/sec, 1695 secs
lola: sara is running 1700 secs || 15045527 markings, 830816394 edges, 7673 markings/sec, 1700 secs
lola: sara is running 1705 secs || 15099609 markings, 833151705 edges, 10816 markings/sec, 1705 secs
lola: sara is running 1710 secs || 15140901 markings, 835567751 edges, 8258 markings/sec, 1710 secs
lola: sara is running 1715 secs || 15172372 markings, 838270186 edges, 6294 markings/sec, 1715 secs
lola: sara is running 1720 secs || 15217645 markings, 840747106 edges, 9055 markings/sec, 1720 secs
lola: sara is running 1725 secs || 15260347 markings, 843196131 edges, 8540 markings/sec, 1725 secs
lola: sara is running 1730 secs || 15308544 markings, 845508296 edges, 9639 markings/sec, 1730 secs
lola: sara is running 1735 secs || 15348635 markings, 848018202 edges, 8018 markings/sec, 1735 secs
lola: sara is running 1740 secs || 15393959 markings, 850462448 edges, 9065 markings/sec, 1740 secs
lola: sara is running 1745 secs || 15434851 markings, 852924092 edges, 8178 markings/sec, 1745 secs
lola: sara is running 1750 secs || 15482196 markings, 855393544 edges, 9469 markings/sec, 1750 secs
lola: sara is running 1755 secs || 15531233 markings, 857689477 edges, 9807 markings/sec, 1755 secs
lola: sara is running 1760 secs || 15565296 markings, 860217904 edges, 6813 markings/sec, 1760 secs
lola: sara is running 1765 secs || 15613096 markings, 862562522 edges, 9560 markings/sec, 1765 secs
lola: sara is running 1770 secs || 15672162 markings, 865028311 edges, 11813 markings/sec, 1770 secs
lola: sara is running 1775 secs || 15715946 markings, 867461040 edges, 8757 markings/sec, 1775 secs
lola: sara is running 1780 secs || 15763485 markings, 869828982 edges, 9508 markings/sec, 1780 secs
lola: sara is running 1785 secs || 15803025 markings, 872293418 edges, 7908 markings/sec, 1785 secs
lola: sara is running 1790 secs || 15853270 markings, 874627664 edges, 10049 markings/sec, 1790 secs
lola: sara is running 1795 secs || 15891582 markings, 877095875 edges, 7662 markings/sec, 1795 secs
lola: sara is running 1800 secs || 15933828 markings, 879511347 edges, 8449 markings/sec, 1800 secs
lola: sara is running 1805 secs || 15979523 markings, 881907581 edges, 9139 markings/sec, 1805 secs
lola: sara is running 1810 secs || 16025487 markings, 884330548 edges, 9193 markings/sec, 1810 secs
lola: sara is running 1815 secs || 16076410 markings, 886571103 edges, 10185 markings/sec, 1815 secs
lola: sara is running 1820 secs || 16107365 markings, 889152219 edges, 6191 markings/sec, 1820 secs
lola: sara is running 1825 secs || 16149835 markings, 891623012 edges, 8494 markings/sec, 1825 secs
lola: sara is running 1830 secs || 16192622 markings, 894016584 edges, 8557 markings/sec, 1830 secs
lola: sara is running 1835 secs || 16234111 markings, 896430755 edges, 8298 markings/sec, 1835 secs
lola: sara is running 1840 secs || 16286471 markings, 898748321 edges, 10472 markings/sec, 1840 secs
lola: sara is running 1845 secs || 16324509 markings, 901242085 edges, 7608 markings/sec, 1845 secs
lola: sara is running 1850 secs || 16369590 markings, 903609059 edges, 9016 markings/sec, 1850 secs
lola: sara is running 1855 secs || 16413564 markings, 905991003 edges, 8795 markings/sec, 1855 secs
lola: sara is running 1860 secs || 16454471 markings, 908374627 edges, 8181 markings/sec, 1860 secs
lola: sara is running 1865 secs || 16497660 markings, 910783415 edges, 8638 markings/sec, 1865 secs
lola: sara is running 1870 secs || 16541646 markings, 913174151 edges, 8797 markings/sec, 1870 secs
lola: sara is running 1875 secs || 16587351 markings, 915560559 edges, 9141 markings/sec, 1875 secs
lola: sara is running 1880 secs || 16628825 markings, 917947582 edges, 8295 markings/sec, 1880 secs
lola: sara is running 1885 secs || 16672881 markings, 920343046 edges, 8811 markings/sec, 1885 secs
lola: sara is running 1890 secs || 16720118 markings, 922674454 edges, 9447 markings/sec, 1890 secs
lola: sara is running 1895 secs || 16758532 markings, 925096808 edges, 7683 markings/sec, 1895 secs
lola: sara is running 1900 secs || 16802049 markings, 927466241 edges, 8703 markings/sec, 1900 secs
lola: sara is running 1905 secs || 16847479 markings, 929841390 edges, 9086 markings/sec, 1905 secs
lola: sara is running 1910 secs || 16887893 markings, 932187255 edges, 8083 markings/sec, 1910 secs
lola: sara is running 1915 secs || 16928207 markings, 934633748 edges, 8063 markings/sec, 1915 secs
lola: sara is running 1920 secs || 16970018 markings, 937025936 edges, 8362 markings/sec, 1920 secs
lola: sara is running 1925 secs || 17014255 markings, 939377047 edges, 8847 markings/sec, 1925 secs
lola: sara is running 1930 secs || 17057401 markings, 941716917 edges, 8629 markings/sec, 1930 secs
lola: sara is running 1935 secs || 17101950 markings, 944189748 edges, 8910 markings/sec, 1935 secs
lola: sara is running 1940 secs || 17147176 markings, 946650142 edges, 9045 markings/sec, 1940 secs
lola: sara is running 1945 secs || 17191110 markings, 949100711 edges, 8787 markings/sec, 1945 secs
lola: sara is running 1950 secs || 17235608 markings, 951574902 edges, 8900 markings/sec, 1950 secs
lola: sara is running 1955 secs || 17279281 markings, 954033760 edges, 8735 markings/sec, 1955 secs
lola: sara is running 1960 secs || 17323533 markings, 956457531 edges, 8850 markings/sec, 1960 secs
lola: sara is running 1965 secs || 17365848 markings, 958857416 edges, 8463 markings/sec, 1965 secs
lola: sara is running 1970 secs || 17409090 markings, 961219672 edges, 8648 markings/sec, 1970 secs
lola: sara is running 1975 secs || 17454401 markings, 963577245 edges, 9062 markings/sec, 1975 secs
lola: sara is running 1980 secs || 17494607 markings, 965978765 edges, 8041 markings/sec, 1980 secs
lola: sara is running 1985 secs || 17537772 markings, 968325108 edges, 8633 markings/sec, 1985 secs
lola: sara is running 1990 secs || 17580734 markings, 970673665 edges, 8592 markings/sec, 1990 secs
lola: sara is running 1995 secs || 17625850 markings, 973168927 edges, 9023 markings/sec, 1995 secs
lola: sara is running 2000 secs || 17675121 markings, 975599327 edges, 9854 markings/sec, 2000 secs
lola: sara is running 2005 secs || 17716517 markings, 978146639 edges, 8279 markings/sec, 2005 secs
lola: sara is running 2010 secs || 17770803 markings, 980557236 edges, 10857 markings/sec, 2010 secs
lola: sara is running 2015 secs || 17808107 markings, 983135094 edges, 7461 markings/sec, 2015 secs
lola: sara is running 2020 secs || 17857470 markings, 985415884 edges, 9873 markings/sec, 2020 secs
lola: sara is running 2025 secs || 17920492 markings, 987612367 edges, 12604 markings/sec, 2025 secs
lola: sara is running 2030 secs || 17970738 markings, 989902563 edges, 10049 markings/sec, 2030 secs
lola: sara is running 2035 secs || 17996333 markings, 992285543 edges, 5119 markings/sec, 2035 secs
lola: sara is running 2040 secs || 18048497 markings, 994776866 edges, 10433 markings/sec, 2040 secs
lola: sara is running 2045 secs || 18065310 markings, 997691402 edges, 3363 markings/sec, 2045 secs
lola: sara is running 2050 secs || 18109844 markings, 1000082969 edges, 8907 markings/sec, 2050 secs
lola: sara is running 2055 secs || 18148156 markings, 1002770205 edges, 7662 markings/sec, 2055 secs
lola: sara is running 2060 secs || 18189615 markings, 1005289720 edges, 8292 markings/sec, 2060 secs
lola: sara is running 2065 secs || 18234256 markings, 1007785273 edges, 8928 markings/sec, 2065 secs
lola: sara is running 2070 secs || 18288430 markings, 1010112412 edges, 10835 markings/sec, 2070 secs
lola: sara is running 2075 secs || 18324553 markings, 1012538696 edges, 7225 markings/sec, 2075 secs
lola: sara is running 2080 secs || 18364027 markings, 1015095813 edges, 7895 markings/sec, 2080 secs
lola: sara is running 2085 secs || 18412228 markings, 1017528123 edges, 9640 markings/sec, 2085 secs
lola: sara is running 2090 secs || 18450874 markings, 1019890603 edges, 7729 markings/sec, 2090 secs
lola: sara is running 2095 secs || 18500342 markings, 1022308756 edges, 9894 markings/sec, 2095 secs
lola: sara is running 2100 secs || 18554196 markings, 1024772908 edges, 10771 markings/sec, 2100 secs
lola: sara is running 2105 secs || 18607585 markings, 1027064894 edges, 10678 markings/sec, 2105 secs
lola: sara is running 2110 secs || 18646928 markings, 1029490634 edges, 7869 markings/sec, 2110 secs
lola: sara is running 2115 secs || 18680136 markings, 1032159808 edges, 6642 markings/sec, 2115 secs
lola: sara is running 2120 secs || 18723280 markings, 1034646612 edges, 8629 markings/sec, 2120 secs
lola: sara is running 2125 secs || 18762702 markings, 1036889167 edges, 7884 markings/sec, 2125 secs
lola: sara is running 2130 secs || 18807695 markings, 1039277466 edges, 8999 markings/sec, 2130 secs
lola: sara is running 2135 secs || 18854897 markings, 1041687697 edges, 9440 markings/sec, 2135 secs
lola: sara is running 2140 secs || 18898778 markings, 1044118708 edges, 8776 markings/sec, 2140 secs
lola: sara is running 2145 secs || 18941677 markings, 1046548779 edges, 8580 markings/sec, 2145 secs
lola: sara is running 2150 secs || 18987061 markings, 1048900710 edges, 9077 markings/sec, 2150 secs
lola: sara is running 2155 secs || 19027803 markings, 1051350345 edges, 8148 markings/sec, 2155 secs
lola: sara is running 2160 secs || 19073338 markings, 1053733057 edges, 9107 markings/sec, 2160 secs
lola: sara is running 2165 secs || 19113842 markings, 1056163496 edges, 8101 markings/sec, 2165 secs
lola: sara is running 2170 secs || 19157153 markings, 1058563299 edges, 8662 markings/sec, 2170 secs
lola: sara is running 2175 secs || 19202999 markings, 1060964046 edges, 9169 markings/sec, 2175 secs
lola: sara is running 2180 secs || 19246740 markings, 1063411601 edges, 8748 markings/sec, 2180 secs
lola: sara is running 2185 secs || 19295712 markings, 1065622200 edges, 9794 markings/sec, 2185 secs
lola: sara is running 2190 secs || 19333182 markings, 1068157564 edges, 7494 markings/sec, 2190 secs
lola: sara is running 2195 secs || 19372051 markings, 1070667940 edges, 7774 markings/sec, 2195 secs
lola: sara is running 2200 secs || 19412798 markings, 1072951821 edges, 8149 markings/sec, 2200 secs
lola: sara is running 2205 secs || 19454798 markings, 1075349028 edges, 8400 markings/sec, 2205 secs
lola: sara is running 2210 secs || 19505264 markings, 1077698972 edges, 10093 markings/sec, 2210 secs
lola: sara is running 2215 secs || 19545147 markings, 1080174300 edges, 7977 markings/sec, 2215 secs
lola: sara is running 2220 secs || 19590002 markings, 1082539086 edges, 8971 markings/sec, 2220 secs
lola: sara is running 2225 secs || 19634135 markings, 1084901706 edges, 8827 markings/sec, 2225 secs
lola: sara is running 2230 secs || 19676429 markings, 1087290738 edges, 8459 markings/sec, 2230 secs
lola: sara is running 2235 secs || 19719100 markings, 1089695005 edges, 8534 markings/sec, 2235 secs
lola: sara is running 2240 secs || 19762837 markings, 1092072589 edges, 8747 markings/sec, 2240 secs
lola: sara is running 2245 secs || 19807280 markings, 1094448188 edges, 8889 markings/sec, 2245 secs
lola: sara is running 2250 secs || 19848687 markings, 1096829910 edges, 8281 markings/sec, 2250 secs
lola: sara is running 2255 secs || 19892553 markings, 1099210572 edges, 8773 markings/sec, 2255 secs
lola: sara is running 2260 secs || 19938813 markings, 1101558650 edges, 9252 markings/sec, 2260 secs
lola: sara is running 2265 secs || 19977259 markings, 1104000472 edges, 7689 markings/sec, 2265 secs
lola: sara is running 2270 secs || 20021353 markings, 1106357230 edges, 8819 markings/sec, 2270 secs
lola: sara is running 2275 secs || 20066447 markings, 1108738406 edges, 9019 markings/sec, 2275 secs
lola: sara is running 2280 secs || 20108706 markings, 1111065523 edges, 8452 markings/sec, 2280 secs
lola: sara is running 2285 secs || 20148854 markings, 1113466238 edges, 8030 markings/sec, 2285 secs
lola: sara is running 2290 secs || 20194064 markings, 1115799790 edges, 9042 markings/sec, 2290 secs
lola: sara is running 2295 secs || 20236639 markings, 1118170123 edges, 8515 markings/sec, 2295 secs
lola: sara is running 2300 secs || 20278901 markings, 1120510434 edges, 8452 markings/sec, 2300 secs
lola: sara is running 2305 secs || 20323704 markings, 1122998420 edges, 8961 markings/sec, 2305 secs
lola: sara is running 2310 secs || 20367614 markings, 1125467922 edges, 8782 markings/sec, 2310 secs
lola: sara is running 2315 secs || 20411698 markings, 1127908391 edges, 8817 markings/sec, 2315 secs
lola: sara is running 2320 secs || 20455335 markings, 1130379355 edges, 8727 markings/sec, 2320 secs
lola: sara is running 2325 secs || 20499912 markings, 1132824082 edges, 8915 markings/sec, 2325 secs
lola: sara is running 2330 secs || 20544915 markings, 1135208235 edges, 9001 markings/sec, 2330 secs
lola: sara is running 2335 secs || 20585425 markings, 1137606830 edges, 8102 markings/sec, 2335 secs
lola: sara is running 2340 secs || 20629485 markings, 1139958992 edges, 8812 markings/sec, 2340 secs
lola: sara is running 2345 secs || 20673876 markings, 1142308855 edges, 8878 markings/sec, 2345 secs
lola: sara is running 2350 secs || 20715565 markings, 1144701205 edges, 8338 markings/sec, 2350 secs
lola: sara is running 2355 secs || 20757960 markings, 1147050327 edges, 8479 markings/sec, 2355 secs
lola: sara is running 2360 secs || 20801196 markings, 1149388831 edges, 8647 markings/sec, 2360 secs
lola: sara is running 2365 secs || 20843977 markings, 1151775774 edges, 8556 markings/sec, 2365 secs
lola: sara is running 2370 secs || 20887205 markings, 1154135268 edges, 8646 markings/sec, 2370 secs
lola: sara is running 2375 secs || 20930551 markings, 1156496110 edges, 8669 markings/sec, 2375 secs
lola: sara is running 2380 secs || 20976636 markings, 1158810324 edges, 9217 markings/sec, 2380 secs
lola: sara is running 2385 secs || 21016555 markings, 1161228569 edges, 7984 markings/sec, 2385 secs
lola: sara is running 2390 secs || 21059459 markings, 1163577247 edges, 8581 markings/sec, 2390 secs
lola: sara is running 2395 secs || 21104210 markings, 1165943517 edges, 8950 markings/sec, 2395 secs
lola: sara is running 2400 secs || 21144752 markings, 1168279910 edges, 8108 markings/sec, 2400 secs
lola: sara is running 2405 secs || 21187638 markings, 1170622940 edges, 8577 markings/sec, 2405 secs
lola: sara is running 2410 secs || 21230220 markings, 1172947536 edges, 8516 markings/sec, 2410 secs
lola: sara is running 2415 secs || 21273774 markings, 1175291921 edges, 8711 markings/sec, 2415 secs
lola: sara is running 2420 secs || 21316343 markings, 1177657308 edges, 8514 markings/sec, 2420 secs
lola: sara is running 2425 secs || 21358446 markings, 1180002911 edges, 8421 markings/sec, 2425 secs
lola: sara is running 2430 secs || 21406088 markings, 1182361079 edges, 9528 markings/sec, 2430 secs
lola: sara is running 2435 secs || 21448642 markings, 1184909558 edges, 8511 markings/sec, 2435 secs
lola: sara is running 2440 secs || 21492999 markings, 1187416297 edges, 8871 markings/sec, 2440 secs
lola: sara is running 2445 secs || 21550676 markings, 1189865758 edges, 11535 markings/sec, 2445 secs
lola: sara is running 2450 secs || 21589385 markings, 1192329045 edges, 7742 markings/sec, 2450 secs
lola: sara is running 2455 secs || 21634296 markings, 1194756262 edges, 8982 markings/sec, 2455 secs
lola: sara is running 2460 secs || 21683441 markings, 1197099459 edges, 9829 markings/sec, 2460 secs
lola: sara is running 2465 secs || 21750908 markings, 1199232482 edges, 13493 markings/sec, 2465 secs
lola: sara is running 2470 secs || 21781660 markings, 1201622005 edges, 6150 markings/sec, 2470 secs
lola: sara is running 2475 secs || 21842248 markings, 1203952729 edges, 12118 markings/sec, 2475 secs
lola: sara is running 2480 secs || 21848424 markings, 1206886837 edges, 1235 markings/sec, 2480 secs
lola: sara is running 2485 secs || 21894095 markings, 1209390377 edges, 9134 markings/sec, 2485 secs
lola: sara is running 2490 secs || 21930450 markings, 1211980791 edges, 7271 markings/sec, 2490 secs
lola: sara is running 2495 secs || 21965851 markings, 1214472559 edges, 7080 markings/sec, 2495 secs
lola: sara is running 2500 secs || 22011424 markings, 1216972727 edges, 9115 markings/sec, 2500 secs
lola: sara is running 2505 secs || 22055870 markings, 1219429786 edges, 8889 markings/sec, 2505 secs
lola: sara is running 2510 secs || 22098607 markings, 1221747100 edges, 8547 markings/sec, 2510 secs
lola: sara is running 2515 secs || 22141256 markings, 1224258943 edges, 8530 markings/sec, 2515 secs
lola: sara is running 2520 secs || 22184655 markings, 1226774403 edges, 8680 markings/sec, 2520 secs
lola: sara is running 2525 secs || 22224092 markings, 1229174874 edges, 7887 markings/sec, 2525 secs
lola: sara is running 2530 secs || 22269434 markings, 1231601494 edges, 9068 markings/sec, 2530 secs
lola: sara is running 2535 secs || 22329471 markings, 1233993755 edges, 12007 markings/sec, 2535 secs
lola: sara is running 2540 secs || 22375067 markings, 1236402887 edges, 9119 markings/sec, 2540 secs
lola: sara is running 2545 secs || 22419324 markings, 1238706407 edges, 8851 markings/sec, 2545 secs
lola: sara is running 2550 secs || 22460566 markings, 1241290449 edges, 8248 markings/sec, 2550 secs
lola: sara is running 2555 secs || 22499863 markings, 1243863951 edges, 7859 markings/sec, 2555 secs
lola: sara is running 2560 secs || 22543235 markings, 1246279650 edges, 8674 markings/sec, 2560 secs
lola: sara is running 2565 secs || 22586679 markings, 1248711247 edges, 8689 markings/sec, 2565 secs
lola: sara is running 2570 secs || 22637765 markings, 1251095694 edges, 10217 markings/sec, 2570 secs
lola: sara is running 2575 secs || 22677017 markings, 1253568676 edges, 7850 markings/sec, 2575 secs
lola: sara is running 2580 secs || 22722263 markings, 1255950074 edges, 9049 markings/sec, 2580 secs
lola: sara is running 2585 secs || 22766289 markings, 1258395122 edges, 8805 markings/sec, 2585 secs
lola: sara is running 2590 secs || 22808566 markings, 1260806313 edges, 8455 markings/sec, 2590 secs
lola: sara is running 2595 secs || 22855630 markings, 1263156063 edges, 9413 markings/sec, 2595 secs
lola: sara is running 2600 secs || 22895069 markings, 1265560065 edges, 7888 markings/sec, 2600 secs
lola: sara is running 2605 secs || 22936676 markings, 1267996752 edges, 8321 markings/sec, 2605 secs
lola: sara is running 2610 secs || 22982457 markings, 1270360029 edges, 9156 markings/sec, 2610 secs
lola: sara is running 2615 secs || 23030449 markings, 1272800913 edges, 9598 markings/sec, 2615 secs
lola: sara is running 2620 secs || 23081630 markings, 1275053803 edges, 10236 markings/sec, 2620 secs
lola: sara is running 2625 secs || 23118913 markings, 1277478789 edges, 7457 markings/sec, 2625 secs
lola: sara is running 2630 secs || 23152294 markings, 1280078979 edges, 6676 markings/sec, 2630 secs
lola: sara is running 2635 secs || 23195828 markings, 1282455253 edges, 8707 markings/sec, 2635 secs
lola: sara is running 2640 secs || 23238315 markings, 1284867885 edges, 8497 markings/sec, 2640 secs
lola: sara is running 2645 secs || 23289060 markings, 1287214771 edges, 10149 markings/sec, 2645 secs
lola: sara is running 2650 secs || 23327784 markings, 1289685017 edges, 7745 markings/sec, 2650 secs
lola: sara is running 2655 secs || 23370454 markings, 1292081887 edges, 8534 markings/sec, 2655 secs
lola: sara is running 2660 secs || 23412972 markings, 1294460146 edges, 8504 markings/sec, 2660 secs
lola: sara is running 2665 secs || 23455038 markings, 1296822332 edges, 8413 markings/sec, 2665 secs
lola: sara is running 2670 secs || 23501373 markings, 1299162042 edges, 9267 markings/sec, 2670 secs
lola: sara is running 2675 secs || 23543593 markings, 1301584995 edges, 8444 markings/sec, 2675 secs
lola: sara is running 2680 secs || 23585343 markings, 1303989345 edges, 8350 markings/sec, 2680 secs
lola: sara is running 2685 secs || 23629462 markings, 1306384566 edges, 8824 markings/sec, 2685 secs
lola: sara is running 2690 secs || 23670754 markings, 1308824107 edges, 8258 markings/sec, 2690 secs
lola: sara is running 2695 secs || 23715534 markings, 1311197028 edges, 8956 markings/sec, 2695 secs
lola: sara is running 2700 secs || 23758122 markings, 1313578198 edges, 8518 markings/sec, 2700 secs
lola: sara is running 2705 secs || 23801852 markings, 1315932559 edges, 8746 markings/sec, 2705 secs
lola: sara is running 2710 secs || 23845476 markings, 1318288606 edges, 8725 markings/sec, 2710 secs
lola: sara is running 2715 secs || 23891763 markings, 1320611062 edges, 9257 markings/sec, 2715 secs
lola: sara is running 2720 secs || 23929159 markings, 1323047422 edges, 7479 markings/sec, 2720 secs
lola: sara is running 2725 secs || 23972609 markings, 1325374587 edges, 8690 markings/sec, 2725 secs
lola: sara is running 2730 secs || 24015508 markings, 1327741496 edges, 8580 markings/sec, 2730 secs
lola: sara is running 2735 secs || 24059099 markings, 1330071781 edges, 8718 markings/sec, 2735 secs
lola: sara is running 2740 secs || 24103888 markings, 1332461416 edges, 8958 markings/sec, 2740 secs
lola: sara is running 2745 secs || 24147251 markings, 1334976806 edges, 8673 markings/sec, 2745 secs
lola: sara is running 2750 secs || 24190950 markings, 1337422760 edges, 8740 markings/sec, 2750 secs
lola: sara is running 2755 secs || 24235088 markings, 1339883894 edges, 8828 markings/sec, 2755 secs
lola: sara is running 2760 secs || 24279621 markings, 1342342285 edges, 8907 markings/sec, 2760 secs
lola: sara is running 2765 secs || 24323392 markings, 1344772760 edges, 8754 markings/sec, 2765 secs
lola: sara is running 2770 secs || 24366777 markings, 1347146999 edges, 8677 markings/sec, 2770 secs
lola: sara is running 2775 secs || 24410952 markings, 1349495234 edges, 8835 markings/sec, 2775 secs
lola: sara is running 2780 secs || 24452335 markings, 1351845137 edges, 8277 markings/sec, 2780 secs
lola: sara is running 2785 secs || 24498406 markings, 1354185949 edges, 9214 markings/sec, 2785 secs
lola: sara is running 2790 secs || 24540203 markings, 1356577828 edges, 8359 markings/sec, 2790 secs
lola: sara is running 2795 secs || 24581118 markings, 1358938803 edges, 8183 markings/sec, 2795 secs
lola: sara is running 2800 secs || 24629051 markings, 1361253274 edges, 9587 markings/sec, 2800 secs
lola: sara is running 2805 secs || 24666422 markings, 1363648873 edges, 7474 markings/sec, 2805 secs
lola: sara is running 2810 secs || 24709295 markings, 1365990723 edges, 8575 markings/sec, 2810 secs
lola: sara is running 2815 secs || 24755793 markings, 1368299323 edges, 9300 markings/sec, 2815 secs
lola: sara is running 2820 secs || 24795239 markings, 1370717814 edges, 7889 markings/sec, 2820 secs
lola: sara is running 2825 secs || 24838403 markings, 1373067260 edges, 8633 markings/sec, 2825 secs
lola: sara is running 2830 secs || 24881149 markings, 1375393712 edges, 8549 markings/sec, 2830 secs
lola: sara is running 2835 secs || 24925839 markings, 1377875892 edges, 8938 markings/sec, 2835 secs
lola: sara is running 2840 secs || 24974667 markings, 1380299915 edges, 9766 markings/sec, 2840 secs
lola: sara is running 2845 secs || 25015718 markings, 1382837529 edges, 8210 markings/sec, 2845 secs
lola: sara is running 2850 secs || 25069703 markings, 1385249480 edges, 10797 markings/sec, 2850 secs
lola: sara is running 2855 secs || 25106939 markings, 1387819820 edges, 7447 markings/sec, 2855 secs
lola: sara is running 2860 secs || 25157948 markings, 1390059243 edges, 10202 markings/sec, 2860 secs
lola: sara is running 2865 secs || 25217663 markings, 1392297932 edges, 11943 markings/sec, 2865 secs
lola: sara is running 2870 secs || 25271147 markings, 1394558255 edges, 10697 markings/sec, 2870 secs
lola: sara is running 2875 secs || 25296810 markings, 1396937459 edges, 5133 markings/sec, 2875 secs
lola: sara is running 2880 secs || 25351032 markings, 1399380075 edges, 10844 markings/sec, 2880 secs
lola: sara is running 2885 secs || 25361604 markings, 1402364727 edges, 2114 markings/sec, 2885 secs
lola: sara is running 2890 secs || 25410107 markings, 1404716795 edges, 9701 markings/sec, 2890 secs
lola: sara is running 2895 secs || 25447615 markings, 1407400515 edges, 7502 markings/sec, 2895 secs
lola: sara is running 2900 secs || 25490132 markings, 1409910914 edges, 8503 markings/sec, 2900 secs
lola: sara is running 2905 secs || 25531434 markings, 1412415277 edges, 8260 markings/sec, 2905 secs
lola: sara is running 2910 secs || 25585120 markings, 1414746178 edges, 10737 markings/sec, 2910 secs
lola: sara is running 2915 secs || 25626778 markings, 1417101817 edges, 8332 markings/sec, 2915 secs
lola: sara is running 2920 secs || 25662428 markings, 1419689319 edges, 7130 markings/sec, 2920 secs
lola: sara is running 2925 secs || 25710689 markings, 1422130991 edges, 9652 markings/sec, 2925 secs
lola: sara is running 2930 secs || 25752213 markings, 1424432944 edges, 8305 markings/sec, 2930 secs
lola: sara is running 2935 secs || 25796764 markings, 1426872978 edges, 8910 markings/sec, 2935 secs
lola: sara is running 2940 secs || 25853420 markings, 1429327659 edges, 11331 markings/sec, 2940 secs
lola: sara is running 2945 secs || 25903202 markings, 1431662026 edges, 9956 markings/sec, 2945 secs
lola: sara is running 2950 secs || 25947633 markings, 1434004608 edges, 8886 markings/sec, 2950 secs
lola: sara is running 2955 secs || 25980414 markings, 1436636487 edges, 6556 markings/sec, 2955 secs
lola: sara is running 2960 secs || 26020515 markings, 1439199226 edges, 8020 markings/sec, 2960 secs
lola: sara is running 2965 secs || 26062800 markings, 1441607427 edges, 8457 markings/sec, 2965 secs
lola: sara is running 2970 secs || 26106759 markings, 1444007695 edges, 8792 markings/sec, 2970 secs
lola: sara is running 2975 secs || 26154904 markings, 1446400173 edges, 9629 markings/sec, 2975 secs
lola: sara is running 2980 secs || 26200001 markings, 1448815825 edges, 9019 markings/sec, 2980 secs
lola: sara is running 2985 secs || 26240819 markings, 1451244736 edges, 8164 markings/sec, 2985 secs
lola: sara is running 2990 secs || 26288089 markings, 1453576164 edges, 9454 markings/sec, 2990 secs
lola: sara is running 2995 secs || 26327034 markings, 1456026283 edges, 7789 markings/sec, 2995 secs
lola: sara is running 3000 secs || 26374347 markings, 1458354423 edges, 9463 markings/sec, 3000 secs
lola: sara is running 3005 secs || 26412692 markings, 1460800985 edges, 7669 markings/sec, 3005 secs
lola: sara is running 3010 secs || 26454937 markings, 1463206493 edges, 8449 markings/sec, 3010 secs
lola: sara is running 3015 secs || 26500452 markings, 1465587462 edges, 9103 markings/sec, 3015 secs
lola: sara is running 3020 secs || 26546127 markings, 1467997681 edges, 9135 markings/sec, 3020 secs
lola: sara is running 3025 secs || 26595881 markings, 1470221012 edges, 9951 markings/sec, 3025 secs
lola: sara is running 3030 secs || 26627207 markings, 1472791111 edges, 6265 markings/sec, 3030 secs
lola: sara is running 3035 secs || 26669360 markings, 1475241986 edges, 8431 markings/sec, 3035 secs
lola: sara is running 3040 secs || 26711841 markings, 1477647849 edges, 8496 markings/sec, 3040 secs
lola: sara is running 3045 secs || 26754178 markings, 1480061430 edges, 8467 markings/sec, 3045 secs
lola: sara is running 3050 secs || 26806167 markings, 1482388910 edges, 10398 markings/sec, 3050 secs
lola: sara is running 3055 secs || 26844718 markings, 1484889399 edges, 7710 markings/sec, 3055 secs
lola: sara is running 3060 secs || 26890352 markings, 1487257606 edges, 9127 markings/sec, 3060 secs
lola: sara is running 3065 secs || 26935382 markings, 1489637129 edges, 9006 markings/sec, 3065 secs
lola: sara is running 3070 secs || 26976523 markings, 1492043136 edges, 8228 markings/sec, 3070 secs
lola: sara is running 3075 secs || 27020281 markings, 1494471621 edges, 8752 markings/sec, 3075 secs
lola: sara is running 3080 secs || 27064102 markings, 1496865414 edges, 8764 markings/sec, 3080 secs
lola: sara is running 3085 secs || 27109162 markings, 1499264535 edges, 9012 markings/sec, 3085 secs
lola: sara is running 3090 secs || 27151164 markings, 1501670771 edges, 8400 markings/sec, 3090 secs
lola: sara is running 3095 secs || 27195387 markings, 1504068681 edges, 8845 markings/sec, 3095 secs
lola: sara is running 3100 secs || 27241640 markings, 1506423426 edges, 9251 markings/sec, 3100 secs
lola: sara is running 3105 secs || 27280091 markings, 1508857066 edges, 7690 markings/sec, 3105 secs
lola: sara is running 3110 secs || 27323969 markings, 1511209201 edges, 8776 markings/sec, 3110 secs
lola: sara is running 3115 secs || 27369036 markings, 1513577259 edges, 9013 markings/sec, 3115 secs
lola: sara is running 3120 secs || 27410281 markings, 1515899879 edges, 8249 markings/sec, 3120 secs
lola: sara is running 3125 secs || 27450611 markings, 1518288170 edges, 8066 markings/sec, 3125 secs
lola: sara is running 3130 secs || 27496362 markings, 1520609906 edges, 9150 markings/sec, 3130 secs
lola: sara is running 3135 secs || 27538260 markings, 1522973596 edges, 8380 markings/sec, 3135 secs
lola: sara is running 3140 secs || 27579853 markings, 1525304645 edges, 8319 markings/sec, 3140 secs
lola: sara is running 3145 secs || 27624179 markings, 1527775999 edges, 8865 markings/sec, 3145 secs
lola: sara is running 3150 secs || 27668662 markings, 1530234881 edges, 8897 markings/sec, 3150 secs
lola: sara is running 3155 secs || 27712617 markings, 1532664770 edges, 8791 markings/sec, 3155 secs
lola: sara is running 3160 secs || 27755925 markings, 1535129933 edges, 8662 markings/sec, 3160 secs
lola: sara is running 3165 secs || 27800902 markings, 1537567316 edges, 8995 markings/sec, 3165 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes yes no no yes unknown yes yes no no yes no no no
lola:
preliminary result: no yes yes yes no no yes unknown yes yes no no yes no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no no yes unknown yes yes no no yes no no no
lola: memory consumption: 1019948 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no no yes unknown yes yes no no yes no no no
lola: memory consumption: 1020084 KB
lola: time consumption: 3570 seconds

BK_STOP 1526611831370

--------------------
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="ReachabilityFireability"
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 ReachabilityFireability"
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-152646357400238"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;