About the Execution of LoLA for CloudReconfiguration-PT-305
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6671.430 | 3569986.00 | 4257514.00 | 9284.00 | FTTTFFFF?F?T?FFF | 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 836K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-305, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379800031
=====================================================================
--------------------
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-305-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526481917842
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-305 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-305 formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ CloudReconfiguration-PT-305 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-305-CTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p720)
lola: LP says that atomic proposition is always false: (2 <= p1327)
lola: LP says that atomic proposition is always false: (3 <= p2256)
lola: LP says that atomic proposition is always false: (2 <= p151)
lola: LP says that atomic proposition is always false: (2 <= p2162)
lola: LP says that atomic proposition is always false: (3 <= p1827)
lola: LP says that atomic proposition is always false: (2 <= p2264)
lola: LP says that atomic proposition is always false: (2 <= p888)
lola: LP says that atomic proposition is always false: (3 <= p1076)
lola: LP says that atomic proposition is always false: (2 <= p1622)
lola: LP says that atomic proposition is always false: (3 <= p1210)
lola: LP says that atomic proposition is always false: (3 <= p1227)
lola: LP says that atomic proposition is always false: (2 <= p59)
lola: LP says that atomic proposition is always false: (3 <= p2277)
lola: LP says that atomic proposition is always false: (3 <= p1940)
lola: LP says that atomic proposition is always false: (3 <= p932)
lola: LP says that atomic proposition is always false: (2 <= p311)
lola: ((NOT(A (G ((p1021 <= p692)))) OR E (X (((p376 <= p2478) AND (p464 <= p961))))) AND E (F (FALSE))) : NOT(E (X (A (F (FALSE))))) : E (G ((p2156 <= p6))) : NOT((A (((p1747 <= p814) U FALSE)) OR FALSE)) : ((A (X (((p2064 <= p1579)))) AND E (F (FALSE))) OR A (X (()))) : A (G (E (F (())))) : E (F (((p1870 + 1 <= p1145) AND (p206 + 1 <= p1548) AND ((p2263 + 1 <= p619) OR (p1491 + 1 <= p943))))) : (((p73 + 1 <= p2069) AND (p1066 + 1 <= p748)) OR E ((TRUE U ()))) : A (G ((A (G ((p1569 <= p2356))) OR A (X ((p2470 <= p2173)))))) : A ((A (X ((p2562 <= p1730))) U E (X (FALSE)))) : E (((((p934 <= p743) AND (p45 <= p483)) OR ((p1830 <= p856) AND (p931 <= p587))) U E (G ((1 <= p587))))) : E (F (((1 <= p165) AND (p2267 <= p367)))) : ((((((p2057 <= p2198) OR (p1042 <= p1028)) AND (p556 <= 0)) OR A (F (FALSE))) OR NOT(A (X (FALSE)))) AND E (F (((p2204 + 1 <= p1475) AND (p82 + 1 <= p647))))) : (A (G (E (G ((p1110 <= p1481))))) OR FALSE) : E (F (A (G (())))) : A (G (((p137 <= 0) OR (p2092 + 1 <= p556) OR (p2415 + 1 <= p1510))))
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:285
lola: rewrite Frontend/Parser/formula_rewrite.k:458
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p73 + 1 <= p2069) AND (p1066 + 1 <= p748))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p73 + 1 <= p2069) AND (p1066 + 1 <= p748))
lola: processed formula length: 44
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A (G ((p1569 <= p2356))) OR A (X ((p2470 <= p2173))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(TRUE U (E(TRUE U (p2356 + 1 <= p1569)) AND NOT(AX((p2470 <= p2173))))))
lola: processed formula length: 77
lola: 61 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 117398 markings, 191900 edges, 23480 markings/sec, 0 secs
lola: 212845 markings, 378230 edges, 19089 markings/sec, 5 secs
lola: 302321 markings, 567671 edges, 17895 markings/sec, 10 secs
lola: 402875 markings, 757735 edges, 20111 markings/sec, 15 secs
lola: 509369 markings, 941052 edges, 21299 markings/sec, 20 secs
lola: 621933 markings, 1132113 edges, 22513 markings/sec, 25 secs
lola: 723675 markings, 1317753 edges, 20348 markings/sec, 30 secs
lola: 812844 markings, 1490508 edges, 17834 markings/sec, 35 secs
lola: 923848 markings, 1678656 edges, 22201 markings/sec, 40 secs
lola: 1029441 markings, 1858278 edges, 21119 markings/sec, 45 secs
lola: 1125388 markings, 2026774 edges, 19189 markings/sec, 50 secs
lola: 1226147 markings, 2200109 edges, 20152 markings/sec, 55 secs
lola: 1338721 markings, 2380265 edges, 22515 markings/sec, 60 secs
lola: 1436278 markings, 2558088 edges, 19511 markings/sec, 65 secs
lola: 1540722 markings, 2738821 edges, 20889 markings/sec, 70 secs
lola: 1636462 markings, 2905197 edges, 19148 markings/sec, 75 secs
lola: 1729958 markings, 3077534 edges, 18699 markings/sec, 80 secs
lola: 1817678 markings, 3244374 edges, 17544 markings/sec, 85 secs
lola: 1907152 markings, 3422429 edges, 17895 markings/sec, 90 secs
lola: 1995421 markings, 3591965 edges, 17654 markings/sec, 95 secs
lola: 2073240 markings, 3771564 edges, 15564 markings/sec, 100 secs
lola: 2168240 markings, 3941306 edges, 19000 markings/sec, 105 secs
lola: 2264486 markings, 4112322 edges, 19249 markings/sec, 110 secs
lola: 2358313 markings, 4285829 edges, 18765 markings/sec, 115 secs
lola: 2464031 markings, 4460874 edges, 21144 markings/sec, 120 secs
lola: 2562082 markings, 4641678 edges, 19610 markings/sec, 125 secs
lola: 2657247 markings, 4820355 edges, 19033 markings/sec, 130 secs
lola: 2757289 markings, 5000222 edges, 20008 markings/sec, 135 secs
lola: 2859099 markings, 5177565 edges, 20362 markings/sec, 140 secs
lola: 2970538 markings, 5350185 edges, 22288 markings/sec, 145 secs
lola: 3067238 markings, 5523406 edges, 19340 markings/sec, 150 secs
lola: 3164574 markings, 5693905 edges, 19467 markings/sec, 155 secs
lola: 3249964 markings, 5856937 edges, 17078 markings/sec, 160 secs
lola: 3347968 markings, 6030742 edges, 19601 markings/sec, 165 secs
lola: 3447007 markings, 6201381 edges, 19808 markings/sec, 170 secs
lola: 3532829 markings, 6365475 edges, 17164 markings/sec, 175 secs
lola: 3644472 markings, 6536249 edges, 22329 markings/sec, 180 secs
lola: 3733070 markings, 6704384 edges, 17720 markings/sec, 185 secs
lola: 3820173 markings, 6867892 edges, 17421 markings/sec, 190 secs
lola: 3915125 markings, 7024490 edges, 18990 markings/sec, 195 secs
lola: 4004609 markings, 7181389 edges, 17897 markings/sec, 200 secs
lola: 4083392 markings, 7338188 edges, 15757 markings/sec, 205 secs
lola: 4174290 markings, 7502998 edges, 18180 markings/sec, 210 secs
lola: 4261586 markings, 7655898 edges, 17459 markings/sec, 215 secs
lola: 4355895 markings, 7806621 edges, 18862 markings/sec, 220 secs
lola: 4458770 markings, 7960521 edges, 20575 markings/sec, 225 secs
lola: 4554162 markings, 8110686 edges, 19078 markings/sec, 230 secs
lola: 4637214 markings, 8263764 edges, 16610 markings/sec, 235 secs
lola: 4731802 markings, 8439310 edges, 18918 markings/sec, 240 secs
lola: 4808025 markings, 8596578 edges, 15245 markings/sec, 245 secs
lola: 4904767 markings, 8768173 edges, 19348 markings/sec, 250 secs
lola: 4997425 markings, 8940909 edges, 18532 markings/sec, 255 secs
lola: 5091037 markings, 9121203 edges, 18722 markings/sec, 260 secs
lola: 5176099 markings, 9294566 edges, 17012 markings/sec, 265 secs
lola: 5263284 markings, 9472141 edges, 17437 markings/sec, 270 secs
lola: 5332119 markings, 9627349 edges, 13767 markings/sec, 275 secs
lola: 5415085 markings, 9792025 edges, 16593 markings/sec, 280 secs
lola: 5487127 markings, 9948151 edges, 14408 markings/sec, 285 secs
lola: 5566928 markings, 10094629 edges, 15960 markings/sec, 290 secs
lola: 5657614 markings, 10251215 edges, 18137 markings/sec, 295 secs
lola: 5748355 markings, 10413932 edges, 18148 markings/sec, 300 secs
lola: 5835677 markings, 10565095 edges, 17464 markings/sec, 305 secs
lola: 5917983 markings, 10728014 edges, 16461 markings/sec, 310 secs
lola: 6002194 markings, 10893214 edges, 16842 markings/sec, 315 secs
lola: 6080357 markings, 11055318 edges, 15633 markings/sec, 320 secs
lola: 6163653 markings, 11212865 edges, 16659 markings/sec, 325 secs
lola: 6220522 markings, 11378362 edges, 11374 markings/sec, 330 secs
lola: 6294085 markings, 11541651 edges, 14713 markings/sec, 335 secs
lola: 6374558 markings, 11711119 edges, 16095 markings/sec, 340 secs
lola: 6450651 markings, 11878943 edges, 15219 markings/sec, 345 secs
lola: 6519184 markings, 12045225 edges, 13707 markings/sec, 350 secs
lola: 6600318 markings, 12209751 edges, 16227 markings/sec, 355 secs
lola: 6683146 markings, 12374925 edges, 16566 markings/sec, 360 secs
lola: 6769055 markings, 12539235 edges, 17182 markings/sec, 365 secs
lola: 6843018 markings, 12705338 edges, 14793 markings/sec, 370 secs
lola: 6930971 markings, 12867039 edges, 17591 markings/sec, 375 secs
lola: 7013028 markings, 13024052 edges, 16411 markings/sec, 380 secs
lola: 7094374 markings, 13173822 edges, 16269 markings/sec, 385 secs
lola: 7174488 markings, 13326525 edges, 16023 markings/sec, 390 secs
lola: 7258793 markings, 13487403 edges, 16861 markings/sec, 395 secs
lola: 7331165 markings, 13630830 edges, 14474 markings/sec, 400 secs
lola: 7399808 markings, 13780217 edges, 13729 markings/sec, 405 secs
lola: 7471398 markings, 13927217 edges, 14318 markings/sec, 410 secs
lola: 7538710 markings, 14069566 edges, 13462 markings/sec, 415 secs
lola: 7615278 markings, 14215645 edges, 15314 markings/sec, 420 secs
lola: 7704779 markings, 14394187 edges, 17900 markings/sec, 425 secs
lola: 7796504 markings, 14574570 edges, 18345 markings/sec, 430 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown yes no no unknown no unknown no unknown unknown unknown unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no yes unknown yes no no unknown no unknown no unknown unknown unknown unknown no unknown
lola: memory consumption: 2052924 KB
lola: time consumption: 489 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1110 <= p1481)))
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 ((p1110 <= p1481)))
lola: processed formula length: 24
lola: 57 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.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: (p1481 + 1 <= p1110)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-305-CTLCardinality-9-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 68 markings, 67 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 513 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p165) AND (p2267 <= p367))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= p165) AND (p2267 <= p367))))
lola: processed formula length: 41
lola: 56 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p165) AND (p2267 <= p367))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 96 markings, 95 edges
lola: state equation: write sara problem file to CloudReconfiguration-PT-305-CTLCardinality-10-0.sara
lola: state equation: calling and running sara
FORMULA CloudReconfiguration-PT-305-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 616 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p137 <= 0) OR (p2092 + 1 <= p556) OR (p2415 + 1 <= p1510))))
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 (((p137 <= 0) OR (p2092 + 1 <= p556) OR (p2415 + 1 <= p1510))))
lola: processed formula length: 70
lola: 57 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.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)
sara: try reading problem file CloudReconfiguration-PT-305-CTLCardinality-10-0.sara.
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: ((1 <= p137) AND (p556 <= p2092) AND (p1510 <= p2415))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-305-CTLCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-305-CTLCardinality-11-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 100 markings, 99 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 770 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1870 + 1 <= p1145) AND (p206 + 1 <= p1548) AND ((p2263 + 1 <= p619) OR (p1491 + 1 <= p943)))))
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 (((p1870 + 1 <= p1145) AND (p206 + 1 <= p1548) AND ((p2263 + 1 <= p619) OR (p1491 + 1 <= p943)))))
lola: processed formula length: 104
lola: 56 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.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: ((p1870 + 1 <= p1145) AND (p206 + 1 <= p1548) AND ((p2263 + 1 <= p619) OR (p1491 + 1 <= p943)))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-305-CTLCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-305-CTLCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 50706 markings, 81336 edges, 10141 markings/sec, 0 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
FORMULA CloudReconfiguration-PT-305-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1025 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p2156 <= p6)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((p2156 <= p6)))
lola: processed formula length: 21
lola: 55 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.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: 87 markings, 87 edges
FORMULA CloudReconfiguration-PT-305-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 14 will run for 1537 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((((p934 <= p743) AND (p45 <= p483)) OR ((p1830 <= p856) AND (p931 <= p587))) U E (G ((1 <= p587)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
========================================
lola: processed formula: E((((p934 <= p743) AND (p45 <= p483)) OR ((p1830 <= p856) AND (p931 <= p587))) U NOT(A(TRUE U (p587 <= 0))))
lola: processed formula length: 109
lola: 58 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 69816 markings, 205538 edges, 13963 markings/sec, 0 secs
lola: 137994 markings, 412355 edges, 13636 markings/sec, 5 secs
lola: 202671 markings, 614658 edges, 12935 markings/sec, 10 secs
lola: 270621 markings, 812593 edges, 13590 markings/sec, 15 secs
lola: 328738 markings, 1009430 edges, 11623 markings/sec, 20 secs
lola: 394937 markings, 1198517 edges, 13240 markings/sec, 25 secs
lola: 459139 markings, 1388799 edges, 12840 markings/sec, 30 secs
lola: 513866 markings, 1583936 edges, 10945 markings/sec, 35 secs
lola: 571544 markings, 1762098 edges, 11536 markings/sec, 40 secs
lola: 619520 markings, 1935442 edges, 9595 markings/sec, 45 secs
lola: 680884 markings, 2121180 edges, 12273 markings/sec, 50 secs
lola: 743494 markings, 2305925 edges, 12522 markings/sec, 55 secs
lola: 803332 markings, 2482674 edges, 11968 markings/sec, 60 secs
lola: 864641 markings, 2663786 edges, 12262 markings/sec, 65 secs
lola: 931569 markings, 2854596 edges, 13386 markings/sec, 70 secs
lola: 995221 markings, 3038530 edges, 12730 markings/sec, 75 secs
lola: 1057925 markings, 3222397 edges, 12541 markings/sec, 80 secs
lola: 1122390 markings, 3403981 edges, 12893 markings/sec, 85 secs
lola: 1181314 markings, 3576597 edges, 11785 markings/sec, 90 secs
lola: 1244380 markings, 3751440 edges, 12613 markings/sec, 95 secs
lola: 1307204 markings, 3923966 edges, 12565 markings/sec, 100 secs
lola: 1376186 markings, 4110903 edges, 13796 markings/sec, 105 secs
lola: 1442269 markings, 4299172 edges, 13217 markings/sec, 110 secs
lola: 1502427 markings, 4479551 edges, 12032 markings/sec, 115 secs
lola: 1563869 markings, 4660880 edges, 12288 markings/sec, 120 secs
lola: 1626156 markings, 4841615 edges, 12457 markings/sec, 125 secs
lola: 1693000 markings, 5026348 edges, 13369 markings/sec, 130 secs
lola: 1755976 markings, 5212480 edges, 12595 markings/sec, 135 secs
lola: 1818752 markings, 5394568 edges, 12555 markings/sec, 140 secs
lola: 1876787 markings, 5572768 edges, 11607 markings/sec, 145 secs
lola: 1933190 markings, 5744859 edges, 11281 markings/sec, 150 secs
lola: 1992906 markings, 5921667 edges, 11943 markings/sec, 155 secs
lola: 2055029 markings, 6106786 edges, 12425 markings/sec, 160 secs
lola: 2117326 markings, 6286454 edges, 12459 markings/sec, 165 secs
lola: 2182904 markings, 6480841 edges, 13116 markings/sec, 170 secs
lola: 2245259 markings, 6661398 edges, 12471 markings/sec, 175 secs
lola: 2309961 markings, 6846790 edges, 12940 markings/sec, 180 secs
lola: 2375138 markings, 7022928 edges, 13035 markings/sec, 185 secs
lola: 2441386 markings, 7202635 edges, 13250 markings/sec, 190 secs
lola: 2500036 markings, 7377906 edges, 11730 markings/sec, 195 secs
lola: 2558684 markings, 7553446 edges, 11730 markings/sec, 200 secs
lola: 2618163 markings, 7734770 edges, 11896 markings/sec, 205 secs
lola: 2680510 markings, 7913510 edges, 12469 markings/sec, 210 secs
lola: 2741631 markings, 8090704 edges, 12224 markings/sec, 215 secs
lola: 2797952 markings, 8258272 edges, 11264 markings/sec, 220 secs
lola: 2863687 markings, 8451599 edges, 13147 markings/sec, 225 secs
lola: 2924405 markings, 8624760 edges, 12144 markings/sec, 230 secs
lola: 2977047 markings, 8784442 edges, 10528 markings/sec, 235 secs
lola: 3031771 markings, 8947160 edges, 10945 markings/sec, 240 secs
lola: 3096872 markings, 9126138 edges, 13020 markings/sec, 245 secs
lola: 3162437 markings, 9302598 edges, 13113 markings/sec, 250 secs
lola: 3228452 markings, 9483001 edges, 13203 markings/sec, 255 secs
lola: 3292048 markings, 9658297 edges, 12719 markings/sec, 260 secs
lola: 3350091 markings, 9823371 edges, 11609 markings/sec, 265 secs
lola: 3405914 markings, 9985721 edges, 11165 markings/sec, 270 secs
lola: 3462573 markings, 10149047 edges, 11332 markings/sec, 275 secs
lola: 3519869 markings, 10311716 edges, 11459 markings/sec, 280 secs
sara: warning, failure of lp_solve (at job 1146)
lola: 3584281 markings, 10493829 edges, 12882 markings/sec, 285 secs
lola: 3646563 markings, 10670256 edges, 12456 markings/sec, 290 secs
lola: 3708271 markings, 10852200 edges, 12342 markings/sec, 295 secs
lola: 3768923 markings, 11023768 edges, 12130 markings/sec, 300 secs
lola: 3830205 markings, 11198147 edges, 12256 markings/sec, 305 secs
lola: 3895462 markings, 11380983 edges, 13051 markings/sec, 310 secs
lola: 3953095 markings, 11548587 edges, 11527 markings/sec, 315 secs
lola: 4009905 markings, 11709137 edges, 11362 markings/sec, 320 secs
lola: 4073330 markings, 11881199 edges, 12685 markings/sec, 325 secs
lola: 4125038 markings, 12040826 edges, 10342 markings/sec, 330 secs
lola: 4182181 markings, 12211351 edges, 11429 markings/sec, 335 secs
lola: 4245681 markings, 12385435 edges, 12700 markings/sec, 340 secs
lola: 4311838 markings, 12568863 edges, 13231 markings/sec, 345 secs
lola: 4372731 markings, 12748457 edges, 12179 markings/sec, 350 secs
lola: 4436605 markings, 12928911 edges, 12775 markings/sec, 355 secs
lola: 4499908 markings, 13108134 edges, 12661 markings/sec, 360 secs
lola: 4565595 markings, 13292618 edges, 13137 markings/sec, 365 secs
lola: 4622435 markings, 13464138 edges, 11368 markings/sec, 370 secs
lola: 4680350 markings, 13626438 edges, 11583 markings/sec, 375 secs
lola: 4733920 markings, 13780374 edges, 10714 markings/sec, 380 secs
lola: 4792794 markings, 13953263 edges, 11775 markings/sec, 385 secs
lola: 4852233 markings, 14125493 edges, 11888 markings/sec, 390 secs
lola: 4910258 markings, 14292468 edges, 11605 markings/sec, 395 secs
lola: 4963811 markings, 14446917 edges, 10711 markings/sec, 400 secs
lola: 5018121 markings, 14603728 edges, 10862 markings/sec, 405 secs
lola: 5073400 markings, 14763564 edges, 11056 markings/sec, 410 secs
lola: 5121385 markings, 14909490 edges, 9597 markings/sec, 415 secs
lola: 5172589 markings, 15066714 edges, 10241 markings/sec, 420 secs
lola: 5231565 markings, 15246580 edges, 11795 markings/sec, 425 secs
lola: 5292259 markings, 15423459 edges, 12139 markings/sec, 430 secs
lola: 5349352 markings, 15589686 edges, 11419 markings/sec, 435 secs
lola: 5410858 markings, 15765988 edges, 12301 markings/sec, 440 secs
lola: 5464846 markings, 15925445 edges, 10798 markings/sec, 445 secs
lola: 5519518 markings, 16085504 edges, 10934 markings/sec, 450 secs
lola: 5571391 markings, 16238065 edges, 10375 markings/sec, 455 secs
lola: 5621456 markings, 16387213 edges, 10013 markings/sec, 460 secs
lola: 5673152 markings, 16539576 edges, 10339 markings/sec, 465 secs
lola: 5732304 markings, 16715036 edges, 11830 markings/sec, 470 secs
lola: 5790272 markings, 16883700 edges, 11594 markings/sec, 475 secs
lola: 5848739 markings, 17056640 edges, 11693 markings/sec, 480 secs
lola: 5902665 markings, 17219345 edges, 10785 markings/sec, 485 secs
lola: 5956449 markings, 17376793 edges, 10757 markings/sec, 490 secs
lola: 6010995 markings, 17534469 edges, 10909 markings/sec, 495 secs
lola: 6069261 markings, 17702800 edges, 11653 markings/sec, 500 secs
lola: 6126373 markings, 17866151 edges, 11422 markings/sec, 505 secs
lola: 6178418 markings, 18013230 edges, 10409 markings/sec, 510 secs
lola: 6231308 markings, 18158658 edges, 10578 markings/sec, 515 secs
lola: 6287692 markings, 18320775 edges, 11277 markings/sec, 520 secs
lola: 6343056 markings, 18480480 edges, 11073 markings/sec, 525 secs
lola: 6397451 markings, 18642939 edges, 10879 markings/sec, 530 secs
lola: 6447005 markings, 18789023 edges, 9911 markings/sec, 535 secs
lola: 6498209 markings, 18935216 edges, 10241 markings/sec, 540 secs
lola: 6549898 markings, 19078491 edges, 10338 markings/sec, 545 secs
lola: 6600017 markings, 19224508 edges, 10024 markings/sec, 550 secs
lola: 6660596 markings, 19397256 edges, 12116 markings/sec, 555 secs
lola: 6720155 markings, 19564842 edges, 11912 markings/sec, 560 secs
lola: 6780256 markings, 19733000 edges, 12020 markings/sec, 565 secs
lola: 6839477 markings, 19906804 edges, 11844 markings/sec, 570 secs
lola: 6898880 markings, 20075831 edges, 11881 markings/sec, 575 secs
lola: 6955683 markings, 20242253 edges, 11361 markings/sec, 580 secs
lola: 7013323 markings, 20407467 edges, 11528 markings/sec, 585 secs
lola: 7072462 markings, 20575959 edges, 11828 markings/sec, 590 secs
lola: 7129122 markings, 20738299 edges, 11332 markings/sec, 595 secs
lola: 7180348 markings, 20889583 edges, 10245 markings/sec, 600 secs
lola: 7235049 markings, 21050023 edges, 10940 markings/sec, 605 secs
lola: 7298211 markings, 21230572 edges, 12632 markings/sec, 610 secs
lola: 7360290 markings, 21409236 edges, 12416 markings/sec, 615 secs
lola: 7422275 markings, 21586144 edges, 12397 markings/sec, 620 secs
lola: 7484723 markings, 21766922 edges, 12490 markings/sec, 625 secs
lola: 7547192 markings, 21938816 edges, 12494 markings/sec, 630 secs
lola: 7611136 markings, 22112475 edges, 12789 markings/sec, 635 secs
lola: 7670223 markings, 22279448 edges, 11817 markings/sec, 640 secs
lola: 7727291 markings, 22448899 edges, 11414 markings/sec, 645 secs
lola: 7780881 markings, 22607729 edges, 10718 markings/sec, 650 secs
lola: 7832905 markings, 22762059 edges, 10405 markings/sec, 655 secs
lola: 7887148 markings, 22918396 edges, 10849 markings/sec, 660 secs
lola: 7941725 markings, 23074244 edges, 10915 markings/sec, 665 secs
lola: 7998827 markings, 23241120 edges, 11420 markings/sec, 670 secs
lola: 8048681 markings, 23387379 edges, 9971 markings/sec, 675 secs
lola: 8101814 markings, 23536098 edges, 10627 markings/sec, 680 secs
lola: 8156606 markings, 23695459 edges, 10958 markings/sec, 685 secs
lola: 8202508 markings, 23833547 edges, 9180 markings/sec, 690 secs
lola: 8253734 markings, 23977931 edges, 10245 markings/sec, 695 secs
lola: 8313760 markings, 24153057 edges, 12005 markings/sec, 700 secs
lola: 8365554 markings, 24297295 edges, 10359 markings/sec, 705 secs
lola: 8431341 markings, 24477681 edges, 13157 markings/sec, 710 secs
lola: 8491461 markings, 24647708 edges, 12024 markings/sec, 715 secs
lola: 8554024 markings, 24817912 edges, 12513 markings/sec, 720 secs
lola: 8603169 markings, 24964109 edges, 9829 markings/sec, 725 secs
lola: 8665203 markings, 25137918 edges, 12407 markings/sec, 730 secs
lola: 8711131 markings, 25285168 edges, 9186 markings/sec, 735 secs
lola: 8767334 markings, 25455904 edges, 11241 markings/sec, 740 secs
lola: 8816227 markings, 25631720 edges, 9779 markings/sec, 745 secs
lola: 8864692 markings, 25805724 edges, 9693 markings/sec, 750 secs
lola: 8914173 markings, 25948536 edges, 9896 markings/sec, 755 secs
lola: 8960027 markings, 26089225 edges, 9171 markings/sec, 760 secs
lola: 9007665 markings, 26231124 edges, 9528 markings/sec, 765 secs
lola: 9053963 markings, 26370227 edges, 9260 markings/sec, 770 secs
lola: 9110987 markings, 26539257 edges, 11405 markings/sec, 775 secs
lola: 9171562 markings, 26713299 edges, 12115 markings/sec, 780 secs
lola: 9227252 markings, 26892805 edges, 11138 markings/sec, 785 secs
lola: 9286268 markings, 27069889 edges, 11803 markings/sec, 790 secs
lola: 9344385 markings, 27237938 edges, 11623 markings/sec, 795 secs
lola: 9409489 markings, 27419430 edges, 13021 markings/sec, 800 secs
lola: 9465408 markings, 27590956 edges, 11184 markings/sec, 805 secs
lola: 9523501 markings, 27766568 edges, 11619 markings/sec, 810 secs
lola: 9585105 markings, 27942724 edges, 12321 markings/sec, 815 secs
lola: 9651692 markings, 28111467 edges, 13317 markings/sec, 820 secs
lola: 9713383 markings, 28287066 edges, 12338 markings/sec, 825 secs
lola: 9766115 markings, 28446236 edges, 10546 markings/sec, 830 secs
lola: 9818798 markings, 28606047 edges, 10537 markings/sec, 835 secs
lola: 9874723 markings, 28783203 edges, 11185 markings/sec, 840 secs
lola: 9934361 markings, 28960371 edges, 11928 markings/sec, 845 secs
lola: 10002762 markings, 29148330 edges, 13680 markings/sec, 850 secs
lola: 10070833 markings, 29330940 edges, 13614 markings/sec, 855 secs
lola: 10135747 markings, 29505476 edges, 12983 markings/sec, 860 secs
lola: 10196538 markings, 29691744 edges, 12158 markings/sec, 865 secs
lola: 10258129 markings, 29868292 edges, 12318 markings/sec, 870 secs
lola: 10328325 markings, 30052267 edges, 14039 markings/sec, 875 secs
lola: 10391914 markings, 30228137 edges, 12718 markings/sec, 880 secs
lola: 10449505 markings, 30395755 edges, 11518 markings/sec, 885 secs
lola: 10503641 markings, 30569762 edges, 10827 markings/sec, 890 secs
lola: 10559838 markings, 30740810 edges, 11239 markings/sec, 895 secs
lola: 10617293 markings, 30911945 edges, 11491 markings/sec, 900 secs
lola: 10680793 markings, 31086565 edges, 12700 markings/sec, 905 secs
lola: 10746545 markings, 31262407 edges, 13150 markings/sec, 910 secs
lola: 10811232 markings, 31436564 edges, 12937 markings/sec, 915 secs
lola: 10870081 markings, 31605643 edges, 11770 markings/sec, 920 secs
lola: 10926793 markings, 31775051 edges, 11342 markings/sec, 925 secs
lola: 10984166 markings, 31946330 edges, 11475 markings/sec, 930 secs
lola: 11037644 markings, 32108251 edges, 10696 markings/sec, 935 secs
lola: 11095822 markings, 32277367 edges, 11636 markings/sec, 940 secs
lola: 11152208 markings, 32442507 edges, 11277 markings/sec, 945 secs
lola: 11205675 markings, 32601587 edges, 10693 markings/sec, 950 secs
lola: 11255738 markings, 32753960 edges, 10013 markings/sec, 955 secs
lola: 11306921 markings, 32906535 edges, 10237 markings/sec, 960 secs
lola: 11361779 markings, 33069655 edges, 10972 markings/sec, 965 secs
lola: 11424073 markings, 33237316 edges, 12459 markings/sec, 970 secs
lola: 11484513 markings, 33410172 edges, 12088 markings/sec, 975 secs
lola: 11551321 markings, 33595557 edges, 13362 markings/sec, 980 secs
lola: 11616410 markings, 33772767 edges, 13018 markings/sec, 985 secs
lola: 11674394 markings, 33939931 edges, 11597 markings/sec, 990 secs
lola: 11733054 markings, 34108754 edges, 11732 markings/sec, 995 secs
lola: 11791261 markings, 34278562 edges, 11641 markings/sec, 1000 secs
lola: 11849440 markings, 34447834 edges, 11636 markings/sec, 1005 secs
lola: 11904827 markings, 34613267 edges, 11077 markings/sec, 1010 secs
lola: 11961485 markings, 34782887 edges, 11332 markings/sec, 1015 secs
lola: 12016644 markings, 34943284 edges, 11032 markings/sec, 1020 secs
lola: 12067037 markings, 35095387 edges, 10079 markings/sec, 1025 secs
lola: 12116259 markings, 35242491 edges, 9844 markings/sec, 1030 secs
lola: 12174566 markings, 35410661 edges, 11661 markings/sec, 1035 secs
lola: 12232361 markings, 35575273 edges, 11559 markings/sec, 1040 secs
lola: 12296502 markings, 35756077 edges, 12828 markings/sec, 1045 secs
lola: 12362622 markings, 35937262 edges, 13224 markings/sec, 1050 secs
lola: 12421809 markings, 36104347 edges, 11837 markings/sec, 1055 secs
lola: 12479861 markings, 36267702 edges, 11610 markings/sec, 1060 secs
lola: 12537757 markings, 36430144 edges, 11579 markings/sec, 1065 secs
lola: 12591403 markings, 36592374 edges, 10729 markings/sec, 1070 secs
lola: 12645837 markings, 36756614 edges, 10887 markings/sec, 1075 secs
lola: 12704345 markings, 36923918 edges, 11702 markings/sec, 1080 secs
lola: 12759929 markings, 37091380 edges, 11117 markings/sec, 1085 secs
lola: 12823151 markings, 37276881 edges, 12644 markings/sec, 1090 secs
lola: 12887014 markings, 37462983 edges, 12773 markings/sec, 1095 secs
lola: 12947101 markings, 37634688 edges, 12017 markings/sec, 1100 secs
lola: 13007452 markings, 37809168 edges, 12070 markings/sec, 1105 secs
lola: 13068686 markings, 37967119 edges, 12247 markings/sec, 1110 secs
lola: 13127624 markings, 38133555 edges, 11788 markings/sec, 1115 secs
lola: 13184865 markings, 38298911 edges, 11448 markings/sec, 1120 secs
lola: 13239388 markings, 38463355 edges, 10905 markings/sec, 1125 secs
lola: 13292985 markings, 38627157 edges, 10719 markings/sec, 1130 secs
lola: 13342272 markings, 38794277 edges, 9857 markings/sec, 1135 secs
lola: 13404881 markings, 38968498 edges, 12522 markings/sec, 1140 secs
lola: 13461493 markings, 39125169 edges, 11322 markings/sec, 1145 secs
lola: 13518690 markings, 39282691 edges, 11439 markings/sec, 1150 secs
lola: 13585090 markings, 39467857 edges, 13280 markings/sec, 1155 secs
lola: 13651059 markings, 39650826 edges, 13194 markings/sec, 1160 secs
lola: 13717796 markings, 39835329 edges, 13347 markings/sec, 1165 secs
lola: 13782877 markings, 40013281 edges, 13016 markings/sec, 1170 secs
lola: 13846309 markings, 40188868 edges, 12686 markings/sec, 1175 secs
lola: 13907953 markings, 40362466 edges, 12329 markings/sec, 1180 secs
lola: 13964899 markings, 40528016 edges, 11389 markings/sec, 1185 secs
lola: 14026206 markings, 40691103 edges, 12261 markings/sec, 1190 secs
lola: 14080081 markings, 40853462 edges, 10775 markings/sec, 1195 secs
lola: 14132362 markings, 41010487 edges, 10456 markings/sec, 1200 secs
lola: 14184804 markings, 41164222 edges, 10488 markings/sec, 1205 secs
lola: 14241409 markings, 41316522 edges, 11321 markings/sec, 1210 secs
lola: 14292791 markings, 41466473 edges, 10276 markings/sec, 1215 secs
lola: 14339240 markings, 41623150 edges, 9290 markings/sec, 1220 secs
lola: 14395275 markings, 41791364 edges, 11207 markings/sec, 1225 secs
lola: 14446827 markings, 41956808 edges, 10310 markings/sec, 1230 secs
lola: 14500658 markings, 42119496 edges, 10766 markings/sec, 1235 secs
lola: 14559180 markings, 42286104 edges, 11704 markings/sec, 1240 secs
lola: 14618929 markings, 42453438 edges, 11950 markings/sec, 1245 secs
lola: 14670528 markings, 42602362 edges, 10320 markings/sec, 1250 secs
lola: 14731264 markings, 42775456 edges, 12147 markings/sec, 1255 secs
lola: 14778097 markings, 42938590 edges, 9367 markings/sec, 1260 secs
lola: 14829055 markings, 43096849 edges, 10192 markings/sec, 1265 secs
lola: 14886376 markings, 43259960 edges, 11464 markings/sec, 1270 secs
lola: 14942604 markings, 43425218 edges, 11246 markings/sec, 1275 secs
lola: 14997228 markings, 43578699 edges, 10925 markings/sec, 1280 secs
lola: 15051373 markings, 43745488 edges, 10829 markings/sec, 1285 secs
lola: 15111687 markings, 43919447 edges, 12063 markings/sec, 1290 secs
lola: 15170079 markings, 44081957 edges, 11678 markings/sec, 1295 secs
lola: 15225621 markings, 44234274 edges, 11108 markings/sec, 1300 secs
lola: 15276314 markings, 44375372 edges, 10139 markings/sec, 1305 secs
lola: 15333593 markings, 44533231 edges, 11456 markings/sec, 1310 secs
lola: 15390632 markings, 44703860 edges, 11408 markings/sec, 1315 secs
lola: 15447722 markings, 44865557 edges, 11418 markings/sec, 1320 secs
lola: 15506147 markings, 45028459 edges, 11685 markings/sec, 1325 secs
lola: 15567149 markings, 45199495 edges, 12200 markings/sec, 1330 secs
lola: 15623220 markings, 45351669 edges, 11214 markings/sec, 1335 secs
lola: 15674320 markings, 45511405 edges, 10220 markings/sec, 1340 secs
lola: 15727332 markings, 45672481 edges, 10602 markings/sec, 1345 secs
lola: 15783998 markings, 45832580 edges, 11333 markings/sec, 1350 secs
lola: 15838829 markings, 45988626 edges, 10966 markings/sec, 1355 secs
lola: 15896119 markings, 46156055 edges, 11458 markings/sec, 1360 secs
lola: 15951869 markings, 46316424 edges, 11150 markings/sec, 1365 secs
lola: 16004543 markings, 46476669 edges, 10535 markings/sec, 1370 secs
lola: 16063075 markings, 46633906 edges, 11706 markings/sec, 1375 secs
lola: 16119027 markings, 46784970 edges, 11190 markings/sec, 1380 secs
lola: 16174879 markings, 46942682 edges, 11170 markings/sec, 1385 secs
lola: 16241016 markings, 47113270 edges, 13227 markings/sec, 1390 secs
lola: 16294275 markings, 47269836 edges, 10652 markings/sec, 1395 secs
lola: 16349558 markings, 47424658 edges, 11057 markings/sec, 1400 secs
lola: 16403293 markings, 47577004 edges, 10747 markings/sec, 1405 secs
lola: 16464353 markings, 47742464 edges, 12212 markings/sec, 1410 secs
lola: 16521507 markings, 47901542 edges, 11431 markings/sec, 1415 secs
lola: 16577516 markings, 48051375 edges, 11202 markings/sec, 1420 secs
lola: 16640871 markings, 48218978 edges, 12671 markings/sec, 1425 secs
lola: 16692429 markings, 48370149 edges, 10312 markings/sec, 1430 secs
lola: 16747309 markings, 48531900 edges, 10976 markings/sec, 1435 secs
lola: 16800739 markings, 48684548 edges, 10686 markings/sec, 1440 secs
lola: 16851214 markings, 48830257 edges, 10095 markings/sec, 1445 secs
lola: 16897841 markings, 48967660 edges, 9325 markings/sec, 1450 secs
lola: 16944550 markings, 49103371 edges, 9342 markings/sec, 1455 secs
lola: 16995624 markings, 49252466 edges, 10215 markings/sec, 1460 secs
lola: 17048738 markings, 49408015 edges, 10623 markings/sec, 1465 secs
lola: 17100386 markings, 49565630 edges, 10330 markings/sec, 1470 secs
lola: 17154132 markings, 49719269 edges, 10749 markings/sec, 1475 secs
lola: 17201273 markings, 49856429 edges, 9428 markings/sec, 1480 secs
lola: 17254616 markings, 50012112 edges, 10669 markings/sec, 1485 secs
lola: 17314005 markings, 50176817 edges, 11878 markings/sec, 1490 secs
lola: 17362132 markings, 50328569 edges, 9625 markings/sec, 1495 secs
lola: 17413289 markings, 50484144 edges, 10231 markings/sec, 1500 secs
lola: 17459272 markings, 50630677 edges, 9197 markings/sec, 1505 secs
lola: 17517196 markings, 50793762 edges, 11585 markings/sec, 1510 secs
lola: 17574902 markings, 50949369 edges, 11541 markings/sec, 1515 secs
lola: 17626731 markings, 51103374 edges, 10366 markings/sec, 1520 secs
lola: 17679329 markings, 51266645 edges, 10520 markings/sec, 1525 secs
lola: 17736519 markings, 51432461 edges, 11438 markings/sec, 1530 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes yes yes no no no no unknown no unknown yes unknown no no no
lola: memory consumption: 4788812 KB
lola: time consumption: 2031 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1537 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((((p2057 <= p2198) OR (p1042 <= p1028)) AND (p556 <= 0)) OR NOT DEADLOCK) AND E (F (((p2204 + 1 <= p1475) AND (p82 + 1 <= p647)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1537 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p2057 <= p2198) OR (p1042 <= p1028)) AND (p556 <= 0)) OR NOT DEADLOCK)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:704
lola: processed formula: ((((p2057 <= p2198) OR (p1042 <= p1028)) AND (p556 <= 0)) OR NOT DEADLOCK)
lola: processed formula length: 75
lola: 56 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((A (G ((p1569 <= p2356))) OR A (X ((p2470 <= p2173))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(TRUE U (E(TRUE U (p2356 + 1 <= p1569)) AND NOT(AX((p2470 <= p2173))))))
lola: processed formula length: 77
lola: 61 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 119459 markings, 195549 edges, 23892 markings/sec, 0 secs
lola: 213929 markings, 380613 edges, 18894 markings/sec, 5 secs
lola: 303349 markings, 570145 edges, 17884 markings/sec, 10 secs
lola: 404049 markings, 759442 edges, 20140 markings/sec, 15 secs
lola: 509721 markings, 941557 edges, 21134 markings/sec, 20 secs
lola: 621841 markings, 1131879 edges, 22424 markings/sec, 25 secs
lola: 723163 markings, 1316405 edges, 20264 markings/sec, 30 secs
lola: 811632 markings, 1487554 edges, 17694 markings/sec, 35 secs
lola: 922492 markings, 1675619 edges, 22172 markings/sec, 40 secs
lola: 1026561 markings, 1854276 edges, 20814 markings/sec, 45 secs
lola: 1122050 markings, 2021805 edges, 19098 markings/sec, 50 secs
lola: 1222539 markings, 2193578 edges, 20098 markings/sec, 55 secs
lola: 1333634 markings, 2371892 edges, 22219 markings/sec, 60 secs
lola: 1432904 markings, 2549976 edges, 19854 markings/sec, 65 secs
lola: 1535159 markings, 2728937 edges, 20451 markings/sec, 70 secs
lola: 1631429 markings, 2895200 edges, 19254 markings/sec, 75 secs
lola: 1721723 markings, 3065195 edges, 18059 markings/sec, 80 secs
lola: 1809987 markings, 3228657 edges, 17653 markings/sec, 85 secs
lola: 1900740 markings, 3405607 edges, 18151 markings/sec, 90 secs
lola: 1983337 markings, 3572080 edges, 16519 markings/sec, 95 secs
lola: 2066807 markings, 3750385 edges, 16694 markings/sec, 100 secs
lola: 2158183 markings, 3923470 edges, 18275 markings/sec, 105 secs
lola: 2253774 markings, 4094183 edges, 19118 markings/sec, 110 secs
lola: 2346244 markings, 4265516 edges, 18494 markings/sec, 115 secs
lola: 2455975 markings, 4443557 edges, 21946 markings/sec, 120 secs
lola: 2549560 markings, 4621789 edges, 18717 markings/sec, 125 secs
lola: 2646641 markings, 4799963 edges, 19416 markings/sec, 130 secs
lola: 2744299 markings, 4979926 edges, 19532 markings/sec, 135 secs
lola: 2846555 markings, 5158835 edges, 20451 markings/sec, 140 secs
lola: 2959620 markings, 5332000 edges, 22613 markings/sec, 145 secs
lola: 3057770 markings, 5508500 edges, 19630 markings/sec, 150 secs
lola: 3154210 markings, 5678604 edges, 19288 markings/sec, 155 secs
lola: 3243101 markings, 5839670 edges, 17778 markings/sec, 160 secs
lola: 3336343 markings, 6012331 edges, 18648 markings/sec, 165 secs
lola: 3435565 markings, 6183581 edges, 19844 markings/sec, 170 secs
lola: 3520727 markings, 6347650 edges, 17032 markings/sec, 175 secs
lola: 3631235 markings, 6515338 edges, 22102 markings/sec, 180 secs
lola: 3721823 markings, 6682364 edges, 18118 markings/sec, 185 secs
lola: 3805289 markings, 6845500 edges, 16693 markings/sec, 190 secs
lola: 3902102 markings, 6999378 edges, 19363 markings/sec, 195 secs
lola: 3989629 markings, 7151556 edges, 17505 markings/sec, 200 secs
lola: 4068565 markings, 7302105 edges, 15787 markings/sec, 205 secs
lola: 4151787 markings, 7460566 edges, 16644 markings/sec, 210 secs
lola: 4234065 markings, 7611538 edges, 16456 markings/sec, 215 secs
lola: 4326468 markings, 7758177 edges, 18481 markings/sec, 220 secs
lola: 4422297 markings, 7906884 edges, 19166 markings/sec, 225 secs
lola: 4515091 markings, 8050071 edges, 18559 markings/sec, 230 secs
lola: 4600732 markings, 8191916 edges, 17128 markings/sec, 235 secs
lola: 4685672 markings, 8355015 edges, 16988 markings/sec, 240 secs
lola: 4775035 markings, 8519437 edges, 17873 markings/sec, 245 secs
lola: 4850068 markings, 8675218 edges, 15007 markings/sec, 250 secs
lola: 4951394 markings, 8846025 edges, 20265 markings/sec, 255 secs
lola: 5037154 markings, 9020272 edges, 17152 markings/sec, 260 secs
lola: 5128711 markings, 9197264 edges, 18311 markings/sec, 265 secs
lola: 5216138 markings, 9375884 edges, 17485 markings/sec, 270 secs
lola: 5292014 markings, 9530051 edges, 15175 markings/sec, 275 secs
lola: 5368566 markings, 9696992 edges, 15310 markings/sec, 280 secs
lola: 5448361 markings, 9866919 edges, 15959 markings/sec, 285 secs
lola: 5520514 markings, 10014014 edges, 14431 markings/sec, 290 secs
lola: 5605706 markings, 10160057 edges, 17038 markings/sec, 295 secs
lola: 5692503 markings, 10318835 edges, 17359 markings/sec, 300 secs
lola: 5786669 markings, 10482307 edges, 18833 markings/sec, 305 secs
lola: 5874823 markings, 10647687 edges, 17631 markings/sec, 310 secs
lola: 5957052 markings, 10804194 edges, 16446 markings/sec, 315 secs
lola: 6041633 markings, 10968642 edges, 16916 markings/sec, 320 secs
lola: 6116508 markings, 11126904 edges, 14975 markings/sec, 325 secs
lola: 6188522 markings, 11282546 edges, 14403 markings/sec, 330 secs
lola: 6252146 markings, 11450862 edges, 12725 markings/sec, 335 secs
lola: 6333536 markings, 11618416 edges, 16278 markings/sec, 340 secs
lola: 6417568 markings, 11790645 edges, 16806 markings/sec, 345 secs
lola: 6480687 markings, 11956655 edges, 12624 markings/sec, 350 secs
lola: 6554526 markings, 12122514 edges, 14768 markings/sec, 355 secs
lola: 6633298 markings, 12282085 edges, 15754 markings/sec, 360 secs
lola: 6721074 markings, 12444381 edges, 17555 markings/sec, 365 secs
lola: 6797916 markings, 12609959 edges, 15368 markings/sec, 370 secs
lola: 6880634 markings, 12773900 edges, 16544 markings/sec, 375 secs
lola: 6965407 markings, 12930435 edges, 16955 markings/sec, 380 secs
lola: 7045315 markings, 13083364 edges, 15982 markings/sec, 385 secs
lola: 7124238 markings, 13233389 edges, 15785 markings/sec, 390 secs
lola: 7204689 markings, 13382379 edges, 16090 markings/sec, 395 secs
lola: 7282858 markings, 13535113 edges, 15634 markings/sec, 400 secs
lola: 7356300 markings, 13682495 edges, 14688 markings/sec, 405 secs
lola: 7424085 markings, 13830530 edges, 13557 markings/sec, 410 secs
lola: 7493802 markings, 13977004 edges, 13943 markings/sec, 415 secs
lola: 7562583 markings, 14112382 edges, 13756 markings/sec, 420 secs
lola: 7643631 markings, 14271763 edges, 16210 markings/sec, 425 secs
lola: 7730065 markings, 14449796 edges, 17287 markings/sec, 430 secs
lola: 7825318 markings, 14632404 edges, 19051 markings/sec, 435 secs
lola: 7924432 markings, 14814542 edges, 19823 markings/sec, 440 secs
lola: 8019280 markings, 14996907 edges, 18970 markings/sec, 445 secs
lola: 8101950 markings, 15173440 edges, 16534 markings/sec, 450 secs
lola: 8179201 markings, 15355922 edges, 15450 markings/sec, 455 secs
lola: 8253711 markings, 15538699 edges, 14902 markings/sec, 460 secs
lola: 8327792 markings, 15723778 edges, 14816 markings/sec, 465 secs
lola: 8402514 markings, 15904207 edges, 14944 markings/sec, 470 secs
lola: 8466366 markings, 16077750 edges, 12770 markings/sec, 475 secs
lola: 8555006 markings, 16253034 edges, 17728 markings/sec, 480 secs
lola: 8625956 markings, 16406280 edges, 14190 markings/sec, 485 secs
lola: 8692272 markings, 16556745 edges, 13263 markings/sec, 490 secs
lola: 8758026 markings, 16721124 edges, 13151 markings/sec, 495 secs
lola: 8828760 markings, 16885335 edges, 14147 markings/sec, 500 secs
lola: 8901562 markings, 17051400 edges, 14560 markings/sec, 505 secs
lola: 8975521 markings, 17214378 edges, 14792 markings/sec, 510 secs
lola: 9051108 markings, 17371394 edges, 15117 markings/sec, 515 secs
lola: 9132081 markings, 17520150 edges, 16195 markings/sec, 520 secs
lola: 9201376 markings, 17663114 edges, 13859 markings/sec, 525 secs
lola: 9266897 markings, 17809073 edges, 13104 markings/sec, 530 secs
lola: 9324892 markings, 17948428 edges, 11599 markings/sec, 535 secs
lola: 9395687 markings, 18097652 edges, 14159 markings/sec, 540 secs
lola: 9456851 markings, 18247592 edges, 12233 markings/sec, 545 secs
lola: 9544464 markings, 18423147 edges, 17523 markings/sec, 550 secs
lola: 9623518 markings, 18596067 edges, 15811 markings/sec, 555 secs
lola: 9684290 markings, 18738919 edges, 12154 markings/sec, 560 secs
lola: 9766816 markings, 18906216 edges, 16505 markings/sec, 565 secs
lola: 9845214 markings, 19077775 edges, 15680 markings/sec, 570 secs
lola: 9926906 markings, 19252891 edges, 16338 markings/sec, 575 secs
lola: 10013878 markings, 19424658 edges, 17394 markings/sec, 580 secs
lola: 10100043 markings, 19593048 edges, 17233 markings/sec, 585 secs
lola: 10185529 markings, 19759064 edges, 17097 markings/sec, 590 secs
lola: 10265479 markings, 19924913 edges, 15990 markings/sec, 595 secs
lola: 10326991 markings, 20077955 edges, 12302 markings/sec, 600 secs
lola: 10416566 markings, 20279908 edges, 17915 markings/sec, 605 secs
lola: 10484965 markings, 20437979 edges, 13680 markings/sec, 610 secs
lola: 10558041 markings, 20607008 edges, 14615 markings/sec, 615 secs
lola: 10616219 markings, 20747906 edges, 11636 markings/sec, 620 secs
lola: 10692230 markings, 20919936 edges, 15202 markings/sec, 625 secs
lola: 10756131 markings, 21065381 edges, 12780 markings/sec, 630 secs
lola: 10822450 markings, 21220240 edges, 13264 markings/sec, 635 secs
lola: 10900712 markings, 21389517 edges, 15652 markings/sec, 640 secs
lola: 10985192 markings, 21570790 edges, 16896 markings/sec, 645 secs
lola: 11063309 markings, 21735165 edges, 15623 markings/sec, 650 secs
lola: 11151233 markings, 21905154 edges, 17585 markings/sec, 655 secs
lola: 11238014 markings, 22075718 edges, 17356 markings/sec, 660 secs
lola: 11317879 markings, 22238838 edges, 15973 markings/sec, 665 secs
lola: 11393846 markings, 22407733 edges, 15193 markings/sec, 670 secs
lola: 11467274 markings, 22572981 edges, 14686 markings/sec, 675 secs
lola: 11546488 markings, 22734342 edges, 15843 markings/sec, 680 secs
lola: 11610368 markings, 22877301 edges, 12776 markings/sec, 685 secs
lola: 11690664 markings, 23038118 edges, 16059 markings/sec, 690 secs
lola: 11768681 markings, 23197587 edges, 15603 markings/sec, 695 secs
lola: 11840065 markings, 23347912 edges, 14277 markings/sec, 700 secs
lola: 11913237 markings, 23504571 edges, 14634 markings/sec, 705 secs
lola: 11992164 markings, 23655339 edges, 15785 markings/sec, 710 secs
lola: 12068240 markings, 23805550 edges, 15215 markings/sec, 715 secs
lola: 12134540 markings, 23945059 edges, 13260 markings/sec, 720 secs
lola: 12201230 markings, 24083515 edges, 13338 markings/sec, 725 secs
lola: 12259788 markings, 24223400 edges, 11712 markings/sec, 730 secs
lola: 12338794 markings, 24384281 edges, 15801 markings/sec, 735 secs
lola: 12426188 markings, 24543206 edges, 17479 markings/sec, 740 secs
lola: 12506976 markings, 24696929 edges, 16158 markings/sec, 745 secs
lola: 12595221 markings, 24868565 edges, 17649 markings/sec, 750 secs
lola: 12682860 markings, 25053603 edges, 17528 markings/sec, 755 secs
lola: 12770249 markings, 25229197 edges, 17478 markings/sec, 760 secs
lola: 12847139 markings, 25396716 edges, 15378 markings/sec, 765 secs
lola: 12933867 markings, 25571552 edges, 17346 markings/sec, 770 secs
lola: 13016399 markings, 25733943 edges, 16506 markings/sec, 775 secs
lola: 13092566 markings, 25904077 edges, 15233 markings/sec, 780 secs
lola: 13172986 markings, 26080068 edges, 16084 markings/sec, 785 secs
lola: 13261787 markings, 26243141 edges, 17760 markings/sec, 790 secs
lola: 13354090 markings, 26404569 edges, 18461 markings/sec, 795 secs
lola: 13436806 markings, 26562205 edges, 16543 markings/sec, 800 secs
lola: 13514625 markings, 26715208 edges, 15564 markings/sec, 805 secs
lola: 13594830 markings, 26862869 edges, 16041 markings/sec, 810 secs
lola: 13667567 markings, 27008327 edges, 14547 markings/sec, 815 secs
lola: 13739379 markings, 27151447 edges, 14362 markings/sec, 820 secs
lola: 13793716 markings, 27296663 edges, 10867 markings/sec, 825 secs
lola: 13850826 markings, 27443976 edges, 11422 markings/sec, 830 secs
lola: 13904609 markings, 27601833 edges, 10757 markings/sec, 835 secs
lola: 13980146 markings, 27766702 edges, 15107 markings/sec, 840 secs
lola: 14047440 markings, 27926632 edges, 13459 markings/sec, 845 secs
lola: 14122448 markings, 28089513 edges, 15002 markings/sec, 850 secs
lola: 14198895 markings, 28254483 edges, 15289 markings/sec, 855 secs
lola: 14265296 markings, 28419278 edges, 13280 markings/sec, 860 secs
lola: 14340420 markings, 28579272 edges, 15025 markings/sec, 865 secs
lola: 14420036 markings, 28741640 edges, 15923 markings/sec, 870 secs
lola: 14502711 markings, 28898601 edges, 16535 markings/sec, 875 secs
lola: 14585877 markings, 29053956 edges, 16633 markings/sec, 880 secs
lola: 14662811 markings, 29208024 edges, 15387 markings/sec, 885 secs
lola: 14749985 markings, 29364182 edges, 17435 markings/sec, 890 secs
lola: 14840642 markings, 29525251 edges, 18131 markings/sec, 895 secs
lola: 14923516 markings, 29688524 edges, 16575 markings/sec, 900 secs
lola: 15009947 markings, 29864528 edges, 17286 markings/sec, 905 secs
lola: 15080776 markings, 30036660 edges, 14166 markings/sec, 910 secs
lola: 15165543 markings, 30188704 edges, 16953 markings/sec, 915 secs
lola: 15238289 markings, 30342350 edges, 14549 markings/sec, 920 secs
lola: 15317262 markings, 30479403 edges, 15795 markings/sec, 925 secs
lola: 15385028 markings, 30626466 edges, 13553 markings/sec, 930 secs
lola: 15482362 markings, 30803682 edges, 19467 markings/sec, 935 secs
lola: 15575241 markings, 30974288 edges, 18576 markings/sec, 940 secs
lola: 15658042 markings, 31145491 edges, 16560 markings/sec, 945 secs
lola: 15735078 markings, 31313863 edges, 15407 markings/sec, 950 secs
lola: 15817966 markings, 31472280 edges, 16578 markings/sec, 955 secs
lola: 15894662 markings, 31624783 edges, 15339 markings/sec, 960 secs
lola: 15975370 markings, 31797140 edges, 16142 markings/sec, 965 secs
lola: 16054048 markings, 31957942 edges, 15736 markings/sec, 970 secs
lola: 16123366 markings, 32112084 edges, 13864 markings/sec, 975 secs
lola: 16192320 markings, 32281287 edges, 13791 markings/sec, 980 secs
lola: 16251297 markings, 32436444 edges, 11795 markings/sec, 985 secs
lola: 16319912 markings, 32602715 edges, 13723 markings/sec, 990 secs
lola: 16388969 markings, 32762386 edges, 13811 markings/sec, 995 secs
lola: 16451211 markings, 32915909 edges, 12448 markings/sec, 1000 secs
lola: 16510616 markings, 33069408 edges, 11881 markings/sec, 1005 secs
lola: 16572863 markings, 33226543 edges, 12449 markings/sec, 1010 secs
lola: 16634195 markings, 33378396 edges, 12266 markings/sec, 1015 secs
lola: 16697524 markings, 33520922 edges, 12666 markings/sec, 1020 secs
lola: 16752460 markings, 33660972 edges, 10987 markings/sec, 1025 secs
lola: 16808443 markings, 33798109 edges, 11197 markings/sec, 1030 secs
lola: 16861309 markings, 33932424 edges, 10573 markings/sec, 1035 secs
lola: 16916477 markings, 34070818 edges, 11034 markings/sec, 1040 secs
lola: 16971315 markings, 34209765 edges, 10968 markings/sec, 1045 secs
lola: 17027152 markings, 34341909 edges, 11167 markings/sec, 1050 secs
lola: 17103989 markings, 34513258 edges, 15367 markings/sec, 1055 secs
lola: 17182895 markings, 34700145 edges, 15781 markings/sec, 1060 secs
lola: 17259806 markings, 34877753 edges, 15382 markings/sec, 1065 secs
lola: 17330187 markings, 35049067 edges, 14076 markings/sec, 1070 secs
lola: 17398848 markings, 35216189 edges, 13732 markings/sec, 1075 secs
lola: 17463941 markings, 35391187 edges, 13019 markings/sec, 1080 secs
lola: 17529543 markings, 35552529 edges, 13120 markings/sec, 1085 secs
lola: 17594058 markings, 35707419 edges, 12903 markings/sec, 1090 secs
lola: 17652022 markings, 35860563 edges, 11593 markings/sec, 1095 secs
lola: 17710891 markings, 36018098 edges, 11774 markings/sec, 1100 secs
lola: 17770777 markings, 36180173 edges, 11977 markings/sec, 1105 secs
lola: 17827805 markings, 36322876 edges, 11406 markings/sec, 1110 secs
lola: 17882071 markings, 36463095 edges, 10853 markings/sec, 1115 secs
lola: 17949006 markings, 36624893 edges, 13387 markings/sec, 1120 secs
lola: 18006215 markings, 36762422 edges, 11442 markings/sec, 1125 secs
lola: 18058507 markings, 36912219 edges, 10458 markings/sec, 1130 secs
lola: 18116408 markings, 37067202 edges, 11580 markings/sec, 1135 secs
lola: 18180784 markings, 37226340 edges, 12875 markings/sec, 1140 secs
lola: 18244086 markings, 37377243 edges, 12660 markings/sec, 1145 secs
lola: 18299767 markings, 37535415 edges, 11136 markings/sec, 1150 secs
lola: 18371782 markings, 37713390 edges, 14403 markings/sec, 1155 secs
lola: 18444097 markings, 37893092 edges, 14463 markings/sec, 1160 secs
lola: 18515961 markings, 38071108 edges, 14373 markings/sec, 1165 secs
lola: 18571369 markings, 38232364 edges, 11082 markings/sec, 1170 secs
lola: 18644779 markings, 38400401 edges, 14682 markings/sec, 1175 secs
lola: 18726823 markings, 38555317 edges, 16409 markings/sec, 1180 secs
lola: 18776181 markings, 38702558 edges, 9872 markings/sec, 1185 secs
lola: 18829377 markings, 38855403 edges, 10639 markings/sec, 1190 secs
lola: 18883233 markings, 39017065 edges, 10771 markings/sec, 1195 secs
lola: 18950748 markings, 39169711 edges, 13503 markings/sec, 1200 secs
lola: 19015175 markings, 39330978 edges, 12885 markings/sec, 1205 secs
lola: 19076158 markings, 39490067 edges, 12197 markings/sec, 1210 secs
lola: 19127833 markings, 39631853 edges, 10335 markings/sec, 1215 secs
lola: 19184230 markings, 39771025 edges, 11279 markings/sec, 1220 secs
lola: 19244805 markings, 39908860 edges, 12115 markings/sec, 1225 secs
lola: 19303516 markings, 40052683 edges, 11742 markings/sec, 1230 secs
lola: 19353148 markings, 40183709 edges, 9926 markings/sec, 1235 secs
lola: 19429254 markings, 40372905 edges, 15221 markings/sec, 1240 secs
lola: 19501488 markings, 40547532 edges, 14447 markings/sec, 1245 secs
lola: 19572904 markings, 40716203 edges, 14283 markings/sec, 1250 secs
lola: 19635790 markings, 40883576 edges, 12577 markings/sec, 1255 secs
lola: 19694771 markings, 41046605 edges, 11796 markings/sec, 1260 secs
lola: 19749261 markings, 41191470 edges, 10898 markings/sec, 1265 secs
lola: 19827475 markings, 41367791 edges, 15643 markings/sec, 1270 secs
lola: 19890860 markings, 41522359 edges, 12677 markings/sec, 1275 secs
lola: 19945409 markings, 41660615 edges, 10910 markings/sec, 1280 secs
lola: 20020666 markings, 41827420 edges, 15051 markings/sec, 1285 secs
lola: 20081286 markings, 41970810 edges, 12124 markings/sec, 1290 secs
lola: 20161047 markings, 42140366 edges, 15952 markings/sec, 1295 secs
lola: 20237977 markings, 42311937 edges, 15386 markings/sec, 1300 secs
lola: 20312885 markings, 42482019 edges, 14982 markings/sec, 1305 secs
lola: 20372063 markings, 42648848 edges, 11836 markings/sec, 1310 secs
lola: 20437870 markings, 42815833 edges, 13161 markings/sec, 1315 secs
lola: 20496200 markings, 42970213 edges, 11666 markings/sec, 1320 secs
lola: 20549897 markings, 43114811 edges, 10739 markings/sec, 1325 secs
lola: 20594494 markings, 43244666 edges, 8919 markings/sec, 1330 secs
lola: 20645736 markings, 43389177 edges, 10248 markings/sec, 1335 secs
lola: 20725666 markings, 43562071 edges, 15986 markings/sec, 1340 secs
lola: 20786082 markings, 43711044 edges, 12083 markings/sec, 1345 secs
lola: 20846369 markings, 43871564 edges, 12057 markings/sec, 1350 secs
lola: 20894887 markings, 44027112 edges, 9704 markings/sec, 1355 secs
lola: 20941518 markings, 44178288 edges, 9326 markings/sec, 1360 secs
lola: 21005419 markings, 44343099 edges, 12780 markings/sec, 1365 secs
lola: 21077401 markings, 44497277 edges, 14396 markings/sec, 1370 secs
lola: 21130738 markings, 44637268 edges, 10667 markings/sec, 1375 secs
lola: 21198790 markings, 44789734 edges, 13610 markings/sec, 1380 secs
lola: 21261222 markings, 44933232 edges, 12486 markings/sec, 1385 secs
lola: 21317541 markings, 45059262 edges, 11264 markings/sec, 1390 secs
lola: 21384402 markings, 45214053 edges, 13372 markings/sec, 1395 secs
lola: 21444200 markings, 45355233 edges, 11960 markings/sec, 1400 secs
lola: 21500876 markings, 45481237 edges, 11335 markings/sec, 1405 secs
lola: 21568540 markings, 45638418 edges, 13533 markings/sec, 1410 secs
lola: 21625056 markings, 45757143 edges, 11303 markings/sec, 1415 secs
lola: 21678490 markings, 45905109 edges, 10687 markings/sec, 1420 secs
lola: 21728472 markings, 46046562 edges, 9996 markings/sec, 1425 secs
lola: 21772975 markings, 46187077 edges, 8901 markings/sec, 1430 secs
lola: 21823225 markings, 46334187 edges, 10050 markings/sec, 1435 secs
lola: 21881504 markings, 46483851 edges, 11656 markings/sec, 1440 secs
lola: 21948541 markings, 46657131 edges, 13407 markings/sec, 1445 secs
lola: 22000753 markings, 46802778 edges, 10442 markings/sec, 1450 secs
lola: 22056077 markings, 46945235 edges, 11065 markings/sec, 1455 secs
lola: 22108690 markings, 47073959 edges, 10523 markings/sec, 1460 secs
lola: 22147498 markings, 47189814 edges, 7762 markings/sec, 1465 secs
lola: 22197574 markings, 47330230 edges, 10015 markings/sec, 1470 secs
lola: 22249681 markings, 47489416 edges, 10421 markings/sec, 1475 secs
lola: 22317187 markings, 47647994 edges, 13501 markings/sec, 1480 secs
lola: 22381821 markings, 47794273 edges, 12927 markings/sec, 1485 secs
lola: 22444698 markings, 47938026 edges, 12575 markings/sec, 1490 secs
lola: 22503476 markings, 48083210 edges, 11756 markings/sec, 1495 secs
lola: 22566117 markings, 48237612 edges, 12528 markings/sec, 1500 secs
lola: 22619542 markings, 48392799 edges, 10685 markings/sec, 1505 secs
lola: 22671142 markings, 48542886 edges, 10320 markings/sec, 1510 secs
lola: 22718951 markings, 48679069 edges, 9562 markings/sec, 1515 secs
lola: 22772778 markings, 48830970 edges, 10765 markings/sec, 1520 secs
lola: 22823251 markings, 48987422 edges, 10095 markings/sec, 1525 secs
lola: 22870166 markings, 49139397 edges, 9383 markings/sec, 1530 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes yes no no no no unknown no unknown yes unknown no no no
lola:
preliminary result: no yes yes yes no no no no unknown no unknown yes unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no no no no unknown no unknown yes unknown no no no
lola: memory consumption: 6581288 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no no no no unknown no unknown yes unknown no no no
lola: memory consumption: 6581288 KB
lola: time consumption: 3569 seconds
BK_STOP 1526485487828
--------------------
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-305"
export BK_EXAMINATION="CTLCardinality"
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-305.tgz
mv CloudReconfiguration-PT-305 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-305, examination is CTLCardinality"
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-152646379800031"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;