About the Execution of LoLA for CloudReconfiguration-PT-311
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5908.820 | 3570544.00 | 7152767.00 | 10067.70 | TTFFFTTT?TFFTTTT | 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 824K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K 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.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-311, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379900075
=====================================================================
--------------------
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-311-ReachabilityCardinality-00
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-01
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-02
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-03
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-04
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-05
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-06
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-07
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-08
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-09
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-10
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-11
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-12
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-13
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-14
FORMULA_NAME CloudReconfiguration-PT-311-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526514575752
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-311 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-311 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ CloudReconfiguration-PT-311 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-311-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p753)
lola: LP says that atomic proposition is always false: (2 <= p594)
lola: LP says that atomic proposition is always false: (2 <= p141)
lola: LP says that atomic proposition is always false: (2 <= p2154)
lola: LP says that atomic proposition is always false: (2 <= p1386)
lola: LP says that atomic proposition is always false: (2 <= p2294)
lola: LP says that atomic proposition is always false: (2 <= p1126)
lola: LP says that atomic proposition is always false: (3 <= p8)
lola: LP says that atomic proposition is always false: (2 <= p1786)
lola: LP says that atomic proposition is always false: (3 <= p1346)
lola: LP says that atomic proposition is always false: (2 <= p2539)
lola: LP says that atomic proposition is always false: (2 <= p1569)
lola: LP says that atomic proposition is always false: (2 <= p1756)
lola: LP says that atomic proposition is always false: (3 <= p376)
lola: LP says that atomic proposition is always false: (2 <= p2379)
lola: LP says that atomic proposition is always false: (2 <= p1318)
lola: LP says that atomic proposition is always false: (2 <= p2513)
lola: LP says that atomic proposition is always false: (2 <= p295)
lola: E (F ((1 <= p546))) : A (G (())) : A (G (((p2171 <= p759) AND (p610 <= p549)))) : A (G (((p1426 <= p1877) AND (p1850 <= p1753)))) : E (F (((p1017 + 1 <= p2374) AND (p621 + 1 <= p2301) AND (p704 + 1 <= p1757) AND (p813 + 1 <= p133)))) : E (F (((1 <= p2499) AND ((p555 + 1 <= p1826))))) : E (F (((p2298 + 1 <= p196)))) : E (F (((p2397 + 1 <= p73) AND (p359 <= p124)))) : E (F (((p2070 + 1 <= p199) AND (p778 + 1 <= p1545)))) : A (G (())) : A (G (((p156 <= p529) OR (p2485 + 1 <= p2127)))) : A (G ((p2235 <= p1244))) : E (F (((1 <= p858)))) : E (F (((1 <= p963)))) : E (F (((p2281 <= p632) AND (p1430 + 1 <= p2574)))) : A (G (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 9 rewrites
lola: closed formula file CloudReconfiguration-PT-311-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 9 rewrites
lola: closed formula file CloudReconfiguration-PT-311-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-9 TRUE 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 9 rewrites
lola: closed formula file CloudReconfiguration-PT-311-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p858))))
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 <= p858))))
lola: processed formula length: 21
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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 <= p858))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-3-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 72 markings, 71 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-12 TRUE 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: E (F (((1 <= p963))))
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 <= p963))))
lola: processed formula length: 21
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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 <= p963))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-4-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 77 markings, 76 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-13 TRUE 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: E (F ((1 <= p546)))
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 <= p546)))
lola: processed formula length: 19
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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 <= p546)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-5-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 77 markings, 76 edges
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2235 <= p1244)))
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 ((p2235 <= p1244)))
lola: processed formula length: 24
lola: 11 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: (p1244 + 1 <= p2235)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-6-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 80 markings, 79 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-11 FALSE 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: E (F (((p2298 + 1 <= p196))))
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 (((p2298 + 1 <= p196))))
lola: processed formula length: 29
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p2298 + 1 <= p196))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 421 markings, 440 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-6 TRUE 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: E (F (((1 <= p2499) AND ((p555 + 1 <= p1826)))))
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 <= p2499) AND ((p555 + 1 <= p1826)))))
lola: processed formula length: 48
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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 <= p2499) AND ((p555 + 1 <= p1826)))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 190 markings, 190 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p156 <= p529) OR (p2485 + 1 <= p2127))))
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 (((p156 <= p529) OR (p2485 + 1 <= p2127))))
lola: processed formula length: 49
lola: 11 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p529 + 1 <= p156) AND (p2127 <= p2485))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 1156 markings, 1251 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1426 <= p1877) AND (p1850 <= p1753))))
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 (((p1426 <= p1877) AND (p1850 <= p1753))))
lola: processed formula length: 47
lola: 11 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p1877 + 1 <= p1426) OR (p1753 + 1 <= p1850))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 70030 markings, 98431 edges, 14006 markings/sec, 0 secs
lola: sara is running 5 secs || 147195 markings, 200058 edges, 15433 markings/sec, 5 secs
lola: sara is running 10 secs || 224438 markings, 300572 edges, 15449 markings/sec, 10 secs
lola: sara is running 15 secs || 297461 markings, 406434 edges, 14605 markings/sec, 15 secs
lola: sara is running 20 secs || 361807 markings, 507139 edges, 12869 markings/sec, 20 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 419988 markings, 583672 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 699 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2397 + 1 <= p73) AND (p359 <= p124))))
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 (((p2397 + 1 <= p73) AND (p359 <= p124))))
lola: processed formula length: 47
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p2397 + 1 <= p73) AND (p359 <= p124))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 85 markings, 84 edges
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 874 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2070 + 1 <= p199) AND (p778 + 1 <= p1545))))
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 (((p2070 + 1 <= p199) AND (p778 + 1 <= p1545))))
lola: processed formula length: 53
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p2070 + 1 <= p199) AND (p778 + 1 <= p1545))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 54105 markings, 65376 edges, 10821 markings/sec, 0 secs
lola: sara is running 5 secs || 113788 markings, 138715 edges, 11937 markings/sec, 5 secs
lola: sara is running 10 secs || 168010 markings, 204604 edges, 10844 markings/sec, 10 secs
lola: sara is running 15 secs || 226008 markings, 276044 edges, 11600 markings/sec, 15 secs
lola: sara is running 20 secs || 285320 markings, 350314 edges, 11862 markings/sec, 20 secs
lola: sara is running 25 secs || 342053 markings, 428072 edges, 11347 markings/sec, 25 secs
lola: sara is running 30 secs || 394870 markings, 529084 edges, 10563 markings/sec, 30 secs
lola: sara is running 35 secs || 451353 markings, 657987 edges, 11297 markings/sec, 35 secs
lola: sara is running 40 secs || 508068 markings, 787205 edges, 11343 markings/sec, 40 secs
lola: sara is running 45 secs || 564704 markings, 915606 edges, 11327 markings/sec, 45 secs
lola: sara is running 50 secs || 617646 markings, 1035812 edges, 10588 markings/sec, 50 secs
lola: sara is running 55 secs || 674089 markings, 1163528 edges, 11289 markings/sec, 55 secs
lola: sara is running 60 secs || 730391 markings, 1291697 edges, 11260 markings/sec, 60 secs
lola: sara is running 65 secs || 787337 markings, 1421217 edges, 11389 markings/sec, 65 secs
lola: sara is running 70 secs || 845227 markings, 1552899 edges, 11578 markings/sec, 70 secs
lola: sara is running 75 secs || 900983 markings, 1676555 edges, 11151 markings/sec, 75 secs
lola: sara is running 80 secs || 956172 markings, 1751664 edges, 11038 markings/sec, 80 secs
lola: sara is running 85 secs || 1012451 markings, 1847249 edges, 11256 markings/sec, 85 secs
lola: sara is running 90 secs || 1076384 markings, 1933876 edges, 12787 markings/sec, 90 secs
lola: sara is running 95 secs || 1143399 markings, 2019041 edges, 13403 markings/sec, 95 secs
lola: sara is running 100 secs || 1208827 markings, 2108098 edges, 13086 markings/sec, 100 secs
lola: sara is running 105 secs || 1272985 markings, 2190377 edges, 12832 markings/sec, 105 secs
lola: sara is running 110 secs || 1328876 markings, 2287044 edges, 11178 markings/sec, 110 secs
lola: sara is running 115 secs || 1384215 markings, 2377730 edges, 11068 markings/sec, 115 secs
lola: sara is running 120 secs || 1440619 markings, 2470775 edges, 11281 markings/sec, 120 secs
lola: sara is running 125 secs || 1494536 markings, 2553458 edges, 10783 markings/sec, 125 secs
lola: sara is running 130 secs || 1551073 markings, 2647404 edges, 11307 markings/sec, 130 secs
lola: sara is running 135 secs || 1603962 markings, 2727978 edges, 10578 markings/sec, 135 secs
lola: sara is running 140 secs || 1664248 markings, 2821028 edges, 12057 markings/sec, 140 secs
lola: sara is running 145 secs || 1731765 markings, 2922311 edges, 13503 markings/sec, 145 secs
lola: sara is running 150 secs || 1793408 markings, 3015016 edges, 12329 markings/sec, 150 secs
lola: sara is running 155 secs || 1864175 markings, 3111039 edges, 14153 markings/sec, 155 secs
lola: sara is running 160 secs || 1924220 markings, 3244835 edges, 12009 markings/sec, 160 secs
lola: sara is running 165 secs || 1982610 markings, 3379860 edges, 11678 markings/sec, 165 secs
lola: sara is running 170 secs || 2040619 markings, 3512798 edges, 11602 markings/sec, 170 secs
lola: sara is running 175 secs || 2096830 markings, 3642592 edges, 11242 markings/sec, 175 secs
lola: sara is running 180 secs || 2150121 markings, 3752909 edges, 10658 markings/sec, 180 secs
lola: sara is running 185 secs || 2213250 markings, 3836204 edges, 12626 markings/sec, 185 secs
lola: sara is running 190 secs || 2274873 markings, 3913158 edges, 12325 markings/sec, 190 secs
lola: sara is running 195 secs || 2339288 markings, 3994041 edges, 12883 markings/sec, 195 secs
lola: sara is running 200 secs || 2399618 markings, 4100703 edges, 12066 markings/sec, 200 secs
lola: sara is running 205 secs || 2456847 markings, 4227409 edges, 11446 markings/sec, 205 secs
lola: sara is running 210 secs || 2513269 markings, 4356256 edges, 11284 markings/sec, 210 secs
lola: sara is running 215 secs || 2569351 markings, 4438870 edges, 11216 markings/sec, 215 secs
lola: sara is running 220 secs || 2626426 markings, 4515287 edges, 11415 markings/sec, 220 secs
lola: sara is running 225 secs || 2683263 markings, 4606845 edges, 11367 markings/sec, 225 secs
lola: sara is running 230 secs || 2742026 markings, 4689051 edges, 11753 markings/sec, 230 secs
lola: sara is running 235 secs || 2810526 markings, 4784317 edges, 13700 markings/sec, 235 secs
lola: sara is running 240 secs || 2868280 markings, 4913219 edges, 11551 markings/sec, 240 secs
lola: sara is running 245 secs || 2927429 markings, 5050172 edges, 11830 markings/sec, 245 secs
lola: sara is running 250 secs || 2986534 markings, 5185264 edges, 11821 markings/sec, 250 secs
lola: sara is running 255 secs || 3042883 markings, 5314988 edges, 11270 markings/sec, 255 secs
lola: sara is running 260 secs || 3097080 markings, 5440396 edges, 10839 markings/sec, 260 secs
lola: sara is running 265 secs || 3148937 markings, 5537033 edges, 10371 markings/sec, 265 secs
lola: sara is running 270 secs || 3213537 markings, 5621377 edges, 12920 markings/sec, 270 secs
lola: sara is running 275 secs || 3273533 markings, 5696522 edges, 11999 markings/sec, 275 secs
lola: sara is running 280 secs || 3331733 markings, 5770200 edges, 11640 markings/sec, 280 secs
lola: sara is running 285 secs || 3391901 markings, 5847808 edges, 12034 markings/sec, 285 secs
lola: sara is running 290 secs || 3451638 markings, 5983857 edges, 11947 markings/sec, 290 secs
lola: sara is running 295 secs || 3513280 markings, 6094565 edges, 12328 markings/sec, 295 secs
lola: sara is running 300 secs || 3571249 markings, 6174708 edges, 11594 markings/sec, 300 secs
lola: sara is running 305 secs || 3623784 markings, 6255069 edges, 10507 markings/sec, 305 secs
lola: sara is running 310 secs || 3691233 markings, 6350881 edges, 13490 markings/sec, 310 secs
lola: sara is running 315 secs || 3749739 markings, 6438523 edges, 11701 markings/sec, 315 secs
lola: sara is running 320 secs || 3811856 markings, 6524086 edges, 12423 markings/sec, 320 secs
lola: sara is running 325 secs || 3879787 markings, 6627910 edges, 13586 markings/sec, 325 secs
lola: sara is running 330 secs || 3941328 markings, 6771077 edges, 12308 markings/sec, 330 secs
lola: sara is running 335 secs || 4004824 markings, 6919622 edges, 12699 markings/sec, 335 secs
lola: sara is running 340 secs || 4066519 markings, 7061996 edges, 12339 markings/sec, 340 secs
lola: sara is running 345 secs || 4130326 markings, 7209751 edges, 12761 markings/sec, 345 secs
lola: sara is running 350 secs || 4190739 markings, 7313328 edges, 12083 markings/sec, 350 secs
lola: sara is running 355 secs || 4258193 markings, 7397107 edges, 13491 markings/sec, 355 secs
lola: sara is running 360 secs || 4321784 markings, 7477155 edges, 12718 markings/sec, 360 secs
lola: sara is running 365 secs || 4382998 markings, 7553419 edges, 12243 markings/sec, 365 secs
lola: sara is running 370 secs || 4442350 markings, 7627376 edges, 11870 markings/sec, 370 secs
lola: sara is running 375 secs || 4509940 markings, 7730016 edges, 13518 markings/sec, 375 secs
lola: sara is running 380 secs || 4576680 markings, 7817844 edges, 13348 markings/sec, 380 secs
lola: sara is running 385 secs || 4638438 markings, 7919976 edges, 12352 markings/sec, 385 secs
lola: sara is running 390 secs || 4703741 markings, 8012158 edges, 13061 markings/sec, 390 secs
lola: sara is running 395 secs || 4764824 markings, 8110361 edges, 12217 markings/sec, 395 secs
lola: sara is running 400 secs || 4837030 markings, 8204329 edges, 14441 markings/sec, 400 secs
lola: sara is running 405 secs || 4898144 markings, 8327013 edges, 12223 markings/sec, 405 secs
lola: sara is running 410 secs || 4959005 markings, 8468096 edges, 12172 markings/sec, 410 secs
lola: sara is running 415 secs || 5019336 markings, 8606483 edges, 12066 markings/sec, 415 secs
lola: sara is running 420 secs || 5078075 markings, 8741702 edges, 11748 markings/sec, 420 secs
lola: sara is running 425 secs || 5137041 markings, 8878127 edges, 11793 markings/sec, 425 secs
lola: sara is running 430 secs || 5192309 markings, 8973814 edges, 11054 markings/sec, 430 secs
lola: sara is running 435 secs || 5257551 markings, 9054799 edges, 13048 markings/sec, 435 secs
lola: sara is running 440 secs || 5316719 markings, 9129775 edges, 11834 markings/sec, 440 secs
lola: sara is running 445 secs || 5378518 markings, 9206545 edges, 12360 markings/sec, 445 secs
lola: sara is running 450 secs || 5436751 markings, 9279293 edges, 11647 markings/sec, 450 secs
lola: sara is running 455 secs || 5491370 markings, 9356715 edges, 10924 markings/sec, 455 secs
lola: sara is running 460 secs || 5558926 markings, 9483468 edges, 13511 markings/sec, 460 secs
lola: sara is running 465 secs || 5624116 markings, 9605586 edges, 13038 markings/sec, 465 secs
lola: sara is running 470 secs || 5694910 markings, 9713382 edges, 14159 markings/sec, 470 secs
lola: sara is running 475 secs || 5765584 markings, 9844245 edges, 14135 markings/sec, 475 secs
lola: sara is running 480 secs || 5835559 markings, 9958543 edges, 13995 markings/sec, 480 secs
lola: sara is running 485 secs || 5900401 markings, 10105095 edges, 12968 markings/sec, 485 secs
lola: sara is running 490 secs || 5971105 markings, 10200647 edges, 14141 markings/sec, 490 secs
lola: sara is running 495 secs || 6035158 markings, 10284891 edges, 12811 markings/sec, 495 secs
lola: sara is running 500 secs || 6097883 markings, 10361460 edges, 12545 markings/sec, 500 secs
lola: sara is running 505 secs || 6149842 markings, 10427385 edges, 10392 markings/sec, 505 secs
lola: sara is running 510 secs || 6214925 markings, 10508910 edges, 13017 markings/sec, 510 secs
lola: sara is running 515 secs || 6271148 markings, 10577414 edges, 11245 markings/sec, 515 secs
lola: sara is running 520 secs || 6324118 markings, 10642235 edges, 10594 markings/sec, 520 secs
lola: sara is running 525 secs || 6391424 markings, 10724857 edges, 13461 markings/sec, 525 secs
lola: sara is running 530 secs || 6442485 markings, 10786754 edges, 10212 markings/sec, 530 secs
lola: sara is running 535 secs || 6511293 markings, 10913782 edges, 13762 markings/sec, 535 secs
lola: sara is running 540 secs || 6578512 markings, 11034468 edges, 13444 markings/sec, 540 secs
lola: sara is running 545 secs || 6644324 markings, 11115664 edges, 13162 markings/sec, 545 secs
lola: sara is running 550 secs || 6704042 markings, 11190442 edges, 11944 markings/sec, 550 secs
lola: sara is running 555 secs || 6766657 markings, 11268032 edges, 12523 markings/sec, 555 secs
lola: sara is running 560 secs || 6821957 markings, 11337779 edges, 11060 markings/sec, 560 secs
lola: sara is running 565 secs || 6873557 markings, 11403165 edges, 10320 markings/sec, 565 secs
lola: sara is running 570 secs || 6940447 markings, 11485271 edges, 13378 markings/sec, 570 secs
lola: sara is running 575 secs || 6991838 markings, 11547565 edges, 10278 markings/sec, 575 secs
lola: sara is running 580 secs || 7056452 markings, 11627261 edges, 12923 markings/sec, 580 secs
lola: sara is running 585 secs || 7109295 markings, 11694918 edges, 10569 markings/sec, 585 secs
lola: sara is running 590 secs || 7166756 markings, 11771889 edges, 11492 markings/sec, 590 secs
lola: sara is running 595 secs || 7226756 markings, 11845061 edges, 12000 markings/sec, 595 secs
lola: sara is running 600 secs || 7279485 markings, 11910184 edges, 10546 markings/sec, 600 secs
lola: sara is running 605 secs || 7345466 markings, 11991141 edges, 13196 markings/sec, 605 secs
lola: sara is running 610 secs || 7399641 markings, 12057282 edges, 10835 markings/sec, 610 secs
lola: sara is running 615 secs || 7464337 markings, 12136786 edges, 12939 markings/sec, 615 secs
lola: sara is running 620 secs || 7527223 markings, 12249772 edges, 12577 markings/sec, 620 secs
lola: sara is running 625 secs || 7589587 markings, 12353330 edges, 12473 markings/sec, 625 secs
lola: sara is running 630 secs || 7651765 markings, 12430268 edges, 12436 markings/sec, 630 secs
lola: sara is running 635 secs || 7706845 markings, 12499604 edges, 11016 markings/sec, 635 secs
lola: sara is running 640 secs || 7767700 markings, 12576009 edges, 12171 markings/sec, 640 secs
lola: sara is running 645 secs || 7831231 markings, 12657243 edges, 12706 markings/sec, 645 secs
lola: sara is running 650 secs || 7887042 markings, 12725413 edges, 11162 markings/sec, 650 secs
lola: sara is running 655 secs || 7949471 markings, 12806565 edges, 12486 markings/sec, 655 secs
lola: sara is running 660 secs || 8000599 markings, 12875715 edges, 10226 markings/sec, 660 secs
lola: sara is running 665 secs || 8067571 markings, 13002151 edges, 13394 markings/sec, 665 secs
lola: sara is running 670 secs || 8129253 markings, 13122006 edges, 12336 markings/sec, 670 secs
lola: sara is running 675 secs || 8192394 markings, 13209830 edges, 12628 markings/sec, 675 secs
lola: sara is running 680 secs || 8252080 markings, 13284298 edges, 11937 markings/sec, 680 secs
lola: sara is running 685 secs || 8309203 markings, 13356783 edges, 11425 markings/sec, 685 secs
lola: sara is running 690 secs || 8371523 markings, 13433741 edges, 12464 markings/sec, 690 secs
lola: sara is running 695 secs || 8426718 markings, 13503102 edges, 11039 markings/sec, 695 secs
lola: sara is running 700 secs || 8491190 markings, 13582463 edges, 12894 markings/sec, 700 secs
lola: sara is running 705 secs || 8545391 markings, 13649776 edges, 10840 markings/sec, 705 secs
lola: sara is running 710 secs || 8602957 markings, 13744562 edges, 11513 markings/sec, 710 secs
lola: sara is running 715 secs || 8654875 markings, 13831397 edges, 10384 markings/sec, 715 secs
lola: sara is running 720 secs || 8705072 markings, 13927775 edges, 10039 markings/sec, 720 secs
lola: sara is running 725 secs || 8756302 markings, 14020079 edges, 10246 markings/sec, 725 secs
lola: sara is running 730 secs || 8815087 markings, 14091854 edges, 11757 markings/sec, 730 secs
lola: sara is running 735 secs || 8870118 markings, 14161028 edges, 11006 markings/sec, 735 secs
lola: sara is running 740 secs || 8931549 markings, 14235983 edges, 12286 markings/sec, 740 secs
lola: sara is running 745 secs || 8982549 markings, 14341101 edges, 10200 markings/sec, 745 secs
lola: sara is running 750 secs || 9045544 markings, 14427051 edges, 12599 markings/sec, 750 secs
lola: sara is running 755 secs || 9096462 markings, 14527667 edges, 10184 markings/sec, 755 secs
lola: sara is running 760 secs || 9148061 markings, 14629133 edges, 10320 markings/sec, 760 secs
lola: sara is running 765 secs || 9208117 markings, 14709189 edges, 12011 markings/sec, 765 secs
lola: sara is running 770 secs || 9265963 markings, 14803901 edges, 11569 markings/sec, 770 secs
lola: sara is running 775 secs || 9319631 markings, 14895894 edges, 10734 markings/sec, 775 secs
lola: sara is running 780 secs || 9374906 markings, 14997264 edges, 11055 markings/sec, 780 secs
lola: sara is running 785 secs || 9429425 markings, 15088101 edges, 10904 markings/sec, 785 secs
lola: sara is running 790 secs || 9488427 markings, 15170393 edges, 11800 markings/sec, 790 secs
lola: sara is running 795 secs || 9548163 markings, 15251093 edges, 11947 markings/sec, 795 secs
lola: sara is running 800 secs || 9599661 markings, 15341932 edges, 10300 markings/sec, 800 secs
lola: sara is running 805 secs || 9648659 markings, 15440200 edges, 9800 markings/sec, 805 secs
lola: sara is running 810 secs || 9698370 markings, 15536299 edges, 9942 markings/sec, 810 secs
lola: sara is running 815 secs || 9756522 markings, 15609810 edges, 11630 markings/sec, 815 secs
lola: sara is running 820 secs || 9814532 markings, 15704179 edges, 11602 markings/sec, 820 secs
lola: sara is running 825 secs || 9865086 markings, 15800642 edges, 10111 markings/sec, 825 secs
lola: sara is running 830 secs || 9921975 markings, 15898193 edges, 11378 markings/sec, 830 secs
lola: sara is running 835 secs || 9971931 markings, 15990754 edges, 9991 markings/sec, 835 secs
lola: sara is running 840 secs || 10016838 markings, 16083764 edges, 8981 markings/sec, 840 secs
lola: sara is running 845 secs || 10063305 markings, 16187328 edges, 9293 markings/sec, 845 secs
lola: sara is running 850 secs || 10121491 markings, 16271432 edges, 11637 markings/sec, 850 secs
lola: sara is running 855 secs || 10167882 markings, 16365594 edges, 9278 markings/sec, 855 secs
lola: sara is running 860 secs || 10214074 markings, 16458053 edges, 9238 markings/sec, 860 secs
lola: sara is running 865 secs || 10271958 markings, 16554823 edges, 11577 markings/sec, 865 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown yes yes yes unknown yes no no yes yes unknown yes
lola: memory consumption: 1293500 KB
lola: time consumption: 948 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 874 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2281 <= p632) AND (p1430 + 1 <= p2574))))
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 (((p2281 <= p632) AND (p1430 + 1 <= p2574))))
lola: processed formula length: 50
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p2281 <= p632) AND (p1430 + 1 <= p2574))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-13-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 36 markings, 35 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1311 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p2171 <= p759) AND (p610 <= p549))))
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 (((p2171 <= p759) AND (p610 <= p549))))
lola: processed formula length: 44
lola: 11 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p759 + 1 <= p2171) OR (p549 + 1 <= p610))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-14-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 50 markings, 49 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2622 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1017 + 1 <= p2374) AND (p621 + 1 <= p2301) AND (p704 + 1 <= p1757) AND (p813 + 1 <= p133))))
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 (((p1017 + 1 <= p2374) AND (p621 + 1 <= p2301) AND (p704 + 1 <= p1757) AND (p813 + 1 <= p133))))
lola: processed formula length: 101
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p1017 + 1 <= p2374) AND (p621 + 1 <= p2301) AND (p704 + 1 <= p1757) AND (p813 + 1 <= p133))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
FORMULA CloudReconfiguration-PT-311-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F (((p2070 + 1 <= p199) AND (p778 + 1 <= p1545))))
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 (((p2070 + 1 <= p199) AND (p778 + 1 <= p1545))))
lola: processed formula length: 53
lola: 10 rewrites
lola: closed formula file CloudReconfiguration-PT-311-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: ((p2070 + 1 <= p199) AND (p778 + 1 <= p1545))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: lola: state equation: write sara problem file to CloudReconfiguration-PT-311-ReachabilityCardinality-16-0.sara
========================================
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 54297 markings, 65610 edges, 10859 markings/sec, 0 secs
lola: sara is running 5 secs || 115376 markings, 140664 edges, 12216 markings/sec, 5 secs
lola: sara is running 10 secs || 169975 markings, 207006 edges, 10920 markings/sec, 10 secs
lola: sara is running 15 secs || 228253 markings, 278808 edges, 11656 markings/sec, 15 secs
lola: sara is running 20 secs || 287924 markings, 353582 edges, 11934 markings/sec, 20 secs
lola: sara is running 25 secs || 344914 markings, 431517 edges, 11398 markings/sec, 25 secs
lola: sara is running 30 secs || 398772 markings, 537849 edges, 10772 markings/sec, 30 secs
lola: sara is running 35 secs || 456069 markings, 668572 edges, 11459 markings/sec, 35 secs
lola: sara is running 40 secs || 513455 markings, 799584 edges, 11477 markings/sec, 40 secs
lola: sara is running 45 secs || 570364 markings, 928686 edges, 11382 markings/sec, 45 secs
lola: sara is running 50 secs || 625616 markings, 1053102 edges, 11050 markings/sec, 50 secs
lola: sara is running 55 secs || 681988 markings, 1181497 edges, 11274 markings/sec, 55 secs
lola: sara is running 60 secs || 737685 markings, 1308603 edges, 11139 markings/sec, 60 secs
lola: sara is running 65 secs || 794442 markings, 1437522 edges, 11351 markings/sec, 65 secs
lola: sara is running 70 secs || 852381 markings, 1568671 edges, 11588 markings/sec, 70 secs
lola: sara is running 75 secs || 906778 markings, 1689034 edges, 10879 markings/sec, 75 secs
lola: sara is running 80 secs || 961096 markings, 1762730 edges, 10864 markings/sec, 80 secs
lola: sara is running 85 secs || 1016595 markings, 1856873 edges, 11100 markings/sec, 85 secs
lola: sara is running 90 secs || 1079984 markings, 1938604 edges, 12678 markings/sec, 90 secs
lola: sara is running 95 secs || 1147235 markings, 2023749 edges, 13450 markings/sec, 95 secs
lola: sara is running 100 secs || 1211761 markings, 2111723 edges, 12905 markings/sec, 100 secs
lola: sara is running 105 secs || 1275026 markings, 2194420 edges, 12653 markings/sec, 105 secs
lola: sara is running 110 secs || 1330100 markings, 2288696 edges, 11015 markings/sec, 110 secs
lola: sara is running 115 secs || 1384806 markings, 2378862 edges, 10941 markings/sec, 115 secs
lola: sara is running 120 secs || 1440475 markings, 2470457 edges, 11134 markings/sec, 120 secs
lola: sara is running 125 secs || 1494643 markings, 2553585 edges, 10834 markings/sec, 125 secs
lola: sara is running 130 secs || 1550641 markings, 2646887 edges, 11200 markings/sec, 130 secs
lola: sara is running 135 secs || 1602585 markings, 2726311 edges, 10389 markings/sec, 135 secs
lola: sara is running 140 secs || 1661497 markings, 2817323 edges, 11782 markings/sec, 140 secs
lola: sara is running 145 secs || 1728742 markings, 2918647 edges, 13449 markings/sec, 145 secs
lola: sara is running 150 secs || 1789631 markings, 3010113 edges, 12178 markings/sec, 150 secs
lola: sara is running 155 secs || 1861362 markings, 3104999 edges, 14346 markings/sec, 155 secs
lola: sara is running 160 secs || 1922192 markings, 3240118 edges, 12166 markings/sec, 160 secs
lola: sara is running 165 secs || 1983723 markings, 3382380 edges, 12306 markings/sec, 165 secs
lola: sara is running 170 secs || 2044166 markings, 3520706 edges, 12089 markings/sec, 170 secs
lola: sara is running 175 secs || 2103300 markings, 3657631 edges, 11827 markings/sec, 175 secs
lola: sara is running 180 secs || 2162039 markings, 3769011 edges, 11748 markings/sec, 180 secs
lola: sara is running 185 secs || 2226629 markings, 3852835 edges, 12918 markings/sec, 185 secs
lola: sara is running 190 secs || 2287133 markings, 3929176 edges, 12101 markings/sec, 190 secs
lola: sara is running 195 secs || 2357052 markings, 4017699 edges, 13984 markings/sec, 195 secs
lola: sara is running 200 secs || 2415797 markings, 4136460 edges, 11749 markings/sec, 200 secs
lola: sara is running 205 secs || 2476749 markings, 4271734 edges, 12190 markings/sec, 205 secs
lola: sara is running 210 secs || 2536708 markings, 4398911 edges, 11992 markings/sec, 210 secs
lola: sara is running 215 secs || 2592580 markings, 4469188 edges, 11174 markings/sec, 215 secs
lola: sara is running 220 secs || 2655269 markings, 4564349 edges, 12538 markings/sec, 220 secs
lola: sara is running 225 secs || 2711837 markings, 4649750 edges, 11314 markings/sec, 225 secs
lola: sara is running 230 secs || 2781019 markings, 4739060 edges, 13836 markings/sec, 230 secs
lola: sara is running 235 secs || 2841657 markings, 4851045 edges, 12128 markings/sec, 235 secs
lola: sara is running 240 secs || 2899879 markings, 4986673 edges, 11644 markings/sec, 240 secs
lola: sara is running 245 secs || 2960134 markings, 5124034 edges, 12051 markings/sec, 245 secs
lola: sara is running 250 secs || 3018890 markings, 5258344 edges, 11751 markings/sec, 250 secs
lola: sara is running 255 secs || 3076821 markings, 5393531 edges, 11586 markings/sec, 255 secs
lola: sara is running 260 secs || 3133433 markings, 5516109 edges, 11322 markings/sec, 260 secs
lola: sara is running 265 secs || 3195237 markings, 5598656 edges, 12361 markings/sec, 265 secs
lola: sara is running 270 secs || 3256332 markings, 5675185 edges, 12219 markings/sec, 270 secs
lola: sara is running 275 secs || 3315074 markings, 5749002 edges, 11748 markings/sec, 275 secs
lola: sara is running 280 secs || 3372186 markings, 5820378 edges, 11422 markings/sec, 280 secs
lola: sara is running 285 secs || 3435447 markings, 5944645 edges, 12652 markings/sec, 285 secs
lola: sara is running 290 secs || 3494296 markings, 6070683 edges, 11770 markings/sec, 290 secs
lola: sara is running 295 secs || 3554451 markings, 6147282 edges, 12031 markings/sec, 295 secs
lola: sara is running 300 secs || 3610081 markings, 6232085 edges, 11126 markings/sec, 300 secs
lola: sara is running 305 secs || 3675408 markings, 6323492 edges, 13065 markings/sec, 305 secs
lola: sara is running 310 secs || 3731859 markings, 6408326 edges, 11290 markings/sec, 310 secs
lola: sara is running 315 secs || 3791402 markings, 6497561 edges, 11909 markings/sec, 315 secs
lola: sara is running 320 secs || 3861788 markings, 6589687 edges, 14077 markings/sec, 320 secs
lola: sara is running 325 secs || 3922562 markings, 6727051 edges, 12155 markings/sec, 325 secs
lola: sara is running 330 secs || 3983999 markings, 6870476 edges, 12287 markings/sec, 330 secs
lola: sara is running 335 secs || 4046744 markings, 7016797 edges, 12549 markings/sec, 335 secs
lola: sara is running 340 secs || 4108423 markings, 7159172 edges, 12336 markings/sec, 340 secs
lola: sara is running 345 secs || 4167418 markings, 7279879 edges, 11799 markings/sec, 345 secs
lola: sara is running 350 secs || 4228865 markings, 7360680 edges, 12289 markings/sec, 350 secs
lola: sara is running 355 secs || 4293202 markings, 7441076 edges, 12867 markings/sec, 355 secs
lola: sara is running 360 secs || 4353879 markings, 7517251 edges, 12135 markings/sec, 360 secs
lola: sara is running 365 secs || 4408141 markings, 7585046 edges, 10852 markings/sec, 365 secs
lola: sara is running 370 secs || 4468734 markings, 7662479 edges, 12119 markings/sec, 370 secs
lola: sara is running 375 secs || 4539176 markings, 7771844 edges, 14088 markings/sec, 375 secs
lola: sara is running 380 secs || 4602667 markings, 7859160 edges, 12698 markings/sec, 380 secs
lola: sara is running 385 secs || 4668971 markings, 7960375 edges, 13261 markings/sec, 385 secs
lola: sara is running 390 secs || 4732902 markings, 8057197 edges, 12786 markings/sec, 390 secs
lola: sara is running 395 secs || 4802514 markings, 8159608 edges, 13922 markings/sec, 395 secs
lola: sara is running 400 secs || 4867339 markings, 8258035 edges, 12965 markings/sec, 400 secs
lola: sara is running 405 secs || 4929018 markings, 8399391 edges, 12336 markings/sec, 405 secs
lola: sara is running 410 secs || 4991938 markings, 8544189 edges, 12584 markings/sec, 410 secs
lola: sara is running 415 secs || 5054443 markings, 8686420 edges, 12501 markings/sec, 415 secs
lola: sara is running 420 secs || 5115412 markings, 8828110 edges, 12194 markings/sec, 420 secs
lola: sara is running 425 secs || 5175244 markings, 8948192 edges, 11966 markings/sec, 425 secs
lola: sara is running 430 secs || 5243093 markings, 9036808 edges, 13570 markings/sec, 430 secs
lola: sara is running 435 secs || 5304784 markings, 9114342 edges, 12338 markings/sec, 435 secs
lola: sara is running 440 secs || 5365337 markings, 9190314 edges, 12111 markings/sec, 440 secs
lola: sara is running 445 secs || 5423647 markings, 9263205 edges, 11662 markings/sec, 445 secs
lola: sara is running 450 secs || 5479186 markings, 9333648 edges, 11108 markings/sec, 450 secs
lola: sara is running 455 secs || 5547345 markings, 9455558 edges, 13632 markings/sec, 455 secs
lola: sara is running 460 secs || 5611077 markings, 9588866 edges, 12746 markings/sec, 460 secs
lola: sara is running 465 secs || 5679815 markings, 9687526 edges, 13748 markings/sec, 465 secs
lola: sara is running 470 secs || 5752093 markings, 9818998 edges, 14456 markings/sec, 470 secs
lola: sara is running 475 secs || 5822446 markings, 9928660 edges, 14071 markings/sec, 475 secs
lola: sara is running 480 secs || 5886878 markings, 10073703 edges, 12886 markings/sec, 480 secs
lola: sara is running 485 secs || 5957019 markings, 10183023 edges, 14028 markings/sec, 485 secs
lola: sara is running 490 secs || 6024334 markings, 10271623 edges, 13463 markings/sec, 490 secs
lola: sara is running 495 secs || 6090585 markings, 10352587 edges, 13250 markings/sec, 495 secs
lola: sara is running 500 secs || 6143329 markings, 10419213 edges, 10549 markings/sec, 500 secs
lola: sara is running 505 secs || 6201862 markings, 10492884 edges, 11707 markings/sec, 505 secs
lola: sara is running 510 secs || 6262462 markings, 10566876 edges, 12120 markings/sec, 510 secs
lola: sara is running 515 secs || 6313396 markings, 10629080 edges, 10187 markings/sec, 515 secs
lola: sara is running 520 secs || 6377238 markings, 10707427 edges, 12768 markings/sec, 520 secs
lola: sara is running 525 secs || 6430905 markings, 10772731 edges, 10733 markings/sec, 525 secs
lola: sara is running 530 secs || 6492304 markings, 10877935 edges, 12280 markings/sec, 530 secs
lola: sara is running 535 secs || 6558626 markings, 11000532 edges, 13264 markings/sec, 535 secs
lola: sara is running 540 secs || 6622190 markings, 11088503 edges, 12713 markings/sec, 540 secs
lola: sara is running 545 secs || 6679511 markings, 11160166 edges, 11464 markings/sec, 545 secs
lola: sara is running 550 secs || 6738661 markings, 11233220 edges, 11830 markings/sec, 550 secs
lola: sara is running 555 secs || 6800064 markings, 11310041 edges, 12281 markings/sec, 555 secs
lola: sara is running 560 secs || 6846235 markings, 11368550 edges, 9234 markings/sec, 560 secs
lola: sara is running 565 secs || 6902445 markings, 11438612 edges, 11242 markings/sec, 565 secs
lola: sara is running 570 secs || 6963597 markings, 11513364 edges, 12230 markings/sec, 570 secs
lola: sara is running 575 secs || 7020064 markings, 11582619 edges, 11293 markings/sec, 575 secs
lola: sara is running 580 secs || 7083158 markings, 11660919 edges, 12619 markings/sec, 580 secs
lola: sara is running 585 secs || 7131024 markings, 11728041 edges, 9573 markings/sec, 585 secs
lola: sara is running 590 secs || 7194154 markings, 11805510 edges, 12626 markings/sec, 590 secs
lola: sara is running 595 secs || 7246085 markings, 11868471 edges, 10386 markings/sec, 595 secs
lola: sara is running 600 secs || 7301924 markings, 11937720 edges, 11168 markings/sec, 600 secs
lola: sara is running 605 secs || 7360315 markings, 12009116 edges, 11678 markings/sec, 605 secs
lola: sara is running 610 secs || 7416102 markings, 12077493 edges, 11157 markings/sec, 610 secs
lola: sara is running 615 secs || 7473556 markings, 12148683 edges, 11491 markings/sec, 615 secs
lola: sara is running 620 secs || 7536249 markings, 12266129 edges, 12539 markings/sec, 620 secs
lola: sara is running 625 secs || 7597385 markings, 12362970 edges, 12227 markings/sec, 625 secs
lola: sara is running 630 secs || 7658734 markings, 12438922 edges, 12270 markings/sec, 630 secs
lola: sara is running 635 secs || 7712190 markings, 12506331 edges, 10691 markings/sec, 635 secs
lola: sara is running 640 secs || 7773228 markings, 12583117 edges, 12208 markings/sec, 640 secs
lola: sara is running 645 secs || 7836456 markings, 12663658 edges, 12646 markings/sec, 645 secs
lola: sara is running 650 secs || 7889508 markings, 12728986 edges, 10610 markings/sec, 650 secs
lola: sara is running 655 secs || 7952903 markings, 12810968 edges, 12679 markings/sec, 655 secs
lola: sara is running 660 secs || 8004230 markings, 12881829 edges, 10265 markings/sec, 660 secs
lola: sara is running 665 secs || 8068335 markings, 13003824 edges, 12821 markings/sec, 665 secs
lola: sara is running 670 secs || 8126658 markings, 13118705 edges, 11665 markings/sec, 670 secs
lola: sara is running 675 secs || 8188510 markings, 13205063 edges, 12370 markings/sec, 675 secs
lola: sara is running 680 secs || 8247321 markings, 13278323 edges, 11762 markings/sec, 680 secs
lola: sara is running 685 secs || 8301272 markings, 13347004 edges, 10790 markings/sec, 685 secs
lola: sara is running 690 secs || 8362701 markings, 13422839 edges, 12286 markings/sec, 690 secs
lola: sara is running 695 secs || 8417537 markings, 13491530 edges, 10967 markings/sec, 695 secs
lola: sara is running 700 secs || 8476404 markings, 13564323 edges, 11773 markings/sec, 700 secs
lola: sara is running 705 secs || 8531249 markings, 13631212 edges, 10969 markings/sec, 705 secs
lola: sara is running 710 secs || 8588774 markings, 13716692 edges, 11505 markings/sec, 710 secs
lola: sara is running 715 secs || 8641315 markings, 13805060 edges, 10508 markings/sec, 715 secs
lola: sara is running 720 secs || 8693369 markings, 13905311 edges, 10411 markings/sec, 720 secs
lola: sara is running 725 secs || 8744361 markings, 14005025 edges, 10198 markings/sec, 725 secs
lola: sara is running 730 secs || 8804572 markings, 14079137 edges, 12042 markings/sec, 730 secs
lola: sara is running 735 secs || 8854496 markings, 14141031 edges, 9985 markings/sec, 735 secs
lola: sara is running 740 secs || 8914199 markings, 14214988 edges, 11941 markings/sec, 740 secs
lola: sara is running 745 secs || 8966115 markings, 14302692 edges, 10383 markings/sec, 745 secs
lola: sara is running 750 secs || 9021547 markings, 14397051 edges, 11086 markings/sec, 750 secs
lola: sara is running 755 secs || 9074127 markings, 14482759 edges, 10516 markings/sec, 755 secs
lola: sara is running 760 secs || 9124030 markings, 14580701 edges, 9981 markings/sec, 760 secs
lola: sara is running 765 secs || 9176942 markings, 14670525 edges, 10582 markings/sec, 765 secs
lola: sara is running 770 secs || 9234367 markings, 14749960 edges, 11485 markings/sec, 770 secs
lola: sara is running 775 secs || 9290421 markings, 14838177 edges, 11211 markings/sec, 775 secs
lola: sara is running 780 secs || 9341236 markings, 14938958 edges, 10163 markings/sec, 780 secs
lola: sara is running 785 secs || 9397891 markings, 15036282 edges, 11331 markings/sec, 785 secs
lola: sara is running 790 secs || 9451408 markings, 15125008 edges, 10703 markings/sec, 790 secs
lola: sara is running 795 secs || 9511228 markings, 15197981 edges, 11964 markings/sec, 795 secs
lola: sara is running 800 secs || 9568546 markings, 15291461 edges, 11464 markings/sec, 800 secs
lola: sara is running 805 secs || 9621070 markings, 15383574 edges, 10505 markings/sec, 805 secs
lola: sara is running 810 secs || 9669763 markings, 15481768 edges, 9739 markings/sec, 810 secs
lola: sara is running 815 secs || 9723982 markings, 15567731 edges, 10844 markings/sec, 815 secs
lola: sara is running 820 secs || 9780366 markings, 15646884 edges, 11277 markings/sec, 820 secs
lola: sara is running 825 secs || 9834545 markings, 15739424 edges, 10836 markings/sec, 825 secs
lola: sara is running 830 secs || 9884390 markings, 15840876 edges, 9969 markings/sec, 830 secs
lola: sara is running 835 secs || 9941637 markings, 15935006 edges, 11449 markings/sec, 835 secs
lola: sara is running 840 secs || 9991371 markings, 16031914 edges, 9947 markings/sec, 840 secs
lola: sara is running 845 secs || 10038388 markings, 16135515 edges, 9403 markings/sec, 845 secs
lola: sara is running 850 secs || 10092558 markings, 16225393 edges, 10834 markings/sec, 850 secs
lola: sara is running 855 secs || 10141386 markings, 16311529 edges, 9766 markings/sec, 855 secs
lola: sara is running 860 secs || 10187014 markings, 16405920 edges, 9126 markings/sec, 860 secs
lola: sara is running 865 secs || 10236322 markings, 16493761 edges, 9862 markings/sec, 865 secs
lola: sara is running 870 secs || 10283974 markings, 16579849 edges, 9530 markings/sec, 870 secs
lola: sara is running 875 secs || 10331522 markings, 16677738 edges, 9510 markings/sec, 875 secs
lola: sara is running 880 secs || 10387253 markings, 16773231 edges, 11146 markings/sec, 880 secs
lola: sara is running 885 secs || 10442659 markings, 16869974 edges, 11081 markings/sec, 885 secs
lola: sara is running 890 secs || 10487162 markings, 16959899 edges, 8901 markings/sec, 890 secs
lola: sara is running 895 secs || 10531304 markings, 17051219 edges, 8828 markings/sec, 895 secs
lola: sara is running 900 secs || 10585339 markings, 17144588 edges, 10807 markings/sec, 900 secs
lola: sara is running 905 secs || 10630996 markings, 17236708 edges, 9131 markings/sec, 905 secs
lola: sara is running 910 secs || 10682571 markings, 17333147 edges, 10315 markings/sec, 910 secs
lola: sara is running 915 secs || 10729623 markings, 17423378 edges, 9410 markings/sec, 915 secs
lola: sara is running 920 secs || 10775039 markings, 17517357 edges, 9083 markings/sec, 920 secs
lola: sara is running 925 secs || 10827960 markings, 17591598 edges, 10584 markings/sec, 925 secs
lola: sara is running 930 secs || 10884481 markings, 17687921 edges, 11304 markings/sec, 930 secs
lola: sara is running 935 secs || 10935489 markings, 17805902 edges, 10202 markings/sec, 935 secs
lola: sara is running 940 secs || 10989158 markings, 17929753 edges, 10734 markings/sec, 940 secs
lola: sara is running 945 secs || 11033741 markings, 18032311 edges, 8917 markings/sec, 945 secs
lola: sara is running 950 secs || 11087069 markings, 18154832 edges, 10666 markings/sec, 950 secs
lola: sara is running 955 secs || 11135824 markings, 18267152 edges, 9751 markings/sec, 955 secs
lola: sara is running 960 secs || 11186123 markings, 18382908 edges, 10060 markings/sec, 960 secs
lola: sara is running 965 secs || 11238820 markings, 18504215 edges, 10539 markings/sec, 965 secs
lola: sara is running 970 secs || 11282891 markings, 18608322 edges, 8814 markings/sec, 970 secs
lola: sara is running 975 secs || 11338848 markings, 18710315 edges, 11191 markings/sec, 975 secs
lola: sara is running 980 secs || 11380857 markings, 18810042 edges, 8402 markings/sec, 980 secs
lola: sara is running 985 secs || 11446261 markings, 18897262 edges, 13081 markings/sec, 985 secs
lola: sara is running 990 secs || 11513441 markings, 18984721 edges, 13436 markings/sec, 990 secs
lola: sara is running 995 secs || 11569576 markings, 19070782 edges, 11227 markings/sec, 995 secs
lola: sara is running 1000 secs || 11626296 markings, 19168740 edges, 11344 markings/sec, 1000 secs
lola: sara is running 1005 secs || 11699424 markings, 19275337 edges, 14626 markings/sec, 1005 secs
lola: sara is running 1010 secs || 11772148 markings, 19371739 edges, 14545 markings/sec, 1010 secs
lola: sara is running 1015 secs || 11850450 markings, 19469732 edges, 15660 markings/sec, 1015 secs
lola: sara is running 1020 secs || 11919768 markings, 19567829 edges, 13864 markings/sec, 1020 secs
lola: sara is running 1025 secs || 11980787 markings, 19705797 edges, 12204 markings/sec, 1025 secs
lola: sara is running 1030 secs || 12043123 markings, 19850487 edges, 12467 markings/sec, 1030 secs
lola: sara is running 1035 secs || 12099437 markings, 19980925 edges, 11263 markings/sec, 1035 secs
lola: sara is running 1040 secs || 12160435 markings, 20122290 edges, 12200 markings/sec, 1040 secs
lola: sara is running 1045 secs || 12223106 markings, 20268907 edges, 12534 markings/sec, 1045 secs
lola: sara is running 1050 secs || 12281593 markings, 20393149 edges, 11697 markings/sec, 1050 secs
lola: sara is running 1055 secs || 12344417 markings, 20472693 edges, 12565 markings/sec, 1055 secs
lola: sara is running 1060 secs || 12405969 markings, 20552377 edges, 12310 markings/sec, 1060 secs
lola: sara is running 1065 secs || 12469630 markings, 20630737 edges, 12732 markings/sec, 1065 secs
lola: sara is running 1070 secs || 12528465 markings, 20703485 edges, 11767 markings/sec, 1070 secs
lola: sara is running 1075 secs || 12586528 markings, 20775691 edges, 11613 markings/sec, 1075 secs
lola: sara is running 1080 secs || 12642563 markings, 20845374 edges, 11207 markings/sec, 1080 secs
lola: sara is running 1085 secs || 12697775 markings, 20913935 edges, 11042 markings/sec, 1085 secs
lola: sara is running 1090 secs || 12744250 markings, 20971180 edges, 9295 markings/sec, 1090 secs
lola: sara is running 1095 secs || 12794449 markings, 21033023 edges, 10040 markings/sec, 1095 secs
lola: sara is running 1100 secs || 12845078 markings, 21095921 edges, 10126 markings/sec, 1100 secs
lola: sara is running 1105 secs || 12887797 markings, 21148734 edges, 8544 markings/sec, 1105 secs
lola: sara is running 1110 secs || 12933616 markings, 21207119 edges, 9164 markings/sec, 1110 secs
lola: sara is running 1115 secs || 12988456 markings, 21336683 edges, 10968 markings/sec, 1115 secs
lola: sara is running 1120 secs || 13038087 markings, 21425854 edges, 9926 markings/sec, 1120 secs
lola: sara is running 1125 secs || 13090069 markings, 21515419 edges, 10396 markings/sec, 1125 secs
lola: sara is running 1130 secs || 13146821 markings, 21606778 edges, 11350 markings/sec, 1130 secs
lola: sara is running 1135 secs || 13208072 markings, 21711755 edges, 12250 markings/sec, 1135 secs
lola: sara is running 1140 secs || 13274078 markings, 21794450 edges, 13201 markings/sec, 1140 secs
lola: sara is running 1145 secs || 13331702 markings, 21867643 edges, 11525 markings/sec, 1145 secs
lola: sara is running 1150 secs || 13395407 markings, 21951281 edges, 12741 markings/sec, 1150 secs
lola: sara is running 1155 secs || 13455421 markings, 22032268 edges, 12003 markings/sec, 1155 secs
lola: sara is running 1160 secs || 13519226 markings, 22113576 edges, 12761 markings/sec, 1160 secs
lola: sara is running 1165 secs || 13569482 markings, 22219172 edges, 10051 markings/sec, 1165 secs
lola: sara is running 1170 secs || 13621339 markings, 22336448 edges, 10371 markings/sec, 1170 secs
lola: sara is running 1175 secs || 13672857 markings, 22453235 edges, 10304 markings/sec, 1175 secs
lola: sara is running 1180 secs || 13723081 markings, 22566417 edges, 10045 markings/sec, 1180 secs
lola: sara is running 1185 secs || 13771054 markings, 22675186 edges, 9595 markings/sec, 1185 secs
lola: sara is running 1190 secs || 13820144 markings, 22786111 edges, 9818 markings/sec, 1190 secs
lola: sara is running 1195 secs || 13869125 markings, 22897239 edges, 9796 markings/sec, 1195 secs
lola: sara is running 1200 secs || 13919013 markings, 23010169 edges, 9978 markings/sec, 1200 secs
lola: sara is running 1205 secs || 13969390 markings, 23124456 edges, 10075 markings/sec, 1205 secs
lola: sara is running 1210 secs || 14020897 markings, 23232355 edges, 10301 markings/sec, 1210 secs
lola: sara is running 1215 secs || 14070106 markings, 23344759 edges, 9842 markings/sec, 1215 secs
lola: sara is running 1220 secs || 14119840 markings, 23450638 edges, 9947 markings/sec, 1220 secs
lola: sara is running 1225 secs || 14164700 markings, 23544141 edges, 8972 markings/sec, 1225 secs
lola: sara is running 1230 secs || 14208591 markings, 23636323 edges, 8778 markings/sec, 1230 secs
lola: sara is running 1235 secs || 14258871 markings, 23730278 edges, 10056 markings/sec, 1235 secs
lola: sara is running 1240 secs || 14310793 markings, 23811500 edges, 10384 markings/sec, 1240 secs
lola: sara is running 1245 secs || 14371806 markings, 23888272 edges, 12203 markings/sec, 1245 secs
lola: sara is running 1250 secs || 14429724 markings, 23964485 edges, 11584 markings/sec, 1250 secs
lola: sara is running 1255 secs || 14477857 markings, 24050151 edges, 9627 markings/sec, 1255 secs
lola: sara is running 1260 secs || 14535656 markings, 24123296 edges, 11560 markings/sec, 1260 secs
lola: sara is running 1265 secs || 14592064 markings, 24202637 edges, 11282 markings/sec, 1265 secs
lola: sara is running 1270 secs || 14652768 markings, 24279378 edges, 12141 markings/sec, 1270 secs
lola: sara is running 1275 secs || 14704589 markings, 24361783 edges, 10364 markings/sec, 1275 secs
lola: sara is running 1280 secs || 14754656 markings, 24445776 edges, 10013 markings/sec, 1280 secs
lola: sara is running 1285 secs || 14805742 markings, 24525145 edges, 10217 markings/sec, 1285 secs
lola: sara is running 1290 secs || 14856022 markings, 24604260 edges, 10056 markings/sec, 1290 secs
lola: sara is running 1295 secs || 14906406 markings, 24683064 edges, 10077 markings/sec, 1295 secs
lola: sara is running 1300 secs || 14958814 markings, 24772494 edges, 10482 markings/sec, 1300 secs
lola: sara is running 1305 secs || 15009072 markings, 24853808 edges, 10052 markings/sec, 1305 secs
lola: sara is running 1310 secs || 15058074 markings, 24966072 edges, 9800 markings/sec, 1310 secs
lola: sara is running 1315 secs || 15106821 markings, 25079130 edges, 9749 markings/sec, 1315 secs
lola: sara is running 1320 secs || 15152509 markings, 25186269 edges, 9138 markings/sec, 1320 secs
lola: sara is running 1325 secs || 15200909 markings, 25299609 edges, 9680 markings/sec, 1325 secs
lola: sara is running 1330 secs || 15248690 markings, 25410188 edges, 9556 markings/sec, 1330 secs
lola: sara is running 1335 secs || 15297087 markings, 25525244 edges, 9679 markings/sec, 1335 secs
lola: sara is running 1340 secs || 15347564 markings, 25641899 edges, 10095 markings/sec, 1340 secs
lola: sara is running 1345 secs || 15390647 markings, 25741288 edges, 8617 markings/sec, 1345 secs
lola: sara is running 1350 secs || 15431125 markings, 25833146 edges, 8096 markings/sec, 1350 secs
lola: sara is running 1355 secs || 15470645 markings, 25923658 edges, 7904 markings/sec, 1355 secs
lola: sara is running 1360 secs || 15516689 markings, 26027515 edges, 9209 markings/sec, 1360 secs
lola: sara is running 1365 secs || 15558866 markings, 26124300 edges, 8435 markings/sec, 1365 secs
lola: sara is running 1370 secs || 15602350 markings, 26224601 edges, 8697 markings/sec, 1370 secs
lola: sara is running 1375 secs || 15643613 markings, 26319325 edges, 8253 markings/sec, 1375 secs
lola: sara is running 1380 secs || 15684035 markings, 26412733 edges, 8084 markings/sec, 1380 secs
lola: sara is running 1385 secs || 15727621 markings, 26511970 edges, 8717 markings/sec, 1385 secs
lola: sara is running 1390 secs || 15772893 markings, 26614796 edges, 9054 markings/sec, 1390 secs
lola: sara is running 1395 secs || 15817911 markings, 26717845 edges, 9004 markings/sec, 1395 secs
lola: sara is running 1400 secs || 15865906 markings, 26811584 edges, 9599 markings/sec, 1400 secs
lola: sara is running 1405 secs || 15909613 markings, 26907860 edges, 8741 markings/sec, 1405 secs
lola: sara is running 1410 secs || 15959495 markings, 27008191 edges, 9976 markings/sec, 1410 secs
lola: sara is running 1415 secs || 16009842 markings, 27108677 edges, 10069 markings/sec, 1415 secs
lola: sara is running 1420 secs || 16055909 markings, 27211255 edges, 9213 markings/sec, 1420 secs
lola: sara is running 1425 secs || 16105871 markings, 27310579 edges, 9992 markings/sec, 1425 secs
lola: sara is running 1430 secs || 16151570 markings, 27412590 edges, 9140 markings/sec, 1430 secs
lola: sara is running 1435 secs || 16196659 markings, 27512371 edges, 9018 markings/sec, 1435 secs
lola: sara is running 1440 secs || 16246962 markings, 27613737 edges, 10061 markings/sec, 1440 secs
lola: sara is running 1445 secs || 16294783 markings, 27718636 edges, 9564 markings/sec, 1445 secs
lola: sara is running 1450 secs || 16339444 markings, 27819510 edges, 8932 markings/sec, 1450 secs
lola: sara is running 1455 secs || 16386967 markings, 27907575 edges, 9505 markings/sec, 1455 secs
lola: sara is running 1460 secs || 16442793 markings, 27985936 edges, 11165 markings/sec, 1460 secs
lola: sara is running 1465 secs || 16500853 markings, 28082828 edges, 11612 markings/sec, 1465 secs
lola: sara is running 1470 secs || 16562986 markings, 28170553 edges, 12427 markings/sec, 1470 secs
lola: sara is running 1475 secs || 16625891 markings, 28272905 edges, 12581 markings/sec, 1475 secs
lola: sara is running 1480 secs || 16682631 markings, 28403099 edges, 11348 markings/sec, 1480 secs
lola: sara is running 1485 secs || 16740640 markings, 28536620 edges, 11602 markings/sec, 1485 secs
lola: sara is running 1490 secs || 16797005 markings, 28665779 edges, 11273 markings/sec, 1490 secs
lola: sara is running 1495 secs || 16854302 markings, 28798282 edges, 11459 markings/sec, 1495 secs
lola: sara is running 1500 secs || 16910021 markings, 28903937 edges, 11144 markings/sec, 1500 secs
lola: sara is running 1505 secs || 16972824 markings, 28985737 edges, 12561 markings/sec, 1505 secs
lola: sara is running 1510 secs || 17030907 markings, 29058736 edges, 11617 markings/sec, 1510 secs
lola: sara is running 1515 secs || 17096968 markings, 29143112 edges, 13212 markings/sec, 1515 secs
lola: sara is running 1520 secs || 17153022 markings, 29256453 edges, 11211 markings/sec, 1520 secs
lola: sara is running 1525 secs || 17210885 markings, 29383966 edges, 11573 markings/sec, 1525 secs
lola: sara is running 1530 secs || 17268366 markings, 29513529 edges, 11496 markings/sec, 1530 secs
lola: sara is running 1535 secs || 17323700 markings, 29585511 edges, 11067 markings/sec, 1535 secs
lola: sara is running 1540 secs || 17380576 markings, 29672870 edges, 11375 markings/sec, 1540 secs
lola: sara is running 1545 secs || 17431447 markings, 29746014 edges, 10174 markings/sec, 1545 secs
lola: sara is running 1550 secs || 17491400 markings, 29829044 edges, 11991 markings/sec, 1550 secs
lola: sara is running 1555 secs || 17553013 markings, 29923036 edges, 12323 markings/sec, 1555 secs
lola: sara is running 1560 secs || 17608215 markings, 30046648 edges, 11040 markings/sec, 1560 secs
lola: sara is running 1565 secs || 17663887 markings, 30175406 edges, 11134 markings/sec, 1565 secs
lola: sara is running 1570 secs || 17719349 markings, 30302553 edges, 11092 markings/sec, 1570 secs
lola: sara is running 1575 secs || 17772689 markings, 30424986 edges, 10668 markings/sec, 1575 secs
lola: sara is running 1580 secs || 17827626 markings, 30552140 edges, 10987 markings/sec, 1580 secs
lola: sara is running 1585 secs || 17880671 markings, 30661677 edges, 10609 markings/sec, 1585 secs
lola: sara is running 1590 secs || 17939182 markings, 30739708 edges, 11702 markings/sec, 1590 secs
lola: sara is running 1595 secs || 17997049 markings, 30812211 edges, 11573 markings/sec, 1595 secs
lola: sara is running 1600 secs || 18054107 markings, 30883955 edges, 11412 markings/sec, 1600 secs
lola: sara is running 1605 secs || 18110878 markings, 30956176 edges, 11354 markings/sec, 1605 secs
lola: sara is running 1610 secs || 18167694 markings, 31081417 edges, 11363 markings/sec, 1610 secs
lola: sara is running 1615 secs || 18224220 markings, 31194336 edges, 11305 markings/sec, 1615 secs
lola: sara is running 1620 secs || 18280700 markings, 31264968 edges, 11296 markings/sec, 1620 secs
lola: sara is running 1625 secs || 18336464 markings, 31350590 edges, 11153 markings/sec, 1625 secs
lola: sara is running 1630 secs || 18390107 markings, 31434243 edges, 10729 markings/sec, 1630 secs
lola: sara is running 1635 secs || 18448558 markings, 31513241 edges, 11690 markings/sec, 1635 secs
lola: sara is running 1640 secs || 18503453 markings, 31605339 edges, 10979 markings/sec, 1640 secs
lola: sara is running 1645 secs || 18557606 markings, 31680638 edges, 10831 markings/sec, 1645 secs
lola: sara is running 1650 secs || 18616462 markings, 31763123 edges, 11771 markings/sec, 1650 secs
lola: sara is running 1655 secs || 18679425 markings, 31858936 edges, 12593 markings/sec, 1655 secs
lola: sara is running 1660 secs || 18737386 markings, 31992193 edges, 11592 markings/sec, 1660 secs
lola: sara is running 1665 secs || 18797922 markings, 32133994 edges, 12107 markings/sec, 1665 secs
lola: sara is running 1670 secs || 18857540 markings, 32272071 edges, 11924 markings/sec, 1670 secs
lola: sara is running 1675 secs || 18915492 markings, 32406147 edges, 11590 markings/sec, 1675 secs
lola: sara is running 1680 secs || 18972912 markings, 32527209 edges, 11484 markings/sec, 1680 secs
lola: sara is running 1685 secs || 19033635 markings, 32607975 edges, 12145 markings/sec, 1685 secs
lola: sara is running 1690 secs || 19094998 markings, 32684400 edges, 12273 markings/sec, 1690 secs
lola: sara is running 1695 secs || 19152491 markings, 32757034 edges, 11499 markings/sec, 1695 secs
lola: sara is running 1700 secs || 19210891 markings, 32829184 edges, 11680 markings/sec, 1700 secs
lola: sara is running 1705 secs || 19266488 markings, 32898452 edges, 11119 markings/sec, 1705 secs
lola: sara is running 1710 secs || 19329776 markings, 33001786 edges, 12658 markings/sec, 1710 secs
lola: sara is running 1715 secs || 19383361 markings, 33067509 edges, 10717 markings/sec, 1715 secs
lola: sara is running 1720 secs || 19442937 markings, 33166214 edges, 11915 markings/sec, 1720 secs
lola: sara is running 1725 secs || 19502132 markings, 33242801 edges, 11839 markings/sec, 1725 secs
lola: sara is running 1730 secs || 19559311 markings, 33330911 edges, 11436 markings/sec, 1730 secs
lola: sara is running 1735 secs || 19615794 markings, 33417575 edges, 11297 markings/sec, 1735 secs
lola: sara is running 1740 secs || 19685871 markings, 33509112 edges, 14015 markings/sec, 1740 secs
lola: sara is running 1745 secs || 19745021 markings, 33635365 edges, 11830 markings/sec, 1745 secs
lola: sara is running 1750 secs || 19804560 markings, 33773680 edges, 11908 markings/sec, 1750 secs
lola: sara is running 1755 secs || 19864051 markings, 33909980 edges, 11898 markings/sec, 1755 secs
lola: sara is running 1760 secs || 19921610 markings, 34042469 edges, 11512 markings/sec, 1760 secs
lola: sara is running 1765 secs || 19981119 markings, 34179881 edges, 11902 markings/sec, 1765 secs
lola: sara is running 1770 secs || 20039026 markings, 34280161 edges, 11581 markings/sec, 1770 secs
lola: sara is running 1775 secs || 20105401 markings, 34365396 edges, 13275 markings/sec, 1775 secs
lola: sara is running 1780 secs || 20163798 markings, 34439488 edges, 11679 markings/sec, 1780 secs
lola: sara is running 1785 secs || 20225715 markings, 34516415 edges, 12383 markings/sec, 1785 secs
lola: sara is running 1790 secs || 20281673 markings, 34586412 edges, 11192 markings/sec, 1790 secs
lola: sara is running 1795 secs || 20335162 markings, 34653206 edges, 10698 markings/sec, 1795 secs
lola: sara is running 1800 secs || 20397180 markings, 34770195 edges, 12404 markings/sec, 1800 secs
lola: sara is running 1805 secs || 20457006 markings, 34895338 edges, 11965 markings/sec, 1805 secs
lola: sara is running 1810 secs || 20521910 markings, 34980043 edges, 12981 markings/sec, 1810 secs
lola: sara is running 1815 secs || 20589740 markings, 35100784 edges, 13566 markings/sec, 1815 secs
lola: sara is running 1820 secs || 20655149 markings, 35217693 edges, 13082 markings/sec, 1820 secs
lola: sara is running 1825 secs || 20720158 markings, 35331197 edges, 13002 markings/sec, 1825 secs
lola: sara is running 1830 secs || 20780786 markings, 35464724 edges, 12126 markings/sec, 1830 secs
lola: sara is running 1835 secs || 20848876 markings, 35551569 edges, 13618 markings/sec, 1835 secs
lola: sara is running 1840 secs || 20909581 markings, 35626097 edges, 12141 markings/sec, 1840 secs
lola: sara is running 1845 secs || 20963359 markings, 35691856 edges, 10756 markings/sec, 1845 secs
lola: sara is running 1850 secs || 21008347 markings, 35749559 edges, 8998 markings/sec, 1850 secs
lola: sara is running 1855 secs || 21062849 markings, 35821130 edges, 10900 markings/sec, 1855 secs
lola: sara is running 1860 secs || 21122217 markings, 35893909 edges, 11874 markings/sec, 1860 secs
lola: sara is running 1865 secs || 21166552 markings, 35947955 edges, 8867 markings/sec, 1865 secs
lola: sara is running 1870 secs || 21219394 markings, 36013132 edges, 10568 markings/sec, 1870 secs
lola: sara is running 1875 secs || 21279795 markings, 36087258 edges, 12080 markings/sec, 1875 secs
lola: sara is running 1880 secs || 21324841 markings, 36143362 edges, 9009 markings/sec, 1880 secs
lola: sara is running 1885 secs || 21385013 markings, 36217243 edges, 12034 markings/sec, 1885 secs
lola: sara is running 1890 secs || 21441283 markings, 36287915 edges, 11254 markings/sec, 1890 secs
lola: sara is running 1895 secs || 21497115 markings, 36357078 edges, 11166 markings/sec, 1895 secs
lola: sara is running 1900 secs || 21555096 markings, 36429972 edges, 11596 markings/sec, 1900 secs
lola: sara is running 1905 secs || 21598606 markings, 36485470 edges, 8702 markings/sec, 1905 secs
lola: sara is running 1910 secs || 21653945 markings, 36576048 edges, 11068 markings/sec, 1910 secs
lola: sara is running 1915 secs || 21717434 markings, 36694086 edges, 12698 markings/sec, 1915 secs
lola: sara is running 1920 secs || 21780124 markings, 36792151 edges, 12538 markings/sec, 1920 secs
lola: sara is running 1925 secs || 21841090 markings, 36867003 edges, 12193 markings/sec, 1925 secs
lola: sara is running 1930 secs || 21885759 markings, 36921449 edges, 8934 markings/sec, 1930 secs
lola: sara is running 1935 secs || 21943924 markings, 37002072 edges, 11633 markings/sec, 1935 secs
lola: sara is running 1940 secs || 22001845 markings, 37074357 edges, 11584 markings/sec, 1940 secs
lola: sara is running 1945 secs || 22045591 markings, 37137435 edges, 8749 markings/sec, 1945 secs
lola: sara is running 1950 secs || 22108778 markings, 37253718 edges, 12637 markings/sec, 1950 secs
lola: sara is running 1955 secs || 22168519 markings, 37327554 edges, 11948 markings/sec, 1955 secs
lola: sara is running 1960 secs || 22221827 markings, 37392760 edges, 10662 markings/sec, 1960 secs
lola: sara is running 1965 secs || 22266522 markings, 37447224 edges, 8939 markings/sec, 1965 secs
lola: sara is running 1970 secs || 22317565 markings, 37512276 edges, 10209 markings/sec, 1970 secs
lola: sara is running 1975 secs || 22373006 markings, 37580155 edges, 11088 markings/sec, 1975 secs
lola: sara is running 1980 secs || 22425657 markings, 37648018 edges, 10530 markings/sec, 1980 secs
lola: sara is running 1985 secs || 22483287 markings, 37719092 edges, 11526 markings/sec, 1985 secs
lola: sara is running 1990 secs || 22539083 markings, 37789021 edges, 11159 markings/sec, 1990 secs
lola: sara is running 1995 secs || 22596305 markings, 37860426 edges, 11444 markings/sec, 1995 secs
lola: sara is running 2000 secs || 22641058 markings, 37917176 edges, 8951 markings/sec, 2000 secs
lola: sara is running 2005 secs || 22695015 markings, 37985353 edges, 10791 markings/sec, 2005 secs
lola: sara is running 2010 secs || 22749942 markings, 38052567 edges, 10985 markings/sec, 2010 secs
lola: sara is running 2015 secs || 22803007 markings, 38117912 edges, 10613 markings/sec, 2015 secs
lola: sara is running 2020 secs || 22858831 markings, 38187590 edges, 11165 markings/sec, 2020 secs
lola: sara is running 2025 secs || 22901924 markings, 38246632 edges, 8619 markings/sec, 2025 secs
lola: sara is running 2030 secs || 22963351 markings, 38364667 edges, 12285 markings/sec, 2030 secs
lola: sara is running 2035 secs || 23026489 markings, 38460995 edges, 12628 markings/sec, 2035 secs
lola: sara is running 2040 secs || 23085557 markings, 38543341 edges, 11814 markings/sec, 2040 secs
lola: sara is running 2045 secs || 23140710 markings, 38612013 edges, 11031 markings/sec, 2045 secs
lola: sara is running 2050 secs || 23188423 markings, 38672579 edges, 9543 markings/sec, 2050 secs
lola: sara is running 2055 secs || 23246530 markings, 38769798 edges, 11621 markings/sec, 2055 secs
lola: sara is running 2060 secs || 23306674 markings, 38884876 edges, 12029 markings/sec, 2060 secs
lola: sara is running 2065 secs || 23364158 markings, 38988289 edges, 11497 markings/sec, 2065 secs
lola: sara is running 2070 secs || 23421130 markings, 39058804 edges, 11394 markings/sec, 2070 secs
lola: sara is running 2075 secs || 23469877 markings, 39120111 edges, 9749 markings/sec, 2075 secs
lola: sara is running 2080 secs || 23523088 markings, 39186422 edges, 10642 markings/sec, 2080 secs
lola: sara is running 2085 secs || 23574131 markings, 39248771 edges, 10209 markings/sec, 2085 secs
lola: sara is running 2090 secs || 23623853 markings, 39312658 edges, 9944 markings/sec, 2090 secs
lola: sara is running 2095 secs || 23677641 markings, 39378523 edges, 10758 markings/sec, 2095 secs
lola: sara is running 2100 secs || 23722650 markings, 39434729 edges, 9002 markings/sec, 2100 secs
lola: sara is running 2105 secs || 23780067 markings, 39506197 edges, 11483 markings/sec, 2105 secs
lola: sara is running 2110 secs || 23831983 markings, 39569874 edges, 10383 markings/sec, 2110 secs
lola: sara is running 2115 secs || 23887822 markings, 39639259 edges, 11168 markings/sec, 2115 secs
lola: sara is running 2120 secs || 23947110 markings, 39716721 edges, 11858 markings/sec, 2120 secs
lola: sara is running 2125 secs || 24005470 markings, 39791956 edges, 11672 markings/sec, 2125 secs
lola: sara is running 2130 secs || 24057567 markings, 39855909 edges, 10419 markings/sec, 2130 secs
lola: sara is running 2135 secs || 24113395 markings, 39925353 edges, 11166 markings/sec, 2135 secs
lola: sara is running 2140 secs || 24168057 markings, 40007573 edges, 10932 markings/sec, 2140 secs
lola: sara is running 2145 secs || 24227589 markings, 40091313 edges, 11906 markings/sec, 2145 secs
lola: sara is running 2150 secs || 24289563 markings, 40175759 edges, 12395 markings/sec, 2150 secs
lola: sara is running 2155 secs || 24350783 markings, 40257655 edges, 12244 markings/sec, 2155 secs
lola: sara is running 2160 secs || 24413317 markings, 40339642 edges, 12507 markings/sec, 2160 secs
lola: sara is running 2165 secs || 24469007 markings, 40426361 edges, 11138 markings/sec, 2165 secs
lola: sara is running 2170 secs || 24525949 markings, 40507183 edges, 11388 markings/sec, 2170 secs
lola: sara is running 2175 secs || 24586150 markings, 40587253 edges, 12040 markings/sec, 2175 secs
lola: sara is running 2180 secs || 24645350 markings, 40666881 edges, 11840 markings/sec, 2180 secs
lola: sara is running 2185 secs || 24703400 markings, 40747651 edges, 11610 markings/sec, 2185 secs
lola: sara is running 2190 secs || 24762041 markings, 40833916 edges, 11728 markings/sec, 2190 secs
lola: sara is running 2195 secs || 24824331 markings, 40930347 edges, 12458 markings/sec, 2195 secs
lola: sara is running 2200 secs || 24883751 markings, 41025850 edges, 11884 markings/sec, 2200 secs
lola: sara is running 2205 secs || 24943878 markings, 41114977 edges, 12025 markings/sec, 2205 secs
lola: sara is running 2210 secs || 25007852 markings, 41202042 edges, 12795 markings/sec, 2210 secs
lola: sara is running 2215 secs || 25064410 markings, 41291135 edges, 11312 markings/sec, 2215 secs
lola: sara is running 2220 secs || 25123843 markings, 41400259 edges, 11887 markings/sec, 2220 secs
lola: sara is running 2225 secs || 25176520 markings, 41520590 edges, 10535 markings/sec, 2225 secs
lola: sara is running 2230 secs || 25221488 markings, 41624967 edges, 8994 markings/sec, 2230 secs
lola: sara is running 2235 secs || 25288167 markings, 41705858 edges, 13336 markings/sec, 2235 secs
lola: sara is running 2240 secs || 25359001 markings, 41793195 edges, 14167 markings/sec, 2240 secs
lola: sara is running 2245 secs || 25427068 markings, 41877677 edges, 13613 markings/sec, 2245 secs
lola: sara is running 2250 secs || 25497270 markings, 41965616 edges, 14040 markings/sec, 2250 secs
lola: sara is running 2255 secs || 25559371 markings, 42041798 edges, 12420 markings/sec, 2255 secs
lola: sara is running 2260 secs || 25622214 markings, 42119524 edges, 12569 markings/sec, 2260 secs
lola: sara is running 2265 secs || 25685934 markings, 42198261 edges, 12744 markings/sec, 2265 secs
lola: sara is running 2270 secs || 25750752 markings, 42278001 edges, 12964 markings/sec, 2270 secs
lola: sara is running 2275 secs || 25814925 markings, 42358449 edges, 12835 markings/sec, 2275 secs
lola: sara is running 2280 secs || 25889129 markings, 42451344 edges, 14841 markings/sec, 2280 secs
lola: sara is running 2285 secs || 25965754 markings, 42546495 edges, 15325 markings/sec, 2285 secs
lola: sara is running 2290 secs || 26040547 markings, 42641653 edges, 14959 markings/sec, 2290 secs
lola: sara is running 2295 secs || 26118356 markings, 42739020 edges, 15562 markings/sec, 2295 secs
lola: sara is running 2300 secs || 26198992 markings, 42839216 edges, 16127 markings/sec, 2300 secs
lola: sara is running 2305 secs || 26277904 markings, 42939854 edges, 15782 markings/sec, 2305 secs
lola: sara is running 2310 secs || 26352377 markings, 43030600 edges, 14895 markings/sec, 2310 secs
lola: sara is running 2315 secs || 26431693 markings, 43130839 edges, 15863 markings/sec, 2315 secs
lola: sara is running 2320 secs || 26501620 markings, 43217122 edges, 13985 markings/sec, 2320 secs
lola: sara is running 2325 secs || 26571614 markings, 43303752 edges, 13999 markings/sec, 2325 secs
lola: sara is running 2330 secs || 26640236 markings, 43388901 edges, 13724 markings/sec, 2330 secs
lola: sara is running 2335 secs || 26709802 markings, 43476685 edges, 13913 markings/sec, 2335 secs
lola: sara is running 2340 secs || 26771486 markings, 43552565 edges, 12337 markings/sec, 2340 secs
lola: sara is running 2345 secs || 26834337 markings, 43630482 edges, 12570 markings/sec, 2345 secs
lola: sara is running 2350 secs || 26897694 markings, 43708820 edges, 12671 markings/sec, 2350 secs
lola: sara is running 2355 secs || 26962834 markings, 43789267 edges, 13028 markings/sec, 2355 secs
lola: sara is running 2360 secs || 27025148 markings, 43867683 edges, 12463 markings/sec, 2360 secs
lola: sara is running 2365 secs || 27098944 markings, 43960277 edges, 14759 markings/sec, 2365 secs
lola: sara is running 2370 secs || 27175414 markings, 44055356 edges, 15294 markings/sec, 2370 secs
lola: sara is running 2375 secs || 27249801 markings, 44150003 edges, 14877 markings/sec, 2375 secs
lola: sara is running 2380 secs || 27326554 markings, 44246136 edges, 15351 markings/sec, 2380 secs
lola: sara is running 2385 secs || 27406942 markings, 44346773 edges, 16078 markings/sec, 2385 secs
lola: sara is running 2390 secs || 27486531 markings, 44447753 edges, 15918 markings/sec, 2390 secs
lola: sara is running 2395 secs || 27560296 markings, 44541556 edges, 14753 markings/sec, 2395 secs
lola: sara is running 2400 secs || 27615633 markings, 44635462 edges, 11067 markings/sec, 2400 secs
lola: sara is running 2405 secs || 27657816 markings, 44727852 edges, 8437 markings/sec, 2405 secs
lola: sara is running 2410 secs || 27703852 markings, 44822801 edges, 9207 markings/sec, 2410 secs
lola: sara is running 2415 secs || 27755270 markings, 44905201 edges, 10284 markings/sec, 2415 secs
lola: sara is running 2420 secs || 27818768 markings, 44991289 edges, 12700 markings/sec, 2420 secs
lola: sara is running 2425 secs || 27877222 markings, 45078242 edges, 11691 markings/sec, 2425 secs
lola: sara is running 2430 secs || 27927818 markings, 45161079 edges, 10119 markings/sec, 2430 secs
lola: sara is running 2435 secs || 27988853 markings, 45245003 edges, 12207 markings/sec, 2435 secs
lola: sara is running 2440 secs || 28051384 markings, 45330452 edges, 12506 markings/sec, 2440 secs
lola: sara is running 2445 secs || 28112631 markings, 45419682 edges, 12249 markings/sec, 2445 secs
lola: sara is running 2450 secs || 28161600 markings, 45525738 edges, 9794 markings/sec, 2450 secs
lola: sara is running 2455 secs || 28212485 markings, 45643696 edges, 10177 markings/sec, 2455 secs
lola: sara is running 2460 secs || 28264491 markings, 45764588 edges, 10401 markings/sec, 2460 secs
lola: sara is running 2465 secs || 28312571 markings, 45875935 edges, 9616 markings/sec, 2465 secs
lola: sara is running 2470 secs || 28360603 markings, 45987078 edges, 9606 markings/sec, 2470 secs
lola: sara is running 2475 secs || 28409811 markings, 46101175 edges, 9842 markings/sec, 2475 secs
lola: sara is running 2480 secs || 28459162 markings, 46215148 edges, 9870 markings/sec, 2480 secs
lola: sara is running 2485 secs || 28509439 markings, 46332306 edges, 10055 markings/sec, 2485 secs
lola: sara is running 2490 secs || 28559832 markings, 46448805 edges, 10079 markings/sec, 2490 secs
lola: sara is running 2495 secs || 28610539 markings, 46566282 edges, 10141 markings/sec, 2495 secs
lola: sara is running 2500 secs || 28654668 markings, 46662647 edges, 8826 markings/sec, 2500 secs
lola: sara is running 2505 secs || 28699937 markings, 46753232 edges, 9054 markings/sec, 2505 secs
lola: sara is running 2510 secs || 28742875 markings, 46856480 edges, 8588 markings/sec, 2510 secs
lola: sara is running 2515 secs || 28785423 markings, 46954975 edges, 8510 markings/sec, 2515 secs
lola: sara is running 2520 secs || 28830524 markings, 47054284 edges, 9020 markings/sec, 2520 secs
lola: sara is running 2525 secs || 28875522 markings, 47150059 edges, 9000 markings/sec, 2525 secs
lola: sara is running 2530 secs || 28919626 markings, 47250844 edges, 8821 markings/sec, 2530 secs
lola: sara is running 2535 secs || 28964025 markings, 47348875 edges, 8880 markings/sec, 2535 secs
lola: sara is running 2540 secs || 29011662 markings, 47433844 edges, 9527 markings/sec, 2540 secs
lola: sara is running 2545 secs || 29066186 markings, 47515180 edges, 10905 markings/sec, 2545 secs
lola: sara is running 2550 secs || 29123639 markings, 47592907 edges, 11491 markings/sec, 2550 secs
lola: sara is running 2555 secs || 29182783 markings, 47671730 edges, 11829 markings/sec, 2555 secs
lola: sara is running 2560 secs || 29239259 markings, 47746980 edges, 11295 markings/sec, 2560 secs
lola: sara is running 2565 secs || 29296182 markings, 47830709 edges, 11385 markings/sec, 2565 secs
lola: sara is running 2570 secs || 29355013 markings, 47910114 edges, 11766 markings/sec, 2570 secs
lola: sara is running 2575 secs || 29407069 markings, 47995252 edges, 10411 markings/sec, 2575 secs
lola: sara is running 2580 secs || 29454778 markings, 48081378 edges, 9542 markings/sec, 2580 secs
lola: sara is running 2585 secs || 29500179 markings, 48159946 edges, 9080 markings/sec, 2585 secs
lola: sara is running 2590 secs || 29544539 markings, 48237881 edges, 8872 markings/sec, 2590 secs
lola: sara is running 2595 secs || 29591392 markings, 48324028 edges, 9371 markings/sec, 2595 secs
lola: sara is running 2600 secs || 29647346 markings, 48409520 edges, 11191 markings/sec, 2600 secs
lola: sara is running 2605 secs || 29690636 markings, 48489643 edges, 8658 markings/sec, 2605 secs
lola: sara is running 2610 secs || 29738516 markings, 48572485 edges, 9576 markings/sec, 2610 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no no no yes yes yes unknown yes no no yes yes yes yes
lola:
preliminary result: yes yes no no no yes yes yes unknown yes no no yes yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no no no yes yes yes unknown yes no no yes yes yes yes
lola: memory consumption: 4211448 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no no no yes yes yes unknown yes no no yes yes yes yes
lola: memory consumption: 4211608 KB
lola: time consumption: 3570 seconds
BK_STOP 1526518146296
--------------------
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-311"
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-311.tgz
mv CloudReconfiguration-PT-311 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-311, 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-152646379900075"
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 ;