About the Execution of LoLA for CloudReconfiguration-PT-304
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15916.430 | 3570638.00 | 6376264.00 | 55884.40 | FTFTF?FFFFTFFFTF | 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 828K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K 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 9.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-304, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379800026
=====================================================================
--------------------
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-304-ReachabilityCardinality-00
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-01
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-02
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-03
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-04
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-05
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-06
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-07
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-08
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-09
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-10
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-11
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-12
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-13
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-14
FORMULA_NAME CloudReconfiguration-PT-304-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526478329348
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-304 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-304 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ CloudReconfiguration-PT-304 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: Size of bit vector: 2584
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p1422)
lola: LP says that atomic proposition is always false: (2 <= p207)
lola: LP says that atomic proposition is always false: (2 <= p1430)
lola: LP says that atomic proposition is always false: (3 <= p77)
lola: LP says that atomic proposition is always false: (2 <= p2281)
lola: LP says that atomic proposition is always false: (2 <= p2062)
lola: LP says that atomic proposition is always false: (2 <= p1325)
lola: LP says that atomic proposition is always false: (3 <= p1918)
lola: LP says that atomic proposition is always false: (2 <= p871)
lola: LP says that atomic proposition is always false: (2 <= p671)
lola: LP says that atomic proposition is always false: (2 <= p1602)
lola: LP says that atomic proposition is always false: (2 <= p173)
lola: LP says that atomic proposition is always false: (3 <= p2044)
lola: LP says that atomic proposition is always false: (2 <= p231)
lola: LP says that atomic proposition is always false: (3 <= p864)
lola: LP says that atomic proposition is always false: (2 <= p1348)
lola: E (F (FALSE)) : E (F (((p1329 <= 0) AND (p564 + 1 <= p295)))) : E (F (())) : E (F ((((p146 + 1 <= p268))))) : E (F (FALSE)) : A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277)))) : E (F (FALSE)) : A (G (((1 <= p538) OR (p1911 + 1 <= p2038) OR (p254 <= p1589)))) : A (G ((p603 <= p202))) : A (G ((((p1635 <= p2195) OR (1 <= p2414) OR (p2384 <= p1223)) AND ((p863 <= p584) OR (1 <= p1876) OR (p429 + 1 <= p794))))) : E (F (((p1515 + 1 <= p908) AND (p1729 <= p1733) AND ((p2171 + 1 <= p2197) OR ((p91 <= p26) AND (p980 <= p79)))))) : E (F (FALSE)) : A (G (((p997 <= p498)))) : A (G ((p2065 <= p313))) : E (F (((1 <= p2331)))) : E (F (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p2331))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= p2331))))
lola: processed formula length: 22
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p2331))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-6-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: 54 markings, 53 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p997 <= p498))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p997 <= p498))))
lola: processed formula length: 24
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p498 + 1 <= p997))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 58 markings, 57 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2065 <= p313)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p2065 <= p313)))
lola: processed formula length: 23
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p313 + 1 <= p2065)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3316 markings, 3912 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p603 <= p202)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p603 <= p202)))
lola: processed formula length: 22
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p202 + 1 <= p603)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-9-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 48 markings, 47 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p146 + 1 <= p268)))))
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 ((((p146 + 1 <= p268)))))
lola: processed formula length: 30
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p146 + 1 <= p268)))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 82 markings, 81 edges
lola:
========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1329 <= 0) AND (p564 + 1 <= p295))))
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 (((p1329 <= 0) AND (p564 + 1 <= p295))))
lola: processed formula length: 45
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p1329 <= 0) AND (p564 + 1 <= p295))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 552 markings, 601 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 880 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277))))
lola: processed formula length: 63
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p2186 + 1 <= p559) AND (p2400 + 1 <= p2302) AND (p1277 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 58943 markings, 76131 edges, 11789 markings/sec, 0 secs
lola: sara is running 5 secs || 121602 markings, 153677 edges, 12532 markings/sec, 5 secs
lola: sara is running 10 secs || 183366 markings, 228324 edges, 12353 markings/sec, 10 secs
lola: sara is running 15 secs || 249932 markings, 329665 edges, 13313 markings/sec, 15 secs
lola: sara is running 20 secs || 327919 markings, 426756 edges, 15597 markings/sec, 20 secs
lola: sara is running 25 secs || 408218 markings, 528455 edges, 16060 markings/sec, 25 secs
lola: sara is running 30 secs || 482001 markings, 642145 edges, 14757 markings/sec, 30 secs
lola: sara is running 35 secs || 550932 markings, 748148 edges, 13786 markings/sec, 35 secs
lola: sara is running 40 secs || 626596 markings, 843024 edges, 15133 markings/sec, 40 secs
lola: sara is running 45 secs || 701311 markings, 935544 edges, 14943 markings/sec, 45 secs
sara: warning, failure of lp_solve (at job 310)
lola: sara is running 50 secs || 777315 markings, 1029825 edges, 15201 markings/sec, 50 secs
lola: sara is running 55 secs || 852112 markings, 1122383 edges, 14959 markings/sec, 55 secs
lola: sara is running 60 secs || 923260 markings, 1211150 edges, 14230 markings/sec, 60 secs
lola: sara is running 65 secs || 990549 markings, 1295738 edges, 13458 markings/sec, 65 secs
lola: sara is running 70 secs || 1056023 markings, 1389322 edges, 13095 markings/sec, 70 secs
lola: sara is running 75 secs || 1125194 markings, 1481652 edges, 13834 markings/sec, 75 secs
lola: sara is running 80 secs || 1191437 markings, 1567878 edges, 13249 markings/sec, 80 secs
lola: sara is running 85 secs || 1266556 markings, 1659768 edges, 15024 markings/sec, 85 secs
lola: sara is running 90 secs || 1340671 markings, 1751935 edges, 14823 markings/sec, 90 secs
lola: sara is running 95 secs || 1408632 markings, 1842691 edges, 13592 markings/sec, 95 secs
lola: sara is running 100 secs || 1470386 markings, 1926758 edges, 12351 markings/sec, 100 secs
lola: sara is running 105 secs || 1535249 markings, 2007867 edges, 12973 markings/sec, 105 secs
lola: sara is running 110 secs || 1600598 markings, 2092834 edges, 13070 markings/sec, 110 secs
lola: sara is running 115 secs || 1669092 markings, 2179106 edges, 13699 markings/sec, 115 secs
lola: sara is running 120 secs || 1736119 markings, 2273737 edges, 13405 markings/sec, 120 secs
lola: sara is running 125 secs || 1803794 markings, 2364705 edges, 13535 markings/sec, 125 secs
lola: sara is running 130 secs || 1870255 markings, 2449437 edges, 13292 markings/sec, 130 secs
lola: sara is running 135 secs || 1942981 markings, 2541205 edges, 14545 markings/sec, 135 secs
lola: sara is running 140 secs || 2012828 markings, 2626523 edges, 13969 markings/sec, 140 secs
lola: sara is running 145 secs || 2087655 markings, 2719427 edges, 14965 markings/sec, 145 secs
lola: sara is running 150 secs || 2157037 markings, 2804946 edges, 13876 markings/sec, 150 secs
lola: sara is running 155 secs || 2223423 markings, 2900409 edges, 13277 markings/sec, 155 secs
lola: sara is running 160 secs || 2287681 markings, 2981522 edges, 12852 markings/sec, 160 secs
lola: sara is running 165 secs || 2352691 markings, 3065571 edges, 13002 markings/sec, 165 secs
lola: sara is running 170 secs || 2421634 markings, 3152672 edges, 13789 markings/sec, 170 secs
lola: sara is running 175 secs || 2488777 markings, 3237238 edges, 13429 markings/sec, 175 secs
lola: sara is running 180 secs || 2558040 markings, 3323710 edges, 13853 markings/sec, 180 secs
lola: sara is running 185 secs || 2625728 markings, 3406851 edges, 13538 markings/sec, 185 secs
lola: sara is running 190 secs || 2684956 markings, 3485201 edges, 11846 markings/sec, 190 secs
lola: sara is running 195 secs || 2748330 markings, 3564626 edges, 12675 markings/sec, 195 secs
lola: sara is running 200 secs || 2808853 markings, 3638955 edges, 12105 markings/sec, 200 secs
lola: sara is running 205 secs || 2873332 markings, 3717941 edges, 12896 markings/sec, 205 secs
lola: sara is running 210 secs || 2932257 markings, 3792334 edges, 11785 markings/sec, 210 secs
lola: sara is running 215 secs || 2975294 markings, 3885558 edges, 8607 markings/sec, 215 secs
lola: sara is running 220 secs || 3019518 markings, 3976836 edges, 8845 markings/sec, 220 secs
lola: sara is running 225 secs || 3084870 markings, 4057034 edges, 13070 markings/sec, 225 secs
lola: sara is running 230 secs || 3136999 markings, 4138507 edges, 10426 markings/sec, 230 secs
lola: sara is running 235 secs || 3179339 markings, 4230195 edges, 8468 markings/sec, 235 secs
lola: sara is running 240 secs || 3219621 markings, 4324090 edges, 8056 markings/sec, 240 secs
lola: sara is running 245 secs || 3280694 markings, 4406417 edges, 12215 markings/sec, 245 secs
lola: sara is running 250 secs || 3337104 markings, 4475709 edges, 11282 markings/sec, 250 secs
lola: sara is running 255 secs || 3397499 markings, 4549675 edges, 12079 markings/sec, 255 secs
lola: sara is running 260 secs || 3454325 markings, 4620677 edges, 11365 markings/sec, 260 secs
lola: sara is running 265 secs || 3494799 markings, 4708326 edges, 8095 markings/sec, 265 secs
lola: sara is running 270 secs || 3536441 markings, 4799987 edges, 8328 markings/sec, 270 secs
lola: sara is running 275 secs || 3585971 markings, 4900028 edges, 9906 markings/sec, 275 secs
lola: sara is running 280 secs || 3639472 markings, 5009178 edges, 10700 markings/sec, 280 secs
lola: sara is running 285 secs || 3692562 markings, 5117242 edges, 10618 markings/sec, 285 secs
lola: sara is running 290 secs || 3742711 markings, 5219929 edges, 10030 markings/sec, 290 secs
lola: sara is running 295 secs || 3791132 markings, 5318819 edges, 9684 markings/sec, 295 secs
lola: sara is running 300 secs || 3839907 markings, 5418341 edges, 9755 markings/sec, 300 secs
lola: sara is running 305 secs || 3884314 markings, 5507928 edges, 8881 markings/sec, 305 secs
lola: sara is running 310 secs || 3926576 markings, 5593119 edges, 8452 markings/sec, 310 secs
lola: sara is running 315 secs || 3964620 markings, 5671407 edges, 7609 markings/sec, 315 secs
lola: sara is running 320 secs || 4004788 markings, 5752048 edges, 8034 markings/sec, 320 secs
lola: sara is running 325 secs || 4047889 markings, 5840825 edges, 8620 markings/sec, 325 secs
lola: sara is running 330 secs || 4089752 markings, 5925022 edges, 8373 markings/sec, 330 secs
lola: sara is running 335 secs || 4128380 markings, 6004117 edges, 7726 markings/sec, 335 secs
lola: sara is running 340 secs || 4170106 markings, 6093496 edges, 8345 markings/sec, 340 secs
lola: sara is running 345 secs || 4209619 markings, 6179124 edges, 7903 markings/sec, 345 secs
lola: sara is running 350 secs || 4244186 markings, 6263916 edges, 6913 markings/sec, 350 secs
lola: sara is running 355 secs || 4282459 markings, 6354104 edges, 7655 markings/sec, 355 secs
lola: sara is running 360 secs || 4334583 markings, 6436141 edges, 10425 markings/sec, 360 secs
lola: sara is running 365 secs || 4394902 markings, 6510186 edges, 12064 markings/sec, 365 secs
lola: sara is running 370 secs || 4456833 markings, 6586080 edges, 12386 markings/sec, 370 secs
lola: sara is running 375 secs || 4516568 markings, 6659429 edges, 11947 markings/sec, 375 secs
lola: sara is running 380 secs || 4574179 markings, 6729487 edges, 11522 markings/sec, 380 secs
lola: sara is running 385 secs || 4634407 markings, 6803439 edges, 12046 markings/sec, 385 secs
lola: sara is running 390 secs || 4694661 markings, 6877402 edges, 12051 markings/sec, 390 secs
lola: sara is running 395 secs || 4751971 markings, 6947249 edges, 11462 markings/sec, 395 secs
lola: sara is running 400 secs || 4808833 markings, 7016295 edges, 11372 markings/sec, 400 secs
lola: sara is running 405 secs || 4870043 markings, 7091490 edges, 12242 markings/sec, 405 secs
lola: sara is running 410 secs || 4930658 markings, 7165907 edges, 12123 markings/sec, 410 secs
lola: sara is running 415 secs || 4993548 markings, 7242965 edges, 12578 markings/sec, 415 secs
lola: sara is running 420 secs || 5053483 markings, 7316574 edges, 11987 markings/sec, 420 secs
lola: sara is running 425 secs || 5111759 markings, 7387401 edges, 11655 markings/sec, 425 secs
lola: sara is running 430 secs || 5172120 markings, 7461667 edges, 12072 markings/sec, 430 secs
lola: sara is running 435 secs || 5234046 markings, 7538243 edges, 12385 markings/sec, 435 secs
lola: sara is running 440 secs || 5289035 markings, 7606954 edges, 10998 markings/sec, 440 secs
lola: sara is running 445 secs || 5345354 markings, 7677987 edges, 11264 markings/sec, 445 secs
lola: sara is running 450 secs || 5401339 markings, 7749344 edges, 11197 markings/sec, 450 secs
lola: sara is running 455 secs || 5455419 markings, 7819781 edges, 10816 markings/sec, 455 secs
lola: sara is running 460 secs || 5519550 markings, 7898524 edges, 12826 markings/sec, 460 secs
lola: sara is running 465 secs || 5578642 markings, 7971014 edges, 11818 markings/sec, 465 secs
lola: sara is running 470 secs || 5636995 markings, 8041873 edges, 11671 markings/sec, 470 secs
lola: sara is running 475 secs || 5694301 markings, 8114539 edges, 11461 markings/sec, 475 secs
lola: sara is running 480 secs || 5737652 markings, 8204266 edges, 8670 markings/sec, 480 secs
lola: sara is running 485 secs || 5798400 markings, 8294942 edges, 12150 markings/sec, 485 secs
lola: sara is running 490 secs || 5862642 markings, 8373506 edges, 12848 markings/sec, 490 secs
lola: sara is running 495 secs || 5926710 markings, 8455050 edges, 12814 markings/sec, 495 secs
lola: sara is running 500 secs || 5966229 markings, 8551394 edges, 7904 markings/sec, 500 secs
lola: sara is running 505 secs || 6004935 markings, 8632884 edges, 7741 markings/sec, 505 secs
lola: sara is running 510 secs || 6075476 markings, 8719449 edges, 14108 markings/sec, 510 secs
lola: sara is running 515 secs || 6140134 markings, 8799928 edges, 12932 markings/sec, 515 secs
lola: sara is running 520 secs || 6208821 markings, 8885563 edges, 13737 markings/sec, 520 secs
lola: sara is running 525 secs || 6292081 markings, 8988524 edges, 16652 markings/sec, 525 secs
lola: sara is running 530 secs || 6373704 markings, 9090326 edges, 16325 markings/sec, 530 secs
lola: sara is running 535 secs || 6449326 markings, 9185389 edges, 15124 markings/sec, 535 secs
lola: sara is running 540 secs || 6513080 markings, 9267203 edges, 12751 markings/sec, 540 secs
lola: sara is running 545 secs || 6579479 markings, 9352318 edges, 13280 markings/sec, 545 secs
lola: sara is running 550 secs || 6657009 markings, 9451620 edges, 15506 markings/sec, 550 secs
lola: sara is running 555 secs || 6739349 markings, 9554037 edges, 16468 markings/sec, 555 secs
lola: sara is running 560 secs || 6816471 markings, 9648501 edges, 15424 markings/sec, 560 secs
lola: sara is running 565 secs || 6896059 markings, 9750133 edges, 15918 markings/sec, 565 secs
lola: sara is running 570 secs || 6969680 markings, 9845645 edges, 14724 markings/sec, 570 secs
lola: sara is running 575 secs || 7047099 markings, 9940894 edges, 15484 markings/sec, 575 secs
lola: sara is running 580 secs || 7129908 markings, 10044195 edges, 16562 markings/sec, 580 secs
lola: sara is running 585 secs || 7208452 markings, 10141693 edges, 15709 markings/sec, 585 secs
lola: sara is running 590 secs || 7278002 markings, 10229955 edges, 13910 markings/sec, 590 secs
lola: sara is running 595 secs || 7344930 markings, 10315570 edges, 13386 markings/sec, 595 secs
lola: sara is running 600 secs || 7420028 markings, 10410974 edges, 15020 markings/sec, 600 secs
lola: sara is running 605 secs || 7492411 markings, 10504359 edges, 14477 markings/sec, 605 secs
lola: sara is running 610 secs || 7567264 markings, 10599233 edges, 14971 markings/sec, 610 secs
lola: sara is running 615 secs || 7642587 markings, 10696683 edges, 15065 markings/sec, 615 secs
lola: sara is running 620 secs || 7717176 markings, 10793385 edges, 14918 markings/sec, 620 secs
lola: sara is running 625 secs || 7783457 markings, 10896138 edges, 13256 markings/sec, 625 secs
lola: sara is running 630 secs || 7844227 markings, 10998148 edges, 12154 markings/sec, 630 secs
lola: sara is running 635 secs || 7905470 markings, 11105813 edges, 12249 markings/sec, 635 secs
lola: sara is running 640 secs || 7960134 markings, 11201034 edges, 10933 markings/sec, 640 secs
lola: sara is running 645 secs || 8007702 markings, 11288900 edges, 9514 markings/sec, 645 secs
lola: sara is running 650 secs || 8063500 markings, 11372357 edges, 11160 markings/sec, 650 secs
lola: sara is running 655 secs || 8112979 markings, 11463377 edges, 9896 markings/sec, 655 secs
lola: sara is running 660 secs || 8160907 markings, 11546644 edges, 9586 markings/sec, 660 secs
lola: sara is running 665 secs || 8231856 markings, 11653483 edges, 14190 markings/sec, 665 secs
lola: sara is running 670 secs || 8302835 markings, 11754899 edges, 14196 markings/sec, 670 secs
lola: sara is running 675 secs || 8373677 markings, 11857731 edges, 14168 markings/sec, 675 secs
lola: sara is running 680 secs || 8443568 markings, 11961608 edges, 13978 markings/sec, 680 secs
lola: sara is running 685 secs || 8514775 markings, 12066069 edges, 14241 markings/sec, 685 secs
lola: sara is running 690 secs || 8584564 markings, 12169125 edges, 13958 markings/sec, 690 secs
lola: sara is running 695 secs || 8656813 markings, 12274474 edges, 14450 markings/sec, 695 secs
lola: sara is running 700 secs || 8727933 markings, 12378919 edges, 14224 markings/sec, 700 secs
lola: sara is running 705 secs || 8794706 markings, 12483543 edges, 13355 markings/sec, 705 secs
lola: sara is running 710 secs || 8867248 markings, 12596838 edges, 14508 markings/sec, 710 secs
lola: sara is running 715 secs || 8940080 markings, 12704280 edges, 14566 markings/sec, 715 secs
lola: sara is running 720 secs || 9010901 markings, 12812726 edges, 14164 markings/sec, 720 secs
lola: sara is running 725 secs || 9065256 markings, 12891527 edges, 10871 markings/sec, 725 secs
lola: sara is running 730 secs || 9121424 markings, 12959707 edges, 11234 markings/sec, 730 secs
lola: sara is running 735 secs || 9179499 markings, 13027405 edges, 11615 markings/sec, 735 secs
lola: sara is running 740 secs || 9236517 markings, 13094563 edges, 11404 markings/sec, 740 secs
lola: sara is running 745 secs || 9292172 markings, 13159851 edges, 11131 markings/sec, 745 secs
lola: sara is running 750 secs || 9346221 markings, 13223162 edges, 10810 markings/sec, 750 secs
lola: sara is running 755 secs || 9399036 markings, 13286284 edges, 10563 markings/sec, 755 secs
lola: sara is running 760 secs || 9452054 markings, 13356932 edges, 10604 markings/sec, 760 secs
lola: sara is running 765 secs || 9489191 markings, 13440937 edges, 7427 markings/sec, 765 secs
lola: sara is running 770 secs || 9534197 markings, 13524330 edges, 9001 markings/sec, 770 secs
lola: sara is running 775 secs || 9576108 markings, 13601463 edges, 8382 markings/sec, 775 secs
lola: sara is running 780 secs || 9613848 markings, 13684237 edges, 7548 markings/sec, 780 secs
lola: sara is running 785 secs || 9656675 markings, 13762885 edges, 8565 markings/sec, 785 secs
lola: sara is running 790 secs || 9706907 markings, 13850089 edges, 10046 markings/sec, 790 secs
lola: sara is running 795 secs || 9749088 markings, 13928958 edges, 8436 markings/sec, 795 secs
lola: sara is running 800 secs || 9799802 markings, 14006264 edges, 10143 markings/sec, 800 secs
lola: sara is running 805 secs || 9856555 markings, 14076060 edges, 11351 markings/sec, 805 secs
lola: sara is running 810 secs || 9910193 markings, 14148862 edges, 10728 markings/sec, 810 secs
lola: sara is running 815 secs || 9963373 markings, 14219253 edges, 10636 markings/sec, 815 secs
lola: sara is running 820 secs || 10019686 markings, 14291969 edges, 11263 markings/sec, 820 secs
lola: sara is running 825 secs || 10077627 markings, 14370766 edges, 11588 markings/sec, 825 secs
lola: sara is running 830 secs || 10131895 markings, 14440998 edges, 10854 markings/sec, 830 secs
lola: sara is running 835 secs || 10190027 markings, 14516216 edges, 11626 markings/sec, 835 secs
lola: sara is running 840 secs || 10238102 markings, 14586238 edges, 9615 markings/sec, 840 secs
lola: sara is running 845 secs || 10294005 markings, 14654044 edges, 11181 markings/sec, 845 secs
lola: sara is running 850 secs || 10350008 markings, 14729331 edges, 11201 markings/sec, 850 secs
lola: sara is running 855 secs || 10406884 markings, 14798716 edges, 11375 markings/sec, 855 secs
lola: sara is running 860 secs || 10467974 markings, 14875672 edges, 12218 markings/sec, 860 secs
lola: sara is running 865 secs || 10517303 markings, 14964458 edges, 9866 markings/sec, 865 secs
lola: sara is running 870 secs || 10572794 markings, 15045936 edges, 11098 markings/sec, 870 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no yes no unknown no unknown no unknown unknown no no no yes no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no yes no yes no unknown no unknown no unknown unknown no no no yes no
lola: memory consumption: 2396828 KB
lola: time consumption: 930 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 880 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p538) OR (p1911 + 1 <= p2038) OR (p254 <= p1589))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((1 <= p538) OR (p1911 + 1 <= p2038) OR (p254 <= p1589))))
lola: processed formula length: 66
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p538 <= 0) AND (p2038 <= p1911) AND (p1589 + 1 <= p254))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 67 markings, 66 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1515 + 1 <= p908) AND (p1729 <= p1733) AND ((p2171 + 1 <= p2197) OR ((p91 <= p26) AND (p980 <= p79))))))
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 (((p1515 + 1 <= p908) AND (p1729 <= p1733) AND ((p2171 + 1 <= p2197) OR ((p91 <= p26) AND (p980 <= p79))))))
lola: processed formula length: 114
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p1515 + 1 <= p908) AND (p1729 <= p1733) AND ((p2171 + 1 <= p2197) OR ((p91 <= p26) AND (p980 <= p79))))
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-14-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 56 markings, 55 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2640 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p1635 <= p2195) OR (1 <= p2414) OR (p2384 <= p1223)) AND ((p863 <= p584) OR (1 <= p1876) OR (p429 + 1 <= p794)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((p1635 <= p2195) OR (1 <= p2414) OR (p2384 <= p1223)) AND ((p863 <= p584) OR (1 <= p1876) OR (p429 + 1 <= p794)))))
lola: processed formula length: 127
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((p2195 + 1 <= p1635) AND (p2414 <= 0) AND (p1223 + 1 <= p2384)) OR ((p584 + 1 <= p863) AND (p1876 <= 0) AND (p794 <= p429)))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
FORMULA CloudReconfiguration-PT-304-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p559 <= p2186) OR (p2302 <= p2400) OR (1 <= p1277))))
lola: processed formula length: 63
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-304-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p2186 + 1 <= p559) AND (p2400 + 1 <= p2302) AND (p1277 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-304-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-304-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 59115 markings, 76343 edges, 11823 markings/sec, 0 secs
lola: sara is running 5 secs || 118844 markings, 150345 edges, 11946 markings/sec, 5 secs
lola: sara is running 10 secs || 180434 markings, 224755 edges, 12318 markings/sec, 10 secs
lola: sara is running 15 secs || 246737 markings, 325807 edges, 13261 markings/sec, 15 secs
lola: sara is running 20 secs || 323558 markings, 421398 edges, 15364 markings/sec, 20 secs
lola: sara is running 25 secs || 399576 markings, 517685 edges, 15204 markings/sec, 25 secs
lola: sara is running 30 secs || 473032 markings, 630535 edges, 14691 markings/sec, 30 secs
lola: sara is running 35 secs || 540452 markings, 735311 edges, 13484 markings/sec, 35 secs
lola: sara is running 40 secs || 610084 markings, 822287 edges, 13926 markings/sec, 40 secs
lola: sara is running 45 secs || 683578 markings, 913480 edges, 14699 markings/sec, 45 secs
sara: warning, failure of lp_solve (at job 310)
lola: sara is running 50 secs || 756780 markings, 1004014 edges, 14640 markings/sec, 50 secs
lola: sara is running 55 secs || 829631 markings, 1094802 edges, 14570 markings/sec, 55 secs
lola: sara is running 60 secs || 898357 markings, 1179816 edges, 13745 markings/sec, 60 secs
lola: sara is running 65 secs || 965825 markings, 1264254 edges, 13494 markings/sec, 65 secs
lola: sara is running 70 secs || 1029502 markings, 1354303 edges, 12735 markings/sec, 70 secs
lola: sara is running 75 secs || 1094164 markings, 1443257 edges, 12932 markings/sec, 75 secs
lola: sara is running 80 secs || 1160289 markings, 1527460 edges, 13225 markings/sec, 80 secs
lola: sara is running 85 secs || 1230414 markings, 1615434 edges, 14025 markings/sec, 85 secs
lola: sara is running 90 secs || 1295227 markings, 1696180 edges, 12963 markings/sec, 90 secs
lola: sara is running 95 secs || 1359959 markings, 1775621 edges, 12946 markings/sec, 95 secs
lola: sara is running 100 secs || 1423303 markings, 1861175 edges, 12669 markings/sec, 100 secs
lola: sara is running 105 secs || 1484182 markings, 1943620 edges, 12176 markings/sec, 105 secs
lola: sara is running 110 secs || 1544881 markings, 2022253 edges, 12140 markings/sec, 110 secs
lola: sara is running 115 secs || 1605823 markings, 2099589 edges, 12188 markings/sec, 115 secs
lola: sara is running 120 secs || 1672313 markings, 2183311 edges, 13298 markings/sec, 120 secs
lola: sara is running 125 secs || 1737235 markings, 2275213 edges, 12984 markings/sec, 125 secs
lola: sara is running 130 secs || 1800440 markings, 2360488 edges, 12641 markings/sec, 130 secs
lola: sara is running 135 secs || 1862116 markings, 2437822 edges, 12335 markings/sec, 135 secs
lola: sara is running 140 secs || 1931054 markings, 2526576 edges, 13788 markings/sec, 140 secs
lola: sara is running 145 secs || 1998789 markings, 2609098 edges, 13547 markings/sec, 145 secs
lola: sara is running 150 secs || 2073189 markings, 2701656 edges, 14880 markings/sec, 150 secs
lola: sara is running 155 secs || 2140399 markings, 2784753 edges, 13442 markings/sec, 155 secs
lola: sara is running 160 secs || 2208417 markings, 2876575 edges, 13604 markings/sec, 160 secs
lola: sara is running 165 secs || 2269884 markings, 2959203 edges, 12293 markings/sec, 165 secs
lola: sara is running 170 secs || 2333711 markings, 3039973 edges, 12765 markings/sec, 170 secs
lola: sara is running 175 secs || 2398916 markings, 3122835 edges, 13041 markings/sec, 175 secs
lola: sara is running 180 secs || 2465356 markings, 3208037 edges, 13288 markings/sec, 180 secs
lola: sara is running 185 secs || 2532371 markings, 3291899 edges, 13403 markings/sec, 185 secs
lola: sara is running 190 secs || 2599441 markings, 3374528 edges, 13414 markings/sec, 190 secs
lola: sara is running 195 secs || 2662786 markings, 3455251 edges, 12669 markings/sec, 195 secs
lola: sara is running 200 secs || 2713758 markings, 3522205 edges, 10194 markings/sec, 200 secs
lola: sara is running 205 secs || 2779287 markings, 3602628 edges, 13106 markings/sec, 205 secs
lola: sara is running 210 secs || 2838554 markings, 3675272 edges, 11853 markings/sec, 210 secs
lola: sara is running 215 secs || 2900873 markings, 3751753 edges, 12464 markings/sec, 215 secs
lola: sara is running 220 secs || 2950479 markings, 3831794 edges, 9921 markings/sec, 220 secs
lola: sara is running 225 secs || 2992012 markings, 3921734 edges, 8307 markings/sec, 225 secs
lola: sara is running 230 secs || 3042788 markings, 4005385 edges, 10155 markings/sec, 230 secs
lola: sara is running 235 secs || 3096727 markings, 4071605 edges, 10788 markings/sec, 235 secs
lola: sara is running 240 secs || 3142700 markings, 4150853 edges, 9195 markings/sec, 240 secs
lola: sara is running 245 secs || 3182430 markings, 4236893 edges, 7946 markings/sec, 245 secs
lola: sara is running 250 secs || 3220781 markings, 4327738 edges, 7670 markings/sec, 250 secs
lola: sara is running 255 secs || 3281556 markings, 4407480 edges, 12155 markings/sec, 255 secs
lola: sara is running 260 secs || 3340011 markings, 4479253 edges, 11691 markings/sec, 260 secs
lola: sara is running 265 secs || 3404814 markings, 4558648 edges, 12961 markings/sec, 265 secs
lola: sara is running 270 secs || 3460105 markings, 4633230 edges, 11058 markings/sec, 270 secs
lola: sara is running 275 secs || 3501319 markings, 4722499 edges, 8243 markings/sec, 275 secs
lola: sara is running 280 secs || 3542271 markings, 4811014 edges, 8190 markings/sec, 280 secs
lola: sara is running 285 secs || 3594390 markings, 4917561 edges, 10424 markings/sec, 285 secs
lola: sara is running 290 secs || 3647614 markings, 5025455 edges, 10645 markings/sec, 290 secs
lola: sara is running 295 secs || 3699398 markings, 5131201 edges, 10357 markings/sec, 295 secs
lola: sara is running 300 secs || 3748094 markings, 5230713 edges, 9739 markings/sec, 300 secs
lola: sara is running 305 secs || 3794811 markings, 5326297 edges, 9343 markings/sec, 305 secs
lola: sara is running 310 secs || 3842192 markings, 5422807 edges, 9476 markings/sec, 310 secs
lola: sara is running 315 secs || 3885263 markings, 5509934 edges, 8614 markings/sec, 315 secs
lola: sara is running 320 secs || 3928140 markings, 5596147 edges, 8575 markings/sec, 320 secs
lola: sara is running 325 secs || 3965345 markings, 5672889 edges, 7441 markings/sec, 325 secs
lola: sara is running 330 secs || 4004278 markings, 5751065 edges, 7787 markings/sec, 330 secs
lola: sara is running 335 secs || 4045854 markings, 5836616 edges, 8315 markings/sec, 335 secs
lola: sara is running 340 secs || 4085182 markings, 5915702 edges, 7866 markings/sec, 340 secs
lola: sara is running 345 secs || 4123362 markings, 5993922 edges, 7636 markings/sec, 345 secs
lola: sara is running 350 secs || 4163982 markings, 6080264 edges, 8124 markings/sec, 350 secs
lola: sara is running 355 secs || 4204824 markings, 6168712 edges, 8168 markings/sec, 355 secs
lola: sara is running 360 secs || 4243399 markings, 6261416 edges, 7715 markings/sec, 360 secs
lola: sara is running 365 secs || 4281541 markings, 6351193 edges, 7628 markings/sec, 365 secs
lola: sara is running 370 secs || 4332880 markings, 6434049 edges, 10268 markings/sec, 370 secs
lola: sara is running 375 secs || 4389957 markings, 6504117 edges, 11415 markings/sec, 375 secs
lola: sara is running 380 secs || 4452415 markings, 6580661 edges, 12492 markings/sec, 380 secs
lola: sara is running 385 secs || 4514401 markings, 6656765 edges, 12397 markings/sec, 385 secs
lola: sara is running 390 secs || 4574301 markings, 6729640 edges, 11980 markings/sec, 390 secs
lola: sara is running 395 secs || 4636909 markings, 6806511 edges, 12522 markings/sec, 395 secs
lola: sara is running 400 secs || 4698732 markings, 6882398 edges, 12365 markings/sec, 400 secs
lola: sara is running 405 secs || 4756974 markings, 6953349 edges, 11648 markings/sec, 405 secs
lola: sara is running 410 secs || 4814141 markings, 7022734 edges, 11433 markings/sec, 410 secs
lola: sara is running 415 secs || 4876888 markings, 7099886 edges, 12549 markings/sec, 415 secs
lola: sara is running 420 secs || 4937513 markings, 7174334 edges, 12125 markings/sec, 420 secs
lola: sara is running 425 secs || 5001241 markings, 7252408 edges, 12746 markings/sec, 425 secs
lola: sara is running 430 secs || 5060944 markings, 7325731 edges, 11941 markings/sec, 430 secs
lola: sara is running 435 secs || 5119888 markings, 7397237 edges, 11789 markings/sec, 435 secs
lola: sara is running 440 secs || 5181585 markings, 7473449 edges, 12339 markings/sec, 440 secs
lola: sara is running 445 secs || 5241962 markings, 7548179 edges, 12075 markings/sec, 445 secs
lola: sara is running 450 secs || 5293431 markings, 7612487 edges, 10294 markings/sec, 450 secs
lola: sara is running 455 secs || 5349986 markings, 7683764 edges, 11311 markings/sec, 455 secs
lola: sara is running 460 secs || 5402195 markings, 7750373 edges, 10442 markings/sec, 460 secs
lola: sara is running 465 secs || 5455771 markings, 7820238 edges, 10715 markings/sec, 465 secs
lola: sara is running 470 secs || 5520629 markings, 7899839 edges, 12972 markings/sec, 470 secs
lola: sara is running 475 secs || 5578217 markings, 7970501 edges, 11518 markings/sec, 475 secs
lola: sara is running 480 secs || 5635015 markings, 8039451 edges, 11360 markings/sec, 480 secs
lola: sara is running 485 secs || 5692441 markings, 8112111 edges, 11485 markings/sec, 485 secs
lola: sara is running 490 secs || 5737151 markings, 8201222 edges, 8942 markings/sec, 490 secs
lola: sara is running 495 secs || 5797974 markings, 8294424 edges, 12165 markings/sec, 495 secs
lola: sara is running 500 secs || 5861698 markings, 8372391 edges, 12745 markings/sec, 500 secs
lola: sara is running 505 secs || 5927645 markings, 8456275 edges, 13189 markings/sec, 505 secs
lola: sara is running 510 secs || 5965619 markings, 8549434 edges, 7595 markings/sec, 510 secs
lola: sara is running 515 secs || 6001717 markings, 8628993 edges, 7220 markings/sec, 515 secs
lola: sara is running 520 secs || 6073343 markings, 8716829 edges, 14325 markings/sec, 520 secs
lola: sara is running 525 secs || 6138620 markings, 8798067 edges, 13055 markings/sec, 525 secs
lola: sara is running 530 secs || 6208049 markings, 8884627 edges, 13886 markings/sec, 530 secs
lola: sara is running 535 secs || 6292006 markings, 8988428 edges, 16791 markings/sec, 535 secs
lola: sara is running 540 secs || 6374003 markings, 9090676 edges, 16399 markings/sec, 540 secs
lola: sara is running 545 secs || 6450646 markings, 9187012 edges, 15329 markings/sec, 545 secs
lola: sara is running 550 secs || 6519594 markings, 9275331 edges, 13790 markings/sec, 550 secs
lola: sara is running 555 secs || 6591013 markings, 9366360 edges, 14284 markings/sec, 555 secs
lola: sara is running 560 secs || 6668220 markings, 9465845 edges, 15441 markings/sec, 560 secs
lola: sara is running 565 secs || 6751279 markings, 9568680 edges, 16612 markings/sec, 565 secs
lola: sara is running 570 secs || 6827277 markings, 9663111 edges, 15200 markings/sec, 570 secs
lola: sara is running 575 secs || 6906977 markings, 9763988 edges, 15940 markings/sec, 575 secs
lola: sara is running 580 secs || 6979065 markings, 9857518 edges, 14418 markings/sec, 580 secs
lola: sara is running 585 secs || 7057855 markings, 9954220 edges, 15758 markings/sec, 585 secs
lola: sara is running 590 secs || 7140444 markings, 10057448 edges, 16518 markings/sec, 590 secs
lola: sara is running 595 secs || 7219168 markings, 10154963 edges, 15745 markings/sec, 595 secs
lola: sara is running 600 secs || 7286265 markings, 10240777 edges, 13419 markings/sec, 600 secs
lola: sara is running 605 secs || 7354231 markings, 10327880 edges, 13593 markings/sec, 605 secs
lola: sara is running 610 secs || 7430847 markings, 10424818 edges, 15323 markings/sec, 610 secs
lola: sara is running 615 secs || 7503585 markings, 10518367 edges, 14548 markings/sec, 615 secs
lola: sara is running 620 secs || 7579652 markings, 10614870 edges, 15213 markings/sec, 620 secs
lola: sara is running 625 secs || 7652641 markings, 10709983 edges, 14598 markings/sec, 625 secs
lola: sara is running 630 secs || 7726910 markings, 10805790 edges, 14854 markings/sec, 630 secs
lola: sara is running 635 secs || 7790774 markings, 10910177 edges, 12773 markings/sec, 635 secs
lola: sara is running 640 secs || 7852689 markings, 11009125 edges, 12383 markings/sec, 640 secs
lola: sara is running 645 secs || 7911852 markings, 11117694 edges, 11833 markings/sec, 645 secs
lola: sara is running 650 secs || 7965192 markings, 11210126 edges, 10668 markings/sec, 650 secs
lola: sara is running 655 secs || 8012047 markings, 11296798 edges, 9371 markings/sec, 655 secs
lola: sara is running 660 secs || 8068439 markings, 11380016 edges, 11278 markings/sec, 660 secs
lola: sara is running 665 secs || 8116977 markings, 11470818 edges, 9708 markings/sec, 665 secs
lola: sara is running 670 secs || 8165873 markings, 11555436 edges, 9779 markings/sec, 670 secs
lola: sara is running 675 secs || 8237641 markings, 11662125 edges, 14354 markings/sec, 675 secs
lola: sara is running 680 secs || 8308560 markings, 11763265 edges, 14184 markings/sec, 680 secs
lola: sara is running 685 secs || 8379752 markings, 11867731 edges, 14238 markings/sec, 685 secs
lola: sara is running 690 secs || 8451401 markings, 11971233 edges, 14330 markings/sec, 690 secs
lola: sara is running 695 secs || 8521306 markings, 12075666 edges, 13981 markings/sec, 695 secs
lola: sara is running 700 secs || 8591992 markings, 12179335 edges, 14137 markings/sec, 700 secs
lola: sara is running 705 secs || 8663936 markings, 12285503 edges, 14389 markings/sec, 705 secs
lola: sara is running 710 secs || 8736209 markings, 12390697 edges, 14455 markings/sec, 710 secs
lola: sara is running 715 secs || 8803234 markings, 12497022 edges, 13405 markings/sec, 715 secs
lola: sara is running 720 secs || 8876510 markings, 12609394 edges, 14655 markings/sec, 720 secs
lola: sara is running 725 secs || 8948624 markings, 12717820 edges, 14423 markings/sec, 725 secs
lola: sara is running 730 secs || 9017957 markings, 12826677 edges, 13867 markings/sec, 730 secs
lola: sara is running 735 secs || 9072520 markings, 12900329 edges, 10913 markings/sec, 735 secs
lola: sara is running 740 secs || 9128873 markings, 12968501 edges, 11271 markings/sec, 740 secs
lola: sara is running 745 secs || 9187876 markings, 13037175 edges, 11801 markings/sec, 745 secs
lola: sara is running 750 secs || 9245286 markings, 13104724 edges, 11482 markings/sec, 750 secs
lola: sara is running 755 secs || 9299977 markings, 13169276 edges, 10938 markings/sec, 755 secs
lola: sara is running 760 secs || 9354947 markings, 13233396 edges, 10994 markings/sec, 760 secs
lola: sara is running 765 secs || 9408837 markings, 13297895 edges, 10778 markings/sec, 765 secs
lola: sara is running 770 secs || 9458993 markings, 13372513 edges, 10031 markings/sec, 770 secs
lola: sara is running 775 secs || 9496111 markings, 13456848 edges, 7424 markings/sec, 775 secs
lola: sara is running 780 secs || 9541746 markings, 13538963 edges, 9127 markings/sec, 780 secs
lola: sara is running 785 secs || 9582323 markings, 13615588 edges, 8115 markings/sec, 785 secs
lola: sara is running 790 secs || 9623594 markings, 13698613 edges, 8254 markings/sec, 790 secs
lola: sara is running 795 secs || 9663995 markings, 13771804 edges, 8080 markings/sec, 795 secs
lola: sara is running 800 secs || 9713408 markings, 13858534 edges, 9883 markings/sec, 800 secs
lola: sara is running 805 secs || 9755347 markings, 13938371 edges, 8388 markings/sec, 805 secs
lola: sara is running 810 secs || 9804451 markings, 14012283 edges, 9821 markings/sec, 810 secs
lola: sara is running 815 secs || 9862780 markings, 14083743 edges, 11666 markings/sec, 815 secs
lola: sara is running 820 secs || 9914652 markings, 14159635 edges, 10374 markings/sec, 820 secs
lola: sara is running 825 secs || 9969819 markings, 14227106 edges, 11033 markings/sec, 825 secs
lola: sara is running 830 secs || 10025682 markings, 14299272 edges, 11173 markings/sec, 830 secs
lola: sara is running 835 secs || 10084131 markings, 14378650 edges, 11690 markings/sec, 835 secs
lola: sara is running 840 secs || 10140740 markings, 14454762 edges, 11322 markings/sec, 840 secs
lola: sara is running 845 secs || 10197497 markings, 14525006 edges, 11351 markings/sec, 845 secs
lola: sara is running 850 secs || 10245526 markings, 14595081 edges, 9606 markings/sec, 850 secs
lola: sara is running 855 secs || 10303743 markings, 14665931 edges, 11643 markings/sec, 855 secs
lola: sara is running 860 secs || 10359384 markings, 14740705 edges, 11128 markings/sec, 860 secs
lola: sara is running 865 secs || 10418477 markings, 14813053 edges, 11819 markings/sec, 865 secs
lola: sara is running 870 secs || 10475248 markings, 14893306 edges, 11354 markings/sec, 870 secs
lola: sara is running 875 secs || 10525370 markings, 14980996 edges, 10024 markings/sec, 875 secs
lola: sara is running 880 secs || 10580688 markings, 15060898 edges, 11064 markings/sec, 880 secs
lola: sara is running 885 secs || 10637201 markings, 15132387 edges, 11303 markings/sec, 885 secs
lola: sara is running 890 secs || 10688513 markings, 15215724 edges, 10262 markings/sec, 890 secs
lola: sara is running 895 secs || 10738527 markings, 15293766 edges, 10003 markings/sec, 895 secs
lola: sara is running 900 secs || 10793239 markings, 15363559 edges, 10942 markings/sec, 900 secs
lola: sara is running 905 secs || 10833018 markings, 15435990 edges, 7956 markings/sec, 905 secs
lola: sara is running 910 secs || 10867156 markings, 15511726 edges, 6828 markings/sec, 910 secs
lola: sara is running 915 secs || 10910763 markings, 15585637 edges, 8721 markings/sec, 915 secs
lola: sara is running 920 secs || 10978015 markings, 15669787 edges, 13450 markings/sec, 920 secs
lola: sara is running 925 secs || 11031086 markings, 15733236 edges, 10614 markings/sec, 925 secs
lola: sara is running 930 secs || 11083428 markings, 15796890 edges, 10468 markings/sec, 930 secs
lola: sara is running 935 secs || 11126422 markings, 15864593 edges, 8599 markings/sec, 935 secs
lola: sara is running 940 secs || 11167623 markings, 15939265 edges, 8240 markings/sec, 940 secs
lola: sara is running 945 secs || 11205725 markings, 16023950 edges, 7620 markings/sec, 945 secs
lola: sara is running 950 secs || 11256781 markings, 16097609 edges, 10211 markings/sec, 950 secs
lola: sara is running 955 secs || 11307668 markings, 16163783 edges, 10177 markings/sec, 955 secs
lola: sara is running 960 secs || 11356389 markings, 16233491 edges, 9744 markings/sec, 960 secs
lola: sara is running 965 secs || 11408711 markings, 16296665 edges, 10464 markings/sec, 965 secs
lola: sara is running 970 secs || 11456905 markings, 16369112 edges, 9639 markings/sec, 970 secs
lola: sara is running 975 secs || 11510997 markings, 16439441 edges, 10818 markings/sec, 975 secs
lola: sara is running 980 secs || 11559403 markings, 16511475 edges, 9681 markings/sec, 980 secs
lola: sara is running 985 secs || 11621318 markings, 16603018 edges, 12383 markings/sec, 985 secs
lola: sara is running 990 secs || 11676276 markings, 16669740 edges, 10992 markings/sec, 990 secs
lola: sara is running 995 secs || 11725207 markings, 16735896 edges, 9786 markings/sec, 995 secs
lola: sara is running 1000 secs || 11783680 markings, 16849573 edges, 11695 markings/sec, 1000 secs
lola: sara is running 1005 secs || 11834924 markings, 16919561 edges, 10249 markings/sec, 1005 secs
lola: sara is running 1010 secs || 11894210 markings, 17003283 edges, 11857 markings/sec, 1010 secs
lola: sara is running 1015 secs || 11936509 markings, 17095289 edges, 8460 markings/sec, 1015 secs
lola: sara is running 1020 secs || 11976182 markings, 17178529 edges, 7935 markings/sec, 1020 secs
lola: sara is running 1025 secs || 12029931 markings, 17262783 edges, 10750 markings/sec, 1025 secs
lola: sara is running 1030 secs || 12080846 markings, 17331512 edges, 10183 markings/sec, 1030 secs
lola: sara is running 1035 secs || 12129880 markings, 17401481 edges, 9807 markings/sec, 1035 secs
lola: sara is running 1040 secs || 12186894 markings, 17471469 edges, 11403 markings/sec, 1040 secs
lola: sara is running 1045 secs || 12233752 markings, 17552157 edges, 9372 markings/sec, 1045 secs
lola: sara is running 1050 secs || 12278844 markings, 17632703 edges, 9018 markings/sec, 1050 secs
lola: sara is running 1055 secs || 12330031 markings, 17703740 edges, 10237 markings/sec, 1055 secs
lola: sara is running 1060 secs || 12385850 markings, 17784755 edges, 11164 markings/sec, 1060 secs
lola: sara is running 1065 secs || 12434195 markings, 17850149 edges, 9669 markings/sec, 1065 secs
lola: sara is running 1070 secs || 12484779 markings, 17916693 edges, 10117 markings/sec, 1070 secs
lola: sara is running 1075 secs || 12546471 markings, 17992360 edges, 12338 markings/sec, 1075 secs
lola: sara is running 1080 secs || 12617013 markings, 18080492 edges, 14108 markings/sec, 1080 secs
lola: sara is running 1085 secs || 12669086 markings, 18169842 edges, 10415 markings/sec, 1085 secs
lola: sara is running 1090 secs || 12713838 markings, 18251636 edges, 8950 markings/sec, 1090 secs
lola: sara is running 1095 secs || 12761588 markings, 18331268 edges, 9550 markings/sec, 1095 secs
lola: sara is running 1100 secs || 12828399 markings, 18417030 edges, 13362 markings/sec, 1100 secs
lola: sara is running 1105 secs || 12882121 markings, 18491068 edges, 10744 markings/sec, 1105 secs
lola: sara is running 1110 secs || 12950450 markings, 18591175 edges, 13666 markings/sec, 1110 secs
lola: sara is running 1115 secs || 12994328 markings, 18684550 edges, 8776 markings/sec, 1115 secs
lola: sara is running 1120 secs || 13054677 markings, 18764550 edges, 12070 markings/sec, 1120 secs
lola: sara is running 1125 secs || 13104191 markings, 18852288 edges, 9903 markings/sec, 1125 secs
lola: sara is running 1130 secs || 13150923 markings, 18945449 edges, 9346 markings/sec, 1130 secs
lola: sara is running 1135 secs || 13213197 markings, 19032805 edges, 12455 markings/sec, 1135 secs
lola: sara is running 1140 secs || 13260784 markings, 19088867 edges, 9517 markings/sec, 1140 secs
lola: sara is running 1145 secs || 13305100 markings, 19141160 edges, 8863 markings/sec, 1145 secs
lola: sara is running 1150 secs || 13353092 markings, 19202926 edges, 9598 markings/sec, 1150 secs
lola: sara is running 1155 secs || 13392337 markings, 19267798 edges, 7849 markings/sec, 1155 secs
lola: sara is running 1160 secs || 13434936 markings, 19327574 edges, 8520 markings/sec, 1160 secs
lola: sara is running 1165 secs || 13483361 markings, 19400139 edges, 9685 markings/sec, 1165 secs
lola: sara is running 1170 secs || 13544311 markings, 19480048 edges, 12190 markings/sec, 1170 secs
lola: sara is running 1175 secs || 13595163 markings, 19541893 edges, 10170 markings/sec, 1175 secs
lola: sara is running 1180 secs || 13644568 markings, 19603327 edges, 9881 markings/sec, 1180 secs
lola: sara is running 1185 secs || 13688044 markings, 19668895 edges, 8695 markings/sec, 1185 secs
lola: sara is running 1190 secs || 13733780 markings, 19745127 edges, 9147 markings/sec, 1190 secs
lola: sara is running 1195 secs || 13781008 markings, 19821034 edges, 9446 markings/sec, 1195 secs
lola: sara is running 1200 secs || 13830556 markings, 19907404 edges, 9910 markings/sec, 1200 secs
lola: sara is running 1205 secs || 13893980 markings, 19988045 edges, 12685 markings/sec, 1205 secs
lola: sara is running 1210 secs || 13937243 markings, 20043635 edges, 8653 markings/sec, 1210 secs
lola: sara is running 1215 secs || 13977872 markings, 20114248 edges, 8126 markings/sec, 1215 secs
lola: sara is running 1220 secs || 14025605 markings, 20202165 edges, 9547 markings/sec, 1220 secs
lola: sara is running 1225 secs || 14092615 markings, 20296093 edges, 13402 markings/sec, 1225 secs
lola: sara is running 1230 secs || 14147134 markings, 20371639 edges, 10904 markings/sec, 1230 secs
lola: sara is running 1235 secs || 14199242 markings, 20439548 edges, 10422 markings/sec, 1235 secs
lola: sara is running 1240 secs || 14238823 markings, 20511465 edges, 7916 markings/sec, 1240 secs
lola: sara is running 1245 secs || 14283145 markings, 20578160 edges, 8864 markings/sec, 1245 secs
lola: sara is running 1250 secs || 14336801 markings, 20661457 edges, 10731 markings/sec, 1250 secs
lola: sara is running 1255 secs || 14387670 markings, 20757463 edges, 10174 markings/sec, 1255 secs
lola: sara is running 1260 secs || 14442989 markings, 20835214 edges, 11064 markings/sec, 1260 secs
lola: sara is running 1265 secs || 14495226 markings, 20934010 edges, 10447 markings/sec, 1265 secs
lola: sara is running 1270 secs || 14538519 markings, 21036227 edges, 8659 markings/sec, 1270 secs
lola: sara is running 1275 secs || 14587558 markings, 21104671 edges, 9808 markings/sec, 1275 secs
lola: sara is running 1280 secs || 14653444 markings, 21186709 edges, 13177 markings/sec, 1280 secs
lola: sara is running 1285 secs || 14713670 markings, 21268143 edges, 12045 markings/sec, 1285 secs
lola: sara is running 1290 secs || 14763859 markings, 21348602 edges, 10038 markings/sec, 1290 secs
lola: sara is running 1295 secs || 14817369 markings, 21426872 edges, 10702 markings/sec, 1295 secs
lola: sara is running 1300 secs || 14870514 markings, 21533232 edges, 10629 markings/sec, 1300 secs
lola: sara is running 1305 secs || 14925921 markings, 21603121 edges, 11081 markings/sec, 1305 secs
lola: sara is running 1310 secs || 14976008 markings, 21676592 edges, 10017 markings/sec, 1310 secs
lola: sara is running 1315 secs || 15022466 markings, 21749477 edges, 9292 markings/sec, 1315 secs
lola: sara is running 1320 secs || 15072636 markings, 21824718 edges, 10034 markings/sec, 1320 secs
lola: sara is running 1325 secs || 15125398 markings, 21902672 edges, 10552 markings/sec, 1325 secs
lola: sara is running 1330 secs || 15177046 markings, 21992846 edges, 10330 markings/sec, 1330 secs
lola: sara is running 1335 secs || 15247150 markings, 22107315 edges, 14021 markings/sec, 1335 secs
lola: sara is running 1340 secs || 15314173 markings, 22224432 edges, 13405 markings/sec, 1340 secs
lola: sara is running 1345 secs || 15389542 markings, 22317587 edges, 15074 markings/sec, 1345 secs
lola: sara is running 1350 secs || 15448219 markings, 22429860 edges, 11735 markings/sec, 1350 secs
lola: sara is running 1355 secs || 15523408 markings, 22530077 edges, 15038 markings/sec, 1355 secs
lola: sara is running 1360 secs || 15604621 markings, 22630613 edges, 16243 markings/sec, 1360 secs
lola: sara is running 1365 secs || 15662636 markings, 22758436 edges, 11603 markings/sec, 1365 secs
lola: sara is running 1370 secs || 15722449 markings, 22868686 edges, 11963 markings/sec, 1370 secs
lola: sara is running 1375 secs || 15780424 markings, 22950886 edges, 11595 markings/sec, 1375 secs
lola: sara is running 1380 secs || 15836326 markings, 23023207 edges, 11180 markings/sec, 1380 secs
lola: sara is running 1385 secs || 15899976 markings, 23127981 edges, 12730 markings/sec, 1385 secs
lola: sara is running 1390 secs || 15959441 markings, 23216173 edges, 11893 markings/sec, 1390 secs
lola: sara is running 1395 secs || 16018309 markings, 23298512 edges, 11774 markings/sec, 1395 secs
lola: sara is running 1400 secs || 16062974 markings, 23358928 edges, 8933 markings/sec, 1400 secs
lola: sara is running 1405 secs || 16109720 markings, 23434035 edges, 9349 markings/sec, 1405 secs
lola: sara is running 1410 secs || 16165918 markings, 23510474 edges, 11240 markings/sec, 1410 secs
lola: sara is running 1415 secs || 16217148 markings, 23593216 edges, 10246 markings/sec, 1415 secs
lola: sara is running 1420 secs || 16282505 markings, 23686771 edges, 13071 markings/sec, 1420 secs
lola: sara is running 1425 secs || 16360633 markings, 23787447 edges, 15626 markings/sec, 1425 secs
lola: sara is running 1430 secs || 16429711 markings, 23878502 edges, 13816 markings/sec, 1430 secs
lola: sara is running 1435 secs || 16494001 markings, 23963509 edges, 12858 markings/sec, 1435 secs
lola: sara is running 1440 secs || 16558737 markings, 24046835 edges, 12947 markings/sec, 1440 secs
lola: sara is running 1445 secs || 16609830 markings, 24128769 edges, 10219 markings/sec, 1445 secs
lola: sara is running 1450 secs || 16668901 markings, 24220547 edges, 11814 markings/sec, 1450 secs
lola: sara is running 1455 secs || 16731972 markings, 24321395 edges, 12614 markings/sec, 1455 secs
lola: sara is running 1460 secs || 16797568 markings, 24416972 edges, 13119 markings/sec, 1460 secs
lola: sara is running 1465 secs || 16857942 markings, 24507678 edges, 12075 markings/sec, 1465 secs
lola: sara is running 1470 secs || 16923573 markings, 24600544 edges, 13126 markings/sec, 1470 secs
lola: sara is running 1475 secs || 16981520 markings, 24686923 edges, 11589 markings/sec, 1475 secs
lola: sara is running 1480 secs || 17047711 markings, 24776440 edges, 13238 markings/sec, 1480 secs
lola: sara is running 1485 secs || 17102637 markings, 24859150 edges, 10985 markings/sec, 1485 secs
lola: sara is running 1490 secs || 17162199 markings, 24935640 edges, 11912 markings/sec, 1490 secs
lola: sara is running 1495 secs || 17221838 markings, 25011864 edges, 11928 markings/sec, 1495 secs
lola: sara is running 1500 secs || 17280951 markings, 25094365 edges, 11823 markings/sec, 1500 secs
lola: sara is running 1505 secs || 17337386 markings, 25174411 edges, 11287 markings/sec, 1505 secs
lola: sara is running 1510 secs || 17391091 markings, 25253630 edges, 10741 markings/sec, 1510 secs
lola: sara is running 1515 secs || 17447244 markings, 25342772 edges, 11231 markings/sec, 1515 secs
lola: sara is running 1520 secs || 17506096 markings, 25418889 edges, 11770 markings/sec, 1520 secs
lola: sara is running 1525 secs || 17566150 markings, 25494597 edges, 12011 markings/sec, 1525 secs
lola: sara is running 1530 secs || 17619478 markings, 25561565 edges, 10666 markings/sec, 1530 secs
lola: sara is running 1535 secs || 17677490 markings, 25641049 edges, 11602 markings/sec, 1535 secs
lola: sara is running 1540 secs || 17730166 markings, 25713108 edges, 10535 markings/sec, 1540 secs
lola: sara is running 1545 secs || 17784847 markings, 25785563 edges, 10936 markings/sec, 1545 secs
lola: sara is running 1550 secs || 17843007 markings, 25858436 edges, 11632 markings/sec, 1550 secs
lola: sara is running 1555 secs || 17899013 markings, 25928974 edges, 11201 markings/sec, 1555 secs
lola: sara is running 1560 secs || 17952343 markings, 25995289 edges, 10666 markings/sec, 1560 secs
lola: sara is running 1565 secs || 18005849 markings, 26062205 edges, 10701 markings/sec, 1565 secs
lola: sara is running 1570 secs || 18057690 markings, 26128588 edges, 10368 markings/sec, 1570 secs
lola: sara is running 1575 secs || 18116418 markings, 26201374 edges, 11746 markings/sec, 1575 secs
lola: sara is running 1580 secs || 18168459 markings, 26265919 edges, 10408 markings/sec, 1580 secs
lola: sara is running 1585 secs || 18228072 markings, 26339150 edges, 11923 markings/sec, 1585 secs
lola: sara is running 1590 secs || 18280983 markings, 26404495 edges, 10582 markings/sec, 1590 secs
lola: sara is running 1595 secs || 18335449 markings, 26472083 edges, 10893 markings/sec, 1595 secs
lola: sara is running 1600 secs || 18388853 markings, 26539956 edges, 10681 markings/sec, 1600 secs
lola: sara is running 1605 secs || 18447166 markings, 26611944 edges, 11663 markings/sec, 1605 secs
lola: sara is running 1610 secs || 18501790 markings, 26679011 edges, 10925 markings/sec, 1610 secs
lola: sara is running 1615 secs || 18558318 markings, 26748696 edges, 11306 markings/sec, 1615 secs
lola: sara is running 1620 secs || 18613098 markings, 26815969 edges, 10956 markings/sec, 1620 secs
lola: sara is running 1625 secs || 18664224 markings, 26879259 edges, 10225 markings/sec, 1625 secs
lola: sara is running 1630 secs || 18721836 markings, 26950401 edges, 11522 markings/sec, 1630 secs
lola: sara is running 1635 secs || 18779224 markings, 27023411 edges, 11478 markings/sec, 1635 secs
lola: sara is running 1640 secs || 18835720 markings, 27099361 edges, 11299 markings/sec, 1640 secs
lola: sara is running 1645 secs || 18887428 markings, 27163162 edges, 10342 markings/sec, 1645 secs
lola: sara is running 1650 secs || 18943345 markings, 27232631 edges, 11183 markings/sec, 1650 secs
lola: sara is running 1655 secs || 18994357 markings, 27296083 edges, 10202 markings/sec, 1655 secs
lola: sara is running 1660 secs || 19047920 markings, 27361529 edges, 10713 markings/sec, 1660 secs
lola: sara is running 1665 secs || 19100194 markings, 27426119 edges, 10455 markings/sec, 1665 secs
lola: sara is running 1670 secs || 19157517 markings, 27497645 edges, 11465 markings/sec, 1670 secs
lola: sara is running 1675 secs || 19220013 markings, 27576712 edges, 12499 markings/sec, 1675 secs
lola: sara is running 1680 secs || 19270138 markings, 27638847 edges, 10025 markings/sec, 1680 secs
lola: sara is running 1685 secs || 19326636 markings, 27708740 edges, 11300 markings/sec, 1685 secs
lola: sara is running 1690 secs || 19381123 markings, 27776137 edges, 10897 markings/sec, 1690 secs
lola: sara is running 1695 secs || 19430799 markings, 27837150 edges, 9935 markings/sec, 1695 secs
lola: sara is running 1700 secs || 19474817 markings, 27891006 edges, 8804 markings/sec, 1700 secs
lola: sara is running 1705 secs || 19529612 markings, 27958336 edges, 10959 markings/sec, 1705 secs
lola: sara is running 1710 secs || 19570908 markings, 28009004 edges, 8259 markings/sec, 1710 secs
lola: sara is running 1715 secs || 19609756 markings, 28086226 edges, 7770 markings/sec, 1715 secs
lola: sara is running 1720 secs || 19648122 markings, 28176127 edges, 7673 markings/sec, 1720 secs
lola: sara is running 1725 secs || 19701863 markings, 28249174 edges, 10748 markings/sec, 1725 secs
lola: sara is running 1730 secs || 19749031 markings, 28307081 edges, 9434 markings/sec, 1730 secs
lola: sara is running 1735 secs || 19789787 markings, 28378854 edges, 8151 markings/sec, 1735 secs
lola: sara is running 1740 secs || 19829886 markings, 28465714 edges, 8020 markings/sec, 1740 secs
lola: sara is running 1745 secs || 19867602 markings, 28553841 edges, 7543 markings/sec, 1745 secs
lola: sara is running 1750 secs || 19921034 markings, 28627224 edges, 10686 markings/sec, 1750 secs
lola: sara is running 1755 secs || 19967504 markings, 28684276 edges, 9294 markings/sec, 1755 secs
lola: sara is running 1760 secs || 20018794 markings, 28747079 edges, 10258 markings/sec, 1760 secs
lola: sara is running 1765 secs || 20068263 markings, 28807837 edges, 9894 markings/sec, 1765 secs
lola: sara is running 1770 secs || 20108300 markings, 28863609 edges, 8007 markings/sec, 1770 secs
lola: sara is running 1775 secs || 20148901 markings, 28951540 edges, 8120 markings/sec, 1775 secs
lola: sara is running 1780 secs || 20189346 markings, 29038903 edges, 8089 markings/sec, 1780 secs
lola: sara is running 1785 secs || 20233268 markings, 29127849 edges, 8784 markings/sec, 1785 secs
lola: sara is running 1790 secs || 20275259 markings, 29213172 edges, 8398 markings/sec, 1790 secs
lola: sara is running 1795 secs || 20314173 markings, 29292589 edges, 7783 markings/sec, 1795 secs
lola: sara is running 1800 secs || 20352636 markings, 29369553 edges, 7693 markings/sec, 1800 secs
lola: sara is running 1805 secs || 20386734 markings, 29439537 edges, 6820 markings/sec, 1805 secs
lola: sara is running 1810 secs || 20420555 markings, 29508459 edges, 6764 markings/sec, 1810 secs
lola: sara is running 1815 secs || 20453564 markings, 29575440 edges, 6602 markings/sec, 1815 secs
lola: sara is running 1820 secs || 20485309 markings, 29640211 edges, 6349 markings/sec, 1820 secs
lola: sara is running 1825 secs || 20516284 markings, 29703577 edges, 6195 markings/sec, 1825 secs
lola: sara is running 1830 secs || 20546090 markings, 29764186 edges, 5961 markings/sec, 1830 secs
lola: sara is running 1835 secs || 20575344 markings, 29823521 edges, 5851 markings/sec, 1835 secs
lola: sara is running 1840 secs || 20603755 markings, 29881830 edges, 5682 markings/sec, 1840 secs
lola: sara is running 1845 secs || 20631291 markings, 29937896 edges, 5507 markings/sec, 1845 secs
lola: sara is running 1850 secs || 20657106 markings, 29990678 edges, 5163 markings/sec, 1850 secs
lola: sara is running 1855 secs || 20682607 markings, 30042876 edges, 5100 markings/sec, 1855 secs
lola: sara is running 1860 secs || 20708467 markings, 30095151 edges, 5172 markings/sec, 1860 secs
lola: sara is running 1865 secs || 20733443 markings, 30146638 edges, 4995 markings/sec, 1865 secs
lola: sara is running 1870 secs || 20757309 markings, 30195438 edges, 4773 markings/sec, 1870 secs
lola: sara is running 1875 secs || 20782732 markings, 30247338 edges, 5085 markings/sec, 1875 secs
lola: sara is running 1880 secs || 20820420 markings, 30328502 edges, 7538 markings/sec, 1880 secs
lola: sara is running 1885 secs || 20859980 markings, 30414202 edges, 7912 markings/sec, 1885 secs
lola: sara is running 1890 secs || 20895017 markings, 30502747 edges, 7007 markings/sec, 1890 secs
lola: sara is running 1895 secs || 20931547 markings, 30587359 edges, 7306 markings/sec, 1895 secs
lola: sara is running 1900 secs || 20979660 markings, 30662720 edges, 9623 markings/sec, 1900 secs
lola: sara is running 1905 secs || 21026791 markings, 30720599 edges, 9426 markings/sec, 1905 secs
lola: sara is running 1910 secs || 21066856 markings, 30769695 edges, 8013 markings/sec, 1910 secs
lola: sara is running 1915 secs || 21121206 markings, 30836384 edges, 10870 markings/sec, 1915 secs
lola: sara is running 1920 secs || 21162785 markings, 30887409 edges, 8316 markings/sec, 1920 secs
lola: sara is running 1925 secs || 21213180 markings, 30948770 edges, 10079 markings/sec, 1925 secs
lola: sara is running 1930 secs || 21269566 markings, 31017822 edges, 11277 markings/sec, 1930 secs
lola: sara is running 1935 secs || 21321956 markings, 31082192 edges, 10478 markings/sec, 1935 secs
lola: sara is running 1940 secs || 21360880 markings, 31129941 edges, 7785 markings/sec, 1940 secs
lola: sara is running 1945 secs || 21415663 markings, 31196473 edges, 10957 markings/sec, 1945 secs
lola: sara is running 1950 secs || 21471184 markings, 31264075 edges, 11104 markings/sec, 1950 secs
lola: sara is running 1955 secs || 21527198 markings, 31332912 edges, 11203 markings/sec, 1955 secs
lola: sara is running 1960 secs || 21571660 markings, 31387509 edges, 8892 markings/sec, 1960 secs
lola: sara is running 1965 secs || 21618301 markings, 31444601 edges, 9328 markings/sec, 1965 secs
lola: sara is running 1970 secs || 21668441 markings, 31506192 edges, 10028 markings/sec, 1970 secs
lola: sara is running 1975 secs || 21707487 markings, 31554095 edges, 7809 markings/sec, 1975 secs
lola: sara is running 1980 secs || 21763853 markings, 31622552 edges, 11273 markings/sec, 1980 secs
lola: sara is running 1985 secs || 21819885 markings, 31691713 edges, 11206 markings/sec, 1985 secs
lola: sara is running 1990 secs || 21869097 markings, 31753092 edges, 9842 markings/sec, 1990 secs
lola: sara is running 1995 secs || 21912011 markings, 31806129 edges, 8583 markings/sec, 1995 secs
lola: sara is running 2000 secs || 21957125 markings, 31862521 edges, 9023 markings/sec, 2000 secs
lola: sara is running 2005 secs || 22011847 markings, 31931508 edges, 10944 markings/sec, 2005 secs
lola: sara is running 2010 secs || 22064831 markings, 32000827 edges, 10597 markings/sec, 2010 secs
lola: sara is running 2015 secs || 22118707 markings, 32068738 edges, 10775 markings/sec, 2015 secs
lola: sara is running 2020 secs || 22173312 markings, 32135831 edges, 10921 markings/sec, 2020 secs
lola: sara is running 2025 secs || 22215088 markings, 32187086 edges, 8355 markings/sec, 2025 secs
lola: sara is running 2030 secs || 22270309 markings, 32254215 edges, 11044 markings/sec, 2030 secs
lola: sara is running 2035 secs || 22296842 markings, 32286417 edges, 5307 markings/sec, 2035 secs
lola: sara is running 2040 secs || 22298704 markings, 32288699 edges, 372 markings/sec, 2040 secs
lola: sara is running 2045 secs || 22299499 markings, 32289665 edges, 159 markings/sec, 2045 secs
lola: sara is running 2050 secs || 22300871 markings, 32291315 edges, 274 markings/sec, 2050 secs
lola: sara is running 2055 secs || 22303639 markings, 32294666 edges, 554 markings/sec, 2055 secs
lola: sara is running 2060 secs || 22306310 markings, 32297892 edges, 534 markings/sec, 2060 secs
lola: sara is running 2065 secs || 22307963 markings, 32299913 edges, 331 markings/sec, 2065 secs
lola: sara is running 2070 secs || 22309286 markings, 32301544 edges, 265 markings/sec, 2070 secs
lola: sara is running 2075 secs || 22309541 markings, 32301856 edges, 51 markings/sec, 2075 secs
lola: sara is running 2080 secs || 22310870 markings, 32303460 edges, 266 markings/sec, 2080 secs
lola: sara is running 2085 secs || 22313094 markings, 32306152 edges, 445 markings/sec, 2085 secs
lola: sara is running 2090 secs || 22315034 markings, 32308483 edges, 388 markings/sec, 2090 secs
lola: sara is running 2095 secs || 22316066 markings, 32309786 edges, 206 markings/sec, 2095 secs
lola: sara is running 2100 secs || 22316695 markings, 32310764 edges, 126 markings/sec, 2100 secs
lola: sara is running 2105 secs || 22317393 markings, 32311874 edges, 140 markings/sec, 2105 secs
lola: sara is running 2110 secs || 22318606 markings, 32313782 edges, 243 markings/sec, 2110 secs
lola: sara is running 2115 secs || 22320324 markings, 32316398 edges, 344 markings/sec, 2115 secs
lola: sara is running 2120 secs || 22320842 markings, 32317093 edges, 104 markings/sec, 2120 secs
lola: sara is running 2125 secs || 22322274 markings, 32319121 edges, 286 markings/sec, 2125 secs
lola: sara is running 2130 secs || 22326029 markings, 32324324 edges, 751 markings/sec, 2130 secs
lola: sara is running 2135 secs || 22326626 markings, 32325052 edges, 119 markings/sec, 2135 secs
lola: sara is running 2140 secs || 22328051 markings, 32326789 edges, 285 markings/sec, 2140 secs
lola: sara is running 2145 secs || 22330060 markings, 32329258 edges, 402 markings/sec, 2145 secs
lola: sara is running 2150 secs || 22330972 markings, 32330369 edges, 182 markings/sec, 2150 secs
lola: sara is running 2155 secs || 22334236 markings, 32334316 edges, 653 markings/sec, 2155 secs
lola: sara is running 2160 secs || 22336058 markings, 32336504 edges, 364 markings/sec, 2160 secs
lola: sara is running 2165 secs || 22341020 markings, 32343417 edges, 992 markings/sec, 2165 secs
lola: sara is running 2170 secs || 22342233 markings, 32344983 edges, 243 markings/sec, 2170 secs
lola: sara is running 2175 secs || 22344913 markings, 32348542 edges, 536 markings/sec, 2175 secs
lola: sara is running 2180 secs || 22348168 markings, 32352748 edges, 651 markings/sec, 2180 secs
lola: sara is running 2185 secs || 22349203 markings, 32354090 edges, 207 markings/sec, 2185 secs
lola: sara is running 2190 secs || 22351203 markings, 32356699 edges, 400 markings/sec, 2190 secs
lola: sara is running 2195 secs || 22353390 markings, 32359415 edges, 437 markings/sec, 2195 secs
lola: sara is running 2200 secs || 22355311 markings, 32361814 edges, 384 markings/sec, 2200 secs
lola: sara is running 2205 secs || 22356138 markings, 32362847 edges, 165 markings/sec, 2205 secs
lola: sara is running 2210 secs || 22358328 markings, 32365532 edges, 438 markings/sec, 2210 secs
lola: sara is running 2215 secs || 22358755 markings, 32366048 edges, 85 markings/sec, 2215 secs
lola: sara is running 2220 secs || 22359656 markings, 32367156 edges, 180 markings/sec, 2220 secs
lola: sara is running 2225 secs || 22360335 markings, 32367980 edges, 136 markings/sec, 2225 secs
lola: sara is running 2230 secs || 22361414 markings, 32369311 edges, 216 markings/sec, 2230 secs
lola: sara is running 2235 secs || 22363446 markings, 32371767 edges, 406 markings/sec, 2235 secs
lola: sara is running 2240 secs || 22365485 markings, 32374250 edges, 408 markings/sec, 2240 secs
lola: sara is running 2245 secs || 22368418 markings, 32377778 edges, 587 markings/sec, 2245 secs
lola: sara is running 2250 secs || 22369039 markings, 32378532 edges, 124 markings/sec, 2250 secs
lola: sara is running 2255 secs || 22370886 markings, 32380787 edges, 369 markings/sec, 2255 secs
lola: sara is running 2260 secs || 22372711 markings, 32383037 edges, 365 markings/sec, 2260 secs
lola: sara is running 2265 secs || 22373986 markings, 32384561 edges, 255 markings/sec, 2265 secs
lola: sara is running 2270 secs || 22375735 markings, 32386695 edges, 350 markings/sec, 2270 secs
lola: sara is running 2275 secs || 22401050 markings, 32469440 edges, 5063 markings/sec, 2275 secs
lola: sara is running 2280 secs || 22457243 markings, 32538481 edges, 11239 markings/sec, 2280 secs
lola: sara is running 2285 secs || 22496905 markings, 32587145 edges, 7932 markings/sec, 2285 secs
lola: sara is running 2290 secs || 22552344 markings, 32657283 edges, 11088 markings/sec, 2290 secs
lola: sara is running 2295 secs || 22597852 markings, 32743907 edges, 9102 markings/sec, 2295 secs
lola: sara is running 2300 secs || 22631283 markings, 32825818 edges, 6686 markings/sec, 2300 secs
lola: sara is running 2305 secs || 22683369 markings, 32900408 edges, 10417 markings/sec, 2305 secs
lola: sara is running 2310 secs || 22731427 markings, 32959428 edges, 9612 markings/sec, 2310 secs
lola: sara is running 2315 secs || 22775911 markings, 33014947 edges, 8897 markings/sec, 2315 secs
lola: sara is running 2320 secs || 22837420 markings, 33092247 edges, 12302 markings/sec, 2320 secs
lola: sara is running 2325 secs || 22905554 markings, 33176658 edges, 13627 markings/sec, 2325 secs
lola: sara is running 2330 secs || 22968734 markings, 33257349 edges, 12636 markings/sec, 2330 secs
lola: sara is running 2335 secs || 23027321 markings, 33332024 edges, 11717 markings/sec, 2335 secs
lola: sara is running 2340 secs || 23085425 markings, 33404518 edges, 11621 markings/sec, 2340 secs
lola: sara is running 2345 secs || 23139917 markings, 33472500 edges, 10898 markings/sec, 2345 secs
lola: sara is running 2350 secs || 23192193 markings, 33537418 edges, 10455 markings/sec, 2350 secs
lola: sara is running 2355 secs || 23254730 markings, 33617564 edges, 12507 markings/sec, 2355 secs
lola: sara is running 2360 secs || 23323771 markings, 33705699 edges, 13808 markings/sec, 2360 secs
lola: sara is running 2365 secs || 23391649 markings, 33789546 edges, 13576 markings/sec, 2365 secs
lola: sara is running 2370 secs || 23440591 markings, 33849596 edges, 9788 markings/sec, 2370 secs
lola: sara is running 2375 secs || 23508762 markings, 33935562 edges, 13634 markings/sec, 2375 secs
lola: sara is running 2380 secs || 23574317 markings, 34020868 edges, 13111 markings/sec, 2380 secs
lola: sara is running 2385 secs || 23640331 markings, 34104052 edges, 13203 markings/sec, 2385 secs
lola: sara is running 2390 secs || 23708190 markings, 34188450 edges, 13572 markings/sec, 2390 secs
lola: sara is running 2395 secs || 23768929 markings, 34265818 edges, 12148 markings/sec, 2395 secs
lola: sara is running 2400 secs || 23826135 markings, 34338683 edges, 11441 markings/sec, 2400 secs
lola: sara is running 2405 secs || 23884032 markings, 34410694 edges, 11579 markings/sec, 2405 secs
lola: sara is running 2410 secs || 23938231 markings, 34478254 edges, 10840 markings/sec, 2410 secs
lola: sara is running 2415 secs || 23990599 markings, 34543327 edges, 10474 markings/sec, 2415 secs
lola: sara is running 2420 secs || 24050729 markings, 34620044 edges, 12026 markings/sec, 2420 secs
lola: sara is running 2425 secs || 24118710 markings, 34707086 edges, 13596 markings/sec, 2425 secs
lola: sara is running 2430 secs || 24186696 markings, 34793397 edges, 13597 markings/sec, 2430 secs
lola: sara is running 2435 secs || 24254176 markings, 34880907 edges, 13496 markings/sec, 2435 secs
lola: sara is running 2440 secs || 24321708 markings, 34966943 edges, 13506 markings/sec, 2440 secs
lola: sara is running 2445 secs || 24389791 markings, 35054565 edges, 13617 markings/sec, 2445 secs
lola: sara is running 2450 secs || 24447321 markings, 35137267 edges, 11506 markings/sec, 2450 secs
lola: sara is running 2455 secs || 24500007 markings, 35214978 edges, 10537 markings/sec, 2455 secs
lola: sara is running 2460 secs || 24555204 markings, 35296457 edges, 11039 markings/sec, 2460 secs
lola: sara is running 2465 secs || 24616299 markings, 35384781 edges, 12219 markings/sec, 2465 secs
lola: sara is running 2470 secs || 24668836 markings, 35462183 edges, 10507 markings/sec, 2470 secs
lola: sara is running 2475 secs || 24720726 markings, 35539334 edges, 10378 markings/sec, 2475 secs
lola: sara is running 2480 secs || 24774465 markings, 35616926 edges, 10748 markings/sec, 2480 secs
lola: sara is running 2485 secs || 24833685 markings, 35703712 edges, 11844 markings/sec, 2485 secs
lola: sara is running 2490 secs || 24890689 markings, 35787635 edges, 11401 markings/sec, 2490 secs
lola: sara is running 2495 secs || 24943759 markings, 35865296 edges, 10614 markings/sec, 2495 secs
lola: sara is running 2500 secs || 24995845 markings, 35945217 edges, 10417 markings/sec, 2500 secs
lola: sara is running 2505 secs || 25050479 markings, 36027848 edges, 10927 markings/sec, 2505 secs
lola: sara is running 2510 secs || 25104384 markings, 36109194 edges, 10781 markings/sec, 2510 secs
lola: sara is running 2515 secs || 25157257 markings, 36186638 edges, 10575 markings/sec, 2515 secs
lola: sara is running 2520 secs || 25209548 markings, 36263926 edges, 10458 markings/sec, 2520 secs
lola: sara is running 2525 secs || 25264223 markings, 36345208 edges, 10935 markings/sec, 2525 secs
lola: sara is running 2530 secs || 25327630 markings, 36436044 edges, 12681 markings/sec, 2530 secs
lola: sara is running 2535 secs || 25382360 markings, 36518997 edges, 10946 markings/sec, 2535 secs
lola: sara is running 2540 secs || 25433875 markings, 36598617 edges, 10303 markings/sec, 2540 secs
lola: sara is running 2545 secs || 25482127 markings, 36685209 edges, 9650 markings/sec, 2545 secs
lola: sara is running 2550 secs || 25530752 markings, 36764669 edges, 9725 markings/sec, 2550 secs
lola: sara is running 2555 secs || 25581832 markings, 36846709 edges, 10216 markings/sec, 2555 secs
lola: sara is running 2560 secs || 25630898 markings, 36937005 edges, 9813 markings/sec, 2560 secs
lola: sara is running 2565 secs || 25684157 markings, 37024475 edges, 10652 markings/sec, 2565 secs
lola: sara is running 2570 secs || 25735526 markings, 37116774 edges, 10274 markings/sec, 2570 secs
lola: sara is running 2575 secs || 25788069 markings, 37215003 edges, 10509 markings/sec, 2575 secs
lola: sara is running 2580 secs || 25835702 markings, 37301731 edges, 9527 markings/sec, 2580 secs
lola: sara is running 2585 secs || 25888150 markings, 37387863 edges, 10490 markings/sec, 2585 secs
lola: sara is running 2590 secs || 25953759 markings, 37478821 edges, 13122 markings/sec, 2590 secs
lola: sara is running 2595 secs || 26017426 markings, 37568116 edges, 12733 markings/sec, 2595 secs
lola: sara is running 2600 secs || 26065743 markings, 37644953 edges, 9663 markings/sec, 2600 secs
lola: sara is running 2605 secs || 26120510 markings, 37752657 edges, 10953 markings/sec, 2605 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no yes no unknown no no no no yes no no no yes no
lola:
preliminary result: no yes no yes no unknown no no no no yes no no no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no yes no unknown no no no no yes no no no yes no
lola: memory consumption: 4505656 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no yes no unknown no no no no yes no no no yes no
lola: memory consumption: 4506532 KB
lola: time consumption: 3570 seconds
BK_STOP 1526481899986
--------------------
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-304"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-304.tgz
mv CloudReconfiguration-PT-304 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-304, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646379800026"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;