About the Execution of LoLA for CloudReconfiguration-PT-320
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
12324.680 | 3570950.00 | 3617790.00 | 9945.10 | FTFTFFFTFFTT?TF? | 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 832K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 661K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-320, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380000137
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526545382247
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-320 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-320 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CloudReconfiguration-PT-320 @ 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: 5686/65536 symbol table entries, 641 collisions
lola: preprocessing...
lola: Size of bit vector: 2587
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2716 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-320-CTLFireability.task
lola: A ((A (F ((FIREABLE(t735) AND FIREABLE(t1627)))) U (E (F (FIREABLE(t31))) AND E (X (FIREABLE(t2162)))))) : E (F (FIREABLE(t1485))) : E (X (A ((NOT FIREABLE(t1800) U (FIREABLE(t2928) AND FIREABLE(t2578)))))) : NOT(A (F (A ((FIREABLE(t297) U FIREABLE(t882)))))) : E ((A ((FIREABLE(t2250) U FIREABLE(t1573))) U (A (F (FIREABLE(t2142))) OR FIREABLE(t939)))) : A (F (A (G (NOT FIREABLE(t29))))) : A (G ((((FIREABLE(t2103) OR FIREABLE(t761) OR FIREABLE(t1696) OR FIREABLE(t1449)) AND (FIREABLE(t2275) OR (FIREABLE(t994) AND FIREABLE(t1996)))) OR E (F ((FIREABLE(t2410) OR FIREABLE(t90))))))) : NOT((A (F (A (F (FIREABLE(t2824))))) AND E (F (NOT FIREABLE(t731))))) : A ((E (F ((FIREABLE(t2792) AND FIREABLE(t2916)))) U FIREABLE(t1175))) : (NOT(E (G (NOT FIREABLE(t1281)))) AND ((FIREABLE(t867) AND E (G (FIREABLE(t1897)))) OR A (F (A (G (FIREABLE(t1677))))))) : E (F (A (((FIREABLE(t1207) OR FIREABLE(t1972)) U (FIREABLE(t1332) OR FIREABLE(t2236)))))) : E (X (E (G (NOT FIREABLE(t1135))))) : (NOT(A ((NOT FIREABLE(t1693) U (FIREABLE(t566) AND FIREABLE(t1907))))) OR (E ((FIREABLE(t775) U (FIREABLE(t846) AND FIREABLE(t69)))) OR NOT((A (G (FIREABLE(t2202))) OR (FIREABLE(t2760) OR FIREABLE(t2969) OR NOT FIREABLE(t1670)))))) : NOT((A (G (A (G (FIREABLE(t2211))))) OR A ((NOT FIREABLE(t1809) U FIREABLE(t1766))))) : ((NOT(E (F ((FIREABLE(t745) OR FIREABLE(t561))))) OR A (F ((FIREABLE(t3036) OR (FIREABLE(t76) AND FIREABLE(t1995)))))) OR FIREABLE(t194)) : NOT(A (G (((FIREABLE(t526) OR NOT FIREABLE(t1293)) OR A (G (FIREABLE(t829)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:440
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A (F ((FIREABLE(t735) AND FIREABLE(t1627)))) U (E (F (FIREABLE(t31))) AND E (X (FIREABLE(t2162))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(A(TRUE U (FIREABLE(t735) AND FIREABLE(t1627))) U (E(TRUE U FIREABLE(t31)) AND EX(FIREABLE(t2162))))
lola: processed formula length: 101
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 119 markings, 188 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-0 FALSE 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 (X (A ((NOT FIREABLE(t1800) U (FIREABLE(t2928) AND FIREABLE(t2578))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A(NOT FIREABLE(t1800) U (FIREABLE(t2928) AND FIREABLE(t2578))))
lola: processed formula length: 66
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 64 markings, 64 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-2 FALSE 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 (X (E (G (NOT FIREABLE(t1135)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:627
lola: processed formula: NOT FIREABLE(t1135)
lola: processed formula length: 19
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEG
lola: The predicate is possibly preserved from some successor.
lola: 68 markings, 68 edges
lola:
FORMULA CloudReconfiguration-PT-320-CTLFireability-11 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: E (F (FIREABLE(t1485)))
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(t1485)))
lola: processed formula length: 23
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1485)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-CTLFireability-3-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: 58 markings, 57 edges
FORMULA CloudReconfiguration-PT-320-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t882)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t882)))
lola: processed formula length: 26
lola: 44 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 69 markings, 69 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-3 TRUE 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 ((E (F ((FIREABLE(t2792) AND FIREABLE(t2916)))) U FIREABLE(t1175)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(E(TRUE U (FIREABLE(t2792) AND FIREABLE(t2916))) U FIREABLE(t1175))
lola: processed formula length: 68
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 38749 markings, 60670 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t526) AND FIREABLE(t1293)) AND E (F (NOT FIREABLE(t829))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U ((NOT FIREABLE(t526) AND FIREABLE(t1293)) AND E(TRUE U NOT FIREABLE(t829))))
lola: processed formula length: 85
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 109847 markings, 196136 edges, 21969 markings/sec, 0 secs
lola: 192716 markings, 382346 edges, 16574 markings/sec, 5 secs
lola: 293202 markings, 573816 edges, 20097 markings/sec, 10 secs
lola: 378580 markings, 766141 edges, 17076 markings/sec, 15 secs
lola: 473934 markings, 955682 edges, 19071 markings/sec, 20 secs
lola: 574031 markings, 1144669 edges, 20019 markings/sec, 25 secs
lola: 680608 markings, 1327797 edges, 21315 markings/sec, 30 secs
lola: 782426 markings, 1504123 edges, 20364 markings/sec, 35 secs
lola: 887445 markings, 1687505 edges, 21004 markings/sec, 40 secs
lola: 987734 markings, 1868092 edges, 20058 markings/sec, 45 secs
lola: 1082351 markings, 2041768 edges, 18923 markings/sec, 50 secs
lola: 1184444 markings, 2224034 edges, 20419 markings/sec, 55 secs
lola: 1291824 markings, 2402398 edges, 21476 markings/sec, 60 secs
lola: 1399748 markings, 2575454 edges, 21585 markings/sec, 65 secs
lola: 1497941 markings, 2746861 edges, 19639 markings/sec, 70 secs
lola: 1595960 markings, 2917614 edges, 19604 markings/sec, 75 secs
lola: 1699632 markings, 3091298 edges, 20734 markings/sec, 80 secs
lola: 1791983 markings, 3266676 edges, 18470 markings/sec, 85 secs
lola: 1897861 markings, 3445781 edges, 21176 markings/sec, 90 secs
lola: 1993259 markings, 3608537 edges, 19080 markings/sec, 95 secs
lola: 2084393 markings, 3770406 edges, 18227 markings/sec, 100 secs
lola: 2171915 markings, 3935348 edges, 17504 markings/sec, 105 secs
lola: 2262848 markings, 4114418 edges, 18187 markings/sec, 110 secs
lola: 2358133 markings, 4280072 edges, 19057 markings/sec, 115 secs
lola: 2458233 markings, 4453887 edges, 20020 markings/sec, 120 secs
lola: 2547727 markings, 4623632 edges, 17899 markings/sec, 125 secs
lola: 2661056 markings, 4803868 edges, 22666 markings/sec, 130 secs
lola: 2763998 markings, 4987708 edges, 20588 markings/sec, 135 secs
lola: 2852936 markings, 5163327 edges, 17788 markings/sec, 140 secs
lola: 2960421 markings, 5349036 edges, 21497 markings/sec, 145 secs
lola: 3062873 markings, 5519767 edges, 20490 markings/sec, 150 secs
lola: 3161120 markings, 5693473 edges, 19649 markings/sec, 155 secs
lola: 3252745 markings, 5862375 edges, 18325 markings/sec, 160 secs
lola: 3349879 markings, 6028437 edges, 19427 markings/sec, 165 secs
lola: 3440842 markings, 6194949 edges, 18193 markings/sec, 170 secs
lola: 3534796 markings, 6361342 edges, 18791 markings/sec, 175 secs
lola: 3628571 markings, 6532506 edges, 18755 markings/sec, 180 secs
lola: 3732221 markings, 6705939 edges, 20730 markings/sec, 185 secs
lola: 3819789 markings, 6868384 edges, 17514 markings/sec, 190 secs
lola: 3917151 markings, 7032197 edges, 19472 markings/sec, 195 secs
lola: 4020553 markings, 7205564 edges, 20680 markings/sec, 200 secs
lola: 4113037 markings, 7368111 edges, 18497 markings/sec, 205 secs
lola: 4207602 markings, 7525503 edges, 18913 markings/sec, 210 secs
lola: 4295506 markings, 7682395 edges, 17581 markings/sec, 215 secs
lola: 4370763 markings, 7836222 edges, 15051 markings/sec, 220 secs
lola: 4466302 markings, 8002085 edges, 19108 markings/sec, 225 secs
lola: 4552734 markings, 8149437 edges, 17286 markings/sec, 230 secs
lola: 4652242 markings, 8301514 edges, 19902 markings/sec, 235 secs
lola: 4747941 markings, 8448765 edges, 19140 markings/sec, 240 secs
lola: 4838297 markings, 8593390 edges, 18071 markings/sec, 245 secs
lola: 4920331 markings, 8743901 edges, 16407 markings/sec, 250 secs
lola: 5012858 markings, 8918761 edges, 18505 markings/sec, 255 secs
lola: 5099715 markings, 9081996 edges, 17371 markings/sec, 260 secs
lola: 5179695 markings, 9249791 edges, 15996 markings/sec, 265 secs
lola: 5277666 markings, 9423706 edges, 19594 markings/sec, 270 secs
lola: 5367604 markings, 9597633 edges, 17988 markings/sec, 275 secs
lola: 5453377 markings, 9774453 edges, 17155 markings/sec, 280 secs
lola: 5551469 markings, 9954386 edges, 19618 markings/sec, 285 secs
lola: 5645548 markings, 10136220 edges, 18816 markings/sec, 290 secs
lola: 5725936 markings, 10301860 edges, 16078 markings/sec, 295 secs
lola: 5794026 markings, 10449697 edges, 13618 markings/sec, 300 secs
lola: 5855811 markings, 10603276 edges, 12357 markings/sec, 305 secs
lola: 5927122 markings, 10748896 edges, 14262 markings/sec, 310 secs
lola: 6018943 markings, 10900977 edges, 18364 markings/sec, 315 secs
lola: 6091471 markings, 11054582 edges, 14506 markings/sec, 320 secs
lola: 6193332 markings, 11215906 edges, 20372 markings/sec, 325 secs
lola: 6272746 markings, 11381218 edges, 15883 markings/sec, 330 secs
lola: 6341018 markings, 11540813 edges, 13654 markings/sec, 335 secs
lola: 6411962 markings, 11698418 edges, 14189 markings/sec, 340 secs
lola: 6482612 markings, 11856080 edges, 14130 markings/sec, 345 secs
lola: 6554177 markings, 12023404 edges, 14313 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no yes unknown unknown unknown unknown no unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 1749800 KB
lola: time consumption: 358 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (((FIREABLE(t1207) OR FIREABLE(t1972)) U (FIREABLE(t1332) OR FIREABLE(t2236))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U A((FIREABLE(t1207) OR FIREABLE(t1972)) U (FIREABLE(t1332) OR FIREABLE(t2236))))
lola: processed formula length: 90
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 185 markings, 380 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((FIREABLE(t2103) OR FIREABLE(t761) OR FIREABLE(t1696) OR FIREABLE(t1449)) AND (FIREABLE(t2275) OR (FIREABLE(t994) AND FIREABLE(t1996)))) OR E (F ((FIREABLE(t2410) OR FIREABLE(t90)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (((NOT FIREABLE(t2103) AND NOT FIREABLE(t761) AND NOT FIREABLE(t1696) AND NOT FIREABLE(t1449)) OR (NOT FIREABLE(t2275) AND (NOT FIREABLE(t994) OR NOT FIREABLE(t1996)))) AND NOT(E(TRUE U (FIREABLE(t2410) OR FIREABLE(t90)))))))
lola: processed formula length: 241
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 27664 markings, 46003 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A ((FIREABLE(t2250) U FIREABLE(t1573))) U (A (F (FIREABLE(t2142))) OR FIREABLE(t939))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(A(FIREABLE(t2250) U FIREABLE(t1573)) U (A(TRUE U FIREABLE(t2142)) OR FIREABLE(t939)))
lola: processed formula length: 87
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 87 markings, 89 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (NOT FIREABLE(t29)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: FIREABLE(t29)
lola: processed formula length: 13
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 64 markings, 64 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (NOT FIREABLE(t2824))) OR A (G (FIREABLE(t731))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t731)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (FIREABLE(t731)))
lola: processed formula length: 22
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: NOT FIREABLE(t731)
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 12 will run for 802 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t2824)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t2824)))
lola: processed formula length: 27
lola: 44 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 69 markings, 69 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 802 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (NOT FIREABLE(t2211))) AND E ((FIREABLE(t1809) R NOT FIREABLE(t1766))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 802 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(t2211)))
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(t2211)))
lola: processed formula length: 27
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1070 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t1809) R NOT FIREABLE(t1766)))
lola: ========================================
lola: SUBTASK
lola: checking existential release
lola: rewrite Frontend/Parser/formula_rewrite.k:646
lola: rewrite Frontend/Parser/formula_rewrite.k:610
lola: processed formula: E ((FIREABLE(t1809) R NOT FIREABLE(t1766)))
lola: processed formula length: 43
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /ER
lola: There is a path where Predicate Phi releases Predicate Psi.
lola: 69 markings, 69 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1070 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((NOT FIREABLE(t745) AND NOT FIREABLE(t561)))) OR (A (F ((FIREABLE(t3036) OR (FIREABLE(t76) AND FIREABLE(t1995))))) OR FIREABLE(t194)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1070 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t194)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t194)
lola: processed formula length: 14
lola: 44 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t745) AND NOT FIREABLE(t561))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G ((NOT FIREABLE(t745) AND NOT FIREABLE(t561))))
lola: processed formula length: 51
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: (FIREABLE(t745) OR FIREABLE(t561))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-CTLFireability-14-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: 63 markings, 62 edges
lola: ========================================
lola: subprocess 15 will run for 3211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t3036) OR (FIREABLE(t76) AND FIREABLE(t1995)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t3036) AND (NOT FIREABLE(t76) OR NOT FIREABLE(t1995)))
lola: processed formula length: 69
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 69 markings, 69 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((FIREABLE(t1693) R (NOT FIREABLE(t566) OR NOT FIREABLE(t1907)))) OR (E ((FIREABLE(t775) U (FIREABLE(t846) AND FIREABLE(t69)))) OR (E (F (NOT FIREABLE(t2202))) AND (NOT FIREABLE(t2760) AND NOT FIREABLE(t2969) AND FIREABLE(t1670)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t2760) AND NOT FIREABLE(t2969) AND FIREABLE(t1670))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t2760) AND NOT FIREABLE(t2969) AND FIREABLE(t1670))
lola: processed formula length: 65
lola: 44 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t775) U (FIREABLE(t846) AND FIREABLE(t69))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((FIREABLE(t775) U (FIREABLE(t846) AND FIREABLE(t69))))
lola: processed formula length: 57
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: formula 0: (FIREABLE(t846) AND FIREABLE(t69))
lola: There is no path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-CTLFireability-15-0.sara
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 3211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t1281))) AND ((FIREABLE(t867) AND E (G (FIREABLE(t1897)))) OR A (F (A (G (FIREABLE(t1677)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t867)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t867)
lola: processed formula length: 14
lola: 44 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (FIREABLE(t1677)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t1677)
lola: processed formula length: 19
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 65 markings, 65 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-320-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t526) AND FIREABLE(t1293)) AND E (F (NOT FIREABLE(t829))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U ((NOT FIREABLE(t526) AND FIREABLE(t1293)) AND E(TRUE U NOT FIREABLE(t829))))
lola: processed formula length: 85
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 109828 markings, 196069 edges, 21966 markings/sec, 0 secs
lola: 193586 markings, 384385 edges, 16752 markings/sec, 5 secs
lola: 294328 markings, 576629 edges, 20148 markings/sec, 10 secs
lola: 379781 markings, 768478 edges, 17091 markings/sec, 15 secs
lola: 475473 markings, 958000 edges, 19138 markings/sec, 20 secs
lola: 574941 markings, 1146934 edges, 19894 markings/sec, 25 secs
lola: 682541 markings, 1330960 edges, 21520 markings/sec, 30 secs
lola: 783978 markings, 1508001 edges, 20287 markings/sec, 35 secs
lola: 889493 markings, 1691386 edges, 21103 markings/sec, 40 secs
lola: 989607 markings, 1872300 edges, 20023 markings/sec, 45 secs
lola: 1084764 markings, 2045200 edges, 19031 markings/sec, 50 secs
lola: 1187436 markings, 2228112 edges, 20534 markings/sec, 55 secs
lola: 1294818 markings, 2407702 edges, 21476 markings/sec, 60 secs
lola: 1404166 markings, 2582197 edges, 21870 markings/sec, 65 secs
lola: 1501591 markings, 2753223 edges, 19485 markings/sec, 70 secs
lola: 1600532 markings, 2925183 edges, 19788 markings/sec, 75 secs
lola: 1704810 markings, 3101137 edges, 20856 markings/sec, 80 secs
lola: 1797178 markings, 3276090 edges, 18474 markings/sec, 85 secs
lola: 1903262 markings, 3455028 edges, 21217 markings/sec, 90 secs
lola: 1999727 markings, 3618098 edges, 19293 markings/sec, 95 secs
lola: 2090446 markings, 3781014 edges, 18144 markings/sec, 100 secs
lola: 2177479 markings, 3944916 edges, 17407 markings/sec, 105 secs
lola: 2267912 markings, 4124352 edges, 18087 markings/sec, 110 secs
lola: 2363429 markings, 4289744 edges, 19103 markings/sec, 115 secs
lola: 2463437 markings, 4462014 edges, 20002 markings/sec, 120 secs
lola: 2551952 markings, 4632901 edges, 17703 markings/sec, 125 secs
lola: 2667260 markings, 4813636 edges, 23062 markings/sec, 130 secs
lola: 2769438 markings, 4997023 edges, 20436 markings/sec, 135 secs
lola: 2855745 markings, 5171914 edges, 17261 markings/sec, 140 secs
lola: 2964073 markings, 5358242 edges, 21666 markings/sec, 145 secs
lola: 3067739 markings, 5528565 edges, 20733 markings/sec, 150 secs
lola: 3165905 markings, 5700605 edges, 19633 markings/sec, 155 secs
lola: 3258694 markings, 5870970 edges, 18558 markings/sec, 160 secs
lola: 3355001 markings, 6035836 edges, 19261 markings/sec, 165 secs
lola: 3447102 markings, 6203595 edges, 18420 markings/sec, 170 secs
lola: 3539748 markings, 6370389 edges, 18529 markings/sec, 175 secs
lola: 3632161 markings, 6539958 edges, 18483 markings/sec, 180 secs
lola: 3737136 markings, 6714410 edges, 20995 markings/sec, 185 secs
lola: 3824871 markings, 6876186 edges, 17547 markings/sec, 190 secs
lola: 3920854 markings, 7040414 edges, 19197 markings/sec, 195 secs
lola: 4025837 markings, 7213692 edges, 20997 markings/sec, 200 secs
lola: 4118646 markings, 7375920 edges, 18562 markings/sec, 205 secs
lola: 4212484 markings, 7532972 edges, 18768 markings/sec, 210 secs
lola: 4300554 markings, 7689860 edges, 17614 markings/sec, 215 secs
lola: 4375807 markings, 7843920 edges, 15051 markings/sec, 220 secs
lola: 4469518 markings, 8008559 edges, 18742 markings/sec, 225 secs
lola: 4556794 markings, 8155389 edges, 17455 markings/sec, 230 secs
lola: 4656118 markings, 8307451 edges, 19865 markings/sec, 235 secs
lola: 4750803 markings, 8453573 edges, 18937 markings/sec, 240 secs
lola: 4840796 markings, 8597528 edges, 17999 markings/sec, 245 secs
lola: 4923538 markings, 8749411 edges, 16548 markings/sec, 250 secs
lola: 5016049 markings, 8924455 edges, 18502 markings/sec, 255 secs
lola: 5101963 markings, 9086603 edges, 17183 markings/sec, 260 secs
lola: 5182333 markings, 9255724 edges, 16074 markings/sec, 265 secs
lola: 5280810 markings, 9429630 edges, 19695 markings/sec, 270 secs
lola: 5369845 markings, 9603661 edges, 17807 markings/sec, 275 secs
lola: 5456764 markings, 9781000 edges, 17384 markings/sec, 280 secs
lola: 5556503 markings, 9961989 edges, 19948 markings/sec, 285 secs
lola: 5649306 markings, 10143970 edges, 18561 markings/sec, 290 secs
lola: 5728851 markings, 10308237 edges, 15909 markings/sec, 295 secs
lola: 5796136 markings, 10454783 edges, 13457 markings/sec, 300 secs
lola: 5856830 markings, 10606902 edges, 12139 markings/sec, 305 secs
lola: 5929246 markings, 10751971 edges, 14483 markings/sec, 310 secs
lola: 6019800 markings, 10903422 edges, 18111 markings/sec, 315 secs
lola: 6092690 markings, 11056626 edges, 14578 markings/sec, 320 secs
lola: 6194508 markings, 11218679 edges, 20364 markings/sec, 325 secs
lola: 6273919 markings, 11384400 edges, 15882 markings/sec, 330 secs
lola: 6342068 markings, 11542875 edges, 13630 markings/sec, 335 secs
lola: 6413213 markings, 11701164 edges, 14229 markings/sec, 340 secs
lola: 6484681 markings, 11859159 edges, 14294 markings/sec, 345 secs
lola: 6555796 markings, 12026413 edges, 14223 markings/sec, 350 secs
lola: 6640308 markings, 12207749 edges, 16902 markings/sec, 355 secs
lola: 6699827 markings, 12372440 edges, 11904 markings/sec, 360 secs
lola: 6771609 markings, 12535166 edges, 14356 markings/sec, 365 secs
lola: 6850135 markings, 12702899 edges, 15705 markings/sec, 370 secs
lola: 6929183 markings, 12867906 edges, 15810 markings/sec, 375 secs
lola: 6995185 markings, 13033866 edges, 13200 markings/sec, 380 secs
lola: 7076267 markings, 13199825 edges, 16216 markings/sec, 385 secs
lola: 7158394 markings, 13361627 edges, 16425 markings/sec, 390 secs
lola: 7242720 markings, 13525572 edges, 16865 markings/sec, 395 secs
lola: 7320889 markings, 13691991 edges, 15634 markings/sec, 400 secs
lola: 7407570 markings, 13854626 edges, 17336 markings/sec, 405 secs
lola: 7491258 markings, 14008496 edges, 16738 markings/sec, 410 secs
lola: 7573493 markings, 14165611 edges, 16447 markings/sec, 415 secs
lola: 7652513 markings, 14328930 edges, 15804 markings/sec, 420 secs
lola: 7733836 markings, 14482873 edges, 16265 markings/sec, 425 secs
lola: 7800034 markings, 14624368 edges, 13240 markings/sec, 430 secs
lola: 7876973 markings, 14799271 edges, 15388 markings/sec, 435 secs
lola: 7935532 markings, 14928149 edges, 11712 markings/sec, 440 secs
lola: 8010950 markings, 15098587 edges, 15084 markings/sec, 445 secs
lola: 8065743 markings, 15245380 edges, 10959 markings/sec, 450 secs
lola: 8131849 markings, 15392958 edges, 13221 markings/sec, 455 secs
lola: 8206894 markings, 15552334 edges, 15009 markings/sec, 460 secs
lola: 8265455 markings, 15701786 edges, 11712 markings/sec, 465 secs
lola: 8333568 markings, 15850471 edges, 13623 markings/sec, 470 secs
lola: 8401470 markings, 16007599 edges, 13580 markings/sec, 475 secs
lola: 8469715 markings, 16158839 edges, 13649 markings/sec, 480 secs
lola: 8545059 markings, 16310416 edges, 15069 markings/sec, 485 secs
lola: 8610799 markings, 16440841 edges, 13148 markings/sec, 490 secs
lola: 8668053 markings, 16573263 edges, 11451 markings/sec, 495 secs
lola: 8741181 markings, 16736766 edges, 14626 markings/sec, 500 secs
lola: 8814956 markings, 16891401 edges, 14755 markings/sec, 505 secs
lola: 8900648 markings, 17068930 edges, 17138 markings/sec, 510 secs
lola: 8993882 markings, 17252317 edges, 18647 markings/sec, 515 secs
lola: 9087398 markings, 17435253 edges, 18703 markings/sec, 520 secs
lola: 9172241 markings, 17616670 edges, 16969 markings/sec, 525 secs
lola: 9254864 markings, 17795622 edges, 16525 markings/sec, 530 secs
lola: 9321638 markings, 17973591 edges, 13355 markings/sec, 535 secs
lola: 9406777 markings, 18154595 edges, 17028 markings/sec, 540 secs
lola: 9481291 markings, 18332010 edges, 14903 markings/sec, 545 secs
lola: 9552675 markings, 18509025 edges, 14277 markings/sec, 550 secs
lola: 9621590 markings, 18669913 edges, 13783 markings/sec, 555 secs
lola: 9690293 markings, 18818948 edges, 13741 markings/sec, 560 secs
lola: 9754758 markings, 18964489 edges, 12893 markings/sec, 565 secs
lola: 9817640 markings, 19102080 edges, 12576 markings/sec, 570 secs
lola: 9885927 markings, 19248537 edges, 13657 markings/sec, 575 secs
lola: 9946221 markings, 19397137 edges, 12059 markings/sec, 580 secs
lola: 10021568 markings, 19567494 edges, 15069 markings/sec, 585 secs
lola: 10090673 markings, 19720236 edges, 13821 markings/sec, 590 secs
lola: 10162280 markings, 19876747 edges, 14321 markings/sec, 595 secs
lola: 10239154 markings, 20050422 edges, 15375 markings/sec, 600 secs
lola: 10318323 markings, 20221560 edges, 15834 markings/sec, 605 secs
lola: 10401710 markings, 20390421 edges, 16677 markings/sec, 610 secs
lola: 10484146 markings, 20556169 edges, 16487 markings/sec, 615 secs
lola: 10563281 markings, 20719425 edges, 15827 markings/sec, 620 secs
lola: 10658094 markings, 20902038 edges, 18963 markings/sec, 625 secs
lola: 10726800 markings, 21058853 edges, 13741 markings/sec, 630 secs
lola: 10807269 markings, 21216074 edges, 16094 markings/sec, 635 secs
lola: 10901318 markings, 21375570 edges, 18810 markings/sec, 640 secs
lola: 10984515 markings, 21540138 edges, 16639 markings/sec, 645 secs
lola: 11068759 markings, 21719948 edges, 16849 markings/sec, 650 secs
lola: 11150785 markings, 21886991 edges, 16405 markings/sec, 655 secs
lola: 11234464 markings, 22053713 edges, 16736 markings/sec, 660 secs
lola: 11316111 markings, 22215251 edges, 16329 markings/sec, 665 secs
lola: 11392733 markings, 22383845 edges, 15324 markings/sec, 670 secs
lola: 11470360 markings, 22553958 edges, 15525 markings/sec, 675 secs
lola: 11560442 markings, 22720833 edges, 18016 markings/sec, 680 secs
lola: 11649768 markings, 22885053 edges, 17865 markings/sec, 685 secs
lola: 11736760 markings, 23042630 edges, 17398 markings/sec, 690 secs
lola: 11813704 markings, 23199139 edges, 15389 markings/sec, 695 secs
lola: 11898091 markings, 23350271 edges, 16877 markings/sec, 700 secs
lola: 11973263 markings, 23498955 edges, 15034 markings/sec, 705 secs
lola: 12050437 markings, 23646196 edges, 15435 markings/sec, 710 secs
lola: 12105602 markings, 23793857 edges, 11033 markings/sec, 715 secs
lola: 12166857 markings, 23943644 edges, 12251 markings/sec, 720 secs
lola: 12256927 markings, 24125489 edges, 18014 markings/sec, 725 secs
lola: 12314077 markings, 24285149 edges, 11430 markings/sec, 730 secs
lola: 12370283 markings, 24444177 edges, 11241 markings/sec, 735 secs
lola: 12428738 markings, 24607067 edges, 11691 markings/sec, 740 secs
lola: 12486186 markings, 24772115 edges, 11490 markings/sec, 745 secs
lola: 12551774 markings, 24932734 edges, 13118 markings/sec, 750 secs
lola: 12618632 markings, 25097118 edges, 13372 markings/sec, 755 secs
lola: 12686227 markings, 25261612 edges, 13519 markings/sec, 760 secs
lola: 12751594 markings, 25428173 edges, 13073 markings/sec, 765 secs
lola: 12828392 markings, 25593795 edges, 15360 markings/sec, 770 secs
lola: 12903186 markings, 25762171 edges, 14959 markings/sec, 775 secs
lola: 12977811 markings, 25923826 edges, 14925 markings/sec, 780 secs
lola: 13060619 markings, 26084839 edges, 16562 markings/sec, 785 secs
lola: 13141109 markings, 26247703 edges, 16098 markings/sec, 790 secs
lola: 13212824 markings, 26397525 edges, 14343 markings/sec, 795 secs
lola: 13294618 markings, 26573695 edges, 16359 markings/sec, 800 secs
lola: 13376622 markings, 26748277 edges, 16401 markings/sec, 805 secs
lola: 13457747 markings, 26907499 edges, 16225 markings/sec, 810 secs
lola: 13542911 markings, 27064955 edges, 17033 markings/sec, 815 secs
lola: 13623327 markings, 27238925 edges, 16083 markings/sec, 820 secs
lola: 13694185 markings, 27411615 edges, 14172 markings/sec, 825 secs
lola: 13765270 markings, 27583404 edges, 14217 markings/sec, 830 secs
lola: 13826248 markings, 27753034 edges, 12196 markings/sec, 835 secs
lola: 13881108 markings, 27917169 edges, 10972 markings/sec, 840 secs
lola: 13952806 markings, 28075493 edges, 14340 markings/sec, 845 secs
lola: 14018335 markings, 28251632 edges, 13106 markings/sec, 850 secs
lola: 14077917 markings, 28409709 edges, 11916 markings/sec, 855 secs
lola: 14145493 markings, 28574497 edges, 13515 markings/sec, 860 secs
lola: 14211154 markings, 28721698 edges, 13132 markings/sec, 865 secs
lola: 14272328 markings, 28873315 edges, 12235 markings/sec, 870 secs
lola: 14335526 markings, 29021349 edges, 12640 markings/sec, 875 secs
lola: 14392937 markings, 29168702 edges, 11482 markings/sec, 880 secs
lola: 14455163 markings, 29319779 edges, 12445 markings/sec, 885 secs
lola: 14513622 markings, 29459099 edges, 11692 markings/sec, 890 secs
lola: 14571009 markings, 29585117 edges, 11477 markings/sec, 895 secs
lola: 14625630 markings, 29718141 edges, 10924 markings/sec, 900 secs
lola: 14682274 markings, 29852386 edges, 11329 markings/sec, 905 secs
lola: 14735114 markings, 29983496 edges, 10568 markings/sec, 910 secs
lola: 14784087 markings, 30111765 edges, 9795 markings/sec, 915 secs
lola: 14841642 markings, 30247824 edges, 11511 markings/sec, 920 secs
lola: 14895506 markings, 30385280 edges, 10773 markings/sec, 925 secs
lola: 14946476 markings, 30502293 edges, 10194 markings/sec, 930 secs
lola: 15029876 markings, 30687480 edges, 16680 markings/sec, 935 secs
lola: 15108851 markings, 30874532 edges, 15795 markings/sec, 940 secs
lola: 15188039 markings, 31053108 edges, 15838 markings/sec, 945 secs
lola: 15262061 markings, 31224814 edges, 14804 markings/sec, 950 secs
lola: 15332683 markings, 31393425 edges, 14124 markings/sec, 955 secs
lola: 15403064 markings, 31560611 edges, 14076 markings/sec, 960 secs
lola: 15469245 markings, 31729186 edges, 13236 markings/sec, 965 secs
lola: 15536578 markings, 31890361 edges, 13467 markings/sec, 970 secs
lola: 15601663 markings, 32041304 edges, 13017 markings/sec, 975 secs
lola: 15665296 markings, 32200088 edges, 12727 markings/sec, 980 secs
lola: 15727487 markings, 32359687 edges, 12438 markings/sec, 985 secs
lola: 15788167 markings, 32527614 edges, 12136 markings/sec, 990 secs
lola: 15849990 markings, 32685455 edges, 12365 markings/sec, 995 secs
lola: 15916967 markings, 32844075 edges, 13395 markings/sec, 1000 secs
lola: 15998042 markings, 33008672 edges, 16215 markings/sec, 1005 secs
lola: 16073722 markings, 33175370 edges, 15136 markings/sec, 1010 secs
lola: 16150231 markings, 33342304 edges, 15302 markings/sec, 1015 secs
lola: 16210987 markings, 33488976 edges, 12151 markings/sec, 1020 secs
lola: 16268787 markings, 33638661 edges, 11560 markings/sec, 1025 secs
lola: 16331272 markings, 33781648 edges, 12497 markings/sec, 1030 secs
lola: 16387032 markings, 33933833 edges, 11152 markings/sec, 1035 secs
lola: 16443947 markings, 34086225 edges, 11383 markings/sec, 1040 secs
lola: 16503242 markings, 34244868 edges, 11859 markings/sec, 1045 secs
lola: 16571584 markings, 34397505 edges, 13668 markings/sec, 1050 secs
lola: 16626827 markings, 34548675 edges, 11049 markings/sec, 1055 secs
lola: 16696125 markings, 34721162 edges, 13860 markings/sec, 1060 secs
lola: 16766965 markings, 34896405 edges, 14168 markings/sec, 1065 secs
lola: 16837585 markings, 35072339 edges, 14124 markings/sec, 1070 secs
lola: 16899946 markings, 35238805 edges, 12472 markings/sec, 1075 secs
lola: 16956701 markings, 35399503 edges, 11351 markings/sec, 1080 secs
lola: 17045125 markings, 35565785 edges, 17685 markings/sec, 1085 secs
lola: 17101103 markings, 35710695 edges, 11196 markings/sec, 1090 secs
lola: 17154620 markings, 35856653 edges, 10703 markings/sec, 1095 secs
lola: 17207089 markings, 36015070 edges, 10494 markings/sec, 1100 secs
lola: 17272373 markings, 36163074 edges, 13057 markings/sec, 1105 secs
lola: 17335919 markings, 36315799 edges, 12709 markings/sec, 1110 secs
lola: 17394180 markings, 36467291 edges, 11652 markings/sec, 1115 secs
lola: 17443401 markings, 36603716 edges, 9844 markings/sec, 1120 secs
lola: 17499733 markings, 36735798 edges, 11266 markings/sec, 1125 secs
lola: 17557904 markings, 36868337 edges, 11634 markings/sec, 1130 secs
lola: 17616262 markings, 37002918 edges, 11672 markings/sec, 1135 secs
lola: 17663912 markings, 37131245 edges, 9530 markings/sec, 1140 secs
lola: 17733499 markings, 37306874 edges, 13917 markings/sec, 1145 secs
lola: 17803950 markings, 37472946 edges, 14090 markings/sec, 1150 secs
lola: 17878345 markings, 37646836 edges, 14879 markings/sec, 1155 secs
lola: 17944395 markings, 37815011 edges, 13210 markings/sec, 1160 secs
lola: 18006049 markings, 37978465 edges, 12331 markings/sec, 1165 secs
lola: 18076104 markings, 38137665 edges, 14011 markings/sec, 1170 secs
lola: 18155749 markings, 38316813 edges, 15929 markings/sec, 1175 secs
lola: 18231459 markings, 38472316 edges, 15142 markings/sec, 1180 secs
lola: 18292417 markings, 38618714 edges, 12192 markings/sec, 1185 secs
lola: 18369869 markings, 38791292 edges, 15490 markings/sec, 1190 secs
lola: 18431342 markings, 38941268 edges, 12295 markings/sec, 1195 secs
lola: 18484153 markings, 39076663 edges, 10562 markings/sec, 1200 secs
lola: 18559414 markings, 39240525 edges, 15052 markings/sec, 1205 secs
lola: 18615880 markings, 39375726 edges, 11293 markings/sec, 1210 secs
lola: 18686023 markings, 39531215 edges, 14029 markings/sec, 1215 secs
lola: 18748061 markings, 39693808 edges, 12408 markings/sec, 1220 secs
lola: 18809330 markings, 39857097 edges, 12254 markings/sec, 1225 secs
lola: 18867745 markings, 40010409 edges, 11683 markings/sec, 1230 secs
lola: 18920531 markings, 40154116 edges, 10557 markings/sec, 1235 secs
lola: 18973473 markings, 40299973 edges, 10588 markings/sec, 1240 secs
lola: 19027200 markings, 40443890 edges, 10745 markings/sec, 1245 secs
lola: 19080448 markings, 40598455 edges, 10650 markings/sec, 1250 secs
lola: 19125910 markings, 40740111 edges, 9092 markings/sec, 1255 secs
lola: 19173323 markings, 40890996 edges, 9483 markings/sec, 1260 secs
lola: 19219067 markings, 41038069 edges, 9149 markings/sec, 1265 secs
lola: 19269697 markings, 41197201 edges, 10126 markings/sec, 1270 secs
lola: 19350655 markings, 41364550 edges, 16192 markings/sec, 1275 secs
lola: 19413385 markings, 41510385 edges, 12546 markings/sec, 1280 secs
lola: 19464886 markings, 41654602 edges, 10300 markings/sec, 1285 secs
lola: 19531419 markings, 41803037 edges, 13307 markings/sec, 1290 secs
lola: 19591404 markings, 41934645 edges, 11997 markings/sec, 1295 secs
lola: 19651510 markings, 42065547 edges, 12021 markings/sec, 1300 secs
lola: 19711442 markings, 42200463 edges, 11986 markings/sec, 1305 secs
lola: 19784087 markings, 42360676 edges, 14529 markings/sec, 1310 secs
lola: 19841929 markings, 42486385 edges, 11568 markings/sec, 1315 secs
lola: 19900221 markings, 42617671 edges, 11658 markings/sec, 1320 secs
lola: 19956288 markings, 42745394 edges, 11213 markings/sec, 1325 secs
lola: 20027051 markings, 42902955 edges, 14153 markings/sec, 1330 secs
lola: 20093680 markings, 43041584 edges, 13326 markings/sec, 1335 secs
lola: 20148674 markings, 43156232 edges, 10999 markings/sec, 1340 secs
lola: 20210038 markings, 43300744 edges, 12273 markings/sec, 1345 secs
lola: 20258601 markings, 43442759 edges, 9713 markings/sec, 1350 secs
lola: 20319836 markings, 43598504 edges, 12247 markings/sec, 1355 secs
lola: 20386628 markings, 43756387 edges, 13358 markings/sec, 1360 secs
lola: 20455776 markings, 43912848 edges, 13830 markings/sec, 1365 secs
lola: 20516072 markings, 44056293 edges, 12059 markings/sec, 1370 secs
lola: 20576005 markings, 44185680 edges, 11987 markings/sec, 1375 secs
lola: 20621905 markings, 44323279 edges, 9180 markings/sec, 1380 secs
lola: 20668816 markings, 44461896 edges, 9382 markings/sec, 1385 secs
lola: 20727055 markings, 44608965 edges, 11648 markings/sec, 1390 secs
lola: 20795389 markings, 44775706 edges, 13667 markings/sec, 1395 secs
lola: 20853055 markings, 44913891 edges, 11533 markings/sec, 1400 secs
lola: 20897449 markings, 45045782 edges, 8879 markings/sec, 1405 secs
lola: 20942837 markings, 45166031 edges, 9078 markings/sec, 1410 secs
lola: 20983534 markings, 45283193 edges, 8139 markings/sec, 1415 secs
lola: 21045876 markings, 45435341 edges, 12468 markings/sec, 1420 secs
lola: 21101547 markings, 45585425 edges, 11134 markings/sec, 1425 secs
lola: 21151194 markings, 45724884 edges, 9929 markings/sec, 1430 secs
lola: 21202580 markings, 45865427 edges, 10277 markings/sec, 1435 secs
lola: 21253594 markings, 46011719 edges, 10203 markings/sec, 1440 secs
lola: 21301232 markings, 46162919 edges, 9528 markings/sec, 1445 secs
lola: 21346096 markings, 46307808 edges, 8973 markings/sec, 1450 secs
lola: 21397880 markings, 46462451 edges, 10357 markings/sec, 1455 secs
lola: 21483055 markings, 46625879 edges, 17035 markings/sec, 1460 secs
lola: 21532687 markings, 46768623 edges, 9926 markings/sec, 1465 secs
lola: 21598525 markings, 46912734 edges, 13168 markings/sec, 1470 secs
lola: 21654966 markings, 47045385 edges, 11288 markings/sec, 1475 secs
lola: 21717763 markings, 47189351 edges, 12559 markings/sec, 1480 secs
lola: 21784863 markings, 47342036 edges, 13420 markings/sec, 1485 secs
lola: 21840077 markings, 47468980 edges, 11043 markings/sec, 1490 secs
lola: 21900693 markings, 47610903 edges, 12123 markings/sec, 1495 secs
lola: 21967822 markings, 47763884 edges, 13426 markings/sec, 1500 secs
lola: 22029861 markings, 47891481 edges, 12408 markings/sec, 1505 secs
lola: 22086489 markings, 48028556 edges, 11326 markings/sec, 1510 secs
lola: 22134012 markings, 48163222 edges, 9505 markings/sec, 1515 secs
lola: 22176526 markings, 48299779 edges, 8503 markings/sec, 1520 secs
lola: 22224261 markings, 48440379 edges, 9547 markings/sec, 1525 secs
lola: 22290297 markings, 48602543 edges, 13207 markings/sec, 1530 secs
lola: 22349810 markings, 48753236 edges, 11903 markings/sec, 1535 secs
lola: 22400065 markings, 48889086 edges, 10051 markings/sec, 1540 secs
lola: 22447306 markings, 49012088 edges, 9448 markings/sec, 1545 secs
lola: 22487517 markings, 49129117 edges, 8042 markings/sec, 1550 secs
lola: 22540822 markings, 49283165 edges, 10661 markings/sec, 1555 secs
lola: 22595478 markings, 49441185 edges, 10931 markings/sec, 1560 secs
lola: 22658976 markings, 49597931 edges, 12700 markings/sec, 1565 secs
lola: 22719492 markings, 49747085 edges, 12103 markings/sec, 1570 secs
lola: 22779974 markings, 49895149 edges, 12096 markings/sec, 1575 secs
lola: 22839150 markings, 50030963 edges, 11835 markings/sec, 1580 secs
lola: 22899081 markings, 50179360 edges, 11986 markings/sec, 1585 secs
lola: 22968480 markings, 50331850 edges, 13880 markings/sec, 1590 secs
lola: 23038128 markings, 50486213 edges, 13930 markings/sec, 1595 secs
lola: 23099967 markings, 50639077 edges, 12368 markings/sec, 1600 secs
lola: 23167513 markings, 50787508 edges, 13509 markings/sec, 1605 secs
lola: 23224440 markings, 50932548 edges, 11385 markings/sec, 1610 secs
lola: 23279160 markings, 51074421 edges, 10944 markings/sec, 1615 secs
lola: 23333624 markings, 51234256 edges, 10893 markings/sec, 1620 secs
lola: 23400819 markings, 51389851 edges, 13439 markings/sec, 1625 secs
lola: 23460700 markings, 51532471 edges, 11976 markings/sec, 1630 secs
lola: 23522061 markings, 51670205 edges, 12272 markings/sec, 1635 secs
lola: 23584659 markings, 51812485 edges, 12520 markings/sec, 1640 secs
lola: 23640162 markings, 51954353 edges, 11101 markings/sec, 1645 secs
lola: 23693409 markings, 52096541 edges, 10649 markings/sec, 1650 secs
lola: 23750733 markings, 52244693 edges, 11465 markings/sec, 1655 secs
lola: 23814536 markings, 52409293 edges, 12761 markings/sec, 1660 secs
lola: 23861791 markings, 52552610 edges, 9451 markings/sec, 1665 secs
lola: 23924689 markings, 52701943 edges, 12580 markings/sec, 1670 secs
lola: 23992505 markings, 52851913 edges, 13563 markings/sec, 1675 secs
lola: 24060891 markings, 53004241 edges, 13677 markings/sec, 1680 secs
lola: 24128206 markings, 53153459 edges, 13463 markings/sec, 1685 secs
lola: 24190150 markings, 53304882 edges, 12389 markings/sec, 1690 secs
lola: 24254950 markings, 53448577 edges, 12960 markings/sec, 1695 secs
lola: 24309033 markings, 53590768 edges, 10817 markings/sec, 1700 secs
lola: 24374394 markings, 53739652 edges, 13072 markings/sec, 1705 secs
lola: 24442821 markings, 53888816 edges, 13685 markings/sec, 1710 secs
lola: 24508057 markings, 54043133 edges, 13047 markings/sec, 1715 secs
lola: 24564630 markings, 54192221 edges, 11315 markings/sec, 1720 secs
lola: 24621063 markings, 54341811 edges, 11287 markings/sec, 1725 secs
lola: 24680198 markings, 54494877 edges, 11827 markings/sec, 1730 secs
lola: 24739272 markings, 54647623 edges, 11815 markings/sec, 1735 secs
lola: 24797954 markings, 54800446 edges, 11736 markings/sec, 1740 secs
lola: 24856359 markings, 54952727 edges, 11681 markings/sec, 1745 secs
lola: 24914965 markings, 55105249 edges, 11721 markings/sec, 1750 secs
lola: 24970851 markings, 55251166 edges, 11177 markings/sec, 1755 secs
lola: 25029552 markings, 55400249 edges, 11740 markings/sec, 1760 secs
lola: 25093786 markings, 55544609 edges, 12847 markings/sec, 1765 secs
lola: 25141805 markings, 55679743 edges, 9604 markings/sec, 1770 secs
lola: 25197476 markings, 55830076 edges, 11134 markings/sec, 1775 secs
lola: 25244461 markings, 55967840 edges, 9397 markings/sec, 1780 secs
lola: 25300857 markings, 56124756 edges, 11279 markings/sec, 1785 secs
lola: 25348518 markings, 56270837 edges, 9532 markings/sec, 1790 secs
lola: 25403421 markings, 56415686 edges, 10981 markings/sec, 1795 secs
lola: 25448217 markings, 56558219 edges, 8959 markings/sec, 1800 secs
lola: 25507255 markings, 56707995 edges, 11808 markings/sec, 1805 secs
lola: 25579145 markings, 56866608 edges, 14378 markings/sec, 1810 secs
lola: 25644343 markings, 57013299 edges, 13040 markings/sec, 1815 secs
lola: 25717024 markings, 57167323 edges, 14536 markings/sec, 1820 secs
lola: 25765720 markings, 57309820 edges, 9739 markings/sec, 1825 secs
lola: 25817900 markings, 57454440 edges, 10436 markings/sec, 1830 secs
lola: 25874497 markings, 57597174 edges, 11319 markings/sec, 1835 secs
lola: 25930497 markings, 57743767 edges, 11200 markings/sec, 1840 secs
lola: 25981054 markings, 57880578 edges, 10111 markings/sec, 1845 secs
lola: 26029589 markings, 58027575 edges, 9707 markings/sec, 1850 secs
lola: 26074274 markings, 58169407 edges, 8937 markings/sec, 1855 secs
lola: 26131348 markings, 58321937 edges, 11415 markings/sec, 1860 secs
lola: 26188918 markings, 58461305 edges, 11514 markings/sec, 1865 secs
lola: 26247260 markings, 58600376 edges, 11668 markings/sec, 1870 secs
lola: 26289073 markings, 58741999 edges, 8363 markings/sec, 1875 secs
lola: 26352522 markings, 58890075 edges, 12690 markings/sec, 1880 secs
lola: 26425232 markings, 59033154 edges, 14542 markings/sec, 1885 secs
lola: 26505657 markings, 59175473 edges, 16085 markings/sec, 1890 secs
lola: 26588027 markings, 59330362 edges, 16474 markings/sec, 1895 secs
lola: 26656653 markings, 59483158 edges, 13725 markings/sec, 1900 secs
lola: 26735608 markings, 59624124 edges, 15791 markings/sec, 1905 secs
lola: 26805266 markings, 59768877 edges, 13932 markings/sec, 1910 secs
lola: 26892626 markings, 59957202 edges, 17472 markings/sec, 1915 secs
lola: 26953083 markings, 60107250 edges, 12091 markings/sec, 1920 secs
lola: 27036965 markings, 60278891 edges, 16776 markings/sec, 1925 secs
lola: 27111856 markings, 60434953 edges, 14978 markings/sec, 1930 secs
lola: 27187275 markings, 60568318 edges, 15084 markings/sec, 1935 secs
lola: 27272898 markings, 60748177 edges, 17125 markings/sec, 1940 secs
lola: 27345454 markings, 60907269 edges, 14511 markings/sec, 1945 secs
lola: 27416272 markings, 61054254 edges, 14164 markings/sec, 1950 secs
lola: 27502151 markings, 61240729 edges, 17176 markings/sec, 1955 secs
lola: 27566263 markings, 61392877 edges, 12822 markings/sec, 1960 secs
lola: 27643586 markings, 61525172 edges, 15465 markings/sec, 1965 secs
lola: 27731982 markings, 61679979 edges, 17679 markings/sec, 1970 secs
lola: 27814527 markings, 61864838 edges, 16509 markings/sec, 1975 secs
lola: 27888253 markings, 62021750 edges, 14745 markings/sec, 1980 secs
lola: 27961233 markings, 62176414 edges, 14596 markings/sec, 1985 secs
lola: 28042491 markings, 62316020 edges, 16252 markings/sec, 1990 secs
lola: 28130711 markings, 62462748 edges, 17644 markings/sec, 1995 secs
lola: 28201287 markings, 62604200 edges, 14115 markings/sec, 2000 secs
lola: 28275601 markings, 62779408 edges, 14863 markings/sec, 2005 secs
lola: 28344391 markings, 62913875 edges, 13758 markings/sec, 2010 secs
lola: 28415204 markings, 63064111 edges, 14163 markings/sec, 2015 secs
lola: 28490865 markings, 63238622 edges, 15132 markings/sec, 2020 secs
lola: 28558557 markings, 63380905 edges, 13538 markings/sec, 2025 secs
lola: 28637053 markings, 63510873 edges, 15699 markings/sec, 2030 secs
lola: 28707551 markings, 63632780 edges, 14100 markings/sec, 2035 secs
lola: 28778681 markings, 63795557 edges, 14226 markings/sec, 2040 secs
lola: 28845751 markings, 63920901 edges, 13414 markings/sec, 2045 secs
lola: 28918091 markings, 64064662 edges, 14468 markings/sec, 2050 secs
lola: 28982770 markings, 64230691 edges, 12936 markings/sec, 2055 secs
lola: 29054849 markings, 64388417 edges, 14416 markings/sec, 2060 secs
lola: 29130547 markings, 64535675 edges, 15140 markings/sec, 2065 secs
lola: 29214504 markings, 64685708 edges, 16791 markings/sec, 2070 secs
lola: 29298268 markings, 64837574 edges, 16753 markings/sec, 2075 secs
lola: 29352704 markings, 64996583 edges, 10887 markings/sec, 2080 secs
lola: 29413509 markings, 65150741 edges, 12161 markings/sec, 2085 secs
lola: 29468736 markings, 65302237 edges, 11045 markings/sec, 2090 secs
lola: 29516687 markings, 65445972 edges, 9590 markings/sec, 2095 secs
lola: 29578620 markings, 65596080 edges, 12387 markings/sec, 2100 secs
lola: 29634637 markings, 65749582 edges, 11203 markings/sec, 2105 secs
lola: 29698671 markings, 65904683 edges, 12807 markings/sec, 2110 secs
lola: 29755244 markings, 66050411 edges, 11315 markings/sec, 2115 secs
lola: 29823586 markings, 66208190 edges, 13668 markings/sec, 2120 secs
lola: 29881467 markings, 66355690 edges, 11576 markings/sec, 2125 secs
lola: 29942716 markings, 66511594 edges, 12250 markings/sec, 2130 secs
lola: 30016119 markings, 66668066 edges, 14681 markings/sec, 2135 secs
lola: 30070733 markings, 66825752 edges, 10923 markings/sec, 2140 secs
lola: 30129082 markings, 66995430 edges, 11670 markings/sec, 2145 secs
lola: 30181726 markings, 67142101 edges, 10529 markings/sec, 2150 secs
lola: 30248838 markings, 67291353 edges, 13422 markings/sec, 2155 secs
lola: 30321018 markings, 67453265 edges, 14436 markings/sec, 2160 secs
lola: 30415154 markings, 67613343 edges, 18827 markings/sec, 2165 secs
lola: 30522905 markings, 67785545 edges, 21550 markings/sec, 2170 secs
lola: 30603358 markings, 67947351 edges, 16091 markings/sec, 2175 secs
lola: 30695097 markings, 68114297 edges, 18348 markings/sec, 2180 secs
lola: 30788565 markings, 68279223 edges, 18694 markings/sec, 2185 secs
lola: 30876617 markings, 68433031 edges, 17610 markings/sec, 2190 secs
lola: 30964267 markings, 68581254 edges, 17530 markings/sec, 2195 secs
lola: 31042851 markings, 68734247 edges, 15717 markings/sec, 2200 secs
lola: 31129115 markings, 68885064 edges, 17253 markings/sec, 2205 secs
lola: 31207781 markings, 69030721 edges, 15733 markings/sec, 2210 secs
lola: 31297175 markings, 69185822 edges, 17879 markings/sec, 2215 secs
lola: 31382366 markings, 69346422 edges, 17038 markings/sec, 2220 secs
lola: 31466836 markings, 69498511 edges, 16894 markings/sec, 2225 secs
lola: 31563104 markings, 69660974 edges, 19254 markings/sec, 2230 secs
lola: 31649151 markings, 69813455 edges, 17209 markings/sec, 2235 secs
lola: 31735353 markings, 69962793 edges, 17240 markings/sec, 2240 secs
lola: 31833375 markings, 70119538 edges, 19604 markings/sec, 2245 secs
lola: 31915592 markings, 70262903 edges, 16443 markings/sec, 2250 secs
lola: 31998402 markings, 70407458 edges, 16562 markings/sec, 2255 secs
lola: 32080334 markings, 70551178 edges, 16386 markings/sec, 2260 secs
lola: 32155307 markings, 70696907 edges, 14995 markings/sec, 2265 secs
lola: 32246062 markings, 70852530 edges, 18151 markings/sec, 2270 secs
lola: 32325065 markings, 70996423 edges, 15801 markings/sec, 2275 secs
lola: 32413916 markings, 71137937 edges, 17770 markings/sec, 2280 secs
lola: 32507694 markings, 71284152 edges, 18756 markings/sec, 2285 secs
lola: 32598305 markings, 71425372 edges, 18122 markings/sec, 2290 secs
lola: 32685001 markings, 71565759 edges, 17339 markings/sec, 2295 secs
lola: 32759992 markings, 71710847 edges, 14998 markings/sec, 2300 secs
lola: 32838983 markings, 71857636 edges, 15798 markings/sec, 2305 secs
lola: 32913957 markings, 72003614 edges, 14995 markings/sec, 2310 secs
lola: 32984790 markings, 72153065 edges, 14167 markings/sec, 2315 secs
lola: 33074475 markings, 72314982 edges, 17937 markings/sec, 2320 secs
lola: 33157833 markings, 72470667 edges, 16672 markings/sec, 2325 secs
lola: 33235278 markings, 72628410 edges, 15489 markings/sec, 2330 secs
lola: 33311555 markings, 72784372 edges, 15255 markings/sec, 2335 secs
lola: 33406544 markings, 72950907 edges, 18998 markings/sec, 2340 secs
lola: 33484836 markings, 73116395 edges, 15658 markings/sec, 2345 secs
lola: 33560743 markings, 73264932 edges, 15181 markings/sec, 2350 secs
lola: 33617872 markings, 73404404 edges, 11426 markings/sec, 2355 secs
lola: 33676098 markings, 73543953 edges, 11645 markings/sec, 2360 secs
lola: 33747255 markings, 73679706 edges, 14231 markings/sec, 2365 secs
lola: 33833076 markings, 73822742 edges, 17164 markings/sec, 2370 secs
lola: 33898548 markings, 73963394 edges, 13094 markings/sec, 2375 secs
lola: 33989573 markings, 74114796 edges, 18205 markings/sec, 2380 secs
lola: 34066369 markings, 74262002 edges, 15359 markings/sec, 2385 secs
lola: 34125733 markings, 74406626 edges, 11873 markings/sec, 2390 secs
lola: 34183150 markings, 74530936 edges, 11483 markings/sec, 2395 secs
lola: 34244531 markings, 74671121 edges, 12276 markings/sec, 2400 secs
lola: 34308244 markings, 74809511 edges, 12743 markings/sec, 2405 secs
lola: 34377671 markings, 74971732 edges, 13885 markings/sec, 2410 secs
lola: 34453423 markings, 75136016 edges, 15150 markings/sec, 2415 secs
lola: 34505507 markings, 75278883 edges, 10417 markings/sec, 2420 secs
lola: 34565025 markings, 75422158 edges, 11904 markings/sec, 2425 secs
lola: 34629955 markings, 75561881 edges, 12986 markings/sec, 2430 secs
lola: 34704214 markings, 75709180 edges, 14852 markings/sec, 2435 secs
lola: 34759549 markings, 75851825 edges, 11067 markings/sec, 2440 secs
lola: 34820986 markings, 75991905 edges, 12287 markings/sec, 2445 secs
lola: 34891304 markings, 76131669 edges, 14064 markings/sec, 2450 secs
lola: 34962999 markings, 76274751 edges, 14339 markings/sec, 2455 secs
lola: 35041154 markings, 76421443 edges, 15631 markings/sec, 2460 secs
lola: 35110098 markings, 76567751 edges, 13789 markings/sec, 2465 secs
lola: 35182491 markings, 76714596 edges, 14479 markings/sec, 2470 secs
lola: 35260200 markings, 76858442 edges, 15542 markings/sec, 2475 secs
lola: 35333197 markings, 77000929 edges, 14599 markings/sec, 2480 secs
lola: 35409927 markings, 77138936 edges, 15346 markings/sec, 2485 secs
lola: 35478294 markings, 77284951 edges, 13673 markings/sec, 2490 secs
lola: 35547731 markings, 77417124 edges, 13887 markings/sec, 2495 secs
lola: 35609778 markings, 77545151 edges, 12409 markings/sec, 2500 secs
lola: 35673328 markings, 77689897 edges, 12710 markings/sec, 2505 secs
lola: 35736489 markings, 77828834 edges, 12632 markings/sec, 2510 secs
lola: 35792142 markings, 77957634 edges, 11131 markings/sec, 2515 secs
lola: 35858926 markings, 78101436 edges, 13357 markings/sec, 2520 secs
lola: 35904224 markings, 78233593 edges, 9060 markings/sec, 2525 secs
lola: 35962895 markings, 78359172 edges, 11734 markings/sec, 2530 secs
lola: 36025533 markings, 78492522 edges, 12528 markings/sec, 2535 secs
lola: 36075219 markings, 78621821 edges, 9937 markings/sec, 2540 secs
lola: 36131562 markings, 78745662 edges, 11269 markings/sec, 2545 secs
lola: 36191999 markings, 78878767 edges, 12087 markings/sec, 2550 secs
lola: 36251878 markings, 79017100 edges, 11976 markings/sec, 2555 secs
lola: 36315110 markings, 79157857 edges, 12646 markings/sec, 2560 secs
lola: 36378575 markings, 79279308 edges, 12693 markings/sec, 2565 secs
lola: 36435933 markings, 79395068 edges, 11472 markings/sec, 2570 secs
lola: 36487835 markings, 79512666 edges, 10380 markings/sec, 2575 secs
lola: 36551122 markings, 79656109 edges, 12657 markings/sec, 2580 secs
lola: 36614076 markings, 79790794 edges, 12591 markings/sec, 2585 secs
lola: 36688363 markings, 79951305 edges, 14857 markings/sec, 2590 secs
lola: 36772727 markings, 80119458 edges, 16873 markings/sec, 2595 secs
lola: 36863984 markings, 80294927 edges, 18251 markings/sec, 2600 secs
lola: 36953051 markings, 80469221 edges, 17813 markings/sec, 2605 secs
lola: 37027094 markings, 80638756 edges, 14809 markings/sec, 2610 secs
lola: 37099581 markings, 80808264 edges, 14497 markings/sec, 2615 secs
lola: 37175267 markings, 80983460 edges, 15137 markings/sec, 2620 secs
lola: 37249799 markings, 81152666 edges, 14906 markings/sec, 2625 secs
lola: 37316257 markings, 81310902 edges, 13292 markings/sec, 2630 secs
lola: 37380585 markings, 81473334 edges, 12866 markings/sec, 2635 secs
lola: 37445852 markings, 81624914 edges, 13053 markings/sec, 2640 secs
lola: 37508528 markings, 81762568 edges, 12535 markings/sec, 2645 secs
lola: 37569765 markings, 81896937 edges, 12247 markings/sec, 2650 secs
lola: 37629164 markings, 82028070 edges, 11880 markings/sec, 2655 secs
lola: 37686186 markings, 82156976 edges, 11404 markings/sec, 2660 secs
lola: 37754737 markings, 82305899 edges, 13710 markings/sec, 2665 secs
lola: 37815830 markings, 82459733 edges, 12219 markings/sec, 2670 secs
lola: 37891276 markings, 82618780 edges, 15089 markings/sec, 2675 secs
lola: 37946608 markings, 82749324 edges, 11066 markings/sec, 2680 secs
lola: 38022677 markings, 82914030 edges, 15214 markings/sec, 2685 secs
lola: 38096420 markings, 83078259 edges, 14749 markings/sec, 2690 secs
lola: 38175962 markings, 83245771 edges, 15908 markings/sec, 2695 secs
lola: 38254751 markings, 83403087 edges, 15758 markings/sec, 2700 secs
lola: 38329294 markings, 83557693 edges, 14909 markings/sec, 2705 secs
lola: 38406148 markings, 83714426 edges, 15371 markings/sec, 2710 secs
lola: 38493220 markings, 83881646 edges, 17414 markings/sec, 2715 secs
lola: 38554355 markings, 84022304 edges, 12227 markings/sec, 2720 secs
lola: 38623987 markings, 84164009 edges, 13926 markings/sec, 2725 secs
lola: 38705982 markings, 84330106 edges, 16399 markings/sec, 2730 secs
lola: 38788280 markings, 84484738 edges, 16460 markings/sec, 2735 secs
lola: 38869299 markings, 84653481 edges, 16204 markings/sec, 2740 secs
lola: 38950773 markings, 84818869 edges, 16295 markings/sec, 2745 secs
lola: 39023456 markings, 84980692 edges, 14537 markings/sec, 2750 secs
lola: 39108792 markings, 85148499 edges, 17067 markings/sec, 2755 secs
lola: 39186253 markings, 85302266 edges, 15492 markings/sec, 2760 secs
lola: 39259174 markings, 85465730 edges, 14584 markings/sec, 2765 secs
lola: 39334558 markings, 85633702 edges, 15077 markings/sec, 2770 secs
lola: 39422150 markings, 85797628 edges, 17518 markings/sec, 2775 secs
lola: 39512302 markings, 85960378 edges, 18030 markings/sec, 2780 secs
lola: 39596591 markings, 86115586 edges, 16858 markings/sec, 2785 secs
lola: 39671344 markings, 86267106 edges, 14951 markings/sec, 2790 secs
lola: 39752665 markings, 86412401 edges, 16264 markings/sec, 2795 secs
lola: 39825365 markings, 86555895 edges, 14540 markings/sec, 2800 secs
lola: 39898608 markings, 86698117 edges, 14649 markings/sec, 2805 secs
lola: 39958862 markings, 86842556 edges, 12051 markings/sec, 2810 secs
lola: 40012975 markings, 86989957 edges, 10823 markings/sec, 2815 secs
lola: 40068504 markings, 87140834 edges, 11106 markings/sec, 2820 secs
lola: 40121651 markings, 87300759 edges, 10629 markings/sec, 2825 secs
lola: 40204429 markings, 87456787 edges, 16556 markings/sec, 2830 secs
lola: 40267005 markings, 87607835 edges, 12515 markings/sec, 2835 secs
lola: 40338162 markings, 87758514 edges, 14231 markings/sec, 2840 secs
lola: 40411155 markings, 87911386 edges, 14599 markings/sec, 2845 secs
lola: 40470208 markings, 88059986 edges, 11811 markings/sec, 2850 secs
lola: 40539043 markings, 88204202 edges, 13767 markings/sec, 2855 secs
lola: 40614907 markings, 88354121 edges, 15173 markings/sec, 2860 secs
lola: 40691755 markings, 88508939 edges, 15370 markings/sec, 2865 secs
lola: 40771429 markings, 88657620 edges, 15935 markings/sec, 2870 secs
lola: 40826674 markings, 88798510 edges, 11049 markings/sec, 2875 secs
lola: 40876480 markings, 88946908 edges, 9961 markings/sec, 2880 secs
lola: 40935376 markings, 89104559 edges, 11779 markings/sec, 2885 secs
lola: 40997550 markings, 89258121 edges, 12435 markings/sec, 2890 secs
lola: 41056879 markings, 89396341 edges, 11866 markings/sec, 2895 secs
lola: 41115738 markings, 89531339 edges, 11772 markings/sec, 2900 secs
lola: 41171511 markings, 89666994 edges, 11155 markings/sec, 2905 secs
lola: 41224225 markings, 89800239 edges, 10543 markings/sec, 2910 secs
lola: 41279180 markings, 89935157 edges, 10991 markings/sec, 2915 secs
lola: 41335038 markings, 90070869 edges, 11172 markings/sec, 2920 secs
lola: 41388970 markings, 90197674 edges, 10786 markings/sec, 2925 secs
lola: 41438723 markings, 90311605 edges, 9951 markings/sec, 2930 secs
lola: 41490808 markings, 90429649 edges, 10417 markings/sec, 2935 secs
lola: 41538386 markings, 90550029 edges, 9516 markings/sec, 2940 secs
lola: 41587555 markings, 90669929 edges, 9834 markings/sec, 2945 secs
lola: 41632457 markings, 90787831 edges, 8980 markings/sec, 2950 secs
lola: 41684039 markings, 90907388 edges, 10316 markings/sec, 2955 secs
lola: 41733306 markings, 91029017 edges, 9853 markings/sec, 2960 secs
lola: 41784186 markings, 91157088 edges, 10176 markings/sec, 2965 secs
lola: 41828021 markings, 91257328 edges, 8767 markings/sec, 2970 secs
lola: 41907494 markings, 91433443 edges, 15895 markings/sec, 2975 secs
lola: 41981070 markings, 91607147 edges, 14715 markings/sec, 2980 secs
lola: 42053367 markings, 91772958 edges, 14459 markings/sec, 2985 secs
lola: 42125212 markings, 91937567 edges, 14369 markings/sec, 2990 secs
lola: 42194976 markings, 92100408 edges, 13953 markings/sec, 2995 secs
lola: 42261322 markings, 92255692 edges, 13269 markings/sec, 3000 secs
lola: 42324628 markings, 92415274 edges, 12661 markings/sec, 3005 secs
lola: 42386545 markings, 92568623 edges, 12383 markings/sec, 3010 secs
lola: 42448344 markings, 92714572 edges, 12360 markings/sec, 3015 secs
lola: 42508469 markings, 92856366 edges, 12025 markings/sec, 3020 secs
lola: 42569428 markings, 93013387 edges, 12192 markings/sec, 3025 secs
lola: 42628212 markings, 93168118 edges, 11757 markings/sec, 3030 secs
lola: 42687995 markings, 93330723 edges, 11957 markings/sec, 3035 secs
lola: 42746044 markings, 93477843 edges, 11610 markings/sec, 3040 secs
lola: 42815776 markings, 93633662 edges, 13946 markings/sec, 3045 secs
lola: 42890410 markings, 93788733 edges, 14927 markings/sec, 3050 secs
lola: 42960662 markings, 93942060 edges, 14050 markings/sec, 3055 secs
lola: 43032295 markings, 94098974 edges, 14327 markings/sec, 3060 secs
lola: 43092102 markings, 94243539 edges, 11961 markings/sec, 3065 secs
lola: 43144676 markings, 94381311 edges, 10515 markings/sec, 3070 secs
lola: 43208858 markings, 94525853 edges, 12836 markings/sec, 3075 secs
lola: 43263787 markings, 94671254 edges, 10986 markings/sec, 3080 secs
lola: 43317252 markings, 94814467 edges, 10693 markings/sec, 3085 secs
lola: 43369877 markings, 94966028 edges, 10525 markings/sec, 3090 secs
lola: 43434882 markings, 95111954 edges, 13001 markings/sec, 3095 secs
lola: 43493318 markings, 95257508 edges, 11687 markings/sec, 3100 secs
lola: 43547802 markings, 95409175 edges, 10897 markings/sec, 3105 secs
lola: 43613454 markings, 95574533 edges, 13130 markings/sec, 3110 secs
lola: 43680862 markings, 95741224 edges, 13482 markings/sec, 3115 secs
lola: 43748802 markings, 95908636 edges, 13588 markings/sec, 3120 secs
lola: 43802255 markings, 96055142 edges, 10691 markings/sec, 3125 secs
lola: 43863935 markings, 96204478 edges, 12336 markings/sec, 3130 secs
lola: 43946930 markings, 96357058 edges, 16599 markings/sec, 3135 secs
lola: 43992851 markings, 96494340 edges, 9184 markings/sec, 3140 secs
lola: 44043000 markings, 96628977 edges, 10030 markings/sec, 3145 secs
lola: 44091216 markings, 96774074 edges, 9643 markings/sec, 3150 secs
lola: 44151133 markings, 96914052 edges, 11983 markings/sec, 3155 secs
lola: 44210276 markings, 97053610 edges, 11829 markings/sec, 3160 secs
lola: 44268129 markings, 97194299 edges, 11571 markings/sec, 3165 secs
lola: 44312984 markings, 97323553 edges, 8971 markings/sec, 3170 secs
lola: 44366579 markings, 97447104 edges, 10719 markings/sec, 3175 secs
lola: 44416831 markings, 97572951 edges, 10050 markings/sec, 3180 secs
lola: 44470284 markings, 97693386 edges, 10691 markings/sec, 3185 secs
lola: 44521809 markings, 97819142 edges, 10305 markings/sec, 3190 secs
lola: 44566145 markings, 97938350 edges, 8867 markings/sec, 3195 secs
lola: 44636403 markings, 98111634 edges, 14052 markings/sec, 3200 secs
lola: 44704560 markings, 98271098 edges, 13631 markings/sec, 3205 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no yes no no no yes no no yes yes unknown yes no unknown
lola:
preliminary result: no yes no yes no no no yes no no yes yes unknown yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no yes no no no yes no no yes yes unknown yes no unknown
lola: memory consumption: 12385428 KB
lola: time consumption: 3570 seconds
BK_STOP 1526548953197
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-320"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-320.tgz
mv CloudReconfiguration-PT-320 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-320, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646380000137"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;