About the Execution of LoLA for CloudReconfiguration-PT-319
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8786.820 | 3571123.00 | 3628248.00 | 9019.40 | F?FTTTFTFFFTFFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 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 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 661K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-319, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379900129
=====================================================================
--------------------
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-319-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526540684453
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-319 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-319 formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ CloudReconfiguration-PT-319 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5686/65536 symbol table entries, 641 collisions
lola: preprocessing...
lola: Size of bit vector: 2587
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2716 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-319-CTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p1991)
lola: LP says that atomic proposition is always false: (2 <= p486)
lola: LP says that atomic proposition is always false: (2 <= p35)
lola: LP says that atomic proposition is always false: (2 <= p1208)
lola: LP says that atomic proposition is always false: (2 <= p881)
lola: LP says that atomic proposition is always false: (2 <= p296)
lola: LP says that atomic proposition is always false: (3 <= p416)
lola: LP says that atomic proposition is always false: (2 <= p1378)
lola: LP says that atomic proposition is always false: (3 <= p1687)
lola: LP says that atomic proposition is always false: (3 <= p380)
lola: LP says that atomic proposition is always false: (3 <= p400)
lola: LP says that atomic proposition is always false: (3 <= p1323)
lola: LP says that atomic proposition is always false: (2 <= p854)
lola: LP says that atomic proposition is always false: (2 <= p1771)
lola: LP says that atomic proposition is always false: (2 <= p283)
lola: LP says that atomic proposition is always false: (3 <= p2536)
lola: LP says that atomic proposition is always false: (3 <= p1440)
lola: A (F (E (G (())))) : (E (F (((p501 <= p2057) AND (p2448 <= p1999) AND ((p272 <= p791))))) AND E (F (((p580 <= p1551) AND (1 <= p2120) AND (p2252 <= 0))))) : (A (G (((p655 <= p1482)))) OR NOT(A (F ((p1564 <= p261))))) : E (G (A (((p2196 <= p2315) U (p1552 <= p484))))) : E (F (((p1134 + 1 <= p1344) OR ((p2375 + 1 <= p1231) AND (p1964 <= p1960))))) : NOT(A (F (A (G ((1 <= p454)))))) : E (G (E (((1 <= p2270) U (p2579 <= p599))))) : NOT(((TRUE AND E (F (FALSE))) AND ((p1620 <= p657) OR A (X ((p2311 <= p564)))))) : NOT(E (G (E (X ((p115 <= p125)))))) : (A (G (A (G ((p1984 <= p1276))))) AND ((p1107 <= p907) AND A (((p1264 <= p2435) U (p955 <= p1089))))) : A ((() U FALSE)) : NOT((TRUE AND A (F (())))) : A (F ((((p1059 <= 0) AND (p1685 + 1 <= p1884)) AND E (F ((p835 <= p1907)))))) : (NOT((FALSE AND E (G ((1 <= p631))))) AND E (F (()))) : E ((E (X ((p852 <= p2530))) U E (X (FALSE)))) : E ((((p1334 <= p239)) U A (G ((p112 <= p2156)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:100
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:116
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: rewrite Frontend/Parser/formula_rewrite.k: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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
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:116
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
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:116
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: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: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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-319-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: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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-319-CTLCardinality-7 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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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-319-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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-319-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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-319-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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-319-CTLCardinality-14 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: A (F (A (X ((p125 + 1 <= p115)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U AX((p125 + 1 <= p115)))
lola: processed formula length: 32
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 59 markings, 59 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-319-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1134 + 1 <= p1344) OR ((p2375 + 1 <= p1231) AND (p1964 <= p1960)))))
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 (((p1134 + 1 <= p1344) OR ((p2375 + 1 <= p1231) AND (p1964 <= p1960)))))
lola: processed formula length: 78
lola: 49 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: ((p1134 + 1 <= p1344) OR ((p2375 + 1 <= p1231) AND (p1964 <= p1960)))
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-319-CTLCardinality-7-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 72 markings, 71 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-319-CTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (((1 <= p2270) U (p2579 <= p599)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(E((1 <= p2270) U (p2579 <= p599)))))
lola: processed formula length: 53
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 51 markings, 103 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-319-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (((p2196 <= p2315) U (p1552 <= p484)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A((p2196 <= p2315) U (p1552 <= p484)))))
lola: processed formula length: 57
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 57 markings, 114 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-319-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((p1334 <= p239)) U A (G ((p112 <= p2156)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(((p1334 <= p239)) U NOT(E(TRUE U (p2156 + 1 <= p112))))
lola: processed formula length: 57
lola: 51 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: 98021 markings, 212542 edges, 19604 markings/sec, 0 secs
lola: 187429 markings, 425115 edges, 17882 markings/sec, 5 secs
lola: 285278 markings, 639391 edges, 19570 markings/sec, 10 secs
lola: 402322 markings, 848528 edges, 23409 markings/sec, 15 secs
lola: 505417 markings, 1043495 edges, 20619 markings/sec, 20 secs
lola: 617034 markings, 1230100 edges, 22323 markings/sec, 25 secs
lola: 720227 markings, 1414405 edges, 20639 markings/sec, 30 secs
lola: 827173 markings, 1596996 edges, 21389 markings/sec, 35 secs
lola: 943512 markings, 1781304 edges, 23268 markings/sec, 40 secs
lola: 1049805 markings, 1959946 edges, 21259 markings/sec, 45 secs
lola: 1155320 markings, 2135923 edges, 21103 markings/sec, 50 secs
lola: 1258820 markings, 2317141 edges, 20700 markings/sec, 55 secs
lola: 1366077 markings, 2495894 edges, 21451 markings/sec, 60 secs
lola: 1494744 markings, 2686320 edges, 25733 markings/sec, 65 secs
lola: 1616745 markings, 2871120 edges, 24400 markings/sec, 70 secs
lola: 1725419 markings, 3050656 edges, 21735 markings/sec, 75 secs
lola: 1831370 markings, 3228401 edges, 21190 markings/sec, 80 secs
lola: 1944182 markings, 3410397 edges, 22562 markings/sec, 85 secs
lola: 2042807 markings, 3583746 edges, 19725 markings/sec, 90 secs
lola: 2161750 markings, 3767528 edges, 23789 markings/sec, 95 secs
lola: 2282411 markings, 3948711 edges, 24132 markings/sec, 100 secs
lola: 2378443 markings, 4122555 edges, 19206 markings/sec, 105 secs
lola: 2478052 markings, 4296232 edges, 19922 markings/sec, 110 secs
lola: 2586298 markings, 4467689 edges, 21649 markings/sec, 115 secs
lola: 2688164 markings, 4636854 edges, 20373 markings/sec, 120 secs
lola: 2801515 markings, 4811425 edges, 22670 markings/sec, 125 secs
lola: 2927372 markings, 5000474 edges, 25171 markings/sec, 130 secs
lola: 3047515 markings, 5181785 edges, 24029 markings/sec, 135 secs
lola: 3170774 markings, 5368073 edges, 24652 markings/sec, 140 secs
lola: 3294957 markings, 5551427 edges, 24837 markings/sec, 145 secs
lola: 3400826 markings, 5728039 edges, 21174 markings/sec, 150 secs
lola: 3505438 markings, 5904695 edges, 20922 markings/sec, 155 secs
lola: 3603370 markings, 6077535 edges, 19586 markings/sec, 160 secs
lola: 3708066 markings, 6245824 edges, 20939 markings/sec, 165 secs
lola: 3818399 markings, 6414817 edges, 22067 markings/sec, 170 secs
lola: 3921605 markings, 6577735 edges, 20641 markings/sec, 175 secs
lola: 4024642 markings, 6740215 edges, 20607 markings/sec, 180 secs
lola: 4125336 markings, 6902668 edges, 20139 markings/sec, 185 secs
lola: 4234072 markings, 7068460 edges, 21747 markings/sec, 190 secs
lola: 4342770 markings, 7229398 edges, 21740 markings/sec, 195 secs
lola: 4440562 markings, 7386438 edges, 19558 markings/sec, 200 secs
lola: 4530650 markings, 7546689 edges, 18018 markings/sec, 205 secs
lola: 4647751 markings, 7723551 edges, 23420 markings/sec, 210 secs
lola: 4762967 markings, 7901920 edges, 23043 markings/sec, 215 secs
lola: 4859788 markings, 8078237 edges, 19364 markings/sec, 220 secs
lola: 4949841 markings, 8246951 edges, 18011 markings/sec, 225 secs
lola: 5052347 markings, 8409545 edges, 20501 markings/sec, 230 secs
lola: 5145531 markings, 8573018 edges, 18637 markings/sec, 235 secs
lola: 5248483 markings, 8740625 edges, 20590 markings/sec, 240 secs
lola: 5339451 markings, 8898572 edges, 18194 markings/sec, 245 secs
lola: 5412277 markings, 9048604 edges, 14565 markings/sec, 250 secs
lola: 5489417 markings, 9210291 edges, 15428 markings/sec, 255 secs
lola: 5570236 markings, 9355226 edges, 16164 markings/sec, 260 secs
lola: 5647910 markings, 9503906 edges, 15535 markings/sec, 265 secs
lola: 5719994 markings, 9648644 edges, 14417 markings/sec, 270 secs
lola: 5805573 markings, 9788684 edges, 17116 markings/sec, 275 secs
lola: 5889373 markings, 9932479 edges, 16760 markings/sec, 280 secs
lola: 5968874 markings, 10087316 edges, 15900 markings/sec, 285 secs
lola: 6040296 markings, 10251681 edges, 14284 markings/sec, 290 secs
lola: 6089181 markings, 10391010 edges, 9777 markings/sec, 295 secs
lola: 6148266 markings, 10542739 edges, 11817 markings/sec, 300 secs
lola: 6221807 markings, 10703397 edges, 14708 markings/sec, 305 secs
lola: 6283346 markings, 10855375 edges, 12308 markings/sec, 310 secs
lola: 6341826 markings, 11010872 edges, 11696 markings/sec, 315 secs
lola: 6406092 markings, 11166344 edges, 12853 markings/sec, 320 secs
lola: 6468943 markings, 11325892 edges, 12570 markings/sec, 325 secs
lola: 6536680 markings, 11488586 edges, 13547 markings/sec, 330 secs
lola: 6608701 markings, 11657872 edges, 14404 markings/sec, 335 secs
lola: 6669586 markings, 11814254 edges, 12177 markings/sec, 340 secs
lola: 6718853 markings, 11962066 edges, 9853 markings/sec, 345 secs
lola: 6767281 markings, 12095017 edges, 9686 markings/sec, 350 secs
lola: 6824629 markings, 12247807 edges, 11470 markings/sec, 355 secs
lola: 6878525 markings, 12388536 edges, 10779 markings/sec, 360 secs
lola: 6938704 markings, 12531251 edges, 12036 markings/sec, 365 secs
lola: 6995098 markings, 12673344 edges, 11279 markings/sec, 370 secs
lola: 7052700 markings, 12852167 edges, 11520 markings/sec, 375 secs
lola: 7124081 markings, 13039658 edges, 14276 markings/sec, 380 secs
lola: 7193594 markings, 13233115 edges, 13903 markings/sec, 385 secs
lola: 7263079 markings, 13410714 edges, 13897 markings/sec, 390 secs
lola: 7352040 markings, 13594113 edges, 17792 markings/sec, 395 secs
lola: 7423316 markings, 13768770 edges, 14255 markings/sec, 400 secs
lola: 7493594 markings, 13934379 edges, 14056 markings/sec, 405 secs
lola: 7590808 markings, 14105152 edges, 19443 markings/sec, 410 secs
lola: 7682216 markings, 14271292 edges, 18282 markings/sec, 415 secs
lola: 7760153 markings, 14432276 edges, 15587 markings/sec, 420 secs
lola: 7821170 markings, 14588764 edges, 12203 markings/sec, 425 secs
lola: 7887034 markings, 14755706 edges, 13173 markings/sec, 430 secs
lola: 7951049 markings, 14922953 edges, 12803 markings/sec, 435 secs
lola: 8007972 markings, 15075748 edges, 11385 markings/sec, 440 secs
lola: 8063479 markings, 15226100 edges, 11101 markings/sec, 445 secs
lola: 8130491 markings, 15401964 edges, 13402 markings/sec, 450 secs
lola: 8198627 markings, 15575181 edges, 13627 markings/sec, 455 secs
lola: 8265622 markings, 15744799 edges, 13399 markings/sec, 460 secs
lola: 8339221 markings, 15917511 edges, 14720 markings/sec, 465 secs
lola: 8406472 markings, 16090536 edges, 13450 markings/sec, 470 secs
lola: 8489217 markings, 16264417 edges, 16549 markings/sec, 475 secs
lola: 8559329 markings, 16435061 edges, 14022 markings/sec, 480 secs
lola: 8631936 markings, 16605684 edges, 14521 markings/sec, 485 secs
lola: 8707957 markings, 16766544 edges, 15204 markings/sec, 490 secs
lola: 8795944 markings, 16924456 edges, 17597 markings/sec, 495 secs
lola: 8873318 markings, 17070935 edges, 15475 markings/sec, 500 secs
lola: 8951556 markings, 17239547 edges, 15648 markings/sec, 505 secs
lola: 9009647 markings, 17389795 edges, 11618 markings/sec, 510 secs
lola: 9090182 markings, 17544306 edges, 16107 markings/sec, 515 secs
lola: 9161303 markings, 17700544 edges, 14224 markings/sec, 520 secs
lola: 9216110 markings, 17844288 edges, 10961 markings/sec, 525 secs
lola: 9270190 markings, 17988292 edges, 10816 markings/sec, 530 secs
lola: 9330456 markings, 18140635 edges, 12053 markings/sec, 535 secs
lola: 9394294 markings, 18302233 edges, 12768 markings/sec, 540 secs
lola: 9454857 markings, 18454155 edges, 12113 markings/sec, 545 secs
lola: 9510488 markings, 18603338 edges, 11126 markings/sec, 550 secs
lola: 9564792 markings, 18749751 edges, 10861 markings/sec, 555 secs
lola: 9640345 markings, 18930821 edges, 15111 markings/sec, 560 secs
lola: 9695675 markings, 19078249 edges, 11066 markings/sec, 565 secs
lola: 9748084 markings, 19219801 edges, 10482 markings/sec, 570 secs
lola: 9806823 markings, 19376640 edges, 11748 markings/sec, 575 secs
lola: 9868336 markings, 19552509 edges, 12303 markings/sec, 580 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown yes yes unknown no yes no unknown no yes unknown no no unknown
lola: memory consumption: 1940548 KB
lola: time consumption: 636 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((p1059 <= 0) AND (p1685 + 1 <= p1884)) AND E (F ((p835 <= p1907))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (((p1059 <= 0) AND (p1685 + 1 <= p1884)) AND E(TRUE U (p835 <= p1907))))
lola: processed formula length: 81
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 57 markings, 57 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-319-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 733 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((p454 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:641
lola: processed formula: (p454 <= 0)
lola: processed formula length: 11
lola: 49 rewrites
lola: closed formula file CloudReconfiguration-PT-319-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 57 markings, 57 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-319-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 978 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p655 <= p1482)))) OR E (G ((p261 + 1 <= p1564))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 978 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p261 + 1 <= p1564)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((p261 + 1 <= p1564)))
lola: processed formula length: 27
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p655 <= p1482))))
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 (((p655 <= p1482))))
lola: processed formula length: 25
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: ((p1482 + 1 <= p655))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-319-CTLCardinality-14-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 66 markings, 65 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-319-CTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((p1984 <= p1276))) AND ((p1107 <= p907) AND A (((p1264 <= p2435) U (p955 <= p1089)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p1107 <= p907)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p1107 <= p907)
lola: processed formula length: 15
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-319-CTLCardinality.task
lola: processed formula with 1 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: subprocess 15 will run for 2934 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1984 <= p1276)))
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 ((p1984 <= p1276)))
lola: processed formula length: 24
lola: 50 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: (p1276 + 1 <= p1984)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-319-CTLCardinality-15-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: 39 markings, 38 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-319-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2934 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((p501 <= p2057) AND (p2448 <= p1999) AND ((p272 <= p791))))) AND E (F (((p580 <= p1551) AND (1 <= p2120) AND (p2252 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2934 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p580 <= p1551) AND (1 <= p2120) AND (p2252 <= 0))))
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 (((p580 <= p1551) AND (1 <= p2120) AND (p2252 <= 0))))
lola: processed formula length: 59
lola: 49 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: ((p580 <= p1551) AND (1 <= p2120) AND (p2252 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-319-CTLCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-319-CTLCardinality-15-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 88 markings, 87 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: E ((((p1334 <= p239)) U A (G ((p112 <= p2156)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(((p1334 <= p239)) U NOT(E(TRUE U (p2156 + 1 <= p112))))
lola: processed formula length: 57
lola: 51 rewrites
lola: closed formula file CloudReconfiguration-PT-319-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: 93562 markings, 205547 edges, 18712 markings/sec, 0 secs
lola: 185272 markings, 419564 edges, 18342 markings/sec, 5 secs
lola: 282022 markings, 634369 edges, 19350 markings/sec, 10 secs
lola: 399732 markings, 843987 edges, 23542 markings/sec, 15 secs
lola: 504053 markings, 1040167 edges, 20864 markings/sec, 20 secs
lola: 615491 markings, 1227391 edges, 22288 markings/sec, 25 secs
lola: 718448 markings, 1411373 edges, 20591 markings/sec, 30 secs
lola: 826124 markings, 1594648 edges, 21535 markings/sec, 35 secs
lola: 941322 markings, 1777122 edges, 23040 markings/sec, 40 secs
lola: 1046910 markings, 1955867 edges, 21118 markings/sec, 45 secs
lola: 1151629 markings, 2129588 edges, 20944 markings/sec, 50 secs
lola: 1255202 markings, 2311719 edges, 20715 markings/sec, 55 secs
lola: 1359447 markings, 2486299 edges, 20849 markings/sec, 60 secs
lola: 1487749 markings, 2676970 edges, 25660 markings/sec, 65 secs
lola: 1612410 markings, 2861869 edges, 24932 markings/sec, 70 secs
lola: 1720929 markings, 3038646 edges, 21704 markings/sec, 75 secs
lola: 1821954 markings, 3213277 edges, 20205 markings/sec, 80 secs
lola: 1935004 markings, 3394479 edges, 22610 markings/sec, 85 secs
lola: 2031757 markings, 3564618 edges, 19351 markings/sec, 90 secs
lola: 2148358 markings, 3746256 edges, 23320 markings/sec, 95 secs
lola: 2270592 markings, 3929326 edges, 24447 markings/sec, 100 secs
lola: 2367318 markings, 4102183 edges, 19345 markings/sec, 105 secs
lola: 2464626 markings, 4274039 edges, 19462 markings/sec, 110 secs
lola: 2570005 markings, 4444082 edges, 21076 markings/sec, 115 secs
lola: 2673224 markings, 4612360 edges, 20644 markings/sec, 120 secs
lola: 2784039 markings, 4784136 edges, 22163 markings/sec, 125 secs
lola: 2908483 markings, 4972192 edges, 24889 markings/sec, 130 secs
lola: 3030253 markings, 5154799 edges, 24354 markings/sec, 135 secs
lola: 3149133 markings, 5335453 edges, 23776 markings/sec, 140 secs
lola: 3273344 markings, 5519201 edges, 24842 markings/sec, 145 secs
lola: 3380021 markings, 5692781 edges, 21335 markings/sec, 150 secs
lola: 3484537 markings, 5867027 edges, 20903 markings/sec, 155 secs
lola: 3583570 markings, 6039547 edges, 19807 markings/sec, 160 secs
lola: 3676262 markings, 6201512 edges, 18538 markings/sec, 165 secs
lola: 3785114 markings, 6366554 edges, 21770 markings/sec, 170 secs
lola: 3889728 markings, 6528553 edges, 20923 markings/sec, 175 secs
lola: 3995771 markings, 6691673 edges, 21209 markings/sec, 180 secs
lola: 4089902 markings, 6851502 edges, 18826 markings/sec, 185 secs
lola: 4197674 markings, 7013027 edges, 21554 markings/sec, 190 secs
lola: 4303470 markings, 7171890 edges, 21159 markings/sec, 195 secs
lola: 4404974 markings, 7326603 edges, 20301 markings/sec, 200 secs
lola: 4493075 markings, 7482807 edges, 17620 markings/sec, 205 secs
lola: 4597050 markings, 7653051 edges, 20795 markings/sec, 210 secs
lola: 4714230 markings, 7829439 edges, 23436 markings/sec, 215 secs
lola: 4814849 markings, 8004120 edges, 20124 markings/sec, 220 secs
lola: 4912980 markings, 8174140 edges, 19626 markings/sec, 225 secs
lola: 5007117 markings, 8332523 edges, 18827 markings/sec, 230 secs
lola: 5097961 markings, 8489476 edges, 18169 markings/sec, 235 secs
lola: 5191393 markings, 8652641 edges, 18686 markings/sec, 240 secs
lola: 5289176 markings, 8808917 edges, 19557 markings/sec, 245 secs
lola: 5371295 markings, 8962643 edges, 16424 markings/sec, 250 secs
lola: 5440376 markings, 9111243 edges, 13816 markings/sec, 255 secs
lola: 5526249 markings, 9266453 edges, 17175 markings/sec, 260 secs
lola: 5597225 markings, 9400140 edges, 14195 markings/sec, 265 secs
lola: 5662870 markings, 9542607 edges, 13129 markings/sec, 270 secs
lola: 5737169 markings, 9678741 edges, 14860 markings/sec, 275 secs
lola: 5821082 markings, 9810663 edges, 16783 markings/sec, 280 secs
lola: 5897290 markings, 9945228 edges, 15242 markings/sec, 285 secs
lola: 5973512 markings, 10100615 edges, 15244 markings/sec, 290 secs
lola: 6042257 markings, 10256852 edges, 13749 markings/sec, 295 secs
lola: 6088315 markings, 10388707 edges, 9212 markings/sec, 300 secs
lola: 6145893 markings, 10536904 edges, 11516 markings/sec, 305 secs
lola: 6221039 markings, 10702078 edges, 15029 markings/sec, 310 secs
lola: 6283392 markings, 10855489 edges, 12471 markings/sec, 315 secs
lola: 6341098 markings, 11008798 edges, 11541 markings/sec, 320 secs
lola: 6405013 markings, 11162707 edges, 12783 markings/sec, 325 secs
lola: 6467671 markings, 11321678 edges, 12532 markings/sec, 330 secs
lola: 6534080 markings, 11483024 edges, 13282 markings/sec, 335 secs
lola: 6607006 markings, 11652594 edges, 14585 markings/sec, 340 secs
lola: 6667684 markings, 11808723 edges, 12136 markings/sec, 345 secs
lola: 6714970 markings, 11953471 edges, 9457 markings/sec, 350 secs
lola: 6762870 markings, 12082061 edges, 9580 markings/sec, 355 secs
lola: 6817859 markings, 12230129 edges, 10998 markings/sec, 360 secs
lola: 6871098 markings, 12369657 edges, 10648 markings/sec, 365 secs
lola: 6929183 markings, 12509229 edges, 11617 markings/sec, 370 secs
lola: 6981902 markings, 12643834 edges, 10544 markings/sec, 375 secs
lola: 7040219 markings, 12811677 edges, 11663 markings/sec, 380 secs
lola: 7111031 markings, 12997592 edges, 14162 markings/sec, 385 secs
lola: 7175283 markings, 13189674 edges, 12850 markings/sec, 390 secs
lola: 7246176 markings, 13371126 edges, 14179 markings/sec, 395 secs
lola: 7328869 markings, 13547879 edges, 16539 markings/sec, 400 secs
lola: 7407616 markings, 13722754 edges, 15749 markings/sec, 405 secs
lola: 7468925 markings, 13890215 edges, 12262 markings/sec, 410 secs
lola: 7563008 markings, 14059875 edges, 18817 markings/sec, 415 secs
lola: 7659141 markings, 14225455 edges, 19227 markings/sec, 420 secs
lola: 7736323 markings, 14386153 edges, 15436 markings/sec, 425 secs
lola: 7798866 markings, 14532219 edges, 12509 markings/sec, 430 secs
lola: 7863573 markings, 14694475 edges, 12941 markings/sec, 435 secs
lola: 7927288 markings, 14867136 edges, 12743 markings/sec, 440 secs
lola: 7992084 markings, 15028803 edges, 12959 markings/sec, 445 secs
lola: 8045342 markings, 15180232 edges, 10652 markings/sec, 450 secs
lola: 8106880 markings, 15342832 edges, 12308 markings/sec, 455 secs
lola: 8181041 markings, 15525634 edges, 14832 markings/sec, 460 secs
lola: 8246905 markings, 15700357 edges, 13173 markings/sec, 465 secs
lola: 8320624 markings, 15871372 edges, 14744 markings/sec, 470 secs
lola: 8383608 markings, 16046978 edges, 12597 markings/sec, 475 secs
lola: 8474131 markings, 16226088 edges, 18105 markings/sec, 480 secs
lola: 8547182 markings, 16399042 edges, 14610 markings/sec, 485 secs
lola: 8611914 markings, 16571471 edges, 12946 markings/sec, 490 secs
lola: 8689738 markings, 16735858 edges, 15565 markings/sec, 495 secs
lola: 8779565 markings, 16897859 edges, 17965 markings/sec, 500 secs
lola: 8864083 markings, 17047884 edges, 16904 markings/sec, 505 secs
lola: 8940295 markings, 17211456 edges, 15242 markings/sec, 510 secs
lola: 8997948 markings, 17361090 edges, 11531 markings/sec, 515 secs
lola: 9074122 markings, 17510708 edges, 15235 markings/sec, 520 secs
lola: 9148967 markings, 17669012 edges, 14969 markings/sec, 525 secs
lola: 9203153 markings, 17810919 edges, 10837 markings/sec, 530 secs
lola: 9257395 markings, 17952470 edges, 10848 markings/sec, 535 secs
lola: 9312504 markings, 18096908 edges, 11022 markings/sec, 540 secs
lola: 9378000 markings, 18260927 edges, 13099 markings/sec, 545 secs
lola: 9439442 markings, 18414087 edges, 12288 markings/sec, 550 secs
lola: 9494923 markings, 18562020 edges, 11096 markings/sec, 555 secs
lola: 9545210 markings, 18701251 edges, 10057 markings/sec, 560 secs
lola: 9618131 markings, 18879780 edges, 14584 markings/sec, 565 secs
lola: 9680158 markings, 19034758 edges, 12405 markings/sec, 570 secs
lola: 9732603 markings, 19176773 edges, 10489 markings/sec, 575 secs
lola: 9790624 markings, 19325159 edges, 11604 markings/sec, 580 secs
lola: 9849129 markings, 19496063 edges, 11701 markings/sec, 585 secs
lola: 9917941 markings, 19674764 edges, 13762 markings/sec, 590 secs
lola: 9998936 markings, 19857227 edges, 16199 markings/sec, 595 secs
lola: 10079556 markings, 20044704 edges, 16124 markings/sec, 600 secs
lola: 10156284 markings, 20224264 edges, 15346 markings/sec, 605 secs
lola: 10230640 markings, 20406389 edges, 14871 markings/sec, 610 secs
lola: 10300504 markings, 20584642 edges, 13973 markings/sec, 615 secs
lola: 10375660 markings, 20760308 edges, 15031 markings/sec, 620 secs
lola: 10447952 markings, 20939890 edges, 14458 markings/sec, 625 secs
lola: 10515755 markings, 21117335 edges, 13561 markings/sec, 630 secs
lola: 10592883 markings, 21294909 edges, 15426 markings/sec, 635 secs
lola: 10665984 markings, 21468637 edges, 14620 markings/sec, 640 secs
lola: 10740973 markings, 21641973 edges, 14998 markings/sec, 645 secs
lola: 10816244 markings, 21810265 edges, 15054 markings/sec, 650 secs
lola: 10889041 markings, 21983924 edges, 14559 markings/sec, 655 secs
lola: 10962180 markings, 22166243 edges, 14628 markings/sec, 660 secs
lola: 11023406 markings, 22332662 edges, 12245 markings/sec, 665 secs
lola: 11084556 markings, 22502385 edges, 12230 markings/sec, 670 secs
lola: 11159427 markings, 22675403 edges, 14974 markings/sec, 675 secs
lola: 11225005 markings, 22835174 edges, 13116 markings/sec, 680 secs
lola: 11280341 markings, 22984904 edges, 11067 markings/sec, 685 secs
lola: 11347415 markings, 23148988 edges, 13415 markings/sec, 690 secs
lola: 11421051 markings, 23319419 edges, 14727 markings/sec, 695 secs
lola: 11498096 markings, 23487076 edges, 15409 markings/sec, 700 secs
lola: 11573333 markings, 23654552 edges, 15047 markings/sec, 705 secs
lola: 11647404 markings, 23821705 edges, 14814 markings/sec, 710 secs
lola: 11718928 markings, 23980416 edges, 14305 markings/sec, 715 secs
lola: 11796076 markings, 24156016 edges, 15430 markings/sec, 720 secs
lola: 11869278 markings, 24322703 edges, 14640 markings/sec, 725 secs
lola: 11943478 markings, 24485815 edges, 14840 markings/sec, 730 secs
lola: 12010352 markings, 24645936 edges, 13375 markings/sec, 735 secs
lola: 12088339 markings, 24826433 edges, 15597 markings/sec, 740 secs
lola: 12160869 markings, 24989160 edges, 14506 markings/sec, 745 secs
lola: 12233249 markings, 25149433 edges, 14476 markings/sec, 750 secs
lola: 12299053 markings, 25300296 edges, 13161 markings/sec, 755 secs
lola: 12366435 markings, 25457788 edges, 13476 markings/sec, 760 secs
lola: 12440253 markings, 25640752 edges, 14764 markings/sec, 765 secs
lola: 12508225 markings, 25803303 edges, 13594 markings/sec, 770 secs
lola: 12583554 markings, 25963168 edges, 15066 markings/sec, 775 secs
lola: 12655476 markings, 26124101 edges, 14384 markings/sec, 780 secs
lola: 12722310 markings, 26277364 edges, 13367 markings/sec, 785 secs
lola: 12785386 markings, 26441753 edges, 12615 markings/sec, 790 secs
lola: 12839076 markings, 26581454 edges, 10738 markings/sec, 795 secs
lola: 12892958 markings, 26735427 edges, 10776 markings/sec, 800 secs
lola: 12957581 markings, 26906546 edges, 12925 markings/sec, 805 secs
lola: 13018327 markings, 27077557 edges, 12149 markings/sec, 810 secs
lola: 13087846 markings, 27250199 edges, 13904 markings/sec, 815 secs
lola: 13146159 markings, 27419132 edges, 11663 markings/sec, 820 secs
lola: 13206256 markings, 27586676 edges, 12019 markings/sec, 825 secs
lola: 13275483 markings, 27764348 edges, 13845 markings/sec, 830 secs
lola: 13338755 markings, 27943212 edges, 12654 markings/sec, 835 secs
lola: 13402148 markings, 28113523 edges, 12679 markings/sec, 840 secs
lola: 13485151 markings, 28301048 edges, 16601 markings/sec, 845 secs
lola: 13555924 markings, 28466023 edges, 14155 markings/sec, 850 secs
lola: 13635888 markings, 28631054 edges, 15993 markings/sec, 855 secs
lola: 13724622 markings, 28817357 edges, 17747 markings/sec, 860 secs
lola: 13793190 markings, 28987125 edges, 13714 markings/sec, 865 secs
lola: 13860772 markings, 29151974 edges, 13516 markings/sec, 870 secs
lola: 13920630 markings, 29321031 edges, 11972 markings/sec, 875 secs
lola: 13982561 markings, 29497209 edges, 12386 markings/sec, 880 secs
lola: 14037276 markings, 29664756 edges, 10943 markings/sec, 885 secs
lola: 14100575 markings, 29814120 edges, 12660 markings/sec, 890 secs
lola: 14156433 markings, 29970852 edges, 11172 markings/sec, 895 secs
lola: 14232160 markings, 30135373 edges, 15145 markings/sec, 900 secs
lola: 14313893 markings, 30323821 edges, 16347 markings/sec, 905 secs
lola: 14393871 markings, 30512642 edges, 15996 markings/sec, 910 secs
lola: 14458086 markings, 30683924 edges, 12843 markings/sec, 915 secs
lola: 14521610 markings, 30873804 edges, 12705 markings/sec, 920 secs
lola: 14596712 markings, 31056721 edges, 15020 markings/sec, 925 secs
lola: 14661327 markings, 31232757 edges, 12923 markings/sec, 930 secs
lola: 14738519 markings, 31406254 edges, 15438 markings/sec, 935 secs
lola: 14818187 markings, 31575594 edges, 15934 markings/sec, 940 secs
lola: 14903296 markings, 31756321 edges, 17022 markings/sec, 945 secs
lola: 14980064 markings, 31928688 edges, 15354 markings/sec, 950 secs
lola: 15044491 markings, 32103744 edges, 12885 markings/sec, 955 secs
lola: 15102296 markings, 32276471 edges, 11561 markings/sec, 960 secs
lola: 15158247 markings, 32452485 edges, 11190 markings/sec, 965 secs
lola: 15216058 markings, 32627639 edges, 11562 markings/sec, 970 secs
lola: 15278276 markings, 32808665 edges, 12444 markings/sec, 975 secs
lola: 15342410 markings, 32981103 edges, 12827 markings/sec, 980 secs
lola: 15422447 markings, 33159006 edges, 16007 markings/sec, 985 secs
lola: 15491587 markings, 33337634 edges, 13828 markings/sec, 990 secs
lola: 15567977 markings, 33506846 edges, 15278 markings/sec, 995 secs
lola: 15638197 markings, 33671960 edges, 14044 markings/sec, 1000 secs
lola: 15706207 markings, 33855117 edges, 13602 markings/sec, 1005 secs
lola: 15786569 markings, 34034092 edges, 16072 markings/sec, 1010 secs
lola: 15859663 markings, 34195081 edges, 14619 markings/sec, 1015 secs
lola: 15932488 markings, 34360804 edges, 14565 markings/sec, 1020 secs
lola: 16004855 markings, 34526784 edges, 14473 markings/sec, 1025 secs
lola: 16066698 markings, 34696949 edges, 12369 markings/sec, 1030 secs
lola: 16133955 markings, 34871318 edges, 13451 markings/sec, 1035 secs
lola: 16208405 markings, 35051592 edges, 14890 markings/sec, 1040 secs
lola: 16271804 markings, 35220760 edges, 12680 markings/sec, 1045 secs
lola: 16341565 markings, 35383577 edges, 13952 markings/sec, 1050 secs
lola: 16419686 markings, 35547798 edges, 15624 markings/sec, 1055 secs
lola: 16499002 markings, 35714223 edges, 15863 markings/sec, 1060 secs
lola: 16569542 markings, 35872058 edges, 14108 markings/sec, 1065 secs
lola: 16630566 markings, 36035096 edges, 12205 markings/sec, 1070 secs
lola: 16686510 markings, 36199336 edges, 11189 markings/sec, 1075 secs
lola: 16754266 markings, 36374138 edges, 13551 markings/sec, 1080 secs
lola: 16816234 markings, 36545150 edges, 12394 markings/sec, 1085 secs
lola: 16877685 markings, 36715238 edges, 12290 markings/sec, 1090 secs
lola: 16941967 markings, 36884387 edges, 12856 markings/sec, 1095 secs
lola: 17017791 markings, 37054904 edges, 15165 markings/sec, 1100 secs
lola: 17089961 markings, 37218716 edges, 14434 markings/sec, 1105 secs
lola: 17160097 markings, 37390672 edges, 14027 markings/sec, 1110 secs
lola: 17236071 markings, 37559530 edges, 15195 markings/sec, 1115 secs
lola: 17305599 markings, 37723498 edges, 13906 markings/sec, 1120 secs
lola: 17367367 markings, 37880182 edges, 12354 markings/sec, 1125 secs
lola: 17423918 markings, 38019097 edges, 11310 markings/sec, 1130 secs
lola: 17467839 markings, 38134015 edges, 8784 markings/sec, 1135 secs
lola: 17520819 markings, 38265043 edges, 10596 markings/sec, 1140 secs
lola: 17575940 markings, 38414816 edges, 11024 markings/sec, 1145 secs
lola: 17652942 markings, 38583340 edges, 15400 markings/sec, 1150 secs
lola: 17714353 markings, 38730047 edges, 12282 markings/sec, 1155 secs
lola: 17756143 markings, 38862542 edges, 8358 markings/sec, 1160 secs
lola: 17819686 markings, 39013741 edges, 12709 markings/sec, 1165 secs
lola: 17880610 markings, 39154211 edges, 12185 markings/sec, 1170 secs
lola: 17926066 markings, 39295787 edges, 9091 markings/sec, 1175 secs
lola: 17979703 markings, 39428560 edges, 10727 markings/sec, 1180 secs
lola: 18019429 markings, 39560109 edges, 7945 markings/sec, 1185 secs
lola: 18115978 markings, 39740170 edges, 19310 markings/sec, 1190 secs
lola: 18177720 markings, 39884358 edges, 12348 markings/sec, 1195 secs
lola: 18218565 markings, 40019917 edges, 8169 markings/sec, 1200 secs
lola: 18280383 markings, 40167580 edges, 12364 markings/sec, 1205 secs
lola: 18326141 markings, 40304606 edges, 9152 markings/sec, 1210 secs
lola: 18365336 markings, 40428655 edges, 7839 markings/sec, 1215 secs
lola: 18404040 markings, 40552096 edges, 7741 markings/sec, 1220 secs
lola: 18444993 markings, 40687103 edges, 8191 markings/sec, 1225 secs
lola: 18485268 markings, 40816214 edges, 8055 markings/sec, 1230 secs
lola: 18523628 markings, 40939098 edges, 7672 markings/sec, 1235 secs
lola: 18561572 markings, 41061283 edges, 7589 markings/sec, 1240 secs
lola: 18598962 markings, 41185117 edges, 7478 markings/sec, 1245 secs
lola: 18684907 markings, 41345342 edges, 17189 markings/sec, 1250 secs
lola: 18776170 markings, 41510694 edges, 18253 markings/sec, 1255 secs
lola: 18835905 markings, 41663724 edges, 11947 markings/sec, 1260 secs
lola: 18898564 markings, 41822520 edges, 12532 markings/sec, 1265 secs
lola: 18987761 markings, 41990507 edges, 17839 markings/sec, 1270 secs
lola: 19084037 markings, 42160729 edges, 19255 markings/sec, 1275 secs
lola: 19169942 markings, 42322793 edges, 17181 markings/sec, 1280 secs
lola: 19236070 markings, 42475481 edges, 13226 markings/sec, 1285 secs
lola: 19318103 markings, 42648024 edges, 16407 markings/sec, 1290 secs
lola: 19419510 markings, 42831124 edges, 20281 markings/sec, 1295 secs
lola: 19511664 markings, 43008672 edges, 18431 markings/sec, 1300 secs
lola: 19615712 markings, 43189301 edges, 20810 markings/sec, 1305 secs
lola: 19692274 markings, 43352299 edges, 15312 markings/sec, 1310 secs
lola: 19766675 markings, 43518375 edges, 14880 markings/sec, 1315 secs
lola: 19840733 markings, 43676707 edges, 14812 markings/sec, 1320 secs
lola: 19957501 markings, 43869448 edges, 23354 markings/sec, 1325 secs
lola: 20059475 markings, 44053593 edges, 20395 markings/sec, 1330 secs
lola: 20165101 markings, 44236355 edges, 21125 markings/sec, 1335 secs
lola: 20238642 markings, 44406992 edges, 14708 markings/sec, 1340 secs
lola: 20308328 markings, 44571630 edges, 13937 markings/sec, 1345 secs
lola: 20353303 markings, 44710987 edges, 8995 markings/sec, 1350 secs
lola: 20420558 markings, 44862411 edges, 13451 markings/sec, 1355 secs
lola: 20479864 markings, 45047502 edges, 11861 markings/sec, 1360 secs
lola: 20552799 markings, 45226242 edges, 14587 markings/sec, 1365 secs
lola: 20630721 markings, 45414870 edges, 15584 markings/sec, 1370 secs
lola: 20700205 markings, 45595782 edges, 13897 markings/sec, 1375 secs
lola: 20769289 markings, 45773020 edges, 13817 markings/sec, 1380 secs
lola: 20823298 markings, 45931564 edges, 10802 markings/sec, 1385 secs
lola: 20886074 markings, 46096223 edges, 12555 markings/sec, 1390 secs
lola: 20964396 markings, 46292398 edges, 15664 markings/sec, 1395 secs
lola: 21047385 markings, 46475185 edges, 16598 markings/sec, 1400 secs
lola: 21141233 markings, 46667433 edges, 18770 markings/sec, 1405 secs
lola: 21229746 markings, 46848477 edges, 17703 markings/sec, 1410 secs
lola: 21326562 markings, 47042538 edges, 19363 markings/sec, 1415 secs
lola: 21409737 markings, 47240982 edges, 16635 markings/sec, 1420 secs
lola: 21489090 markings, 47433742 edges, 15871 markings/sec, 1425 secs
lola: 21597105 markings, 47618822 edges, 21603 markings/sec, 1430 secs
lola: 21698152 markings, 47811124 edges, 20209 markings/sec, 1435 secs
lola: 21782886 markings, 48007017 edges, 16947 markings/sec, 1440 secs
lola: 21885370 markings, 48192312 edges, 20497 markings/sec, 1445 secs
lola: 21985595 markings, 48375656 edges, 20045 markings/sec, 1450 secs
lola: 22071873 markings, 48558881 edges, 17256 markings/sec, 1455 secs
lola: 22128263 markings, 48720770 edges, 11278 markings/sec, 1460 secs
lola: 22237203 markings, 48894626 edges, 21788 markings/sec, 1465 secs
lola: 22330050 markings, 49060698 edges, 18569 markings/sec, 1470 secs
lola: 22443786 markings, 49220190 edges, 22747 markings/sec, 1475 secs
lola: 22544909 markings, 49391792 edges, 20225 markings/sec, 1480 secs
lola: 22624540 markings, 49573354 edges, 15926 markings/sec, 1485 secs
lola: 22700066 markings, 49754788 edges, 15105 markings/sec, 1490 secs
lola: 22778176 markings, 49940255 edges, 15622 markings/sec, 1495 secs
lola: 22870440 markings, 50130479 edges, 18453 markings/sec, 1500 secs
lola: 22946037 markings, 50311564 edges, 15119 markings/sec, 1505 secs
lola: 23025296 markings, 50491922 edges, 15852 markings/sec, 1510 secs
lola: 23104106 markings, 50671206 edges, 15762 markings/sec, 1515 secs
lola: 23183953 markings, 50848350 edges, 15969 markings/sec, 1520 secs
lola: 23262418 markings, 51010943 edges, 15693 markings/sec, 1525 secs
lola: 23345118 markings, 51179376 edges, 16540 markings/sec, 1530 secs
lola: 23427012 markings, 51346849 edges, 16379 markings/sec, 1535 secs
lola: 23513087 markings, 51506102 edges, 17215 markings/sec, 1540 secs
lola: 23597431 markings, 51686403 edges, 16869 markings/sec, 1545 secs
lola: 23678489 markings, 51857871 edges, 16212 markings/sec, 1550 secs
lola: 23758534 markings, 52028924 edges, 16009 markings/sec, 1555 secs
lola: 23840844 markings, 52204303 edges, 16462 markings/sec, 1560 secs
lola: 23930242 markings, 52390948 edges, 17880 markings/sec, 1565 secs
lola: 24030884 markings, 52588938 edges, 20128 markings/sec, 1570 secs
lola: 24130123 markings, 52780703 edges, 19848 markings/sec, 1575 secs
lola: 24189834 markings, 52962437 edges, 11942 markings/sec, 1580 secs
lola: 24266500 markings, 53159483 edges, 15333 markings/sec, 1585 secs
lola: 24334612 markings, 53333659 edges, 13622 markings/sec, 1590 secs
lola: 24407721 markings, 53520522 edges, 14622 markings/sec, 1595 secs
lola: 24480137 markings, 53700318 edges, 14483 markings/sec, 1600 secs
lola: 24549127 markings, 53866485 edges, 13798 markings/sec, 1605 secs
lola: 24611787 markings, 54043648 edges, 12532 markings/sec, 1610 secs
lola: 24691212 markings, 54239866 edges, 15885 markings/sec, 1615 secs
lola: 24771220 markings, 54434134 edges, 16002 markings/sec, 1620 secs
lola: 24852738 markings, 54624632 edges, 16304 markings/sec, 1625 secs
lola: 24915700 markings, 54784959 edges, 12592 markings/sec, 1630 secs
lola: 24977833 markings, 54955112 edges, 12427 markings/sec, 1635 secs
lola: 25056239 markings, 55117818 edges, 15681 markings/sec, 1640 secs
lola: 25122063 markings, 55277593 edges, 13165 markings/sec, 1645 secs
lola: 25195554 markings, 55445139 edges, 14698 markings/sec, 1650 secs
lola: 25276674 markings, 55621925 edges, 16224 markings/sec, 1655 secs
lola: 25343835 markings, 55804122 edges, 13432 markings/sec, 1660 secs
lola: 25402325 markings, 55986386 edges, 11698 markings/sec, 1665 secs
lola: 25481497 markings, 56175803 edges, 15834 markings/sec, 1670 secs
lola: 25541235 markings, 56355370 edges, 11948 markings/sec, 1675 secs
lola: 25615374 markings, 56534026 edges, 14828 markings/sec, 1680 secs
lola: 25693323 markings, 56702298 edges, 15590 markings/sec, 1685 secs
lola: 25756871 markings, 56887281 edges, 12710 markings/sec, 1690 secs
lola: 25828711 markings, 57076330 edges, 14368 markings/sec, 1695 secs
lola: 25912166 markings, 57249927 edges, 16691 markings/sec, 1700 secs
lola: 25983758 markings, 57435650 edges, 14318 markings/sec, 1705 secs
lola: 26057045 markings, 57628043 edges, 14657 markings/sec, 1710 secs
lola: 26129865 markings, 57813541 edges, 14564 markings/sec, 1715 secs
lola: 26207779 markings, 58000657 edges, 15583 markings/sec, 1720 secs
lola: 26303005 markings, 58192969 edges, 19045 markings/sec, 1725 secs
lola: 26391652 markings, 58396084 edges, 17729 markings/sec, 1730 secs
lola: 26476142 markings, 58602187 edges, 16898 markings/sec, 1735 secs
lola: 26567612 markings, 58805360 edges, 18294 markings/sec, 1740 secs
lola: 26634847 markings, 58981418 edges, 13447 markings/sec, 1745 secs
lola: 26692078 markings, 59139265 edges, 11446 markings/sec, 1750 secs
lola: 26755839 markings, 59311908 edges, 12752 markings/sec, 1755 secs
lola: 26829237 markings, 59503384 edges, 14680 markings/sec, 1760 secs
lola: 26887704 markings, 59685255 edges, 11693 markings/sec, 1765 secs
lola: 26943692 markings, 59853669 edges, 11198 markings/sec, 1770 secs
lola: 27003850 markings, 60047558 edges, 12032 markings/sec, 1775 secs
lola: 27100952 markings, 60247806 edges, 19420 markings/sec, 1780 secs
lola: 27176486 markings, 60407732 edges, 15107 markings/sec, 1785 secs
lola: 27267528 markings, 60596219 edges, 18208 markings/sec, 1790 secs
lola: 27331329 markings, 60775470 edges, 12760 markings/sec, 1795 secs
lola: 27398274 markings, 60946378 edges, 13389 markings/sec, 1800 secs
lola: 27466207 markings, 61114729 edges, 13587 markings/sec, 1805 secs
lola: 27541368 markings, 61305653 edges, 15032 markings/sec, 1810 secs
lola: 27603333 markings, 61460783 edges, 12393 markings/sec, 1815 secs
lola: 27662116 markings, 61607468 edges, 11757 markings/sec, 1820 secs
lola: 27714430 markings, 61788817 edges, 10463 markings/sec, 1825 secs
lola: 27777379 markings, 61950474 edges, 12590 markings/sec, 1830 secs
lola: 27835383 markings, 62118447 edges, 11601 markings/sec, 1835 secs
lola: 27904111 markings, 62288004 edges, 13746 markings/sec, 1840 secs
lola: 27978001 markings, 62474458 edges, 14778 markings/sec, 1845 secs
lola: 28046816 markings, 62640391 edges, 13763 markings/sec, 1850 secs
lola: 28106546 markings, 62782775 edges, 11946 markings/sec, 1855 secs
lola: 28164042 markings, 62944349 edges, 11499 markings/sec, 1860 secs
lola: 28224496 markings, 63102301 edges, 12091 markings/sec, 1865 secs
lola: 28276928 markings, 63281636 edges, 10486 markings/sec, 1870 secs
lola: 28324403 markings, 63425871 edges, 9495 markings/sec, 1875 secs
lola: 28382861 markings, 63583936 edges, 11692 markings/sec, 1880 secs
lola: 28457892 markings, 63760852 edges, 15006 markings/sec, 1885 secs
lola: 28538266 markings, 63947776 edges, 16075 markings/sec, 1890 secs
lola: 28599002 markings, 64095526 edges, 12147 markings/sec, 1895 secs
lola: 28661012 markings, 64246453 edges, 12402 markings/sec, 1900 secs
lola: 28718959 markings, 64390509 edges, 11589 markings/sec, 1905 secs
lola: 28775189 markings, 64532649 edges, 11246 markings/sec, 1910 secs
lola: 28838506 markings, 64691567 edges, 12663 markings/sec, 1915 secs
lola: 28895472 markings, 64831360 edges, 11393 markings/sec, 1920 secs
lola: 28958098 markings, 64982506 edges, 12525 markings/sec, 1925 secs
lola: 29026737 markings, 65155391 edges, 13728 markings/sec, 1930 secs
lola: 29075488 markings, 65285666 edges, 9750 markings/sec, 1935 secs
lola: 29133980 markings, 65430545 edges, 11698 markings/sec, 1940 secs
lola: 29184055 markings, 65576173 edges, 10015 markings/sec, 1945 secs
lola: 29241917 markings, 65723485 edges, 11572 markings/sec, 1950 secs
lola: 29291741 markings, 65859171 edges, 9965 markings/sec, 1955 secs
lola: 29364443 markings, 66019281 edges, 14540 markings/sec, 1960 secs
lola: 29421869 markings, 66174008 edges, 11485 markings/sec, 1965 secs
lola: 29489713 markings, 66331072 edges, 13569 markings/sec, 1970 secs
lola: 29549671 markings, 66482416 edges, 11992 markings/sec, 1975 secs
lola: 29597353 markings, 66614960 edges, 9536 markings/sec, 1980 secs
lola: 29666814 markings, 66767877 edges, 13892 markings/sec, 1985 secs
lola: 29714490 markings, 66910048 edges, 9535 markings/sec, 1990 secs
lola: 29758922 markings, 67042929 edges, 8886 markings/sec, 1995 secs
lola: 29807990 markings, 67180143 edges, 9814 markings/sec, 2000 secs
lola: 29860854 markings, 67315231 edges, 10573 markings/sec, 2005 secs
lola: 29931188 markings, 67478281 edges, 14067 markings/sec, 2010 secs
lola: 29993959 markings, 67644691 edges, 12554 markings/sec, 2015 secs
lola: 30043987 markings, 67820304 edges, 10006 markings/sec, 2020 secs
lola: 30127572 markings, 68017368 edges, 16717 markings/sec, 2025 secs
lola: 30188718 markings, 68165353 edges, 12229 markings/sec, 2030 secs
lola: 30245546 markings, 68311742 edges, 11366 markings/sec, 2035 secs
lola: 30301959 markings, 68453596 edges, 11283 markings/sec, 2040 secs
lola: 30352757 markings, 68588968 edges, 10160 markings/sec, 2045 secs
lola: 30406167 markings, 68725035 edges, 10682 markings/sec, 2050 secs
lola: 30448662 markings, 68854598 edges, 8499 markings/sec, 2055 secs
lola: 30504893 markings, 68998241 edges, 11246 markings/sec, 2060 secs
lola: 30554311 markings, 69140737 edges, 9884 markings/sec, 2065 secs
lola: 30615784 markings, 69292325 edges, 12295 markings/sec, 2070 secs
lola: 30670340 markings, 69432379 edges, 10911 markings/sec, 2075 secs
lola: 30736842 markings, 69584801 edges, 13300 markings/sec, 2080 secs
lola: 30805665 markings, 69742827 edges, 13765 markings/sec, 2085 secs
lola: 30871074 markings, 69901432 edges, 13082 markings/sec, 2090 secs
lola: 30938487 markings, 70065139 edges, 13483 markings/sec, 2095 secs
lola: 31000791 markings, 70204844 edges, 12461 markings/sec, 2100 secs
lola: 31066139 markings, 70347339 edges, 13070 markings/sec, 2105 secs
lola: 31132726 markings, 70536366 edges, 13317 markings/sec, 2110 secs
lola: 31197649 markings, 70706453 edges, 12985 markings/sec, 2115 secs
lola: 31249165 markings, 70881563 edges, 10303 markings/sec, 2120 secs
lola: 31330066 markings, 71069691 edges, 16180 markings/sec, 2125 secs
lola: 31389893 markings, 71211468 edges, 11965 markings/sec, 2130 secs
lola: 31443449 markings, 71357303 edges, 10711 markings/sec, 2135 secs
lola: 31501268 markings, 71500429 edges, 11564 markings/sec, 2140 secs
lola: 31548434 markings, 71632055 edges, 9433 markings/sec, 2145 secs
lola: 31601347 markings, 71765776 edges, 10583 markings/sec, 2150 secs
lola: 31655721 markings, 71901746 edges, 10875 markings/sec, 2155 secs
lola: 31704250 markings, 72043510 edges, 9706 markings/sec, 2160 secs
lola: 31756396 markings, 72186446 edges, 10429 markings/sec, 2165 secs
lola: 31811855 markings, 72332725 edges, 11092 markings/sec, 2170 secs
lola: 31871722 markings, 72477831 edges, 11973 markings/sec, 2175 secs
lola: 31924885 markings, 72616438 edges, 10633 markings/sec, 2180 secs
lola: 31989274 markings, 72759701 edges, 12878 markings/sec, 2185 secs
lola: 32044625 markings, 72895236 edges, 11070 markings/sec, 2190 secs
lola: 32094784 markings, 73021665 edges, 10032 markings/sec, 2195 secs
lola: 32154346 markings, 73162952 edges, 11912 markings/sec, 2200 secs
lola: 32204349 markings, 73302151 edges, 10001 markings/sec, 2205 secs
lola: 32250680 markings, 73438398 edges, 9266 markings/sec, 2210 secs
lola: 32300866 markings, 73580761 edges, 10037 markings/sec, 2215 secs
lola: 32362536 markings, 73734356 edges, 12334 markings/sec, 2220 secs
lola: 32429724 markings, 73896271 edges, 13438 markings/sec, 2225 secs
lola: 32499345 markings, 74052677 edges, 13924 markings/sec, 2230 secs
lola: 32563560 markings, 74209148 edges, 12843 markings/sec, 2235 secs
lola: 32630068 markings, 74363170 edges, 13302 markings/sec, 2240 secs
lola: 32697353 markings, 74519662 edges, 13457 markings/sec, 2245 secs
lola: 32755504 markings, 74667124 edges, 11630 markings/sec, 2250 secs
lola: 32805619 markings, 74808774 edges, 10023 markings/sec, 2255 secs
lola: 32866791 markings, 74960520 edges, 12234 markings/sec, 2260 secs
lola: 32929599 markings, 75111433 edges, 12562 markings/sec, 2265 secs
lola: 32998651 markings, 75264182 edges, 13810 markings/sec, 2270 secs
lola: 33057422 markings, 75414058 edges, 11754 markings/sec, 2275 secs
lola: 33119786 markings, 75571600 edges, 12473 markings/sec, 2280 secs
lola: 33185212 markings, 75731959 edges, 13085 markings/sec, 2285 secs
lola: 33266230 markings, 75911762 edges, 16204 markings/sec, 2290 secs
lola: 33322816 markings, 76061547 edges, 11317 markings/sec, 2295 secs
lola: 33384160 markings, 76209031 edges, 12269 markings/sec, 2300 secs
lola: 33440044 markings, 76352438 edges, 11177 markings/sec, 2305 secs
lola: 33498048 markings, 76495213 edges, 11601 markings/sec, 2310 secs
lola: 33553396 markings, 76641221 edges, 11070 markings/sec, 2315 secs
lola: 33616539 markings, 76798346 edges, 12629 markings/sec, 2320 secs
lola: 33693473 markings, 76978452 edges, 15387 markings/sec, 2325 secs
lola: 33751575 markings, 77130407 edges, 11620 markings/sec, 2330 secs
lola: 33814564 markings, 77281593 edges, 12598 markings/sec, 2335 secs
lola: 33867654 markings, 77414635 edges, 10618 markings/sec, 2340 secs
lola: 33921508 markings, 77563066 edges, 10771 markings/sec, 2345 secs
lola: 33978076 markings, 77707234 edges, 11314 markings/sec, 2350 secs
lola: 34041798 markings, 77857509 edges, 12744 markings/sec, 2355 secs
lola: 34112036 markings, 78008396 edges, 14048 markings/sec, 2360 secs
lola: 34162436 markings, 78138043 edges, 10080 markings/sec, 2365 secs
lola: 34216421 markings, 78275593 edges, 10797 markings/sec, 2370 secs
lola: 34271680 markings, 78413014 edges, 11052 markings/sec, 2375 secs
lola: 34330150 markings, 78556610 edges, 11694 markings/sec, 2380 secs
lola: 34377175 markings, 78696401 edges, 9405 markings/sec, 2385 secs
lola: 34421997 markings, 78832690 edges, 8964 markings/sec, 2390 secs
lola: 34478226 markings, 78982632 edges, 11246 markings/sec, 2395 secs
lola: 34548960 markings, 79148781 edges, 14147 markings/sec, 2400 secs
lola: 34615285 markings, 79296260 edges, 13265 markings/sec, 2405 secs
lola: 34683170 markings, 79447518 edges, 13577 markings/sec, 2410 secs
lola: 34753660 markings, 79598271 edges, 14098 markings/sec, 2415 secs
lola: 34819475 markings, 79743795 edges, 13163 markings/sec, 2420 secs
lola: 34890679 markings, 79900111 edges, 14241 markings/sec, 2425 secs
lola: 34966956 markings, 80070574 edges, 15255 markings/sec, 2430 secs
lola: 35047389 markings, 80242911 edges, 16087 markings/sec, 2435 secs
lola: 35124081 markings, 80412343 edges, 15338 markings/sec, 2440 secs
lola: 35188125 markings, 80576061 edges, 12809 markings/sec, 2445 secs
lola: 35264134 markings, 80742439 edges, 15202 markings/sec, 2450 secs
lola: 35339117 markings, 80905839 edges, 14997 markings/sec, 2455 secs
lola: 35411955 markings, 81062472 edges, 14568 markings/sec, 2460 secs
lola: 35470980 markings, 81199575 edges, 11805 markings/sec, 2465 secs
lola: 35529959 markings, 81336954 edges, 11796 markings/sec, 2470 secs
lola: 35586440 markings, 81483865 edges, 11296 markings/sec, 2475 secs
lola: 35672077 markings, 81654872 edges, 17127 markings/sec, 2480 secs
lola: 35773147 markings, 81842268 edges, 20214 markings/sec, 2485 secs
lola: 35869375 markings, 82024522 edges, 19246 markings/sec, 2490 secs
lola: 35969142 markings, 82212143 edges, 19953 markings/sec, 2495 secs
lola: 36066229 markings, 82399888 edges, 19417 markings/sec, 2500 secs
lola: 36159938 markings, 82578791 edges, 18742 markings/sec, 2505 secs
lola: 36242829 markings, 82750799 edges, 16578 markings/sec, 2510 secs
lola: 36333185 markings, 82933872 edges, 18071 markings/sec, 2515 secs
lola: 36419441 markings, 83104597 edges, 17251 markings/sec, 2520 secs
lola: 36515335 markings, 83291437 edges, 19179 markings/sec, 2525 secs
lola: 36585513 markings, 83456446 edges, 14036 markings/sec, 2530 secs
lola: 36673935 markings, 83628916 edges, 17684 markings/sec, 2535 secs
lola: 36761002 markings, 83806274 edges, 17413 markings/sec, 2540 secs
lola: 36856568 markings, 83988510 edges, 19113 markings/sec, 2545 secs
lola: 36924284 markings, 84152806 edges, 13543 markings/sec, 2550 secs
lola: 37014905 markings, 84324990 edges, 18124 markings/sec, 2555 secs
lola: 37101780 markings, 84498158 edges, 17375 markings/sec, 2560 secs
lola: 37200483 markings, 84682076 edges, 19741 markings/sec, 2565 secs
lola: 37295059 markings, 84863104 edges, 18915 markings/sec, 2570 secs
lola: 37382177 markings, 85033684 edges, 17424 markings/sec, 2575 secs
lola: 37471572 markings, 85200771 edges, 17879 markings/sec, 2580 secs
lola: 37555332 markings, 85374270 edges, 16752 markings/sec, 2585 secs
lola: 37622946 markings, 85532258 edges, 13523 markings/sec, 2590 secs
lola: 37719060 markings, 85709782 edges, 19223 markings/sec, 2595 secs
lola: 37803090 markings, 85883986 edges, 16806 markings/sec, 2600 secs
lola: 37903196 markings, 86073502 edges, 20021 markings/sec, 2605 secs
lola: 37994998 markings, 86249603 edges, 18360 markings/sec, 2610 secs
lola: 38078868 markings, 86421018 edges, 16774 markings/sec, 2615 secs
lola: 38160817 markings, 86594382 edges, 16390 markings/sec, 2620 secs
lola: 38266387 markings, 86786351 edges, 21114 markings/sec, 2625 secs
lola: 38341333 markings, 86953360 edges, 14989 markings/sec, 2630 secs
lola: 38419258 markings, 87117812 edges, 15585 markings/sec, 2635 secs
lola: 38508793 markings, 87294193 edges, 17907 markings/sec, 2640 secs
lola: 38596036 markings, 87472072 edges, 17449 markings/sec, 2645 secs
lola: 38693563 markings, 87652813 edges, 19505 markings/sec, 2650 secs
lola: 38770524 markings, 87816794 edges, 15392 markings/sec, 2655 secs
lola: 38850626 markings, 87981070 edges, 16020 markings/sec, 2660 secs
lola: 38944562 markings, 88156012 edges, 18787 markings/sec, 2665 secs
lola: 39045513 markings, 88340338 edges, 20190 markings/sec, 2670 secs
lola: 39140224 markings, 88516793 edges, 18942 markings/sec, 2675 secs
lola: 39226912 markings, 88694508 edges, 17338 markings/sec, 2680 secs
lola: 39297592 markings, 88844633 edges, 14136 markings/sec, 2685 secs
lola: 39366230 markings, 88991725 edges, 13728 markings/sec, 2690 secs
lola: 39435614 markings, 89142943 edges, 13877 markings/sec, 2695 secs
lola: 39503249 markings, 89293412 edges, 13527 markings/sec, 2700 secs
lola: 39586800 markings, 89460950 edges, 16710 markings/sec, 2705 secs
lola: 39645232 markings, 89604644 edges, 11686 markings/sec, 2710 secs
lola: 39725128 markings, 89772470 edges, 15979 markings/sec, 2715 secs
lola: 39799810 markings, 89936447 edges, 14936 markings/sec, 2720 secs
lola: 39863812 markings, 90091244 edges, 12800 markings/sec, 2725 secs
lola: 39938225 markings, 90254828 edges, 14883 markings/sec, 2730 secs
lola: 40008096 markings, 90412280 edges, 13974 markings/sec, 2735 secs
lola: 40078799 markings, 90574267 edges, 14141 markings/sec, 2740 secs
lola: 40128926 markings, 90713387 edges, 10025 markings/sec, 2745 secs
lola: 40193316 markings, 90865755 edges, 12878 markings/sec, 2750 secs
lola: 40251220 markings, 91010950 edges, 11581 markings/sec, 2755 secs
lola: 40308051 markings, 91153818 edges, 11366 markings/sec, 2760 secs
lola: 40361990 markings, 91297580 edges, 10788 markings/sec, 2765 secs
lola: 40419652 markings, 91440746 edges, 11532 markings/sec, 2770 secs
lola: 40481468 markings, 91593684 edges, 12363 markings/sec, 2775 secs
lola: 40537750 markings, 91734733 edges, 11256 markings/sec, 2780 secs
lola: 40606459 markings, 91895087 edges, 13742 markings/sec, 2785 secs
lola: 40696963 markings, 92075837 edges, 18101 markings/sec, 2790 secs
lola: 40757458 markings, 92229681 edges, 12099 markings/sec, 2795 secs
lola: 40813724 markings, 92386160 edges, 11253 markings/sec, 2800 secs
lola: 40898631 markings, 92562867 edges, 16981 markings/sec, 2805 secs
lola: 40975449 markings, 92735939 edges, 15364 markings/sec, 2810 secs
lola: 41062719 markings, 92914762 edges, 17454 markings/sec, 2815 secs
lola: 41126489 markings, 93072780 edges, 12754 markings/sec, 2820 secs
lola: 41197786 markings, 93243010 edges, 14259 markings/sec, 2825 secs
lola: 41273175 markings, 93411713 edges, 15078 markings/sec, 2830 secs
lola: 41349390 markings, 93579469 edges, 15243 markings/sec, 2835 secs
lola: 41430074 markings, 93749015 edges, 16137 markings/sec, 2840 secs
lola: 41485392 markings, 93903207 edges, 11064 markings/sec, 2845 secs
lola: 41555280 markings, 94067290 edges, 13978 markings/sec, 2850 secs
lola: 41631372 markings, 94237374 edges, 15218 markings/sec, 2855 secs
lola: 41702515 markings, 94398960 edges, 14229 markings/sec, 2860 secs
lola: 41785897 markings, 94568867 edges, 16676 markings/sec, 2865 secs
lola: 41840279 markings, 94722879 edges, 10876 markings/sec, 2870 secs
lola: 41919312 markings, 94892170 edges, 15807 markings/sec, 2875 secs
lola: 41994568 markings, 95060021 edges, 15051 markings/sec, 2880 secs
lola: 42058621 markings, 95208906 edges, 12811 markings/sec, 2885 secs
lola: 42110847 markings, 95339524 edges, 10445 markings/sec, 2890 secs
lola: 42180136 markings, 95484494 edges, 13858 markings/sec, 2895 secs
lola: 42238435 markings, 95626455 edges, 11660 markings/sec, 2900 secs
lola: 42301282 markings, 95769624 edges, 12569 markings/sec, 2905 secs
lola: 42374507 markings, 95916058 edges, 14645 markings/sec, 2910 secs
lola: 42430135 markings, 96049759 edges, 11126 markings/sec, 2915 secs
lola: 42512830 markings, 96214827 edges, 16539 markings/sec, 2920 secs
lola: 42587454 markings, 96371327 edges, 14925 markings/sec, 2925 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no yes yes yes no yes no no no yes no no no unknown
lola:
preliminary result: no unknown no yes yes yes no yes no no no yes no no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no yes yes yes no yes no no no yes no no no unknown
lola: memory consumption: 8741988 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no yes yes yes no yes no no no yes no no no unknown
lola: memory consumption: 8741988 KB
lola: time consumption: 3570 seconds
BK_STOP 1526544255576
--------------------
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-319"
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-319.tgz
mv CloudReconfiguration-PT-319 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-319, 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-152646379900129"
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 ;