About the Execution of LoLA for CloudReconfiguration-PT-401
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3288.960 | 3600000.00 | 5735137.00 | 11150.90 | ?TTF?FTFTFFFTF?F | 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 1.1M
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 16K 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.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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.2K 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.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 912K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-401, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380000144
=====================================================================
--------------------
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-401-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526551751317
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-401 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-401 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CloudReconfiguration-PT-401 @ 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: 7817/65536 symbol table entries, 1515 collisions
lola: preprocessing...
lola: Size of bit vector: 3554
lola: finding significant places
lola: 3554 places, 4263 transitions, 3549 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3718 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-401-CTLFireability.task
lola: E ((((NOT FIREABLE(t1900) AND NOT FIREABLE(t3452)) OR A (F (FIREABLE(t952)))) U (FIREABLE(t1450) AND E (F (FIREABLE(t1231)))))) : A (X (NOT(A (F (FIREABLE(t1483)))))) : (((FIREABLE(t2171) OR FIREABLE(t2701)) OR (A (F (FIREABLE(t191))) AND FIREABLE(t2029))) OR (((E (X (FIREABLE(t1251))) AND FIREABLE(t2291)) OR (E (F (FIREABLE(t3728))) OR E (X (FIREABLE(t403))))) AND E (F (FIREABLE(t166))))) : A (G (NOT FIREABLE(t3899))) : E (F (((FIREABLE(t1327) OR (FIREABLE(t3099) AND FIREABLE(t1208)) OR FIREABLE(t2564)) AND (E (F (FIREABLE(t4179))) AND A (F (FIREABLE(t3950))))))) : A (F ((((NOT FIREABLE(t2216) AND NOT FIREABLE(t1454)) AND E (X (FIREABLE(t979)))) OR FIREABLE(t3453)))) : NOT(A (G (E (G (NOT FIREABLE(t2025)))))) : A (F (FIREABLE(t2210))) : NOT(NOT(E (G ((FIREABLE(t2943) OR FIREABLE(t1093) OR NOT FIREABLE(t4187)))))) : (NOT(E (F (E (F (FIREABLE(t3273)))))) OR (A (((FIREABLE(t2828) OR FIREABLE(t3413)) U NOT FIREABLE(t2849))) AND FIREABLE(t3744))) : NOT((NOT(NOT(E (F (FIREABLE(t4255))))) OR A (F (FIREABLE(t4202))))) : (A (G (((NOT FIREABLE(t1286) AND NOT FIREABLE(t1792)) OR (NOT FIREABLE(t4204) AND NOT FIREABLE(t2304))))) OR (NOT(E (X (NOT FIREABLE(t2236)))) OR A (G (A (G (FIREABLE(t319))))))) : A (X (E (G ((NOT FIREABLE(t1995) AND NOT FIREABLE(t983)))))) : A (G (NOT(A (X (FIREABLE(t39)))))) : NOT((E ((NOT FIREABLE(t659) U (FIREABLE(t754) AND FIREABLE(t2148)))) OR E (F (((FIREABLE(t620) OR FIREABLE(t2417)) AND (FIREABLE(t928) OR FIREABLE(t3393))))))) : NOT(A (F (E (F (FIREABLE(t3243))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:458
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (G (NOT FIREABLE(t1483)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: AX(NOT(A(TRUE U FIREABLE(t1483))))
lola: processed formula length: 34
lola: 53 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 73 markings, 73 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t2171) OR FIREABLE(t2701)) OR ((A (F (FIREABLE(t191))) AND FIREABLE(t2029)) OR (((E (X (FIREABLE(t1251))) AND FIREABLE(t2291)) OR (E (F (FIREABLE(t3728))) OR E (X (FIREABLE(t403))))) AND E (F (FIREABLE(t166))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t3728)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t3728)))
lola: processed formula length: 23
lola: 51 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t3728)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 97 markings, 96 edges
lola: ========================================
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t2029)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t2029)
lola: processed formula length: 15
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t2171) OR FIREABLE(t2701))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t2171) OR FIREABLE(t2701))
lola: processed formula length: 37
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t166)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t166)))
lola: processed formula length: 22
lola: 51 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t166)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-4-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 60 markings, 59 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((NOT FIREABLE(t2216) AND NOT FIREABLE(t1454)) AND E (X (FIREABLE(t979)))) OR FIREABLE(t3453))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (((NOT FIREABLE(t2216) AND NOT FIREABLE(t1454)) AND EX(FIREABLE(t979))) OR FIREABLE(t3453)))
lola: processed formula length: 101
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 60 markings, 60 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((NOT FIREABLE(t1286) AND NOT FIREABLE(t1792)) OR (NOT FIREABLE(t4204) AND NOT FIREABLE(t2304))))) OR (A (X (FIREABLE(t2236))) OR A (G (FIREABLE(t319)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t319)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(t319)))
lola: processed formula length: 22
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(t319)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-3-0.sara
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t1286) AND NOT FIREABLE(t1792)) OR (NOT FIREABLE(t4204) AND NOT FIREABLE(t2304)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NOT FIREABLE(t1286) AND NOT FIREABLE(t1792)) OR (NOT FIREABLE(t4204) AND NOT FIREABLE(t2304)))))
lola: processed formula length: 105
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: ========================================
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((FIREABLE(t1286) OR FIREABLE(t1792)) AND (FIREABLE(t4204) OR FIREABLE(t2304)))
lola: state equation: Generated DNF with 10 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-4-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 135 markings, 134 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t2236)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(FIREABLE(t2236))
lola: processed formula length: 19
lola: 51 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (G ((NOT FIREABLE(t1995) AND NOT FIREABLE(t983))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: AX(NOT(A(TRUE U (FIREABLE(t1995) OR FIREABLE(t983)))))
lola: processed formula length: 55
lola: 53 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 73 markings, 73 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X (NOT FIREABLE(t39)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(EX(NOT FIREABLE(t39)))))
lola: processed formula length: 41
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 205 markings, 214 edges
lola:
FORMULA CloudReconfiguration-PT-401-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2025)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t2025)))
lola: processed formula length: 23
lola: 51 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t2025)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-6-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 96 markings, 95 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t3899)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (NOT FIREABLE(t3899)))
lola: processed formula length: 27
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: FIREABLE(t3899)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-7-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 81 markings, 80 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t3243)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t3243)))
lola: processed formula length: 27
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t3243)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 105 markings, 104 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t2210)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t2210)
lola: processed formula length: 19
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 93 markings, 93 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(t2943) OR FIREABLE(t1093) OR NOT FIREABLE(t4187))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((FIREABLE(t2943) OR FIREABLE(t1093) OR NOT FIREABLE(t4187))))
lola: processed formula length: 69
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 98 markings, 98 edges
lola:
FORMULA CloudReconfiguration-PT-401-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 11 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((NOT FIREABLE(t1900) AND NOT FIREABLE(t3452)) OR A (F (FIREABLE(t952)))) U (FIREABLE(t1450) AND E (F (FIREABLE(t1231))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(((NOT FIREABLE(t1900) AND NOT FIREABLE(t3452)) OR A(TRUE U FIREABLE(t952))) U (FIREABLE(t1450) AND E(TRUE U FIREABLE(t1231))))
lola: processed formula length: 128
lola: 53 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 69416 markings, 140279 edges, 13883 markings/sec, 0 secs
lola: 135241 markings, 288891 edges, 13165 markings/sec, 5 secs
lola: 205512 markings, 444153 edges, 14054 markings/sec, 10 secs
lola: 265132 markings, 600972 edges, 11924 markings/sec, 15 secs
lola: 336987 markings, 750532 edges, 14371 markings/sec, 20 secs
lola: 409017 markings, 906379 edges, 14406 markings/sec, 25 secs
lola: 475678 markings, 1062735 edges, 13332 markings/sec, 30 secs
lola: 540500 markings, 1218958 edges, 12964 markings/sec, 35 secs
lola: 612298 markings, 1375014 edges, 14360 markings/sec, 40 secs
lola: 685462 markings, 1530817 edges, 14633 markings/sec, 45 secs
lola: 747194 markings, 1687005 edges, 12346 markings/sec, 50 secs
lola: 813873 markings, 1841388 edges, 13336 markings/sec, 55 secs
lola: 883465 markings, 1996260 edges, 13918 markings/sec, 60 secs
lola: 958647 markings, 2149880 edges, 15036 markings/sec, 65 secs
lola: 1016556 markings, 2304734 edges, 11582 markings/sec, 70 secs
lola: 1087755 markings, 2459230 edges, 14240 markings/sec, 75 secs
lola: 1154915 markings, 2614758 edges, 13432 markings/sec, 80 secs
lola: 1228373 markings, 2768921 edges, 14692 markings/sec, 85 secs
lola: 1286997 markings, 2923845 edges, 11725 markings/sec, 90 secs
lola: 1354254 markings, 3079654 edges, 13451 markings/sec, 95 secs
lola: 1408524 markings, 3235818 edges, 10854 markings/sec, 100 secs
lola: 1469716 markings, 3391873 edges, 12238 markings/sec, 105 secs
lola: 1519255 markings, 3548925 edges, 9908 markings/sec, 110 secs
lola: 1570430 markings, 3706927 edges, 10235 markings/sec, 115 secs
lola: 1641461 markings, 3861161 edges, 14206 markings/sec, 120 secs
lola: 1704199 markings, 4016660 edges, 12548 markings/sec, 125 secs
lola: 1765630 markings, 4171780 edges, 12286 markings/sec, 130 secs
lola: 1828506 markings, 4327912 edges, 12575 markings/sec, 135 secs
lola: 1894659 markings, 4483460 edges, 13231 markings/sec, 140 secs
lola: 1956304 markings, 4637560 edges, 12329 markings/sec, 145 secs
lola: 2026833 markings, 4792269 edges, 14106 markings/sec, 150 secs
lola: 2096420 markings, 4946191 edges, 13917 markings/sec, 155 secs
lola: 2159855 markings, 5102363 edges, 12687 markings/sec, 160 secs
lola: 2220229 markings, 5257646 edges, 12075 markings/sec, 165 secs
lola: 2282654 markings, 5411793 edges, 12485 markings/sec, 170 secs
lola: 2334313 markings, 5567934 edges, 10332 markings/sec, 175 secs
lola: 2392837 markings, 5723806 edges, 11705 markings/sec, 180 secs
lola: 2441575 markings, 5880644 edges, 9748 markings/sec, 185 secs
lola: 2495104 markings, 6037380 edges, 10706 markings/sec, 190 secs
lola: 2551421 markings, 6194377 edges, 11263 markings/sec, 195 secs
lola: 2621924 markings, 6350189 edges, 14101 markings/sec, 200 secs
lola: 2686863 markings, 6505333 edges, 12988 markings/sec, 205 secs
lola: 2752013 markings, 6661077 edges, 13030 markings/sec, 210 secs
lola: 2813448 markings, 6815746 edges, 12287 markings/sec, 215 secs
lola: 2877664 markings, 6970710 edges, 12843 markings/sec, 220 secs
lola: 2934417 markings, 7126950 edges, 11351 markings/sec, 225 secs
lola: 2993192 markings, 7281871 edges, 11755 markings/sec, 230 secs
lola: 3035834 markings, 7438616 edges, 8528 markings/sec, 235 secs
lola: 3081800 markings, 7592198 edges, 9193 markings/sec, 240 secs
lola: 3140908 markings, 7745877 edges, 11822 markings/sec, 245 secs
lola: 3187437 markings, 7901949 edges, 9306 markings/sec, 250 secs
lola: 3232749 markings, 8057101 edges, 9062 markings/sec, 255 secs
lola: 3273723 markings, 8213763 edges, 8195 markings/sec, 260 secs
lola: 3313049 markings, 8369756 edges, 7865 markings/sec, 265 secs
lola: 3375800 markings, 8518436 edges, 12550 markings/sec, 270 secs
lola: 3433875 markings, 8671580 edges, 11615 markings/sec, 275 secs
lola: 3503312 markings, 8823893 edges, 13887 markings/sec, 280 secs
lola: 3563515 markings, 8979301 edges, 12041 markings/sec, 285 secs
lola: 3617605 markings, 9133227 edges, 10818 markings/sec, 290 secs
lola: 3677834 markings, 9289364 edges, 12046 markings/sec, 295 secs
lola: 3728809 markings, 9438983 edges, 10195 markings/sec, 300 secs
lola: 3769544 markings, 9588494 edges, 8147 markings/sec, 305 secs
lola: 3814884 markings, 9739892 edges, 9068 markings/sec, 310 secs
lola: 3852134 markings, 9900713 edges, 7450 markings/sec, 315 secs
lola: 3893748 markings, 10061441 edges, 8323 markings/sec, 320 secs
lola: 3952336 markings, 10217587 edges, 11718 markings/sec, 325 secs
lola: 3998349 markings, 10375113 edges, 9203 markings/sec, 330 secs
lola: 4041878 markings, 10531422 edges, 8706 markings/sec, 335 secs
lola: 4087428 markings, 10688079 edges, 9110 markings/sec, 340 secs
lola: 4124310 markings, 10848164 edges, 7376 markings/sec, 345 secs
lola: 4177430 markings, 11004233 edges, 10624 markings/sec, 350 secs
lola: 4239271 markings, 11157228 edges, 12368 markings/sec, 355 secs
lola: 4305644 markings, 11311582 edges, 13275 markings/sec, 360 secs
lola: 4370212 markings, 11465201 edges, 12914 markings/sec, 365 secs
lola: 4443559 markings, 11618353 edges, 14669 markings/sec, 370 secs
lola: 4509991 markings, 11773671 edges, 13286 markings/sec, 375 secs
lola: 4569058 markings, 11927650 edges, 11813 markings/sec, 380 secs
lola: 4627450 markings, 12080281 edges, 11678 markings/sec, 385 secs
lola: 4689104 markings, 12234279 edges, 12331 markings/sec, 390 secs
lola: 4757174 markings, 12389040 edges, 13614 markings/sec, 395 secs
lola: 4817185 markings, 12544819 edges, 12002 markings/sec, 400 secs
lola: 4875622 markings, 12700240 edges, 11687 markings/sec, 405 secs
lola: 4926734 markings, 12855774 edges, 10222 markings/sec, 410 secs
lola: 4969635 markings, 13012785 edges, 8580 markings/sec, 415 secs
lola: 5024044 markings, 13168123 edges, 10882 markings/sec, 420 secs
lola: 5064033 markings, 13324825 edges, 7998 markings/sec, 425 secs
lola: 5100692 markings, 13482379 edges, 7332 markings/sec, 430 secs
lola: 5139763 markings, 13640428 edges, 7814 markings/sec, 435 secs
lola: 5184607 markings, 13796315 edges, 8969 markings/sec, 440 secs
lola: 5221053 markings, 13953549 edges, 7289 markings/sec, 445 secs
lola: 5259483 markings, 14111059 edges, 7686 markings/sec, 450 secs
lola: 5295449 markings, 14269462 edges, 7193 markings/sec, 455 secs
lola: 5334466 markings, 14428003 edges, 7803 markings/sec, 460 secs
lola: 5372971 markings, 14585136 edges, 7701 markings/sec, 465 secs
lola: 5418815 markings, 14741667 edges, 9169 markings/sec, 470 secs
lola: 5461840 markings, 14897517 edges, 8605 markings/sec, 475 secs
lola: 5511435 markings, 15051532 edges, 9919 markings/sec, 480 secs
lola: 5565701 markings, 15207517 edges, 10853 markings/sec, 485 secs
lola: 5612858 markings, 15363500 edges, 9431 markings/sec, 490 secs
lola: 5663973 markings, 15517826 edges, 10223 markings/sec, 495 secs
lola: 5702679 markings, 15673800 edges, 7741 markings/sec, 500 secs
lola: 5754254 markings, 15828026 edges, 10315 markings/sec, 505 secs
lola: 5796912 markings, 15981070 edges, 8532 markings/sec, 510 secs
lola: 5856066 markings, 16134825 edges, 11831 markings/sec, 515 secs
lola: 5900206 markings, 16286898 edges, 8828 markings/sec, 520 secs
lola: 5957451 markings, 16440397 edges, 11449 markings/sec, 525 secs
lola: 6025486 markings, 16595343 edges, 13607 markings/sec, 530 secs
lola: 6082002 markings, 16753188 edges, 11303 markings/sec, 535 secs
lola: 6130494 markings, 16911967 edges, 9698 markings/sec, 540 secs
lola: 6194896 markings, 17064960 edges, 12880 markings/sec, 545 secs
lola: 6246749 markings, 17216379 edges, 10371 markings/sec, 550 secs
lola: 6296601 markings, 17370479 edges, 9970 markings/sec, 555 secs
lola: 6348006 markings, 17526807 edges, 10281 markings/sec, 560 secs
lola: 6403146 markings, 17683608 edges, 11028 markings/sec, 565 secs
lola: 6441810 markings, 17840144 edges, 7733 markings/sec, 570 secs
lola: 6480659 markings, 17996997 edges, 7770 markings/sec, 575 secs
lola: 6542049 markings, 18150236 edges, 12278 markings/sec, 580 secs
lola: 6594568 markings, 18304756 edges, 10504 markings/sec, 585 secs
lola: 6659594 markings, 18459755 edges, 13005 markings/sec, 590 secs
lola: 6719707 markings, 18614715 edges, 12023 markings/sec, 595 secs
lola: 6784228 markings, 18767762 edges, 12904 markings/sec, 600 secs
lola: 6839891 markings, 18921614 edges, 11133 markings/sec, 605 secs
lola: 6901148 markings, 19075469 edges, 12251 markings/sec, 610 secs
lola: 6967001 markings, 19230270 edges, 13171 markings/sec, 615 secs
lola: 7018800 markings, 19385289 edges, 10360 markings/sec, 620 secs
lola: 7072631 markings, 19540044 edges, 10766 markings/sec, 625 secs
lola: 7121807 markings, 19696119 edges, 9835 markings/sec, 630 secs
lola: 7174293 markings, 19851919 edges, 10497 markings/sec, 635 secs
lola: 7211145 markings, 20009584 edges, 7370 markings/sec, 640 secs
lola: 7248200 markings, 20167434 edges, 7411 markings/sec, 645 secs
lola: 7292026 markings, 20324031 edges, 8765 markings/sec, 650 secs
lola: 7337212 markings, 20479761 edges, 9037 markings/sec, 655 secs
lola: 7374492 markings, 20635823 edges, 7456 markings/sec, 660 secs
lola: 7411478 markings, 20793253 edges, 7397 markings/sec, 665 secs
lola: 7460527 markings, 20946541 edges, 9810 markings/sec, 670 secs
lola: 7503782 markings, 21093094 edges, 8651 markings/sec, 675 secs
lola: 7544752 markings, 21251770 edges, 8194 markings/sec, 680 secs
lola: 7596380 markings, 21408869 edges, 10326 markings/sec, 685 secs
lola: 7642687 markings, 21564449 edges, 9261 markings/sec, 690 secs
lola: 7681180 markings, 21722364 edges, 7699 markings/sec, 695 secs
lola: 7732987 markings, 21879462 edges, 10361 markings/sec, 700 secs
lola: 7785691 markings, 22036394 edges, 10541 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no unknown no yes no yes unknown unknown no yes no unknown no
lola: memory consumption: 1513488 KB
lola: time consumption: 714 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t1327) OR (FIREABLE(t3099) AND FIREABLE(t1208)) OR FIREABLE(t2564)) AND (E (F (FIREABLE(t4179))) AND A (F (FIREABLE(t3950)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U ((FIREABLE(t1327) OR (FIREABLE(t3099) AND FIREABLE(t1208)) OR FIREABLE(t2564)) AND (E(TRUE U FIREABLE(t4179)) AND A(TRUE U FIREABLE(t3950)))))
lola: processed formula length: 153
lola: 53 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 72853 markings, 150509 edges, 14571 markings/sec, 0 secs
lola: 145122 markings, 306944 edges, 14454 markings/sec, 5 secs
lola: 212310 markings, 463605 edges, 13438 markings/sec, 10 secs
lola: 277318 markings, 620077 edges, 13002 markings/sec, 15 secs
lola: 349313 markings, 776554 edges, 14399 markings/sec, 20 secs
lola: 422479 markings, 932319 edges, 14633 markings/sec, 25 secs
lola: 484190 markings, 1088590 edges, 12342 markings/sec, 30 secs
lola: 551194 markings, 1244444 edges, 13401 markings/sec, 35 secs
lola: 621936 markings, 1400873 edges, 14148 markings/sec, 40 secs
lola: 697160 markings, 1555610 edges, 15045 markings/sec, 45 secs
lola: 755385 markings, 1711418 edges, 11645 markings/sec, 50 secs
lola: 828586 markings, 1866297 edges, 14640 markings/sec, 55 secs
lola: 892217 markings, 2015801 edges, 12726 markings/sec, 60 secs
lola: 965647 markings, 2170522 edges, 14686 markings/sec, 65 secs
lola: 1024361 markings, 2326137 edges, 11743 markings/sec, 70 secs
lola: 1101278 markings, 2481523 edges, 15383 markings/sec, 75 secs
lola: 1169332 markings, 2638119 edges, 13611 markings/sec, 80 secs
lola: 1240183 markings, 2793896 edges, 14170 markings/sec, 85 secs
lola: 1299148 markings, 2949993 edges, 11793 markings/sec, 90 secs
lola: 1367814 markings, 3106369 edges, 13733 markings/sec, 95 secs
lola: 1418878 markings, 3264260 edges, 10213 markings/sec, 100 secs
lola: 1478705 markings, 3421418 edges, 11965 markings/sec, 105 secs
lola: 1529362 markings, 3578705 edges, 10131 markings/sec, 110 secs
lola: 1582053 markings, 3736918 edges, 10538 markings/sec, 115 secs
lola: 1658397 markings, 3890805 edges, 15269 markings/sec, 120 secs
lola: 1715150 markings, 4045150 edges, 11351 markings/sec, 125 secs
lola: 1778951 markings, 4197645 edges, 12760 markings/sec, 130 secs
lola: 1841127 markings, 4351500 edges, 12435 markings/sec, 135 secs
lola: 1910008 markings, 4504289 edges, 13776 markings/sec, 140 secs
lola: 1970514 markings, 4658325 edges, 12101 markings/sec, 145 secs
lola: 2037770 markings, 4811037 edges, 13451 markings/sec, 150 secs
lola: 2104573 markings, 4962707 edges, 13361 markings/sec, 155 secs
lola: 2171064 markings, 5117096 edges, 13298 markings/sec, 160 secs
lola: 2226493 markings, 5272668 edges, 11086 markings/sec, 165 secs
lola: 2287455 markings, 5427610 edges, 12192 markings/sec, 170 secs
lola: 2343025 markings, 5583863 edges, 11114 markings/sec, 175 secs
lola: 2398251 markings, 5741424 edges, 11045 markings/sec, 180 secs
lola: 2446457 markings, 5898976 edges, 9641 markings/sec, 185 secs
lola: 2507268 markings, 6056130 edges, 12162 markings/sec, 190 secs
lola: 2562767 markings, 6214204 edges, 11100 markings/sec, 195 secs
lola: 2631258 markings, 6370953 edges, 13698 markings/sec, 200 secs
lola: 2696421 markings, 6526414 edges, 13033 markings/sec, 205 secs
lola: 2763181 markings, 6682633 edges, 13352 markings/sec, 210 secs
lola: 2826393 markings, 6838119 edges, 12642 markings/sec, 215 secs
lola: 2889610 markings, 6993810 edges, 12643 markings/sec, 220 secs
lola: 2944715 markings, 7150768 edges, 11021 markings/sec, 225 secs
lola: 3003809 markings, 7306256 edges, 11819 markings/sec, 230 secs
lola: 3045903 markings, 7462946 edges, 8419 markings/sec, 235 secs
lola: 3090611 markings, 7616585 edges, 8942 markings/sec, 240 secs
lola: 3148077 markings, 7771049 edges, 11493 markings/sec, 245 secs
lola: 3198557 markings, 7926784 edges, 10096 markings/sec, 250 secs
lola: 3237750 markings, 8082831 edges, 7839 markings/sec, 255 secs
lola: 3280993 markings, 8240123 edges, 8649 markings/sec, 260 secs
lola: 3322963 markings, 8391851 edges, 8394 markings/sec, 265 secs
lola: 3381715 markings, 8545363 edges, 11750 markings/sec, 270 secs
lola: 3447570 markings, 8698216 edges, 13171 markings/sec, 275 secs
lola: 3512986 markings, 8851934 edges, 13083 markings/sec, 280 secs
lola: 3563515 markings, 9008433 edges, 10106 markings/sec, 285 secs
lola: 3626557 markings, 9162266 edges, 12608 markings/sec, 290 secs
lola: 3694356 markings, 9317606 edges, 13560 markings/sec, 295 secs
lola: 3746355 markings, 9472829 edges, 10400 markings/sec, 300 secs
lola: 3788897 markings, 9618757 edges, 8508 markings/sec, 305 secs
lola: 3849937 markings, 9773372 edges, 12208 markings/sec, 310 secs
lola: 3888076 markings, 9930249 edges, 7628 markings/sec, 315 secs
lola: 3932516 markings, 10087239 edges, 8888 markings/sec, 320 secs
lola: 3969964 markings, 10245198 edges, 7490 markings/sec, 325 secs
lola: 4008972 markings, 10403940 edges, 7802 markings/sec, 330 secs
lola: 4056801 markings, 10560122 edges, 9566 markings/sec, 335 secs
lola: 4107479 markings, 10715211 edges, 10136 markings/sec, 340 secs
lola: 4148984 markings, 10870963 edges, 8301 markings/sec, 345 secs
lola: 4190665 markings, 11026617 edges, 8336 markings/sec, 350 secs
lola: 4227432 markings, 11182522 edges, 7353 markings/sec, 355 secs
lola: 4267031 markings, 11340236 edges, 7920 markings/sec, 360 secs
lola: 4303270 markings, 11497337 edges, 7248 markings/sec, 365 secs
lola: 4343850 markings, 11654817 edges, 8116 markings/sec, 370 secs
lola: 4383218 markings, 11812483 edges, 7874 markings/sec, 375 secs
lola: 4448073 markings, 11964329 edges, 12971 markings/sec, 380 secs
lola: 4511868 markings, 12114896 edges, 12759 markings/sec, 385 secs
lola: 4586230 markings, 12272472 edges, 14872 markings/sec, 390 secs
lola: 4654462 markings, 12431504 edges, 13646 markings/sec, 395 secs
lola: 4712665 markings, 12584521 edges, 11641 markings/sec, 400 secs
lola: 4774395 markings, 12736709 edges, 12346 markings/sec, 405 secs
lola: 4837199 markings, 12891831 edges, 12561 markings/sec, 410 secs
lola: 4904547 markings, 13048543 edges, 13470 markings/sec, 415 secs
lola: 4971878 markings, 13206214 edges, 13466 markings/sec, 420 secs
lola: 5022996 markings, 13361211 edges, 10224 markings/sec, 425 secs
lola: 5084630 markings, 13517866 edges, 12327 markings/sec, 430 secs
lola: 5136542 markings, 13665189 edges, 10382 markings/sec, 435 secs
lola: 5173733 markings, 13812695 edges, 7438 markings/sec, 440 secs
lola: 5219184 markings, 13963641 edges, 9090 markings/sec, 445 secs
lola: 5255697 markings, 14125379 edges, 7303 markings/sec, 450 secs
lola: 5297553 markings, 14284908 edges, 8371 markings/sec, 455 secs
lola: 5339831 markings, 14440278 edges, 8456 markings/sec, 460 secs
lola: 5373549 markings, 14597838 edges, 6744 markings/sec, 465 secs
lola: 5426979 markings, 14752721 edges, 10686 markings/sec, 470 secs
lola: 5467967 markings, 14907079 edges, 8198 markings/sec, 475 secs
lola: 5523147 markings, 15060152 edges, 11036 markings/sec, 480 secs
lola: 5582397 markings, 15207985 edges, 11850 markings/sec, 485 secs
lola: 5645150 markings, 15359189 edges, 12551 markings/sec, 490 secs
lola: 5707912 markings, 15513103 edges, 12552 markings/sec, 495 secs
lola: 5770907 markings, 15667512 edges, 12599 markings/sec, 500 secs
lola: 5818279 markings, 15818651 edges, 9474 markings/sec, 505 secs
lola: 5861559 markings, 15969667 edges, 8656 markings/sec, 510 secs
lola: 5909074 markings, 16123996 edges, 9503 markings/sec, 515 secs
lola: 5949000 markings, 16280515 edges, 7985 markings/sec, 520 secs
lola: 5990729 markings, 16435700 edges, 8346 markings/sec, 525 secs
lola: 6034014 markings, 16589757 edges, 8657 markings/sec, 530 secs
lola: 6083073 markings, 16747066 edges, 9812 markings/sec, 535 secs
lola: 6136314 markings, 16904904 edges, 10648 markings/sec, 540 secs
lola: 6191897 markings, 17061689 edges, 11117 markings/sec, 545 secs
lola: 6247998 markings, 17205312 edges, 11220 markings/sec, 550 secs
lola: 6295955 markings, 17359914 edges, 9591 markings/sec, 555 secs
lola: 6349568 markings, 17516680 edges, 10723 markings/sec, 560 secs
lola: 6401227 markings, 17671743 edges, 10332 markings/sec, 565 secs
lola: 6440212 markings, 17828553 edges, 7797 markings/sec, 570 secs
lola: 6491350 markings, 17984421 edges, 10228 markings/sec, 575 secs
lola: 6541365 markings, 18138881 edges, 10003 markings/sec, 580 secs
lola: 6599919 markings, 18292525 edges, 11711 markings/sec, 585 secs
lola: 6668682 markings, 18450062 edges, 13753 markings/sec, 590 secs
lola: 6728366 markings, 18603257 edges, 11937 markings/sec, 595 secs
lola: 6790081 markings, 18756702 edges, 12343 markings/sec, 600 secs
lola: 6846819 markings, 18910280 edges, 11348 markings/sec, 605 secs
lola: 6909898 markings, 19064662 edges, 12616 markings/sec, 610 secs
lola: 6976697 markings, 19221120 edges, 13360 markings/sec, 615 secs
lola: 7022617 markings, 19375559 edges, 9184 markings/sec, 620 secs
lola: 7070291 markings, 19531030 edges, 9535 markings/sec, 625 secs
lola: 7119899 markings, 19687634 edges, 9922 markings/sec, 630 secs
lola: 7171603 markings, 19843817 edges, 10341 markings/sec, 635 secs
lola: 7212828 markings, 20000787 edges, 8245 markings/sec, 640 secs
lola: 7246889 markings, 20145970 edges, 6812 markings/sec, 645 secs
lola: 7289783 markings, 20303344 edges, 8579 markings/sec, 650 secs
lola: 7333834 markings, 20458883 edges, 8810 markings/sec, 655 secs
lola: 7370194 markings, 20616196 edges, 7272 markings/sec, 660 secs
lola: 7407416 markings, 20774117 edges, 7444 markings/sec, 665 secs
lola: 7461602 markings, 20924120 edges, 10837 markings/sec, 670 secs
lola: 7502953 markings, 21073085 edges, 8270 markings/sec, 675 secs
lola: 7542404 markings, 21234907 edges, 7890 markings/sec, 680 secs
lola: 7597368 markings, 21390067 edges, 10993 markings/sec, 685 secs
lola: 7638349 markings, 21548486 edges, 8196 markings/sec, 690 secs
lola: 7677705 markings, 21705477 edges, 7871 markings/sec, 695 secs
lola: 7739255 markings, 21862377 edges, 12310 markings/sec, 700 secs
lola: 7789400 markings, 22019640 edges, 10029 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no unknown no yes no yes unknown unknown no yes no unknown no
lola: memory consumption: 1512756 KB
lola: time consumption: 1428 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t4255))) AND E (G (NOT FIREABLE(t4202))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t4202)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t4202)))
lola: processed formula length: 27
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 98 markings, 98 edges
lola: ========================================
lola: subprocess 14 will run for 1071 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t4255)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t4255)))
lola: processed formula length: 27
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t4255)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-14-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 64 markings, 63 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1071 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t3273))) OR (A (((FIREABLE(t2828) OR FIREABLE(t3413)) U NOT FIREABLE(t2849))) AND FIREABLE(t3744)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1071 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t3744)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t3744)
lola: processed formula length: 15
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2142 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t3273)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t3273)))
lola: processed formula length: 27
lola: 52 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t3273)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 100 markings, 99 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-401-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2142 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(t659) R (NOT FIREABLE(t754) OR NOT FIREABLE(t2148)))) AND A (G (((NOT FIREABLE(t620) AND NOT FIREABLE(t2417)) OR (NOT FIREABLE(t928) AND NOT FIREABLE(t3393))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2142 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t659) R (NOT FIREABLE(t754) OR NOT FIREABLE(t2148))))
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:607
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:647
lola: rewrite Frontend/Parser/formula_rewrite.k:607
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A ((FIREABLE(t659) R (NOT FIREABLE(t754) OR NOT FIREABLE(t2148))))
lola: processed formula length: 67
lola: 56 rewrites
lola: closed formula file CloudReconfiguration-PT-401-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (FIREABLE(t754) AND FIREABLE(t2148))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-401-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-401-CTLFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 31585 markings, 92666 edges, 6317 markings/sec, 0 secs
lola: sara is running 5 secs || 61891 markings, 192967 edges, 6061 markings/sec, 5 secs
lola: sara is running 10 secs || 92645 markings, 292811 edges, 6151 markings/sec, 10 secs
lola: sara is running 15 secs || 122832 markings, 391932 edges, 6037 markings/sec, 15 secs
lola: sara is running 20 secs || 153337 markings, 491182 edges, 6101 markings/sec, 20 secs
lola: sara is running 25 secs || 184414 markings, 588227 edges, 6215 markings/sec, 25 secs
lola: sara is running 30 secs || 211952 markings, 694076 edges, 5508 markings/sec, 30 secs
lola: sara is running 35 secs || 238142 markings, 802502 edges, 5238 markings/sec, 35 secs
lola: sara is running 40 secs || 263536 markings, 913071 edges, 5079 markings/sec, 40 secs
lola: sara is running 45 secs || 288844 markings, 1024233 edges, 5062 markings/sec, 45 secs
lola: sara is running 50 secs || 316212 markings, 1130212 edges, 5474 markings/sec, 50 secs
lola: sara is running 55 secs || 341412 markings, 1241317 edges, 5040 markings/sec, 55 secs
lola: sara is running 60 secs || 366920 markings, 1351461 edges, 5102 markings/sec, 60 secs
lola: sara is running 65 secs || 390777 markings, 1463626 edges, 4771 markings/sec, 65 secs
lola: sara is running 70 secs || 421899 markings, 1566807 edges, 6224 markings/sec, 70 secs
lola: sara is running 75 secs || 457714 markings, 1665330 edges, 7163 markings/sec, 75 secs
lola: sara is running 80 secs || 488779 markings, 1780369 edges, 6213 markings/sec, 80 secs
lola: sara is running 85 secs || 518427 markings, 1890145 edges, 5930 markings/sec, 85 secs
lola: sara is running 90 secs || 554179 markings, 1992499 edges, 7150 markings/sec, 90 secs
lola: sara is running 95 secs || 587578 markings, 2099665 edges, 6680 markings/sec, 95 secs
lola: sara is running 100 secs || 619035 markings, 2209336 edges, 6291 markings/sec, 100 secs
lola: sara is running 105 secs || 651159 markings, 2313864 edges, 6425 markings/sec, 105 secs
lola: sara is running 110 secs || 682494 markings, 2417326 edges, 6267 markings/sec, 110 secs
lola: sara is running 115 secs || 711059 markings, 2522980 edges, 5713 markings/sec, 115 secs
sara: warning, failure of lp_solve (at job 385)
lola: sara is running 120 secs || 741524 markings, 2629832 edges, 6093 markings/sec, 120 secs
lola: sara is running 125 secs || 771095 markings, 2735975 edges, 5914 markings/sec, 125 secs
lola: sara is running 130 secs || 799585 markings, 2849171 edges, 5698 markings/sec, 130 secs
lola: sara is running 135 secs || 823483 markings, 2975918 edges, 4780 markings/sec, 135 secs
lola: sara is running 140 secs || 849314 markings, 3090708 edges, 5166 markings/sec, 140 secs
lola: sara is running 145 secs || 877971 markings, 3204308 edges, 5731 markings/sec, 145 secs
lola: sara is running 150 secs || 905708 markings, 3318742 edges, 5547 markings/sec, 150 secs
lola: sara is running 155 secs || 931540 markings, 3436424 edges, 5166 markings/sec, 155 secs
lola: sara is running 160 secs || 957999 markings, 3551279 edges, 5292 markings/sec, 160 secs
lola: sara is running 165 secs || 984274 markings, 3660836 edges, 5255 markings/sec, 165 secs
lola: sara is running 170 secs || 1009235 markings, 3775078 edges, 4992 markings/sec, 170 secs
lola: sara is running 175 secs || 1033008 markings, 3889855 edges, 4755 markings/sec, 175 secs
lola: sara is running 180 secs || 1063629 markings, 3995675 edges, 6124 markings/sec, 180 secs
lola: sara is running 185 secs || 1096010 markings, 4098158 edges, 6476 markings/sec, 185 secs
lola: sara is running 190 secs || 1124453 markings, 4214919 edges, 5689 markings/sec, 190 secs
lola: sara is running 195 secs || 1158237 markings, 4315528 edges, 6757 markings/sec, 195 secs
lola: sara is running 200 secs || 1192671 markings, 4417545 edges, 6887 markings/sec, 200 secs
lola: sara is running 205 secs || 1223093 markings, 4525701 edges, 6084 markings/sec, 205 secs
lola: sara is running 210 secs || 1254757 markings, 4629757 edges, 6333 markings/sec, 210 secs
lola: sara is running 215 secs || 1286558 markings, 4729725 edges, 6360 markings/sec, 215 secs
lola: sara is running 220 secs || 1316334 markings, 4835207 edges, 5955 markings/sec, 220 secs
lola: sara is running 225 secs || 1345603 markings, 4943464 edges, 5854 markings/sec, 225 secs
lola: sara is running 230 secs || 1374545 markings, 5050423 edges, 5788 markings/sec, 230 secs
lola: sara is running 235 secs || 1399929 markings, 5174331 edges, 5077 markings/sec, 235 secs
lola: sara is running 240 secs || 1423853 markings, 5292698 edges, 4785 markings/sec, 240 secs
lola: sara is running 245 secs || 1452301 markings, 5401550 edges, 5690 markings/sec, 245 secs
lola: sara is running 250 secs || 1480226 markings, 5516286 edges, 5585 markings/sec, 250 secs
lola: sara is running 255 secs || 1506487 markings, 5633399 edges, 5252 markings/sec, 255 secs
lola: sara is running 260 secs || 1532785 markings, 5750090 edges, 5260 markings/sec, 260 secs
lola: sara is running 265 secs || 1560378 markings, 5858629 edges, 5519 markings/sec, 265 secs
lola: sara is running 270 secs || 1585931 markings, 5969951 edges, 5111 markings/sec, 270 secs
lola: sara is running 275 secs || 1611601 markings, 6086029 edges, 5134 markings/sec, 275 secs
lola: sara is running 280 secs || 1635838 markings, 6204311 edges, 4847 markings/sec, 280 secs
lola: sara is running 285 secs || 1666037 markings, 6304540 edges, 6040 markings/sec, 285 secs
lola: sara is running 290 secs || 1694293 markings, 6419602 edges, 5651 markings/sec, 290 secs
lola: sara is running 295 secs || 1724273 markings, 6520190 edges, 5996 markings/sec, 295 secs
lola: sara is running 300 secs || 1753546 markings, 6620611 edges, 5855 markings/sec, 300 secs
lola: sara is running 305 secs || 1781751 markings, 6724579 edges, 5641 markings/sec, 305 secs
lola: sara is running 310 secs || 1809442 markings, 6834955 edges, 5538 markings/sec, 310 secs
lola: sara is running 315 secs || 1838922 markings, 6933681 edges, 5896 markings/sec, 315 secs
lola: sara is running 320 secs || 1869004 markings, 7045458 edges, 6016 markings/sec, 320 secs
lola: sara is running 325 secs || 1901775 markings, 7162930 edges, 6554 markings/sec, 325 secs
lola: sara is running 330 secs || 1927708 markings, 7289378 edges, 5187 markings/sec, 330 secs
lola: sara is running 335 secs || 1964130 markings, 7400313 edges, 7284 markings/sec, 335 secs
lola: sara is running 340 secs || 1978833 markings, 7540883 edges, 2941 markings/sec, 340 secs
lola: sara is running 345 secs || 1998086 markings, 7664960 edges, 3851 markings/sec, 345 secs
lola: sara is running 350 secs || 2023371 markings, 7781486 edges, 5057 markings/sec, 350 secs
lola: sara is running 355 secs || 2048385 markings, 7895231 edges, 5003 markings/sec, 355 secs
lola: sara is running 360 secs || 2072985 markings, 8008762 edges, 4920 markings/sec, 360 secs
lola: sara is running 365 secs || 2096603 markings, 8123368 edges, 4724 markings/sec, 365 secs
lola: sara is running 370 secs || 2119836 markings, 8237601 edges, 4647 markings/sec, 370 secs
lola: sara is running 375 secs || 2152158 markings, 8336005 edges, 6464 markings/sec, 375 secs
lola: sara is running 380 secs || 2188559 markings, 8419988 edges, 7280 markings/sec, 380 secs
lola: sara is running 385 secs || 2205900 markings, 8544572 edges, 3468 markings/sec, 385 secs
lola: sara is running 390 secs || 2215369 markings, 8690338 edges, 1894 markings/sec, 390 secs
lola: sara is running 395 secs || 2228756 markings, 8845903 edges, 2677 markings/sec, 395 secs
lola: sara is running 400 secs || 2260927 markings, 8998046 edges, 6434 markings/sec, 400 secs
lola: sara is running 405 secs || 2294417 markings, 9117441 edges, 6698 markings/sec, 405 secs
lola: sara is running 410 secs || 2320695 markings, 9242451 edges, 5256 markings/sec, 410 secs
lola: sara is running 415 secs || 2350103 markings, 9361278 edges, 5882 markings/sec, 415 secs
lola: sara is running 420 secs || 2373098 markings, 9488250 edges, 4599 markings/sec, 420 secs
lola: sara is running 425 secs || 2390703 markings, 9618359 edges, 3521 markings/sec, 425 secs
lola: sara is running 430 secs || 2417472 markings, 9730647 edges, 5354 markings/sec, 430 secs
lola: sara is running 435 secs || 2441306 markings, 9846103 edges, 4767 markings/sec, 435 secs
lola: sara is running 440 secs || 2464769 markings, 9962490 edges, 4693 markings/sec, 440 secs
lola: sara is running 445 secs || 2489440 markings, 10074354 edges, 4934 markings/sec, 445 secs
lola: sara is running 450 secs || 2513653 markings, 10187063 edges, 4843 markings/sec, 450 secs
lola: sara is running 455 secs || 2536659 markings, 10300144 edges, 4601 markings/sec, 455 secs
lola: sara is running 460 secs || 2572861 markings, 10389208 edges, 7240 markings/sec, 460 secs
lola: sara is running 465 secs || 2606622 markings, 10477328 edges, 6752 markings/sec, 465 secs
lola: sara is running 470 secs || 2617686 markings, 10614632 edges, 2213 markings/sec, 470 secs
lola: sara is running 475 secs || 2630870 markings, 10751239 edges, 2637 markings/sec, 475 secs
lola: sara is running 480 secs || 2643906 markings, 10888300 edges, 2607 markings/sec, 480 secs
lola: sara is running 485 secs || 2670825 markings, 10999955 edges, 5384 markings/sec, 485 secs
lola: sara is running 490 secs || 2695645 markings, 11119994 edges, 4964 markings/sec, 490 secs
lola: sara is running 495 secs || 2721102 markings, 11229421 edges, 5091 markings/sec, 495 secs
lola: sara is running 500 secs || 2747855 markings, 11341563 edges, 5351 markings/sec, 500 secs
lola: sara is running 505 secs || 2772916 markings, 11462221 edges, 5012 markings/sec, 505 secs
lola: sara is running 510 secs || 2798042 markings, 11570214 edges, 5025 markings/sec, 510 secs
lola: sara is running 515 secs || 2830280 markings, 11670828 edges, 6448 markings/sec, 515 secs
lola: sara is running 520 secs || 2860655 markings, 11780083 edges, 6075 markings/sec, 520 secs
lola: sara is running 525 secs || 2888015 markings, 11885817 edges, 5472 markings/sec, 525 secs
lola: sara is running 530 secs || 2915267 markings, 11996783 edges, 5450 markings/sec, 530 secs
lola: sara is running 535 secs || 2940144 markings, 12117267 edges, 4975 markings/sec, 535 secs
lola: sara is running 540 secs || 2967137 markings, 12222628 edges, 5399 markings/sec, 540 secs
lola: sara is running 545 secs || 2998854 markings, 12323784 edges, 6343 markings/sec, 545 secs
lola: sara is running 550 secs || 3028231 markings, 12434080 edges, 5875 markings/sec, 550 secs
lola: sara is running 555 secs || 3052793 markings, 12549131 edges, 4912 markings/sec, 555 secs
lola: sara is running 560 secs || 3074249 markings, 12668361 edges, 4291 markings/sec, 560 secs
lola: sara is running 565 secs || 3095340 markings, 12796455 edges, 4218 markings/sec, 565 secs
lola: sara is running 570 secs || 3122912 markings, 12904111 edges, 5514 markings/sec, 570 secs
lola: sara is running 575 secs || 3153385 markings, 13016412 edges, 6095 markings/sec, 575 secs
lola: sara is running 580 secs || 3183233 markings, 13126511 edges, 5970 markings/sec, 580 secs
lola: sara is running 585 secs || 3211180 markings, 13239207 edges, 5589 markings/sec, 585 secs
lola: sara is running 590 secs || 3236549 markings, 13361777 edges, 5074 markings/sec, 590 secs
lola: sara is running 595 secs || 3262352 markings, 13475798 edges, 5161 markings/sec, 595 secs
lola: sara is running 600 secs || 3290199 markings, 13588199 edges, 5569 markings/sec, 600 secs
lola: sara is running 605 secs || 3315613 markings, 13711291 edges, 5083 markings/sec, 605 secs
lola: sara is running 610 secs || 3341802 markings, 13823749 edges, 5238 markings/sec, 610 secs
lola: sara is running 615 secs || 3369080 markings, 13937122 edges, 5456 markings/sec, 615 secs
lola: sara is running 620 secs || 3394249 markings, 14060454 edges, 5034 markings/sec, 620 secs
lola: sara is running 625 secs || 3420540 markings, 14169395 edges, 5258 markings/sec, 625 secs
lola: sara is running 630 secs || 3447708 markings, 14279358 edges, 5434 markings/sec, 630 secs
lola: sara is running 635 secs || 3470866 markings, 14401355 edges, 4632 markings/sec, 635 secs
lola: sara is running 640 secs || 3500444 markings, 14506691 edges, 5916 markings/sec, 640 secs
lola: sara is running 645 secs || 3531246 markings, 14619280 edges, 6160 markings/sec, 645 secs
lola: sara is running 650 secs || 3560021 markings, 14727293 edges, 5755 markings/sec, 650 secs
lola: sara is running 655 secs || 3584367 markings, 14845685 edges, 4869 markings/sec, 655 secs
lola: sara is running 660 secs || 3606349 markings, 14971380 edges, 4396 markings/sec, 660 secs
lola: sara is running 665 secs || 3629183 markings, 15090007 edges, 4567 markings/sec, 665 secs
lola: sara is running 670 secs || 3651837 markings, 15210380 edges, 4531 markings/sec, 670 secs
lola: sara is running 675 secs || 3672908 markings, 15331179 edges, 4214 markings/sec, 675 secs
lola: sara is running 680 secs || 3694702 markings, 15460809 edges, 4359 markings/sec, 680 secs
lola: sara is running 685 secs || 3719457 markings, 15573123 edges, 4951 markings/sec, 685 secs
lola: sara is running 690 secs || 3746930 markings, 15685882 edges, 5495 markings/sec, 690 secs
lola: sara is running 695 secs || 3770845 markings, 15812606 edges, 4783 markings/sec, 695 secs
lola: sara is running 700 secs || 3798556 markings, 15921150 edges, 5542 markings/sec, 700 secs
lola: sara is running 705 secs || 3824085 markings, 16036056 edges, 5106 markings/sec, 705 secs
lola: sara is running 710 secs || 3849510 markings, 16159285 edges, 5085 markings/sec, 710 secs
lola: sara is running 715 secs || 3876880 markings, 16269340 edges, 5474 markings/sec, 715 secs
lola: sara is running 720 secs || 3901865 markings, 16384635 edges, 4997 markings/sec, 720 secs
lola: sara is running 725 secs || 3928807 markings, 16504115 edges, 5388 markings/sec, 725 secs
lola: sara is running 730 secs || 3955438 markings, 16615500 edges, 5326 markings/sec, 730 secs
lola: sara is running 735 secs || 3979549 markings, 16735854 edges, 4822 markings/sec, 735 secs
lola: sara is running 740 secs || 4007466 markings, 16849684 edges, 5583 markings/sec, 740 secs
lola: sara is running 745 secs || 4031538 markings, 16965035 edges, 4814 markings/sec, 745 secs
lola: sara is running 750 secs || 4054859 markings, 17082820 edges, 4664 markings/sec, 750 secs
lola: sara is running 755 secs || 4074544 markings, 17215372 edges, 3937 markings/sec, 755 secs
lola: sara is running 760 secs || 4097098 markings, 17332129 edges, 4511 markings/sec, 760 secs
lola: sara is running 765 secs || 4123992 markings, 17444749 edges, 5379 markings/sec, 765 secs
lola: sara is running 770 secs || 4149249 markings, 17566572 edges, 5051 markings/sec, 770 secs
lola: sara is running 775 secs || 4175502 markings, 17677044 edges, 5251 markings/sec, 775 secs
lola: sara is running 780 secs || 4202317 markings, 17789933 edges, 5363 markings/sec, 780 secs
lola: sara is running 785 secs || 4227557 markings, 17911382 edges, 5048 markings/sec, 785 secs
lola: sara is running 790 secs || 4253632 markings, 18022800 edges, 5215 markings/sec, 790 secs
lola: sara is running 795 secs || 4281420 markings, 18135380 edges, 5558 markings/sec, 795 secs
lola: sara is running 800 secs || 4306416 markings, 18257789 edges, 4999 markings/sec, 800 secs
lola: sara is running 805 secs || 4332273 markings, 18370152 edges, 5171 markings/sec, 805 secs
lola: sara is running 810 secs || 4359477 markings, 18483347 edges, 5441 markings/sec, 810 secs
lola: sara is running 815 secs || 4384458 markings, 18606522 edges, 4996 markings/sec, 815 secs
lola: sara is running 820 secs || 4414317 markings, 18711085 edges, 5972 markings/sec, 820 secs
lola: sara is running 825 secs || 4444734 markings, 18818753 edges, 6083 markings/sec, 825 secs
lola: sara is running 830 secs || 4474503 markings, 18932364 edges, 5954 markings/sec, 830 secs
lola: sara is running 835 secs || 4503362 markings, 19040822 edges, 5772 markings/sec, 835 secs
lola: sara is running 840 secs || 4528576 markings, 19163824 edges, 5043 markings/sec, 840 secs
lola: sara is running 845 secs || 4554742 markings, 19277047 edges, 5233 markings/sec, 845 secs
lola: sara is running 850 secs || 4587025 markings, 19379950 edges, 6457 markings/sec, 850 secs
lola: sara is running 855 secs || 4618064 markings, 19490875 edges, 6208 markings/sec, 855 secs
lola: sara is running 860 secs || 4642814 markings, 19605681 edges, 4950 markings/sec, 860 secs
lola: sara is running 865 secs || 4666457 markings, 19727041 edges, 4729 markings/sec, 865 secs
lola: sara is running 870 secs || 4687934 markings, 19857833 edges, 4295 markings/sec, 870 secs
lola: sara is running 875 secs || 4712962 markings, 19971379 edges, 5006 markings/sec, 875 secs
lola: sara is running 880 secs || 4745816 markings, 20073329 edges, 6571 markings/sec, 880 secs
lola: sara is running 885 secs || 4775060 markings, 20187968 edges, 5849 markings/sec, 885 secs
lola: sara is running 890 secs || 4803321 markings, 20294790 edges, 5652 markings/sec, 890 secs
lola: sara is running 895 secs || 4828205 markings, 20415450 edges, 4977 markings/sec, 895 secs
lola: sara is running 900 secs || 4853008 markings, 20536337 edges, 4961 markings/sec, 900 secs
lola: sara is running 905 secs || 4882385 markings, 20644790 edges, 5875 markings/sec, 905 secs
lola: sara is running 910 secs || 4907765 markings, 20768454 edges, 5076 markings/sec, 910 secs
lola: sara is running 915 secs || 4932658 markings, 20887438 edges, 4979 markings/sec, 915 secs
lola: sara is running 920 secs || 4962094 markings, 20995291 edges, 5887 markings/sec, 920 secs
lola: sara is running 925 secs || 4987424 markings, 21120014 edges, 5066 markings/sec, 925 secs
lola: sara is running 930 secs || 5012590 markings, 21237953 edges, 5033 markings/sec, 930 secs
lola: sara is running 935 secs || 5041359 markings, 21350613 edges, 5754 markings/sec, 935 secs
lola: sara is running 940 secs || 5066721 markings, 21474777 edges, 5072 markings/sec, 940 secs
lola: sara is running 945 secs || 5093919 markings, 21586212 edges, 5440 markings/sec, 945 secs
lola: sara is running 950 secs || 5127028 markings, 21689562 edges, 6622 markings/sec, 950 secs
lola: sara is running 955 secs || 5156836 markings, 21804186 edges, 5962 markings/sec, 955 secs
lola: sara is running 960 secs || 5182094 markings, 21919419 edges, 5052 markings/sec, 960 secs
lola: sara is running 965 secs || 5206613 markings, 22040454 edges, 4904 markings/sec, 965 secs
lola: sara is running 970 secs || 5226792 markings, 22174101 edges, 4036 markings/sec, 970 secs
lola: sara is running 975 secs || 5248970 markings, 22295038 edges, 4436 markings/sec, 975 secs
lola: sara is running 980 secs || 5273545 markings, 22415827 edges, 4915 markings/sec, 980 secs
lola: sara is running 985 secs || 5295892 markings, 22544622 edges, 4469 markings/sec, 985 secs
lola: sara is running 990 secs || 5317019 markings, 22668050 edges, 4225 markings/sec, 990 secs
lola: sara is running 995 secs || 5346190 markings, 22775593 edges, 5834 markings/sec, 995 secs
lola: sara is running 1000 secs || 5371468 markings, 22899157 edges, 5056 markings/sec, 1000 secs
lola: sara is running 1005 secs || 5396219 markings, 23015094 edges, 4950 markings/sec, 1005 secs
lola: sara is running 1010 secs || 5424246 markings, 23127497 edges, 5605 markings/sec, 1010 secs
lola: sara is running 1015 secs || 5449498 markings, 23250689 edges, 5050 markings/sec, 1015 secs
lola: sara is running 1020 secs || 5475154 markings, 23364224 edges, 5131 markings/sec, 1020 secs
lola: sara is running 1025 secs || 5503474 markings, 23475909 edges, 5664 markings/sec, 1025 secs
lola: sara is running 1030 secs || 5528439 markings, 23599062 edges, 4993 markings/sec, 1030 secs
lola: sara is running 1035 secs || 5553932 markings, 23712505 edges, 5099 markings/sec, 1035 secs
lola: sara is running 1040 secs || 5581678 markings, 23825861 edges, 5549 markings/sec, 1040 secs
lola: sara is running 1045 secs || 5606787 markings, 23948726 edges, 5022 markings/sec, 1045 secs
lola: sara is running 1050 secs || 5630891 markings, 24063744 edges, 4821 markings/sec, 1050 secs
lola: sara is running 1055 secs || 5655892 markings, 24181775 edges, 5000 markings/sec, 1055 secs
lola: sara is running 1060 secs || 5677045 markings, 24310858 edges, 4231 markings/sec, 1060 secs
lola: sara is running 1065 secs || 5698051 markings, 24434313 edges, 4201 markings/sec, 1065 secs
lola: sara is running 1070 secs || 5726800 markings, 24543115 edges, 5750 markings/sec, 1070 secs
lola: sara is running 1075 secs || 5751904 markings, 24665549 edges, 5021 markings/sec, 1075 secs
lola: sara is running 1080 secs || 5776758 markings, 24781304 edges, 4971 markings/sec, 1080 secs
lola: sara is running 1085 secs || 5804990 markings, 24893354 edges, 5646 markings/sec, 1085 secs
lola: sara is running 1090 secs || 5830274 markings, 25016075 edges, 5057 markings/sec, 1090 secs
lola: sara is running 1095 secs || 5857660 markings, 25124587 edges, 5477 markings/sec, 1095 secs
lola: sara is running 1100 secs || 5884236 markings, 25232099 edges, 5315 markings/sec, 1100 secs
lola: sara is running 1105 secs || 5911963 markings, 25341037 edges, 5545 markings/sec, 1105 secs
lola: sara is running 1110 secs || 5938977 markings, 25444410 edges, 5403 markings/sec, 1110 secs
lola: sara is running 1115 secs || 5965200 markings, 25535668 edges, 5245 markings/sec, 1115 secs
lola: sara is running 1120 secs || 5991489 markings, 25646134 edges, 5258 markings/sec, 1120 secs
lola: sara is running 1125 secs || 6016773 markings, 25755946 edges, 5057 markings/sec, 1125 secs
lola: sara is running 1130 secs || 6042037 markings, 25865548 edges, 5053 markings/sec, 1130 secs
lola: sara is running 1135 secs || 6066878 markings, 25975888 edges, 4968 markings/sec, 1135 secs
lola: sara is running 1140 secs || 6090451 markings, 26088821 edges, 4715 markings/sec, 1140 secs
lola: sara is running 1145 secs || 6115908 markings, 26210640 edges, 5091 markings/sec, 1145 secs
lola: sara is running 1150 secs || 6141510 markings, 26332703 edges, 5120 markings/sec, 1150 secs
lola: sara is running 1155 secs || 6166859 markings, 26455188 edges, 5070 markings/sec, 1155 secs
lola: sara is running 1160 secs || 6194962 markings, 26581570 edges, 5621 markings/sec, 1160 secs
lola: sara is running 1165 secs || 6220184 markings, 26685528 edges, 5044 markings/sec, 1165 secs
lola: sara is running 1170 secs || 6244264 markings, 26790223 edges, 4816 markings/sec, 1170 secs
lola: sara is running 1175 secs || 6267943 markings, 26895636 edges, 4736 markings/sec, 1175 secs
lola: sara is running 1180 secs || 6291597 markings, 27001099 edges, 4731 markings/sec, 1180 secs
lola: sara is running 1185 secs || 6313441 markings, 27110346 edges, 4369 markings/sec, 1185 secs
lola: sara is running 1190 secs || 6335729 markings, 27217057 edges, 4458 markings/sec, 1190 secs
lola: sara is running 1195 secs || 6357521 markings, 27325210 edges, 4358 markings/sec, 1195 secs
lola: sara is running 1200 secs || 6387005 markings, 27432725 edges, 5897 markings/sec, 1200 secs
lola: sara is running 1205 secs || 6411890 markings, 27558319 edges, 4977 markings/sec, 1205 secs
lola: sara is running 1210 secs || 6436562 markings, 27682610 edges, 4934 markings/sec, 1210 secs
lola: sara is running 1215 secs || 6467277 markings, 27797318 edges, 6143 markings/sec, 1215 secs
lola: sara is running 1220 secs || 6492377 markings, 27921199 edges, 5020 markings/sec, 1220 secs
lola: sara is running 1225 secs || 6519425 markings, 28040975 edges, 5410 markings/sec, 1225 secs
lola: sara is running 1230 secs || 6530511 markings, 28184170 edges, 2217 markings/sec, 1230 secs
lola: sara is running 1235 secs || 6555216 markings, 28296857 edges, 4941 markings/sec, 1235 secs
lola: sara is running 1240 secs || 6581308 markings, 28413282 edges, 5218 markings/sec, 1240 secs
lola: sara is running 1245 secs || 6605704 markings, 28530683 edges, 4879 markings/sec, 1245 secs
lola: sara is running 1250 secs || 6629346 markings, 28648420 edges, 4728 markings/sec, 1250 secs
lola: sara is running 1255 secs || 6653327 markings, 28764258 edges, 4796 markings/sec, 1255 secs
lola: sara is running 1260 secs || 6676377 markings, 28879907 edges, 4610 markings/sec, 1260 secs
lola: sara is running 1265 secs || 6700883 markings, 28993740 edges, 4901 markings/sec, 1265 secs
lola: sara is running 1270 secs || 6728018 markings, 29097692 edges, 5427 markings/sec, 1270 secs
lola: sara is running 1275 secs || 6752211 markings, 29204048 edges, 4839 markings/sec, 1275 secs
lola: sara is running 1280 secs || 6775719 markings, 29311343 edges, 4702 markings/sec, 1280 secs
lola: sara is running 1285 secs || 6799103 markings, 29428441 edges, 4677 markings/sec, 1285 secs
lola: sara is running 1290 secs || 6825504 markings, 29542919 edges, 5280 markings/sec, 1290 secs
lola: sara is running 1295 secs || 6863913 markings, 29627299 edges, 7682 markings/sec, 1295 secs
lola: sara is running 1300 secs || 6883706 markings, 29745968 edges, 3959 markings/sec, 1300 secs
lola: sara is running 1305 secs || 6889043 markings, 29899182 edges, 1067 markings/sec, 1305 secs
lola: sara is running 1310 secs || 6899138 markings, 30044468 edges, 2019 markings/sec, 1310 secs
lola: sara is running 1315 secs || 6925864 markings, 30162402 edges, 5345 markings/sec, 1315 secs
lola: sara is running 1320 secs || 6952998 markings, 30280687 edges, 5427 markings/sec, 1320 secs
lola: sara is running 1325 secs || 6979887 markings, 30397117 edges, 5378 markings/sec, 1325 secs
lola: sara is running 1330 secs || 7006322 markings, 30514537 edges, 5287 markings/sec, 1330 secs
lola: sara is running 1335 secs || 7032315 markings, 30634192 edges, 5199 markings/sec, 1335 secs
lola: sara is running 1340 secs || 7059686 markings, 30752856 edges, 5474 markings/sec, 1340 secs
lola: sara is running 1345 secs || 7086238 markings, 30867750 edges, 5310 markings/sec, 1345 secs
lola: sara is running 1350 secs || 7112447 markings, 30988781 edges, 5242 markings/sec, 1350 secs
lola: sara is running 1355 secs || 7139714 markings, 31107569 edges, 5453 markings/sec, 1355 secs
lola: sara is running 1360 secs || 7166400 markings, 31223119 edges, 5337 markings/sec, 1360 secs
lola: sara is running 1365 secs || 7194219 markings, 31335647 edges, 5564 markings/sec, 1365 secs
lola: sara is running 1370 secs || 7223839 markings, 31443629 edges, 5924 markings/sec, 1370 secs
lola: sara is running 1375 secs || 7248861 markings, 31564174 edges, 5004 markings/sec, 1375 secs
lola: sara is running 1380 secs || 7275481 markings, 31678811 edges, 5324 markings/sec, 1380 secs
lola: sara is running 1385 secs || 7302383 markings, 31795885 edges, 5380 markings/sec, 1385 secs
lola: sara is running 1390 secs || 7330426 markings, 31910784 edges, 5609 markings/sec, 1390 secs
lola: sara is running 1395 secs || 7356991 markings, 32028619 edges, 5313 markings/sec, 1395 secs
lola: sara is running 1400 secs || 7383758 markings, 32145447 edges, 5353 markings/sec, 1400 secs
lola: sara is running 1405 secs || 7410460 markings, 32256433 edges, 5340 markings/sec, 1405 secs
lola: sara is running 1410 secs || 7435671 markings, 32366246 edges, 5042 markings/sec, 1410 secs
lola: sara is running 1415 secs || 7460861 markings, 32482961 edges, 5038 markings/sec, 1415 secs
lola: sara is running 1420 secs || 7485712 markings, 32597363 edges, 4970 markings/sec, 1420 secs
lola: sara is running 1425 secs || 7514676 markings, 32706033 edges, 5793 markings/sec, 1425 secs
lola: sara is running 1430 secs || 7544106 markings, 32813182 edges, 5886 markings/sec, 1430 secs
lola: sara is running 1435 secs || 7568776 markings, 32933012 edges, 4934 markings/sec, 1435 secs
lola: sara is running 1440 secs || 7595793 markings, 33045463 edges, 5403 markings/sec, 1440 secs
lola: sara is running 1445 secs || 7621707 markings, 33162271 edges, 5183 markings/sec, 1445 secs
lola: sara is running 1450 secs || 7649685 markings, 33276089 edges, 5596 markings/sec, 1450 secs
lola: sara is running 1455 secs || 7676214 markings, 33392918 edges, 5306 markings/sec, 1455 secs
lola: sara is running 1460 secs || 7702830 markings, 33507914 edges, 5323 markings/sec, 1460 secs
lola: sara is running 1465 secs || 7729115 markings, 33618767 edges, 5257 markings/sec, 1465 secs
lola: sara is running 1470 secs || 7753959 markings, 33728066 edges, 4969 markings/sec, 1470 secs
lola: sara is running 1475 secs || 7779296 markings, 33845554 edges, 5067 markings/sec, 1475 secs
lola: sara is running 1480 secs || 7804149 markings, 33960061 edges, 4971 markings/sec, 1480 secs
lola: sara is running 1485 secs || 7837919 markings, 34059734 edges, 6754 markings/sec, 1485 secs
lola: sara is running 1490 secs || 7872271 markings, 34158540 edges, 6870 markings/sec, 1490 secs
lola: sara is running 1495 secs || 7902511 markings, 34270615 edges, 6048 markings/sec, 1495 secs
lola: sara is running 1500 secs || 7933602 markings, 34375635 edges, 6218 markings/sec, 1500 secs
lola: sara is running 1505 secs || 7967729 markings, 34478370 edges, 6825 markings/sec, 1505 secs
lola: sara is running 1510 secs || 7999305 markings, 34585230 edges, 6315 markings/sec, 1510 secs
lola: sara is running 1515 secs || 8030587 markings, 34692113 edges, 6256 markings/sec, 1515 secs
lola: sara is running 1520 secs || 8062701 markings, 34794402 edges, 6423 markings/sec, 1520 secs
lola: sara is running 1525 secs || 8092198 markings, 34898572 edges, 5899 markings/sec, 1525 secs
lola: sara is running 1530 secs || 8121567 markings, 35004631 edges, 5874 markings/sec, 1530 secs
lola: sara is running 1535 secs || 8151879 markings, 35113285 edges, 6062 markings/sec, 1535 secs
lola: sara is running 1540 secs || 8182542 markings, 35215868 edges, 6133 markings/sec, 1540 secs
lola: sara is running 1545 secs || 8206510 markings, 35333127 edges, 4794 markings/sec, 1545 secs
lola: sara is running 1550 secs || 8234197 markings, 35451223 edges, 5537 markings/sec, 1550 secs
lola: sara is running 1555 secs || 8259363 markings, 35569474 edges, 5033 markings/sec, 1555 secs
lola: sara is running 1560 secs || 8287744 markings, 35682857 edges, 5676 markings/sec, 1560 secs
lola: sara is running 1565 secs || 8314943 markings, 35798333 edges, 5440 markings/sec, 1565 secs
lola: sara is running 1570 secs || 8341293 markings, 35914435 edges, 5270 markings/sec, 1570 secs
lola: sara is running 1575 secs || 8367433 markings, 36027062 edges, 5228 markings/sec, 1575 secs
lola: sara is running 1580 secs || 8392941 markings, 36136807 edges, 5102 markings/sec, 1580 secs
lola: sara is running 1585 secs || 8418158 markings, 36254233 edges, 5043 markings/sec, 1585 secs
lola: sara is running 1590 secs || 8442948 markings, 36368708 edges, 4958 markings/sec, 1590 secs
lola: sara is running 1595 secs || 8475734 markings, 36471770 edges, 6557 markings/sec, 1595 secs
lola: sara is running 1600 secs || 8508159 markings, 36574425 edges, 6485 markings/sec, 1600 secs
lola: sara is running 1605 secs || 8542050 markings, 36672252 edges, 6778 markings/sec, 1605 secs
lola: sara is running 1610 secs || 8575882 markings, 36769115 edges, 6766 markings/sec, 1610 secs
lola: sara is running 1615 secs || 8605931 markings, 36875903 edges, 6010 markings/sec, 1615 secs
lola: sara is running 1620 secs || 8639023 markings, 36981993 edges, 6618 markings/sec, 1620 secs
lola: sara is running 1625 secs || 8671035 markings, 37087194 edges, 6402 markings/sec, 1625 secs
lola: sara is running 1630 secs || 8702409 markings, 37203022 edges, 6275 markings/sec, 1630 secs
lola: sara is running 1635 secs || 8732637 markings, 37306347 edges, 6046 markings/sec, 1635 secs
lola: sara is running 1640 secs || 8763646 markings, 37410797 edges, 6202 markings/sec, 1640 secs
lola: sara is running 1645 secs || 8792909 markings, 37522170 edges, 5853 markings/sec, 1645 secs
lola: sara is running 1650 secs || 8824585 markings, 37622762 edges, 6335 markings/sec, 1650 secs
lola: sara is running 1655 secs || 8851647 markings, 37733907 edges, 5412 markings/sec, 1655 secs
lola: sara is running 1660 secs || 8882661 markings, 37841702 edges, 6203 markings/sec, 1660 secs
lola: sara is running 1665 secs || 8911575 markings, 37951367 edges, 5783 markings/sec, 1665 secs
lola: sara is running 1670 secs || 8941865 markings, 38054079 edges, 6058 markings/sec, 1670 secs
lola: sara is running 1675 secs || 8965417 markings, 38174359 edges, 4710 markings/sec, 1675 secs
lola: sara is running 1680 secs || 8991813 markings, 38290276 edges, 5279 markings/sec, 1680 secs
lola: sara is running 1685 secs || 9020988 markings, 38398221 edges, 5835 markings/sec, 1685 secs
lola: sara is running 1690 secs || 9047963 markings, 38517963 edges, 5395 markings/sec, 1690 secs
lola: sara is running 1695 secs || 9073602 markings, 38645146 edges, 5128 markings/sec, 1695 secs
lola: sara is running 1700 secs || 9098270 markings, 38757340 edges, 4934 markings/sec, 1700 secs
lola: sara is running 1705 secs || 9123215 markings, 38865225 edges, 4989 markings/sec, 1705 secs
lola: sara is running 1710 secs || 9148304 markings, 38985622 edges, 5018 markings/sec, 1710 secs
lola: sara is running 1715 secs || 9178542 markings, 39088751 edges, 6048 markings/sec, 1715 secs
lola: sara is running 1720 secs || 9200167 markings, 39207525 edges, 4325 markings/sec, 1720 secs
lola: sara is running 1725 secs || 9221968 markings, 39327950 edges, 4360 markings/sec, 1725 secs
lola: sara is running 1730 secs || 9254948 markings, 39423651 edges, 6596 markings/sec, 1730 secs
lola: sara is running 1735 secs || 9284785 markings, 39533524 edges, 5967 markings/sec, 1735 secs
lola: sara is running 1740 secs || 9314217 markings, 39642132 edges, 5886 markings/sec, 1740 secs
lola: sara is running 1745 secs || 9348020 markings, 39743903 edges, 6761 markings/sec, 1745 secs
lola: sara is running 1750 secs || 9382388 markings, 39844660 edges, 6874 markings/sec, 1750 secs
lola: sara is running 1755 secs || 9412482 markings, 39952160 edges, 6019 markings/sec, 1755 secs
lola: sara is running 1760 secs || 9443536 markings, 40053930 edges, 6211 markings/sec, 1760 secs
lola: sara is running 1765 secs || 9473456 markings, 40153668 edges, 5984 markings/sec, 1765 secs
lola: sara is running 1770 secs || 9504414 markings, 40258183 edges, 6192 markings/sec, 1770 secs
lola: sara is running 1775 secs || 9532157 markings, 40366418 edges, 5549 markings/sec, 1775 secs
lola: sara is running 1780 secs || 9562592 markings, 40471679 edges, 6087 markings/sec, 1780 secs
lola: sara is running 1785 secs || 9586778 markings, 40591046 edges, 4837 markings/sec, 1785 secs
lola: sara is running 1790 secs || 9611609 markings, 40706016 edges, 4966 markings/sec, 1790 secs
lola: sara is running 1795 secs || 9639158 markings, 40819680 edges, 5510 markings/sec, 1795 secs
lola: sara is running 1800 secs || 9666703 markings, 40932646 edges, 5509 markings/sec, 1800 secs
lola: sara is running 1805 secs || 9692666 markings, 41049035 edges, 5193 markings/sec, 1805 secs
lola: sara is running 1810 secs || 9719039 markings, 41163019 edges, 5275 markings/sec, 1810 secs
lola: sara is running 1815 secs || 9745533 markings, 41272186 edges, 5299 markings/sec, 1815 secs
lola: sara is running 1820 secs || 9770306 markings, 41380942 edges, 4955 markings/sec, 1820 secs
lola: sara is running 1825 secs || 9795813 markings, 41497517 edges, 5101 markings/sec, 1825 secs
lola: sara is running 1830 secs || 9819852 markings, 41612632 edges, 4808 markings/sec, 1830 secs
lola: sara is running 1835 secs || 9853077 markings, 41709281 edges, 6645 markings/sec, 1835 secs
lola: sara is running 1840 secs || 9881265 markings, 41814432 edges, 5638 markings/sec, 1840 secs
lola: sara is running 1845 secs || 9908458 markings, 41920281 edges, 5439 markings/sec, 1845 secs
lola: sara is running 1850 secs || 9934553 markings, 42032394 edges, 5219 markings/sec, 1850 secs
lola: sara is running 1855 secs || 9966415 markings, 42132907 edges, 6372 markings/sec, 1855 secs
lola: sara is running 1860 secs || 9996255 markings, 42243824 edges, 5968 markings/sec, 1860 secs
lola: sara is running 1865 secs || 10024792 markings, 42349705 edges, 5707 markings/sec, 1865 secs
lola: sara is running 1870 secs || 10048556 markings, 42465337 edges, 4753 markings/sec, 1870 secs
lola: sara is running 1875 secs || 10076067 markings, 42581420 edges, 5502 markings/sec, 1875 secs
lola: sara is running 1880 secs || 10104658 markings, 42682423 edges, 5718 markings/sec, 1880 secs
lola: sara is running 1885 secs || 10127276 markings, 42794583 edges, 4524 markings/sec, 1885 secs
lola: sara is running 1890 secs || 10160739 markings, 42887778 edges, 6693 markings/sec, 1890 secs
lola: sara is running 1895 secs || 10188764 markings, 43004194 edges, 5605 markings/sec, 1895 secs
lola: sara is running 1900 secs || 10214415 markings, 43119179 edges, 5130 markings/sec, 1900 secs
lola: sara is running 1905 secs || 10244063 markings, 43226513 edges, 5930 markings/sec, 1905 secs
lola: sara is running 1910 secs || 10272420 markings, 43341423 edges, 5671 markings/sec, 1910 secs
lola: sara is running 1915 secs || 10299032 markings, 43450998 edges, 5322 markings/sec, 1915 secs
lola: sara is running 1920 secs || 10327116 markings, 43561512 edges, 5617 markings/sec, 1920 secs
lola: sara is running 1925 secs || 10357351 markings, 43655659 edges, 6047 markings/sec, 1925 secs
lola: sara is running 1930 secs || 10381121 markings, 43763483 edges, 4754 markings/sec, 1930 secs
lola: sara is running 1935 secs || 10410542 markings, 43861193 edges, 5884 markings/sec, 1935 secs
lola: sara is running 1940 secs || 10439014 markings, 43960887 edges, 5694 markings/sec, 1940 secs
lola: sara is running 1945 secs || 10466243 markings, 44063810 edges, 5446 markings/sec, 1945 secs
lola: sara is running 1950 secs || 10492198 markings, 44167614 edges, 5191 markings/sec, 1950 secs
lola: sara is running 1955 secs || 10522634 markings, 44264242 edges, 6087 markings/sec, 1955 secs
lola: sara is running 1960 secs || 10552279 markings, 44359806 edges, 5929 markings/sec, 1960 secs
lola: sara is running 1965 secs || 10578291 markings, 44461146 edges, 5202 markings/sec, 1965 secs
lola: sara is running 1970 secs || 10605864 markings, 44557577 edges, 5515 markings/sec, 1970 secs
lola: sara is running 1975 secs || 10634575 markings, 44671281 edges, 5742 markings/sec, 1975 secs
lola: sara is running 1980 secs || 10674570 markings, 44783300 edges, 7999 markings/sec, 1980 secs
lola: sara is running 1985 secs || 10700741 markings, 44906036 edges, 5234 markings/sec, 1985 secs
lola: sara is running 1990 secs || 10726645 markings, 45030143 edges, 5181 markings/sec, 1990 secs
lola: sara is running 1995 secs || 10753637 markings, 45151274 edges, 5398 markings/sec, 1995 secs
lola: sara is running 2000 secs || 10778695 markings, 45274052 edges, 5012 markings/sec, 2000 secs
lola: sara is running 2005 secs || 10803669 markings, 45395790 edges, 4995 markings/sec, 2005 secs
lola: sara is running 2010 secs || 10840243 markings, 45502060 edges, 7315 markings/sec, 2010 secs
lola: sara is running 2015 secs || 10879918 markings, 45599214 edges, 7935 markings/sec, 2015 secs
lola: sara is running 2020 secs || 10891096 markings, 45739452 edges, 2236 markings/sec, 2020 secs
lola: sara is running 2025 secs || 10904456 markings, 45881264 edges, 2672 markings/sec, 2025 secs
lola: sara is running 2030 secs || 10916262 markings, 46016726 edges, 2361 markings/sec, 2030 secs
lola: sara is running 2035 secs || 10941906 markings, 46122498 edges, 5129 markings/sec, 2035 secs
lola: sara is running 2040 secs || 10967375 markings, 46232637 edges, 5094 markings/sec, 2040 secs
lola: sara is running 2045 secs || 10993845 markings, 46344101 edges, 5294 markings/sec, 2045 secs
lola: sara is running 2050 secs || 11018875 markings, 46455327 edges, 5006 markings/sec, 2050 secs
lola: sara is running 2055 secs || 11043217 markings, 46567467 edges, 4868 markings/sec, 2055 secs
lola: sara is running 2060 secs || 11067819 markings, 46678445 edges, 4920 markings/sec, 2060 secs
lola: sara is running 2065 secs || 11090671 markings, 46793022 edges, 4570 markings/sec, 2065 secs
lola: sara is running 2070 secs || 11113970 markings, 46905386 edges, 4660 markings/sec, 2070 secs
lola: sara is running 2075 secs || 11139562 markings, 47011404 edges, 5118 markings/sec, 2075 secs
lola: sara is running 2080 secs || 11161724 markings, 47126429 edges, 4432 markings/sec, 2080 secs
lola: sara is running 2085 secs || 11185535 markings, 47236608 edges, 4762 markings/sec, 2085 secs
lola: sara is running 2090 secs || 11209102 markings, 47346293 edges, 4713 markings/sec, 2090 secs
lola: sara is running 2095 secs || 11230377 markings, 47459173 edges, 4255 markings/sec, 2095 secs
lola: sara is running 2100 secs || 11254259 markings, 47567424 edges, 4776 markings/sec, 2100 secs
lola: sara is running 2105 secs || 11279148 markings, 47674149 edges, 4978 markings/sec, 2105 secs
lola: sara is running 2110 secs || 11307281 markings, 47778006 edges, 5627 markings/sec, 2110 secs
lola: sara is running 2115 secs || 11351155 markings, 47845781 edges, 8775 markings/sec, 2115 secs
lola: sara is running 2120 secs || 11388754 markings, 47920507 edges, 7520 markings/sec, 2120 secs
lola: sara is running 2125 secs || 11421412 markings, 48009166 edges, 6532 markings/sec, 2125 secs
lola: sara is running 2130 secs || 11448295 markings, 48110081 edges, 5377 markings/sec, 2130 secs
lola: sara is running 2135 secs || 11462502 markings, 48236321 edges, 2841 markings/sec, 2135 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no unknown no yes no yes no no no yes no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes yes no unknown no yes no yes no no no yes no unknown no
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no unknown no yes no yes no no no yes no unknown no
lola: memory consumption: 1731852 KB
lola: time consumption: 3570 seconds
lola: time limit reached - aborting
lola:
preliminary result: unknown yes yes no unknown no yes no yes no no no yes no unknown no
lola:
preliminary result: unknown yes yes no unknown no yes no yes no no no yes no unknown no
lola: memory consumption: 1731852 KB
lola: time consumption: 3570 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
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-401"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-401.tgz
mv CloudReconfiguration-PT-401 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-401, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646380000144"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;