About the Execution of LoLA for CloudDeployment-PT-7b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2634.080 | 3600000.00 | 8279483.00 | 7081.40 | TTTFFT??FT?T?FTF | 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 21M
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 20M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudDeployment-PT-7b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357500271
=====================================================================
--------------------
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 CloudDeployment-PT-7b-ReachabilityCardinality-00
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-01
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-02
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-03
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-04
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-05
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-06
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-07
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-08
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-09
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-10
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-11
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-12
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-13
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-14
FORMULA_NAME CloudDeployment-PT-7b-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526640868410
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-7b 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 CloudDeployment-PT-7b formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ CloudDeployment-PT-7b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 22023/65536 symbol table entries, 8095 collisions
lola: preprocessing...
lola: Size of bit vector: 2271
lola: finding significant places
lola: 2271 places, 19752 transitions, 2242 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3555 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p565)
lola: LP says that atomic proposition is always false: (2 <= p1236)
lola: LP says that atomic proposition is always false: (2 <= p630)
lola: LP says that atomic proposition is always false: (2 <= p402)
lola: LP says that atomic proposition is always false: (3 <= p61)
lola: LP says that atomic proposition is always false: (3 <= p2190)
lola: LP says that atomic proposition is always false: (3 <= p523)
lola: LP says that atomic proposition is always false: (3 <= p1292)
lola: LP says that atomic proposition is always false: (3 <= p1396)
lola: LP says that atomic proposition is always false: (3 <= p691)
lola: LP says that atomic proposition is always false: (2 <= p1071)
lola: E (F (((p732 + 1 <= p2178) OR (p955 + 1 <= p357)))) : E (F (((p1011 <= 0) AND (p14 + 1 <= p1194) AND (p1703 <= 2)))) : E (F (((p575 + 1 <= p2168)))) : A (G ((p326 <= p1842))) : A (G (((p1280 <= p10)))) : E (F (((1 <= p21)))) : E (F (((1 <= p649) AND (1 <= p1157)))) : A (G ((((p441 <= p1195) OR (p2238 <= p1101) OR (p909 <= p1858) OR (p1199 <= p551)) AND (p426 <= p1950)))) : A (G ((p1787 <= 0))) : A (G (())) : E (F (((p2155 + 1 <= p38)))) : E (F (((p1692 <= p711) AND (p2066 <= p2017) AND (1 <= p982) AND (((p2001 <= p169) AND (p2216 <= p1455)) OR ((1 <= p1926) AND (1 <= p1912)))))) : E (F ((((p1037 + 1 <= p125) AND ((p2078 <= p1939)))))) : E (F (())) : E (F (((p2031 + 1 <= p1198) AND (p467 <= p1133)))) : A (G ((p2144 <= p992)))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 202 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: 6 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 215 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: 6 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 230 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p21))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= p21))))
lola: processed formula length: 20
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p21))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 21 markings, 20 edges
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-2-0.sara
lola: subprocess 3 will run for 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1787 <= 0)))
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 ((p1787 <= 0)))
lola: processed formula length: 20
lola: 8 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: ========================================
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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 48 markings, 47 edges
lola: formula 0: (1 <= p1787)
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 4 will run for 269 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p649) AND (1 <= p1157))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= p649) AND (1 <= p1157))))
lola: processed formula length: 38
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p649) AND (1 <= p1157))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-4-0.sara.
lola: sara is running 0 secs || 69450 markings, 76641 edges, 13890 markings/sec, 0 secs
lola: sara is running 5 secs || 140324 markings, 162180 edges, 14175 markings/sec, 5 secs
lola: sara is running 10 secs || 210127 markings, 254310 edges, 13961 markings/sec, 10 secs
lola: sara is running 15 secs || 278071 markings, 335876 edges, 13589 markings/sec, 15 secs
lola: sara is running 20 secs || 342092 markings, 422751 edges, 12804 markings/sec, 20 secs
lola: sara is running 25 secs || 409781 markings, 505278 edges, 13538 markings/sec, 25 secs
lola: sara is running 30 secs || 479379 markings, 598911 edges, 13920 markings/sec, 30 secs
lola: sara is running 35 secs || 545630 markings, 678827 edges, 13250 markings/sec, 35 secs
lola: sara is running 40 secs || 610533 markings, 768400 edges, 12981 markings/sec, 40 secs
lola: sara is running 45 secs || 677403 markings, 850319 edges, 13374 markings/sec, 45 secs
lola: sara is running 50 secs || 747246 markings, 942093 edges, 13969 markings/sec, 50 secs
lola: sara is running 55 secs || 815210 markings, 1025487 edges, 13593 markings/sec, 55 secs
lola: sara is running 60 secs || 884762 markings, 1117923 edges, 13910 markings/sec, 60 secs
lola: sara is running 65 secs || 950868 markings, 1197120 edges, 13221 markings/sec, 65 secs
lola: sara is running 70 secs || 1015546 markings, 1285202 edges, 12936 markings/sec, 70 secs
lola: sara is running 75 secs || 1081506 markings, 1365229 edges, 13192 markings/sec, 75 secs
lola: sara is running 80 secs || 1151692 markings, 1458917 edges, 14037 markings/sec, 80 secs
lola: sara is running 85 secs || 1216446 markings, 1537727 edges, 12951 markings/sec, 85 secs
lola: sara is running 90 secs || 1281987 markings, 1628187 edges, 13108 markings/sec, 90 secs
lola: sara is running 95 secs || 1346863 markings, 1707592 edges, 12975 markings/sec, 95 secs
lola: sara is running 100 secs || 1417066 markings, 1798956 edges, 14041 markings/sec, 100 secs
lola: sara is running 105 secs || 1483640 markings, 1881345 edges, 13315 markings/sec, 105 secs
lola: sara is running 110 secs || 1554226 markings, 1973711 edges, 14117 markings/sec, 110 secs
lola: sara is running 115 secs || 1618874 markings, 2052582 edges, 12930 markings/sec, 115 secs
lola: sara is running 120 secs || 1684785 markings, 2141948 edges, 13182 markings/sec, 120 secs
lola: sara is running 125 secs || 1748580 markings, 2219819 edges, 12759 markings/sec, 125 secs
lola: sara is running 130 secs || 1819438 markings, 2313191 edges, 14172 markings/sec, 130 secs
lola: sara is running 135 secs || 1883232 markings, 2392401 edges, 12759 markings/sec, 135 secs
lola: sara is running 140 secs || 1949710 markings, 2482404 edges, 13296 markings/sec, 140 secs
lola: sara is running 145 secs || 2012536 markings, 2561142 edges, 12565 markings/sec, 145 secs
lola: sara is running 150 secs || 2081688 markings, 2649211 edges, 13830 markings/sec, 150 secs
lola: sara is running 155 secs || 2148341 markings, 2733717 edges, 13331 markings/sec, 155 secs
lola: sara is running 160 secs || 2219171 markings, 2823121 edges, 14166 markings/sec, 160 secs
lola: sara is running 165 secs || 2283258 markings, 2904585 edges, 12817 markings/sec, 165 secs
lola: sara is running 170 secs || 2350767 markings, 2994351 edges, 13502 markings/sec, 170 secs
lola: sara is running 175 secs || 2412844 markings, 3071295 edges, 12415 markings/sec, 175 secs
lola: sara is running 180 secs || 2481932 markings, 3159497 edges, 13818 markings/sec, 180 secs
lola: sara is running 185 secs || 2546539 markings, 3242928 edges, 12921 markings/sec, 185 secs
lola: sara is running 190 secs || 2614066 markings, 3332362 edges, 13505 markings/sec, 190 secs
lola: sara is running 195 secs || 2675915 markings, 3411255 edges, 12370 markings/sec, 195 secs
lola: sara is running 200 secs || 2743244 markings, 3497179 edges, 13466 markings/sec, 200 secs
lola: sara is running 205 secs || 2810460 markings, 3584067 edges, 13443 markings/sec, 205 secs
lola: sara is running 210 secs || 2878902 markings, 3668747 edges, 13688 markings/sec, 210 secs
lola: sara is running 215 secs || 2944581 markings, 3754190 edges, 13136 markings/sec, 215 secs
lola: sara is running 220 secs || 3012216 markings, 3840137 edges, 13527 markings/sec, 220 secs
lola: sara is running 225 secs || 3073825 markings, 3920205 edges, 12322 markings/sec, 225 secs
lola: sara is running 230 secs || 3140984 markings, 4005482 edges, 13432 markings/sec, 230 secs
lola: sara is running 235 secs || 3207076 markings, 4092336 edges, 13218 markings/sec, 235 secs
lola: sara is running 240 secs || 3273473 markings, 4174292 edges, 13279 markings/sec, 240 secs
lola: sara is running 245 secs || 3336390 markings, 4258197 edges, 12583 markings/sec, 245 secs
lola: sara is running 250 secs || 3402467 markings, 4341618 edges, 13215 markings/sec, 250 secs
lola: sara is running 255 secs || 3465613 markings, 4423198 edges, 12629 markings/sec, 255 secs
lola: sara is running 260 secs || 3531801 markings, 4504346 edges, 13238 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown yes unknown unknown no yes unknown unknown unknown no unknown unknown
lola: memory consumption: 634564 KB
lola: time consumption: 606 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 269 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p326 <= p1842)))
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 ((p326 <= p1842)))
lola: processed formula length: 23
lola: 8 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p1842 + 1 <= p326)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-5-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: lola: state equation: calling and running sara
The predicate is not invariant.
lola: 20 markings, 19 edges
lola:
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-5-0.sara.
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1280 <= p10))))
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 (((p1280 <= p10))))
lola: processed formula length: 24
lola: 8 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p10 + 1 <= p1280))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-6-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: 23 markings, 22 edges
lola: ========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2155 + 1 <= p38))))
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 (((p2155 + 1 <= p38))))
lola: processed formula length: 28
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p2155 + 1 <= p38))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-7-0.sara.
lola: sara is running 0 secs || 27501 markings, 85422 edges, 5500 markings/sec, 0 secs
lola: sara is running 5 secs || 55474 markings, 174861 edges, 5595 markings/sec, 5 secs
lola: sara is running 10 secs || 82978 markings, 264246 edges, 5501 markings/sec, 10 secs
lola: sara is running 15 secs || 110662 markings, 353770 edges, 5537 markings/sec, 15 secs
lola: sara is running 20 secs || 139527 markings, 437203 edges, 5773 markings/sec, 20 secs
lola: sara is running 25 secs || 167377 markings, 520951 edges, 5570 markings/sec, 25 secs
lola: sara is running 30 secs || 195009 markings, 603318 edges, 5526 markings/sec, 30 secs
lola: sara is running 35 secs || 221883 markings, 685041 edges, 5375 markings/sec, 35 secs
lola: sara is running 40 secs || 248704 markings, 767232 edges, 5364 markings/sec, 40 secs
lola: sara is running 45 secs || 275572 markings, 851693 edges, 5374 markings/sec, 45 secs
lola: sara is running 50 secs || 302394 markings, 939960 edges, 5364 markings/sec, 50 secs
lola: sara is running 55 secs || 328446 markings, 1035653 edges, 5210 markings/sec, 55 secs
lola: sara is running 60 secs || 353819 markings, 1134549 edges, 5075 markings/sec, 60 secs
lola: sara is running 65 secs || 378273 markings, 1237971 edges, 4891 markings/sec, 65 secs
lola: sara is running 70 secs || 401237 markings, 1349531 edges, 4593 markings/sec, 70 secs
lola: sara is running 75 secs || 423925 markings, 1461262 edges, 4538 markings/sec, 75 secs
lola: sara is running 80 secs || 445465 markings, 1578892 edges, 4308 markings/sec, 80 secs
lola: sara is running 85 secs || 465450 markings, 1703267 edges, 3997 markings/sec, 85 secs
lola: sara is running 90 secs || 483953 markings, 1837905 edges, 3701 markings/sec, 90 secs
lola: sara is running 95 secs || 497948 markings, 1998348 edges, 2799 markings/sec, 95 secs
lola: sara is running 100 secs || 517606 markings, 2136413 edges, 3932 markings/sec, 100 secs
lola: sara is running 105 secs || 546650 markings, 2225591 edges, 5809 markings/sec, 105 secs
lola: sara is running 110 secs || 575809 markings, 2312470 edges, 5832 markings/sec, 110 secs
lola: sara is running 115 secs || 604065 markings, 2404014 edges, 5651 markings/sec, 115 secs
lola: sara is running 120 secs || 633288 markings, 2494994 edges, 5845 markings/sec, 120 secs
lola: sara is running 125 secs || 662321 markings, 2585586 edges, 5807 markings/sec, 125 secs
lola: sara is running 130 secs || 691177 markings, 2674246 edges, 5771 markings/sec, 130 secs
lola: sara is running 135 secs || 719669 markings, 2763787 edges, 5698 markings/sec, 135 secs
lola: sara is running 140 secs || 747462 markings, 2856385 edges, 5559 markings/sec, 140 secs
lola: sara is running 145 secs || 774513 markings, 2950344 edges, 5410 markings/sec, 145 secs
lola: sara is running 150 secs || 801670 markings, 3042306 edges, 5431 markings/sec, 150 secs
lola: sara is running 155 secs || 826275 markings, 3147415 edges, 4921 markings/sec, 155 secs
lola: sara is running 160 secs || 849583 markings, 3260800 edges, 4662 markings/sec, 160 secs
lola: sara is running 165 secs || 873055 markings, 3375038 edges, 4694 markings/sec, 165 secs
lola: sara is running 170 secs || 894868 markings, 3494378 edges, 4363 markings/sec, 170 secs
lola: sara is running 175 secs || 918490 markings, 3602089 edges, 4724 markings/sec, 175 secs
lola: sara is running 180 secs || 939929 markings, 3721019 edges, 4288 markings/sec, 180 secs
lola: sara is running 185 secs || 957910 markings, 3859373 edges, 3596 markings/sec, 185 secs
lola: sara is running 190 secs || 977529 markings, 3995598 edges, 3924 markings/sec, 190 secs
lola: sara is running 195 secs || 1006274 markings, 4084109 edges, 5749 markings/sec, 195 secs
lola: sara is running 200 secs || 1035525 markings, 4171817 edges, 5850 markings/sec, 200 secs
lola: sara is running 205 secs || 1063980 markings, 4262077 edges, 5691 markings/sec, 205 secs
lola: sara is running 210 secs || 1093009 markings, 4352446 edges, 5806 markings/sec, 210 secs
lola: sara is running 215 secs || 1121889 markings, 4441526 edges, 5776 markings/sec, 215 secs
lola: sara is running 220 secs || 1150360 markings, 4531318 edges, 5694 markings/sec, 220 secs
lola: sara is running 225 secs || 1178768 markings, 4619427 edges, 5682 markings/sec, 225 secs
lola: sara is running 230 secs || 1206221 markings, 4712270 edges, 5491 markings/sec, 230 secs
lola: sara is running 235 secs || 1232899 markings, 4805769 edges, 5336 markings/sec, 235 secs
lola: sara is running 240 secs || 1259629 markings, 4899234 edges, 5346 markings/sec, 240 secs
lola: sara is running 245 secs || 1283788 markings, 5007649 edges, 4832 markings/sec, 245 secs
lola: sara is running 250 secs || 1307030 markings, 5123084 edges, 4648 markings/sec, 250 secs
lola: sara is running 255 secs || 1328649 markings, 5244924 edges, 4324 markings/sec, 255 secs
lola: sara is running 260 secs || 1351799 markings, 5354466 edges, 4630 markings/sec, 260 secs
lola: sara is running 265 secs || 1374842 markings, 5465673 edges, 4609 markings/sec, 265 secs
lola: sara is running 270 secs || 1395790 markings, 5588236 edges, 4190 markings/sec, 270 secs
lola: sara is running 275 secs || 1410980 markings, 5743148 edges, 3038 markings/sec, 275 secs
lola: sara is running 280 secs || 1436761 markings, 5850944 edges, 5156 markings/sec, 280 secs
lola: sara is running 285 secs || 1465807 markings, 5937846 edges, 5809 markings/sec, 285 secs
lola: sara is running 290 secs || 1494193 markings, 6029976 edges, 5677 markings/sec, 290 secs
lola: sara is running 295 secs || 1523598 markings, 6121678 edges, 5881 markings/sec, 295 secs
lola: sara is running 300 secs || 1552790 markings, 6212804 edges, 5838 markings/sec, 300 secs
lola: sara is running 305 secs || 1581794 markings, 6301730 edges, 5801 markings/sec, 305 secs
lola: sara is running 310 secs || 1610447 markings, 6391461 edges, 5731 markings/sec, 310 secs
lola: sara is running 315 secs || 1638221 markings, 6483775 edges, 5555 markings/sec, 315 secs
lola: sara is running 320 secs || 1665450 markings, 6576794 edges, 5446 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no yes unknown unknown no yes unknown unknown unknown no unknown unknown
lola: memory consumption: 264960 KB
lola: time consumption: 935 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p575 + 1 <= p2168))))
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 (((p575 + 1 <= p2168))))
lola: processed formula length: 29
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p575 + 1 <= p2168))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 326 markings, 341 edges
lola: ========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2144 <= p992)))
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 ((p2144 <= p992)))
lola: processed formula length: 23
lola: 8 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p992 + 1 <= p2144)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 26 markings, 25 edges
lola: ========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 439 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p1037 + 1 <= p125) AND ((p2078 <= p1939))))))
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 ((((p1037 + 1 <= p125) AND ((p2078 <= p1939))))))
lola: processed formula length: 54
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p1037 + 1 <= p125) AND ((p2078 <= p1939))))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-10-0.sara.
lola: sara is running 0 secs || 38767 markings, 56504 edges, 7753 markings/sec, 0 secs
lola: sara is running 5 secs || 78040 markings, 120923 edges, 7855 markings/sec, 5 secs
lola: sara is running 10 secs || 118798 markings, 178562 edges, 8152 markings/sec, 10 secs
lola: sara is running 15 secs || 158310 markings, 253223 edges, 7902 markings/sec, 15 secs
lola: sara is running 20 secs || 197275 markings, 330873 edges, 7793 markings/sec, 20 secs
lola: sara is running 25 secs || 235309 markings, 408182 edges, 7607 markings/sec, 25 secs
lola: sara is running 30 secs || 274954 markings, 467239 edges, 7929 markings/sec, 30 secs
lola: sara is running 35 secs || 313648 markings, 538681 edges, 7739 markings/sec, 35 secs
lola: sara is running 40 secs || 352261 markings, 613552 edges, 7723 markings/sec, 40 secs
lola: sara is running 45 secs || 389711 markings, 696951 edges, 7490 markings/sec, 45 secs
lola: sara is running 50 secs || 426780 markings, 780947 edges, 7414 markings/sec, 50 secs
lola: sara is running 55 secs || 466085 markings, 841611 edges, 7861 markings/sec, 55 secs
lola: sara is running 60 secs || 504441 markings, 913136 edges, 7671 markings/sec, 60 secs
lola: sara is running 65 secs || 542999 markings, 983151 edges, 7712 markings/sec, 65 secs
lola: sara is running 70 secs || 580065 markings, 1067117 edges, 7413 markings/sec, 70 secs
lola: sara is running 75 secs || 618417 markings, 1145148 edges, 7670 markings/sec, 75 secs
lola: sara is running 80 secs || 656328 markings, 1218365 edges, 7582 markings/sec, 80 secs
lola: sara is running 85 secs || 693929 markings, 1289481 edges, 7520 markings/sec, 85 secs
lola: sara is running 90 secs || 733214 markings, 1351962 edges, 7857 markings/sec, 90 secs
lola: sara is running 95 secs || 771366 markings, 1430539 edges, 7630 markings/sec, 95 secs
lola: sara is running 100 secs || 809525 markings, 1510751 edges, 7632 markings/sec, 100 secs
lola: sara is running 105 secs || 845964 markings, 1592617 edges, 7288 markings/sec, 105 secs
lola: sara is running 110 secs || 883324 markings, 1648114 edges, 7472 markings/sec, 110 secs
lola: sara is running 115 secs || 919821 markings, 1713581 edges, 7299 markings/sec, 115 secs
lola: sara is running 120 secs || 955500 markings, 1782696 edges, 7136 markings/sec, 120 secs
lola: sara is running 125 secs || 990607 markings, 1862800 edges, 7021 markings/sec, 125 secs
lola: sara is running 130 secs || 1028237 markings, 1941971 edges, 7526 markings/sec, 130 secs
lola: sara is running 135 secs || 1066428 markings, 2011692 edges, 7638 markings/sec, 135 secs
lola: sara is running 140 secs || 1104040 markings, 2082444 edges, 7522 markings/sec, 140 secs
lola: sara is running 145 secs || 1142746 markings, 2147334 edges, 7741 markings/sec, 145 secs
lola: sara is running 150 secs || 1178701 markings, 2220912 edges, 7191 markings/sec, 150 secs
lola: sara is running 155 secs || 1214683 markings, 2296080 edges, 7196 markings/sec, 155 secs
lola: sara is running 160 secs || 1248773 markings, 2374141 edges, 6818 markings/sec, 160 secs
lola: sara is running 165 secs || 1285639 markings, 2429108 edges, 7373 markings/sec, 165 secs
lola: sara is running 170 secs || 1322047 markings, 2495703 edges, 7282 markings/sec, 170 secs
lola: sara is running 175 secs || 1358115 markings, 2563530 edges, 7214 markings/sec, 175 secs
lola: sara is running 180 secs || 1392719 markings, 2643207 edges, 6921 markings/sec, 180 secs
lola: sara is running 185 secs || 1429125 markings, 2716231 edges, 7281 markings/sec, 185 secs
lola: sara is running 190 secs || 1465252 markings, 2785538 edges, 7225 markings/sec, 190 secs
lola: sara is running 195 secs || 1502369 markings, 2847511 edges, 7423 markings/sec, 195 secs
lola: sara is running 200 secs || 1539746 markings, 2901567 edges, 7475 markings/sec, 200 secs
lola: sara is running 205 secs || 1576237 markings, 2970463 edges, 7298 markings/sec, 205 secs
lola: sara is running 210 secs || 1612753 markings, 3044034 edges, 7303 markings/sec, 210 secs
lola: sara is running 215 secs || 1648683 markings, 3116939 edges, 7186 markings/sec, 215 secs
lola: sara is running 220 secs || 1687156 markings, 3168011 edges, 7695 markings/sec, 220 secs
lola: sara is running 225 secs || 1724359 markings, 3231666 edges, 7441 markings/sec, 225 secs
lola: sara is running 230 secs || 1761593 markings, 3295714 edges, 7447 markings/sec, 230 secs
lola: sara is running 235 secs || 1797490 markings, 3370023 edges, 7179 markings/sec, 235 secs
lola: sara is running 240 secs || 1833688 markings, 3441129 edges, 7240 markings/sec, 240 secs
lola: sara is running 245 secs || 1871400 markings, 3496469 edges, 7542 markings/sec, 245 secs
lola: sara is running 250 secs || 1908392 markings, 3559463 edges, 7398 markings/sec, 250 secs
lola: sara is running 255 secs || 1945509 markings, 3623445 edges, 7423 markings/sec, 255 secs
lola: sara is running 260 secs || 1981097 markings, 3697211 edges, 7118 markings/sec, 260 secs
lola: sara is running 265 secs || 2017484 markings, 3768684 edges, 7277 markings/sec, 265 secs
lola: sara is running 270 secs || 2056074 markings, 3833544 edges, 7718 markings/sec, 270 secs
lola: sara is running 275 secs || 2096965 markings, 3889298 edges, 8178 markings/sec, 275 secs
lola: sara is running 280 secs || 2135653 markings, 3953714 edges, 7738 markings/sec, 280 secs
lola: sara is running 285 secs || 2174841 markings, 4027296 edges, 7838 markings/sec, 285 secs
lola: sara is running 290 secs || 2211665 markings, 4107150 edges, 7365 markings/sec, 290 secs
lola: sara is running 295 secs || 2250594 markings, 4179307 edges, 7786 markings/sec, 295 secs
lola: sara is running 300 secs || 2285243 markings, 4255301 edges, 6930 markings/sec, 300 secs
lola: sara is running 305 secs || 2322831 markings, 4309160 edges, 7518 markings/sec, 305 secs
lola: sara is running 310 secs || 2360151 markings, 4363089 edges, 7464 markings/sec, 310 secs
lola: sara is running 315 secs || 2396462 markings, 4420190 edges, 7262 markings/sec, 315 secs
lola: sara is running 320 secs || 2434450 markings, 4490716 edges, 7598 markings/sec, 320 secs
lola: sara is running 325 secs || 2470971 markings, 4567918 edges, 7304 markings/sec, 325 secs
lola: sara is running 330 secs || 2509141 markings, 4641305 edges, 7634 markings/sec, 330 secs
lola: sara is running 335 secs || 2545815 markings, 4717897 edges, 7335 markings/sec, 335 secs
lola: sara is running 340 secs || 2585387 markings, 4772403 edges, 7914 markings/sec, 340 secs
lola: sara is running 345 secs || 2626128 markings, 4819399 edges, 8148 markings/sec, 345 secs
lola: sara is running 350 secs || 2665980 markings, 4867646 edges, 7970 markings/sec, 350 secs
lola: sara is running 355 secs || 2705683 markings, 4916944 edges, 7941 markings/sec, 355 secs
lola: sara is running 360 secs || 2742071 markings, 4970383 edges, 7278 markings/sec, 360 secs
lola: sara is running 365 secs || 2780369 markings, 5020679 edges, 7660 markings/sec, 365 secs
lola: sara is running 370 secs || 2821123 markings, 5069716 edges, 8151 markings/sec, 370 secs
lola: sara is running 375 secs || 2859312 markings, 5118145 edges, 7638 markings/sec, 375 secs
lola: sara is running 380 secs || 2897267 markings, 5168126 edges, 7591 markings/sec, 380 secs
lola: sara is running 385 secs || 2933833 markings, 5224639 edges, 7313 markings/sec, 385 secs
lola: sara is running 390 secs || 2971481 markings, 5277379 edges, 7530 markings/sec, 390 secs
lola: sara is running 395 secs || 3010652 markings, 5322530 edges, 7834 markings/sec, 395 secs
lola: sara is running 400 secs || 3049583 markings, 5368573 edges, 7786 markings/sec, 400 secs
lola: sara is running 405 secs || 3087565 markings, 5416111 edges, 7596 markings/sec, 405 secs
lola: sara is running 410 secs || 3125054 markings, 5466899 edges, 7498 markings/sec, 410 secs
lola: sara is running 415 secs || 3161323 markings, 5526569 edges, 7254 markings/sec, 415 secs
lola: sara is running 420 secs || 3195325 markings, 5607065 edges, 6800 markings/sec, 420 secs
lola: sara is running 425 secs || 3225739 markings, 5708225 edges, 6083 markings/sec, 425 secs
lola: sara is running 430 secs || 3254467 markings, 5817333 edges, 5746 markings/sec, 430 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes no no yes unknown unknown no yes unknown unknown unknown no unknown no
lola: memory consumption: 591072 KB
lola: time consumption: 1374 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 439 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p732 + 1 <= p2178) OR (p955 + 1 <= p357))))
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 (((p732 + 1 <= p2178) OR (p955 + 1 <= p357))))
lola: processed formula length: 52
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p732 + 1 <= p2178) OR (p955 + 1 <= p357))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 36 markings, 35 edges
lola: ========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 548 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2031 + 1 <= p1198) AND (p467 <= p1133))))
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 (((p2031 + 1 <= p1198) AND (p467 <= p1133))))
lola: processed formula length: 50
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p2031 + 1 <= p1198) AND (p467 <= p1133))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-12-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: 35 markings, 34 edges
lola: ========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 731 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1011 <= 0) AND (p14 + 1 <= p1194) AND (p1703 <= 2))))
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 (((p1011 <= 0) AND (p14 + 1 <= p1194) AND (p1703 <= 2))))
lola: processed formula length: 62
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p1011 <= 0) AND (p14 + 1 <= p1194) AND (p1703 <= 2))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 39 markings, 38 edges
lola: ========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1097 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p441 <= p1195) OR (p2238 <= p1101) OR (p909 <= p1858) OR (p1199 <= p551)) AND (p426 <= p1950))))
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 ((((p441 <= p1195) OR (p2238 <= p1101) OR (p909 <= p1858) OR (p1199 <= p551)) AND (p426 <= p1950))))
lola: processed formula length: 108
lola: 8 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((p1195 + 1 <= p441) AND (p1101 + 1 <= p2238) AND (p1858 + 1 <= p909) AND (p551 + 1 <= p1199)) OR (p1950 + 1 <= p426))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-14-0.sara.
lola: sara is running 0 secs || 31585 markings, 77343 edges, 6317 markings/sec, 0 secs
lola: sara is running 5 secs || 61477 markings, 155370 edges, 5978 markings/sec, 5 secs
lola: sara is running 10 secs || 90809 markings, 238159 edges, 5866 markings/sec, 10 secs
lola: sara is running 15 secs || 122773 markings, 317909 edges, 6393 markings/sec, 15 secs
lola: sara is running 20 secs || 151945 markings, 407992 edges, 5834 markings/sec, 20 secs
lola: sara is running 25 secs || 179031 markings, 498131 edges, 5417 markings/sec, 25 secs
lola: sara is running 30 secs || 209705 markings, 576929 edges, 6135 markings/sec, 30 secs
lola: sara is running 35 secs || 242925 markings, 651895 edges, 6644 markings/sec, 35 secs
lola: sara is running 40 secs || 271964 markings, 737002 edges, 5808 markings/sec, 40 secs
lola: sara is running 45 secs || 300882 markings, 823641 edges, 5784 markings/sec, 45 secs
lola: sara is running 50 secs || 332215 markings, 903577 edges, 6267 markings/sec, 50 secs
lola: sara is running 55 secs || 364218 markings, 987459 edges, 6401 markings/sec, 55 secs
lola: sara is running 60 secs || 397041 markings, 1073035 edges, 6565 markings/sec, 60 secs
lola: sara is running 65 secs || 429510 markings, 1159983 edges, 6494 markings/sec, 65 secs
lola: sara is running 70 secs || 457452 markings, 1250289 edges, 5588 markings/sec, 70 secs
lola: sara is running 75 secs || 484871 markings, 1349192 edges, 5484 markings/sec, 75 secs
lola: sara is running 80 secs || 511324 markings, 1448883 edges, 5291 markings/sec, 80 secs
lola: sara is running 85 secs || 537835 markings, 1544998 edges, 5302 markings/sec, 85 secs
lola: sara is running 90 secs || 563418 markings, 1640095 edges, 5117 markings/sec, 90 secs
lola: sara is running 95 secs || 589521 markings, 1738486 edges, 5221 markings/sec, 95 secs
lola: sara is running 100 secs || 613875 markings, 1830282 edges, 4871 markings/sec, 100 secs
lola: sara is running 105 secs || 641901 markings, 1923036 edges, 5605 markings/sec, 105 secs
lola: sara is running 110 secs || 670961 markings, 2011167 edges, 5812 markings/sec, 110 secs
lola: sara is running 115 secs || 697892 markings, 2114383 edges, 5386 markings/sec, 115 secs
lola: sara is running 120 secs || 724265 markings, 2216516 edges, 5275 markings/sec, 120 secs
lola: sara is running 125 secs || 751560 markings, 2313030 edges, 5459 markings/sec, 125 secs
lola: sara is running 130 secs || 777389 markings, 2408049 edges, 5166 markings/sec, 130 secs
lola: sara is running 135 secs || 803274 markings, 2508647 edges, 5177 markings/sec, 135 secs
lola: sara is running 140 secs || 828429 markings, 2600074 edges, 5031 markings/sec, 140 secs
lola: sara is running 145 secs || 855109 markings, 2693764 edges, 5336 markings/sec, 145 secs
lola: sara is running 150 secs || 883876 markings, 2784711 edges, 5753 markings/sec, 150 secs
lola: sara is running 155 secs || 910116 markings, 2887941 edges, 5248 markings/sec, 155 secs
lola: sara is running 160 secs || 937127 markings, 2986385 edges, 5402 markings/sec, 160 secs
lola: sara is running 165 secs || 963340 markings, 3080443 edges, 5243 markings/sec, 165 secs
lola: sara is running 170 secs || 988823 markings, 3182285 edges, 5097 markings/sec, 170 secs
lola: sara is running 175 secs || 1015148 markings, 3275437 edges, 5265 markings/sec, 175 secs
lola: sara is running 180 secs || 1039860 markings, 3369652 edges, 4942 markings/sec, 180 secs
lola: sara is running 185 secs || 1068736 markings, 3459996 edges, 5775 markings/sec, 185 secs
lola: sara is running 190 secs || 1095470 markings, 3561668 edges, 5347 markings/sec, 190 secs
lola: sara is running 195 secs || 1122637 markings, 3659730 edges, 5433 markings/sec, 195 secs
lola: sara is running 200 secs || 1148724 markings, 3756340 edges, 5217 markings/sec, 200 secs
lola: sara is running 205 secs || 1174540 markings, 3855674 edges, 5163 markings/sec, 205 secs
lola: sara is running 210 secs || 1201263 markings, 3952933 edges, 5345 markings/sec, 210 secs
lola: sara is running 215 secs || 1224892 markings, 4044779 edges, 4726 markings/sec, 215 secs
lola: sara is running 220 secs || 1255746 markings, 4133920 edges, 6171 markings/sec, 220 secs
lola: sara is running 225 secs || 1287709 markings, 4219569 edges, 6393 markings/sec, 225 secs
lola: sara is running 230 secs || 1316248 markings, 4313450 edges, 5708 markings/sec, 230 secs
lola: sara is running 235 secs || 1344303 markings, 4409250 edges, 5611 markings/sec, 235 secs
lola: sara is running 240 secs || 1370476 markings, 4511722 edges, 5235 markings/sec, 240 secs
lola: sara is running 245 secs || 1398765 markings, 4611998 edges, 5658 markings/sec, 245 secs
lola: sara is running 250 secs || 1425671 markings, 4711297 edges, 5381 markings/sec, 250 secs
lola: sara is running 255 secs || 1452731 markings, 4814621 edges, 5412 markings/sec, 255 secs
lola: sara is running 260 secs || 1477915 markings, 4908444 edges, 5037 markings/sec, 260 secs
lola: sara is running 265 secs || 1507557 markings, 4998802 edges, 5928 markings/sec, 265 secs
lola: sara is running 270 secs || 1534572 markings, 5095864 edges, 5403 markings/sec, 270 secs
lola: sara is running 275 secs || 1562042 markings, 5197437 edges, 5494 markings/sec, 275 secs
lola: sara is running 280 secs || 1591953 markings, 5288347 edges, 5982 markings/sec, 280 secs
lola: sara is running 285 secs || 1621765 markings, 5380727 edges, 5962 markings/sec, 285 secs
lola: sara is running 290 secs || 1651646 markings, 5474970 edges, 5976 markings/sec, 290 secs
lola: sara is running 295 secs || 1681630 markings, 5569706 edges, 5997 markings/sec, 295 secs
lola: sara is running 300 secs || 1708391 markings, 5667956 edges, 5352 markings/sec, 300 secs
lola: sara is running 305 secs || 1734439 markings, 5768764 edges, 5210 markings/sec, 305 secs
lola: sara is running 310 secs || 1760431 markings, 5870291 edges, 5198 markings/sec, 310 secs
lola: sara is running 315 secs || 1787745 markings, 5975039 edges, 5463 markings/sec, 315 secs
lola: sara is running 320 secs || 1812883 markings, 6073862 edges, 5028 markings/sec, 320 secs
lola: sara is running 325 secs || 1838637 markings, 6171658 edges, 5151 markings/sec, 325 secs
lola: sara is running 330 secs || 1863658 markings, 6270949 edges, 5004 markings/sec, 330 secs
lola: sara is running 335 secs || 1889343 markings, 6366856 edges, 5137 markings/sec, 335 secs
lola: sara is running 340 secs || 1918850 markings, 6448347 edges, 5901 markings/sec, 340 secs
lola: sara is running 345 secs || 1948019 markings, 6532958 edges, 5834 markings/sec, 345 secs
lola: sara is running 350 secs || 1973288 markings, 6629184 edges, 5054 markings/sec, 350 secs
lola: sara is running 355 secs || 1998675 markings, 6722486 edges, 5077 markings/sec, 355 secs
lola: sara is running 360 secs || 2023534 markings, 6830405 edges, 4972 markings/sec, 360 secs
lola: sara is running 365 secs || 2047750 markings, 6935879 edges, 4843 markings/sec, 365 secs
lola: sara is running 370 secs || 2070637 markings, 7047309 edges, 4577 markings/sec, 370 secs
lola: sara is running 375 secs || 2093839 markings, 7158143 edges, 4640 markings/sec, 375 secs
lola: sara is running 380 secs || 2121049 markings, 7253104 edges, 5442 markings/sec, 380 secs
lola: sara is running 385 secs || 2148125 markings, 7345115 edges, 5415 markings/sec, 385 secs
lola: sara is running 390 secs || 2176359 markings, 7438715 edges, 5647 markings/sec, 390 secs
lola: sara is running 395 secs || 2204160 markings, 7534345 edges, 5560 markings/sec, 395 secs
lola: sara is running 400 secs || 2230233 markings, 7633793 edges, 5215 markings/sec, 400 secs
lola: sara is running 405 secs || 2257590 markings, 7740112 edges, 5471 markings/sec, 405 secs
lola: sara is running 410 secs || 2285755 markings, 7845952 edges, 5633 markings/sec, 410 secs
lola: sara is running 415 secs || 2313516 markings, 7953946 edges, 5552 markings/sec, 415 secs
lola: sara is running 420 secs || 2339360 markings, 8058784 edges, 5169 markings/sec, 420 secs
lola: sara is running 425 secs || 2365948 markings, 8160955 edges, 5318 markings/sec, 425 secs
lola: sara is running 430 secs || 2392438 markings, 8263091 edges, 5298 markings/sec, 430 secs
lola: sara is running 435 secs || 2419218 markings, 8364434 edges, 5356 markings/sec, 435 secs
lola: sara is running 440 secs || 2445974 markings, 8467206 edges, 5351 markings/sec, 440 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 445 secs || 2471455 markings, 8572194 edges, 5096 markings/sec, 445 secs
lola: sara is running 450 secs || 2501330 markings, 8657424 edges, 5975 markings/sec, 450 secs
lola: sara is running 455 secs || 2531646 markings, 8742354 edges, 6063 markings/sec, 455 secs
lola: sara is running 460 secs || 2560504 markings, 8829621 edges, 5772 markings/sec, 460 secs
lola: sara is running 465 secs || 2587006 markings, 8919420 edges, 5300 markings/sec, 465 secs
lola: sara is running 470 secs || 2614662 markings, 8997779 edges, 5531 markings/sec, 470 secs
lola: sara is running 475 secs || 2639802 markings, 9089341 edges, 5028 markings/sec, 475 secs
lola: sara is running 480 secs || 2668775 markings, 9186821 edges, 5795 markings/sec, 480 secs
lola: sara is running 485 secs || 2694383 markings, 9300870 edges, 5122 markings/sec, 485 secs
lola: sara is running 490 secs || 2723229 markings, 9401122 edges, 5769 markings/sec, 490 secs
lola: sara is running 495 secs || 2747400 markings, 9509674 edges, 4834 markings/sec, 495 secs
lola: sara is running 500 secs || 2775284 markings, 9606789 edges, 5577 markings/sec, 500 secs
lola: sara is running 505 secs || 2801237 markings, 9718290 edges, 5191 markings/sec, 505 secs
lola: sara is running 510 secs || 2828075 markings, 9816625 edges, 5368 markings/sec, 510 secs
lola: sara is running 515 secs || 2853642 markings, 9922241 edges, 5113 markings/sec, 515 secs
lola: sara is running 520 secs || 2880150 markings, 10029178 edges, 5302 markings/sec, 520 secs
lola: sara is running 525 secs || 2908035 markings, 10131822 edges, 5577 markings/sec, 525 secs
lola: sara is running 530 secs || 2933380 markings, 10245750 edges, 5069 markings/sec, 530 secs
lola: sara is running 535 secs || 2965886 markings, 10327833 edges, 6501 markings/sec, 535 secs
lola: sara is running 540 secs || 2995526 markings, 10421738 edges, 5928 markings/sec, 540 secs
lola: sara is running 545 secs || 3025786 markings, 10514828 edges, 6052 markings/sec, 545 secs
lola: sara is running 550 secs || 3052048 markings, 10612299 edges, 5252 markings/sec, 550 secs
lola: sara is running 555 secs || 3077422 markings, 10705980 edges, 5075 markings/sec, 555 secs
lola: sara is running 560 secs || 3103145 markings, 10799438 edges, 5145 markings/sec, 560 secs
lola: sara is running 565 secs || 3126191 markings, 10906874 edges, 4609 markings/sec, 565 secs
lola: sara is running 570 secs || 3150878 markings, 11007152 edges, 4937 markings/sec, 570 secs
lola: sara is running 575 secs || 3176217 markings, 11098571 edges, 5068 markings/sec, 575 secs
lola: sara is running 580 secs || 3205537 markings, 11182823 edges, 5864 markings/sec, 580 secs
lola: sara is running 585 secs || 3230132 markings, 11307102 edges, 4919 markings/sec, 585 secs
lola: sara is running 590 secs || 3255779 markings, 11406564 edges, 5129 markings/sec, 590 secs
lola: sara is running 595 secs || 3281961 markings, 11498980 edges, 5236 markings/sec, 595 secs
lola: sara is running 600 secs || 3308027 markings, 11591019 edges, 5213 markings/sec, 600 secs
lola: sara is running 605 secs || 3340311 markings, 11670476 edges, 6457 markings/sec, 605 secs
lola: sara is running 610 secs || 3369559 markings, 11762606 edges, 5850 markings/sec, 610 secs
lola: sara is running 615 secs || 3398681 markings, 11860100 edges, 5824 markings/sec, 615 secs
lola: sara is running 620 secs || 3429744 markings, 11952128 edges, 6213 markings/sec, 620 secs
lola: sara is running 625 secs || 3458584 markings, 12053784 edges, 5768 markings/sec, 625 secs
lola: sara is running 630 secs || 3484923 markings, 12153993 edges, 5268 markings/sec, 630 secs
lola: sara is running 635 secs || 3512351 markings, 12251911 edges, 5486 markings/sec, 635 secs
lola: sara is running 640 secs || 3538225 markings, 12354231 edges, 5175 markings/sec, 640 secs
lola: sara is running 645 secs || 3566427 markings, 12456468 edges, 5640 markings/sec, 645 secs
lola: sara is running 650 secs || 3593104 markings, 12564080 edges, 5335 markings/sec, 650 secs
lola: sara is running 655 secs || 3621345 markings, 12665718 edges, 5648 markings/sec, 655 secs
lola: sara is running 660 secs || 3648403 markings, 12772549 edges, 5412 markings/sec, 660 secs
lola: sara is running 665 secs || 3677809 markings, 12871131 edges, 5881 markings/sec, 665 secs
lola: sara is running 670 secs || 3707662 markings, 12970236 edges, 5971 markings/sec, 670 secs
lola: sara is running 675 secs || 3734870 markings, 13077658 edges, 5442 markings/sec, 675 secs
lola: sara is running 680 secs || 3764321 markings, 13179745 edges, 5890 markings/sec, 680 secs
lola: sara is running 685 secs || 3791868 markings, 13282228 edges, 5509 markings/sec, 685 secs
lola: sara is running 690 secs || 3818604 markings, 13385547 edges, 5347 markings/sec, 690 secs
lola: sara is running 695 secs || 3846308 markings, 13485094 edges, 5541 markings/sec, 695 secs
lola: sara is running 700 secs || 3871667 markings, 13595821 edges, 5072 markings/sec, 700 secs
lola: sara is running 705 secs || 3898559 markings, 13697142 edges, 5378 markings/sec, 705 secs
lola: sara is running 710 secs || 3925669 markings, 13800665 edges, 5422 markings/sec, 710 secs
lola: sara is running 715 secs || 3950572 markings, 13912266 edges, 4981 markings/sec, 715 secs
lola: sara is running 720 secs || 3978959 markings, 14009487 edges, 5677 markings/sec, 720 secs
lola: sara is running 725 secs || 4003929 markings, 14120369 edges, 4994 markings/sec, 725 secs
lola: sara is running 730 secs || 4031829 markings, 14220160 edges, 5580 markings/sec, 730 secs
lola: sara is running 735 secs || 4060589 markings, 14317675 edges, 5752 markings/sec, 735 secs
lola: sara is running 740 secs || 4088851 markings, 14412564 edges, 5652 markings/sec, 740 secs
lola: sara is running 745 secs || 4120504 markings, 14493216 edges, 6331 markings/sec, 745 secs
lola: sara is running 750 secs || 4142875 markings, 14606429 edges, 4474 markings/sec, 750 secs
lola: sara is running 755 secs || 4167853 markings, 14695010 edges, 4996 markings/sec, 755 secs
lola: sara is running 760 secs || 4192873 markings, 14783229 edges, 5004 markings/sec, 760 secs
lola: sara is running 765 secs || 4217825 markings, 14871494 edges, 4990 markings/sec, 765 secs
lola: sara is running 770 secs || 4242769 markings, 14959510 edges, 4989 markings/sec, 770 secs
lola: sara is running 775 secs || 4269427 markings, 15046888 edges, 5332 markings/sec, 775 secs
lola: sara is running 780 secs || 4297522 markings, 15139444 edges, 5619 markings/sec, 780 secs
lola: sara is running 785 secs || 4320947 markings, 15236194 edges, 4685 markings/sec, 785 secs
lola: sara is running 790 secs || 4347011 markings, 15319740 edges, 5213 markings/sec, 790 secs
lola: sara is running 795 secs || 4375796 markings, 15404990 edges, 5757 markings/sec, 795 secs
lola: sara is running 800 secs || 4402355 markings, 15493732 edges, 5312 markings/sec, 800 secs
lola: sara is running 805 secs || 4429033 markings, 15582915 edges, 5336 markings/sec, 805 secs
lola: sara is running 810 secs || 4455581 markings, 15671058 edges, 5310 markings/sec, 810 secs
lola: sara is running 815 secs || 4481828 markings, 15759657 edges, 5249 markings/sec, 815 secs
lola: sara is running 820 secs || 4507523 markings, 15847706 edges, 5139 markings/sec, 820 secs
lola: sara is running 825 secs || 4535977 markings, 15927090 edges, 5691 markings/sec, 825 secs
lola: sara is running 830 secs || 4562351 markings, 16013832 edges, 5275 markings/sec, 830 secs
lola: sara is running 835 secs || 4586660 markings, 16099424 edges, 4862 markings/sec, 835 secs
lola: sara is running 840 secs || 4610657 markings, 16185290 edges, 4799 markings/sec, 840 secs
lola: sara is running 845 secs || 4634684 markings, 16271437 edges, 4805 markings/sec, 845 secs
lola: sara is running 850 secs || 4661929 markings, 16368301 edges, 5449 markings/sec, 850 secs
lola: sara is running 855 secs || 4684335 markings, 16467565 edges, 4481 markings/sec, 855 secs
lola: sara is running 860 secs || 4708161 markings, 16555140 edges, 4765 markings/sec, 860 secs
lola: sara is running 865 secs || 4735785 markings, 16643484 edges, 5525 markings/sec, 865 secs
lola: sara is running 870 secs || 4760893 markings, 16741326 edges, 5022 markings/sec, 870 secs
lola: sara is running 875 secs || 4786430 markings, 16835515 edges, 5107 markings/sec, 875 secs
lola: sara is running 880 secs || 4811322 markings, 16932477 edges, 4978 markings/sec, 880 secs
lola: sara is running 885 secs || 4837244 markings, 17026445 edges, 5184 markings/sec, 885 secs
lola: sara is running 890 secs || 4860970 markings, 17116932 edges, 4745 markings/sec, 890 secs
lola: sara is running 895 secs || 4885021 markings, 17201415 edges, 4810 markings/sec, 895 secs
lola: sara is running 900 secs || 4908941 markings, 17285729 edges, 4784 markings/sec, 900 secs
lola: sara is running 905 secs || 4934423 markings, 17375858 edges, 5096 markings/sec, 905 secs
lola: sara is running 910 secs || 4958999 markings, 17472931 edges, 4915 markings/sec, 910 secs
lola: sara is running 915 secs || 4981691 markings, 17566458 edges, 4538 markings/sec, 915 secs
lola: sara is running 920 secs || 5006611 markings, 17651224 edges, 4984 markings/sec, 920 secs
lola: sara is running 925 secs || 5033063 markings, 17744279 edges, 5290 markings/sec, 925 secs
lola: sara is running 930 secs || 5058056 markings, 17839949 edges, 4999 markings/sec, 930 secs
lola: sara is running 935 secs || 5083458 markings, 17932778 edges, 5080 markings/sec, 935 secs
lola: sara is running 940 secs || 5107477 markings, 18029930 edges, 4804 markings/sec, 940 secs
lola: sara is running 945 secs || 5132789 markings, 18123278 edges, 5062 markings/sec, 945 secs
lola: sara is running 950 secs || 5156328 markings, 18207574 edges, 4708 markings/sec, 950 secs
lola: sara is running 955 secs || 5180022 markings, 18291310 edges, 4739 markings/sec, 955 secs
lola: sara is running 960 secs || 5203637 markings, 18375076 edges, 4723 markings/sec, 960 secs
lola: sara is running 965 secs || 5227432 markings, 18458211 edges, 4759 markings/sec, 965 secs
lola: sara is running 970 secs || 5251115 markings, 18541340 edges, 4737 markings/sec, 970 secs
lola: sara is running 975 secs || 5280380 markings, 18624117 edges, 5853 markings/sec, 975 secs
lola: sara is running 980 secs || 5312239 markings, 18708997 edges, 6372 markings/sec, 980 secs
lola: sara is running 985 secs || 5344862 markings, 18795494 edges, 6525 markings/sec, 985 secs
lola: sara is running 990 secs || 5375070 markings, 18886891 edges, 6042 markings/sec, 990 secs
lola: sara is running 995 secs || 5410023 markings, 18965806 edges, 6991 markings/sec, 995 secs
lola: sara is running 1000 secs || 5440643 markings, 19054977 edges, 6124 markings/sec, 1000 secs
lola: sara is running 1005 secs || 5474778 markings, 19141827 edges, 6827 markings/sec, 1005 secs
lola: sara is running 1010 secs || 5509243 markings, 19233241 edges, 6893 markings/sec, 1010 secs
lola: sara is running 1015 secs || 5542414 markings, 19329985 edges, 6634 markings/sec, 1015 secs
lola: sara is running 1020 secs || 5573616 markings, 19427180 edges, 6240 markings/sec, 1020 secs
lola: sara is running 1025 secs || 5605221 markings, 19517505 edges, 6321 markings/sec, 1025 secs
lola: sara is running 1030 secs || 5635468 markings, 19617392 edges, 6049 markings/sec, 1030 secs
lola: sara is running 1035 secs || 5667491 markings, 19704361 edges, 6405 markings/sec, 1035 secs
lola: sara is running 1040 secs || 5698518 markings, 19800657 edges, 6205 markings/sec, 1040 secs
lola: sara is running 1045 secs || 5726141 markings, 19905652 edges, 5525 markings/sec, 1045 secs
lola: sara is running 1050 secs || 5755453 markings, 20010974 edges, 5862 markings/sec, 1050 secs
lola: sara is running 1055 secs || 5781352 markings, 20131104 edges, 5180 markings/sec, 1055 secs
lola: sara is running 1060 secs || 5806166 markings, 20251423 edges, 4963 markings/sec, 1060 secs
lola: sara is running 1065 secs || 5834470 markings, 20358776 edges, 5661 markings/sec, 1065 secs
lola: sara is running 1070 secs || 5863206 markings, 20462525 edges, 5747 markings/sec, 1070 secs
lola: sara is running 1075 secs || 5894535 markings, 20550077 edges, 6266 markings/sec, 1075 secs
lola: sara is running 1080 secs || 5921733 markings, 20659116 edges, 5440 markings/sec, 1080 secs
lola: sara is running 1085 secs || 5950643 markings, 20763315 edges, 5782 markings/sec, 1085 secs
lola: sara is running 1090 secs || 5977698 markings, 20873382 edges, 5411 markings/sec, 1090 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes no no yes unknown unknown no yes unknown unknown unknown no yes no
lola: memory consumption: 487552 KB
lola: time consumption: 2471 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1098 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1692 <= p711) AND (p2066 <= p2017) AND (1 <= p982) AND (((p2001 <= p169) AND (p2216 <= p1455)) OR ((1 <= p1926) AND (1 <= p1912))))))
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 (((p1692 <= p711) AND (p2066 <= p2017) AND (1 <= p982) AND (((p2001 <= p169) AND (p2216 <= p1455)) OR ((1 <= p1926) AND (1 <= p1912))))))
lola: processed formula length: 143
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p1692 <= p711) AND (p2066 <= p2017) AND (1 <= p982) AND (((p2001 <= p169) AND (p2216 <= p1455)) OR ((1 <= p1926) AND (1 <= p1912))))
lola: state equation: Generated DNF with 10 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-15-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 18 markings, 17 edges
lola: ========================================
FORMULA CloudDeployment-PT-7b-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p649) AND (1 <= p1157))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= p649) AND (1 <= p1157))))
lola: processed formula length: 38
lola: 7 rewrites
lola: closed formula file CloudDeployment-PT-7b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p649) AND (1 <= p1157))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-7b-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-7b-ReachabilityCardinality-16-0.sara.
lola: sara is running 0 secs || 68574 markings, 75672 edges, 13715 markings/sec, 0 secs
lola: sara is running 5 secs || 138952 markings, 159792 edges, 14076 markings/sec, 5 secs
lola: sara is running 10 secs || 208564 markings, 252202 edges, 13922 markings/sec, 10 secs
lola: sara is running 15 secs || 275603 markings, 332380 edges, 13408 markings/sec, 15 secs
lola: sara is running 20 secs || 339613 markings, 419597 edges, 12802 markings/sec, 20 secs
lola: sara is running 25 secs || 406468 markings, 500993 edges, 13371 markings/sec, 25 secs
lola: sara is running 30 secs || 476160 markings, 594924 edges, 13938 markings/sec, 30 secs
lola: sara is running 35 secs || 541446 markings, 673291 edges, 13057 markings/sec, 35 secs
lola: sara is running 40 secs || 606494 markings, 763264 edges, 13010 markings/sec, 40 secs
lola: sara is running 45 secs || 672068 markings, 843403 edges, 13115 markings/sec, 45 secs
lola: sara is running 50 secs || 742265 markings, 935774 edges, 14039 markings/sec, 50 secs
lola: sara is running 55 secs || 809128 markings, 1017623 edges, 13373 markings/sec, 55 secs
lola: sara is running 60 secs || 879235 markings, 1110969 edges, 14021 markings/sec, 60 secs
lola: sara is running 65 secs || 944440 markings, 1188784 edges, 13041 markings/sec, 65 secs
lola: sara is running 70 secs || 1009664 markings, 1277711 edges, 13045 markings/sec, 70 secs
lola: sara is running 75 secs || 1073973 markings, 1355595 edges, 12862 markings/sec, 75 secs
lola: sara is running 80 secs || 1144550 markings, 1449115 edges, 14115 markings/sec, 80 secs
lola: sara is running 85 secs || 1208358 markings, 1527782 edges, 12762 markings/sec, 85 secs
lola: sara is running 90 secs || 1276339 markings, 1620051 edges, 13596 markings/sec, 90 secs
lola: sara is running 95 secs || 1341395 markings, 1700905 edges, 13011 markings/sec, 95 secs
lola: sara is running 100 secs || 1411126 markings, 1790174 edges, 13946 markings/sec, 100 secs
lola: sara is running 105 secs || 1478946 markings, 1875520 edges, 13564 markings/sec, 105 secs
lola: sara is running 110 secs || 1549667 markings, 1967890 edges, 14144 markings/sec, 110 secs
lola: sara is running 115 secs || 1613539 markings, 2046274 edges, 12774 markings/sec, 115 secs
lola: sara is running 120 secs || 1679484 markings, 2134659 edges, 13189 markings/sec, 120 secs
lola: sara is running 125 secs || 1742170 markings, 2212183 edges, 12537 markings/sec, 125 secs
lola: sara is running 130 secs || 1812607 markings, 2302208 edges, 14087 markings/sec, 130 secs
lola: sara is running 135 secs || 1876235 markings, 2383725 edges, 12726 markings/sec, 135 secs
lola: sara is running 140 secs || 1943296 markings, 2474238 edges, 13412 markings/sec, 140 secs
lola: sara is running 145 secs || 2004949 markings, 2551998 edges, 12331 markings/sec, 145 secs
lola: sara is running 150 secs || 2073020 markings, 2638531 edges, 13614 markings/sec, 150 secs
lola: sara is running 155 secs || 2140137 markings, 2724352 edges, 13423 markings/sec, 155 secs
lola: sara is running 160 secs || 2209766 markings, 2811282 edges, 13926 markings/sec, 160 secs
lola: sara is running 165 secs || 2274216 markings, 2893899 edges, 12890 markings/sec, 165 secs
lola: sara is running 170 secs || 2341954 markings, 2982279 edges, 13548 markings/sec, 170 secs
lola: sara is running 175 secs || 2402970 markings, 3060490 edges, 12203 markings/sec, 175 secs
lola: sara is running 180 secs || 2470827 markings, 3145740 edges, 13571 markings/sec, 180 secs
lola: sara is running 185 secs || 2536376 markings, 3232102 edges, 13110 markings/sec, 185 secs
lola: sara is running 190 secs || 2603052 markings, 3317508 edges, 13335 markings/sec, 190 secs
lola: sara is running 195 secs || 2665184 markings, 3398097 edges, 12426 markings/sec, 195 secs
lola: sara is running 200 secs || 2732057 markings, 3483781 edges, 13375 markings/sec, 200 secs
lola: sara is running 205 secs || 2798928 markings, 3571069 edges, 13374 markings/sec, 205 secs
lola: sara is running 210 secs || 2866377 markings, 3654474 edges, 13490 markings/sec, 210 secs
lola: sara is running 215 secs || 2932579 markings, 3740675 edges, 13240 markings/sec, 215 secs
lola: sara is running 220 secs || 2998863 markings, 3821560 edges, 13257 markings/sec, 220 secs
lola: sara is running 225 secs || 3061221 markings, 3904785 edges, 12472 markings/sec, 225 secs
lola: sara is running 230 secs || 3126945 markings, 3984806 edges, 13145 markings/sec, 230 secs
lola: sara is running 235 secs || 3194457 markings, 4075895 edges, 13502 markings/sec, 235 secs
lola: sara is running 240 secs || 3254947 markings, 4148114 edges, 12098 markings/sec, 240 secs
lola: sara is running 245 secs || 3313876 markings, 4229269 edges, 11786 markings/sec, 245 secs
lola: sara is running 250 secs || 3370926 markings, 4300689 edges, 11410 markings/sec, 250 secs
lola: sara is running 255 secs || 3433625 markings, 4380699 edges, 12540 markings/sec, 255 secs
lola: sara is running 260 secs || 3494931 markings, 4460130 edges, 12261 markings/sec, 260 secs
lola: sara is running 265 secs || 3558132 markings, 4538573 edges, 12640 markings/sec, 265 secs
lola: sara is running 270 secs || 3618201 markings, 4618033 edges, 12014 markings/sec, 270 secs
lola: sara is running 275 secs || 3684647 markings, 4701004 edges, 13289 markings/sec, 275 secs
lola: sara is running 280 secs || 3746181 markings, 4781663 edges, 12307 markings/sec, 280 secs
lola: sara is running 285 secs || 3812129 markings, 4864368 edges, 13190 markings/sec, 285 secs
lola: sara is running 290 secs || 3878636 markings, 4952159 edges, 13301 markings/sec, 290 secs
lola: sara is running 295 secs || 3943461 markings, 5030021 edges, 12965 markings/sec, 295 secs
lola: sara is running 300 secs || 4006405 markings, 5117071 edges, 12589 markings/sec, 300 secs
lola: sara is running 305 secs || 4070538 markings, 5195412 edges, 12827 markings/sec, 305 secs
lola: sara is running 310 secs || 4138419 markings, 5284799 edges, 13576 markings/sec, 310 secs
lola: sara is running 315 secs || 4203386 markings, 5364613 edges, 12993 markings/sec, 315 secs
lola: sara is running 320 secs || 4271620 markings, 5454071 edges, 13647 markings/sec, 320 secs
lola: sara is running 325 secs || 4334706 markings, 5530813 edges, 12617 markings/sec, 325 secs
lola: sara is running 330 secs || 4399082 markings, 5618067 edges, 12875 markings/sec, 330 secs
lola: sara is running 335 secs || 4461664 markings, 5695083 edges, 12516 markings/sec, 335 secs
lola: sara is running 340 secs || 4529294 markings, 5781766 edges, 13526 markings/sec, 340 secs
lola: sara is running 345 secs || 4593691 markings, 5863691 edges, 12879 markings/sec, 345 secs
lola: sara is running 350 secs || 4662978 markings, 5954257 edges, 13857 markings/sec, 350 secs
lola: sara is running 355 secs || 4730430 markings, 6042389 edges, 13490 markings/sec, 355 secs
lola: sara is running 360 secs || 4797229 markings, 6125050 edges, 13360 markings/sec, 360 secs
lola: sara is running 365 secs || 4862619 markings, 6210299 edges, 13078 markings/sec, 365 secs
lola: sara is running 370 secs || 4926374 markings, 6293390 edges, 12751 markings/sec, 370 secs
lola: sara is running 375 secs || 4989400 markings, 6377847 edges, 12605 markings/sec, 375 secs
lola: sara is running 380 secs || 5056008 markings, 6462671 edges, 13322 markings/sec, 380 secs
lola: sara is running 385 secs || 5122465 markings, 6549638 edges, 13291 markings/sec, 385 secs
lola: sara is running 390 secs || 5189574 markings, 6638846 edges, 13422 markings/sec, 390 secs
lola: sara is running 395 secs || 5249788 markings, 6712336 edges, 12043 markings/sec, 395 secs
lola: sara is running 400 secs || 5312840 markings, 6787217 edges, 12610 markings/sec, 400 secs
lola: sara is running 405 secs || 5377785 markings, 6869166 edges, 12989 markings/sec, 405 secs
lola: sara is running 410 secs || 5441337 markings, 6951510 edges, 12710 markings/sec, 410 secs
lola: sara is running 415 secs || 5504681 markings, 7033114 edges, 12669 markings/sec, 415 secs
lola: sara is running 420 secs || 5567439 markings, 7114376 edges, 12552 markings/sec, 420 secs
lola: sara is running 425 secs || 5629756 markings, 7194559 edges, 12463 markings/sec, 425 secs
lola: sara is running 430 secs || 5691545 markings, 7273902 edges, 12358 markings/sec, 430 secs
lola: sara is running 435 secs || 5753124 markings, 7352977 edges, 12316 markings/sec, 435 secs
lola: sara is running 440 secs || 5815763 markings, 7434137 edges, 12528 markings/sec, 440 secs
lola: sara is running 445 secs || 5878583 markings, 7515887 edges, 12564 markings/sec, 445 secs
lola: sara is running 450 secs || 5941103 markings, 7595848 edges, 12504 markings/sec, 450 secs
lola: sara is running 455 secs || 6002864 markings, 7675194 edges, 12352 markings/sec, 455 secs
lola: sara is running 460 secs || 6064135 markings, 7753531 edges, 12254 markings/sec, 460 secs
lola: sara is running 465 secs || 6126207 markings, 7833865 edges, 12414 markings/sec, 465 secs
lola: sara is running 470 secs || 6188006 markings, 7913897 edges, 12360 markings/sec, 470 secs
lola: sara is running 475 secs || 6248393 markings, 7991016 edges, 12077 markings/sec, 475 secs
lola: sara is running 480 secs || 6310010 markings, 8071536 edges, 12323 markings/sec, 480 secs
lola: sara is running 485 secs || 6371328 markings, 8150344 edges, 12264 markings/sec, 485 secs
lola: sara is running 490 secs || 6431334 markings, 8227578 edges, 12001 markings/sec, 490 secs
lola: sara is running 495 secs || 6490550 markings, 8304423 edges, 11843 markings/sec, 495 secs
lola: sara is running 500 secs || 6549738 markings, 8380569 edges, 11838 markings/sec, 500 secs
lola: sara is running 505 secs || 6608244 markings, 8455122 edges, 11701 markings/sec, 505 secs
lola: sara is running 510 secs || 6666508 markings, 8529856 edges, 11653 markings/sec, 510 secs
lola: sara is running 515 secs || 6723515 markings, 8602751 edges, 11401 markings/sec, 515 secs
lola: sara is running 520 secs || 6785094 markings, 8680786 edges, 12316 markings/sec, 520 secs
lola: sara is running 525 secs || 6845866 markings, 8764748 edges, 12154 markings/sec, 525 secs
lola: sara is running 530 secs || 6909799 markings, 8847501 edges, 12787 markings/sec, 530 secs
lola: sara is running 535 secs || 6969422 markings, 8925459 edges, 11925 markings/sec, 535 secs
lola: sara is running 540 secs || 7034592 markings, 9008036 edges, 13034 markings/sec, 540 secs
lola: sara is running 545 secs || 7098452 markings, 9091850 edges, 12772 markings/sec, 545 secs
lola: sara is running 550 secs || 7160959 markings, 9167789 edges, 12501 markings/sec, 550 secs
lola: sara is running 555 secs || 7220604 markings, 9249476 edges, 11929 markings/sec, 555 secs
lola: sara is running 560 secs || 7285044 markings, 9330009 edges, 12888 markings/sec, 560 secs
lola: sara is running 565 secs || 7350059 markings, 9415335 edges, 13003 markings/sec, 565 secs
lola: sara is running 570 secs || 7411367 markings, 9489743 edges, 12262 markings/sec, 570 secs
lola: sara is running 575 secs || 7472252 markings, 9573211 edges, 12177 markings/sec, 575 secs
lola: sara is running 580 secs || 7535331 markings, 9650007 edges, 12616 markings/sec, 580 secs
lola: sara is running 585 secs || 7601066 markings, 9738270 edges, 13147 markings/sec, 585 secs
lola: sara is running 590 secs || 7661234 markings, 9811456 edges, 12034 markings/sec, 590 secs
lola: sara is running 595 secs || 7722664 markings, 9894576 edges, 12286 markings/sec, 595 secs
lola: sara is running 600 secs || 7784618 markings, 9970472 edges, 12391 markings/sec, 600 secs
lola: sara is running 605 secs || 7851447 markings, 10058577 edges, 13366 markings/sec, 605 secs
lola: sara is running 610 secs || 7910998 markings, 10133402 edges, 11910 markings/sec, 610 secs
lola: sara is running 615 secs || 7975776 markings, 10220079 edges, 12956 markings/sec, 615 secs
lola: sara is running 620 secs || 8038366 markings, 10297146 edges, 12518 markings/sec, 620 secs
lola: sara is running 625 secs || 8106766 markings, 10387145 edges, 13680 markings/sec, 625 secs
lola: sara is running 630 secs || 8167977 markings, 10464097 edges, 12242 markings/sec, 630 secs
lola: sara is running 635 secs || 8232652 markings, 10550627 edges, 12935 markings/sec, 635 secs
lola: sara is running 640 secs || 8295167 markings, 10627458 edges, 12503 markings/sec, 640 secs
lola: sara is running 645 secs || 8363741 markings, 10717693 edges, 13715 markings/sec, 645 secs
lola: sara is running 650 secs || 8424814 markings, 10794581 edges, 12215 markings/sec, 650 secs
lola: sara is running 655 secs || 8489850 markings, 10881459 edges, 13007 markings/sec, 655 secs
lola: sara is running 660 secs || 8552192 markings, 10958197 edges, 12468 markings/sec, 660 secs
lola: sara is running 665 secs || 8620786 markings, 11048458 edges, 13719 markings/sec, 665 secs
lola: sara is running 670 secs || 8681602 markings, 11125102 edges, 12163 markings/sec, 670 secs
lola: sara is running 675 secs || 8746715 markings, 11211993 edges, 13023 markings/sec, 675 secs
lola: sara is running 680 secs || 8808899 markings, 11288304 edges, 12437 markings/sec, 680 secs
lola: sara is running 685 secs || 8877987 markings, 11378847 edges, 13818 markings/sec, 685 secs
lola: sara is running 690 secs || 8939265 markings, 11456420 edges, 12256 markings/sec, 690 secs
lola: sara is running 695 secs || 9004657 markings, 11543508 edges, 13078 markings/sec, 695 secs
lola: sara is running 700 secs || 9066865 markings, 11620195 edges, 12442 markings/sec, 700 secs
lola: sara is running 705 secs || 9135806 markings, 11710736 edges, 13788 markings/sec, 705 secs
lola: sara is running 710 secs || 9196613 markings, 11787568 edges, 12161 markings/sec, 710 secs
lola: sara is running 715 secs || 9261904 markings, 11874528 edges, 13058 markings/sec, 715 secs
lola: sara is running 720 secs || 9323484 markings, 11950411 edges, 12316 markings/sec, 720 secs
lola: sara is running 725 secs || 9391291 markings, 12038806 edges, 13561 markings/sec, 725 secs
lola: sara is running 730 secs || 9450531 markings, 12114292 edges, 11848 markings/sec, 730 secs
lola: sara is running 735 secs || 9514450 markings, 12199358 edges, 12784 markings/sec, 735 secs
lola: sara is running 740 secs || 9573049 markings, 12272379 edges, 11720 markings/sec, 740 secs
lola: sara is running 745 secs || 9635319 markings, 12351495 edges, 12454 markings/sec, 745 secs
lola: sara is running 750 secs || 9697014 markings, 12432589 edges, 12339 markings/sec, 750 secs
lola: sara is running 755 secs || 9762115 markings, 12517177 edges, 13020 markings/sec, 755 secs
lola: sara is running 760 secs || 9822116 markings, 12593111 edges, 12000 markings/sec, 760 secs
lola: sara is running 765 secs || 9889571 markings, 12678876 edges, 13491 markings/sec, 765 secs
lola: sara is running 770 secs || 9952381 markings, 12760805 edges, 12562 markings/sec, 770 secs
lola: sara is running 775 secs || 10017160 markings, 12844768 edges, 12956 markings/sec, 775 secs
lola: sara is running 780 secs || 10077227 markings, 12921567 edges, 12013 markings/sec, 780 secs
lola: sara is running 785 secs || 10144150 markings, 13006449 edges, 13385 markings/sec, 785 secs
lola: sara is running 790 secs || 10207453 markings, 13088822 edges, 12661 markings/sec, 790 secs
lola: sara is running 795 secs || 10271757 markings, 13172569 edges, 12861 markings/sec, 795 secs
lola: sara is running 800 secs || 10329566 markings, 13247021 edges, 11562 markings/sec, 800 secs
lola: sara is running 805 secs || 10394605 markings, 13329098 edges, 13008 markings/sec, 805 secs
lola: sara is running 810 secs || 10457679 markings, 13412395 edges, 12615 markings/sec, 810 secs
lola: sara is running 815 secs || 10520238 markings, 13490913 edges, 12512 markings/sec, 815 secs
lola: sara is running 820 secs || 10579406 markings, 13569224 edges, 11834 markings/sec, 820 secs
lola: sara is running 825 secs || 10644784 markings, 13651783 edges, 13076 markings/sec, 825 secs
lola: sara is running 830 secs || 10708627 markings, 13735735 edges, 12769 markings/sec, 830 secs
lola: sara is running 835 secs || 10771431 markings, 13812211 edges, 12561 markings/sec, 835 secs
lola: sara is running 840 secs || 10830993 markings, 13893556 edges, 11912 markings/sec, 840 secs
lola: sara is running 845 secs || 10895273 markings, 13975670 edges, 12856 markings/sec, 845 secs
lola: sara is running 850 secs || 10959618 markings, 14060670 edges, 12869 markings/sec, 850 secs
lola: sara is running 855 secs || 11020519 markings, 14136287 edges, 12180 markings/sec, 855 secs
lola: sara is running 860 secs || 11081181 markings, 14219621 edges, 12132 markings/sec, 860 secs
lola: sara is running 865 secs || 11143909 markings, 14297291 edges, 12546 markings/sec, 865 secs
lola: sara is running 870 secs || 11209453 markings, 14386011 edges, 13109 markings/sec, 870 secs
lola: sara is running 875 secs || 11269033 markings, 14460147 edges, 11916 markings/sec, 875 secs
lola: sara is running 880 secs || 11330599 markings, 14543444 edges, 12313 markings/sec, 880 secs
lola: sara is running 885 secs || 11391299 markings, 14619773 edges, 12140 markings/sec, 885 secs
lola: sara is running 890 secs || 11459467 markings, 14708911 edges, 13634 markings/sec, 890 secs
lola: sara is running 895 secs || 11518346 markings, 14787010 edges, 11776 markings/sec, 895 secs
lola: sara is running 900 secs || 11583518 markings, 14871957 edges, 13034 markings/sec, 900 secs
lola: sara is running 905 secs || 11643380 markings, 14947432 edges, 11972 markings/sec, 905 secs
lola: sara is running 910 secs || 11710521 markings, 15032820 edges, 13428 markings/sec, 910 secs
lola: sara is running 915 secs || 11773503 markings, 15114666 edges, 12596 markings/sec, 915 secs
lola: sara is running 920 secs || 11837947 markings, 15198653 edges, 12889 markings/sec, 920 secs
lola: sara is running 925 secs || 11897839 markings, 15275428 edges, 11978 markings/sec, 925 secs
lola: sara is running 930 secs || 11964584 markings, 15359777 edges, 13349 markings/sec, 930 secs
lola: sara is running 935 secs || 12028059 markings, 15442589 edges, 12695 markings/sec, 935 secs
lola: sara is running 940 secs || 12092060 markings, 15525713 edges, 12800 markings/sec, 940 secs
lola: sara is running 945 secs || 12152018 markings, 15602884 edges, 11992 markings/sec, 945 secs
lola: sara is running 950 secs || 12218376 markings, 15686640 edges, 13272 markings/sec, 950 secs
lola: sara is running 955 secs || 12282465 markings, 15770651 edges, 12818 markings/sec, 955 secs
lola: sara is running 960 secs || 12346414 markings, 15852127 edges, 12790 markings/sec, 960 secs
lola: sara is running 965 secs || 12399979 markings, 15923033 edges, 10713 markings/sec, 965 secs
lola: sara is running 970 secs || 12466130 markings, 16006531 edges, 13230 markings/sec, 970 secs
lola: sara is running 975 secs || 12530984 markings, 16091608 edges, 12971 markings/sec, 975 secs
lola: sara is running 980 secs || 12594613 markings, 16169196 edges, 12726 markings/sec, 980 secs
lola: sara is running 985 secs || 12654972 markings, 16251570 edges, 12072 markings/sec, 985 secs
lola: sara is running 990 secs || 12720719 markings, 16333930 edges, 13149 markings/sec, 990 secs
lola: sara is running 995 secs || 12780354 markings, 16411892 edges, 11927 markings/sec, 995 secs
lola: sara is running 1000 secs || 12842831 markings, 16488017 edges, 12495 markings/sec, 1000 secs
lola: sara is running 1005 secs || 12906752 markings, 16575377 edges, 12784 markings/sec, 1005 secs
lola: sara is running 1010 secs || 12972636 markings, 16656732 edges, 13177 markings/sec, 1010 secs
lola: sara is running 1015 secs || 13039499 markings, 16745585 edges, 13373 markings/sec, 1015 secs
lola: sara is running 1020 secs || 13103466 markings, 16823432 edges, 12793 markings/sec, 1020 secs
lola: sara is running 1025 secs || 13166944 markings, 16910142 edges, 12696 markings/sec, 1025 secs
lola: sara is running 1030 secs || 13233122 markings, 16992737 edges, 13236 markings/sec, 1030 secs
lola: sara is running 1035 secs || 13299610 markings, 17080085 edges, 13298 markings/sec, 1035 secs
lola: sara is running 1040 secs || 13363794 markings, 17158311 edges, 12837 markings/sec, 1040 secs
lola: sara is running 1045 secs || 13426807 markings, 17244366 edges, 12603 markings/sec, 1045 secs
lola: sara is running 1050 secs || 13493366 markings, 17327824 edges, 13312 markings/sec, 1050 secs
lola: sara is running 1055 secs || 13559590 markings, 17414701 edges, 13245 markings/sec, 1055 secs
lola: sara is running 1060 secs || 13624273 markings, 17493332 edges, 12937 markings/sec, 1060 secs
lola: sara is running 1065 secs || 13687153 markings, 17579207 edges, 12576 markings/sec, 1065 secs
lola: sara is running 1070 secs || 13754428 markings, 17663667 edges, 13455 markings/sec, 1070 secs
lola: sara is running 1075 secs || 13819757 markings, 17749434 edges, 13066 markings/sec, 1075 secs
lola: sara is running 1080 secs || 13884304 markings, 17828242 edges, 12909 markings/sec, 1080 secs
lola: sara is running 1085 secs || 13946868 markings, 17912952 edges, 12513 markings/sec, 1085 secs
lola: sara is running 1090 secs || 14014008 markings, 17997358 edges, 13428 markings/sec, 1090 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes no no yes unknown unknown no yes unknown yes unknown no yes no
lola:
preliminary result: yes yes yes no no yes unknown unknown no yes unknown yes unknown no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no no yes unknown unknown no yes unknown yes unknown no yes no
lola: memory consumption: 2145884 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 2145884 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no no yes unknown unknown no yes unknown yes unknown no yes no
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-7b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-7b.tgz
mv CloudDeployment-PT-7b 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 CloudDeployment-PT-7b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-smll-152646357500271"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;