About the Execution of LoLA for DNAwalker-PT-16redondantChoiceR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1616.980 | 3570272.00 | 6807937.00 | 7542.00 | ?TT????FT?FTF??T | 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 372K
-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.7K 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:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 19 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 211K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-16redondantChoiceR, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500334
=====================================================================
--------------------
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 DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526865434355
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-16redondantChoiceR Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-16redondantChoiceR formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-16redondantChoiceR @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 533/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: Size of bit vector: 1376
lola: finding significant places
lola: 43 places, 490 transitions, 43 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 284 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= B5)
lola: LP says that atomic proposition is always false: (2 <= B16)
lola: LP says that atomic proposition is always false: (2 <= B29)
lola: LP says that atomic proposition is always false: (3 <= B6)
lola: LP says that atomic proposition is always false: (2 <= B16)
lola: LP says that atomic proposition is always false: (2 <= B13)
lola: LP says that atomic proposition is always false: (3 <= B28)
lola: E (F (((3 <= A28) AND (A22 <= A30)))) : A (G (())) : A (G (TRUE)) : A (G ((B28 <= A18))) : E (F (((A20 <= A27) AND (3 <= A17)))) : A (G (((A9 <= 2) OR ((B31 <= A22) AND (1 <= A9)) OR (A13 + 1 <= A20) OR (A33 <= B15)))) : A (G ((A15 <= 2))) : E (F (())) : E (F (((B5 + 1 <= A31) AND (A24 + 1 <= A16)))) : A (G ((A16 <= 2))) : E (F (FALSE)) : A (G (())) : E (F (())) : A (G ((A2 <= 2))) : E (F (((3 <= A20) AND (1 <= A26) AND (B5 <= A12) AND (1 <= A10)))) : A (G (((A29 <= A33) OR (1 <= A3) OR (A3 <= 2) OR (1 <= A27))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k: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 199 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: 18 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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 DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 212 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: 18 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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 DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 227 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: 18 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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 DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 245 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: 18 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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 DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 265 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: 18 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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 DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 290 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: 18 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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 DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A16 <= 2)))
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 ((A16 <= 2)))
lola: processed formula length: 18
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: (3 <= A16)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 275881 markings, 681340 edges, 55176 markings/sec, 0 secs
lola: sara is running 5 secs || 555234 markings, 1356027 edges, 55871 markings/sec, 5 secs
lola: sara is running 10 secs || 830992 markings, 2248913 edges, 55152 markings/sec, 10 secs
lola: sara is running 15 secs || 1099663 markings, 3071626 edges, 53734 markings/sec, 15 secs
lola: sara is running 20 secs || 1304136 markings, 3909932 edges, 40895 markings/sec, 20 secs
lola: sara is running 25 secs || 1531638 markings, 4742340 edges, 45500 markings/sec, 25 secs
lola: sara is running 30 secs || 1753590 markings, 5579958 edges, 44390 markings/sec, 30 secs
lola: sara is running 35 secs || 1973094 markings, 6411633 edges, 43901 markings/sec, 35 secs
lola: sara is running 40 secs || 2262747 markings, 7245747 edges, 57931 markings/sec, 40 secs
lola: sara is running 45 secs || 2522062 markings, 8037677 edges, 51863 markings/sec, 45 secs
lola: sara is running 50 secs || 2783527 markings, 8818565 edges, 52293 markings/sec, 50 secs
lola: sara is running 55 secs || 3039930 markings, 9703600 edges, 51281 markings/sec, 55 secs
lola: sara is running 60 secs || 3293470 markings, 10425399 edges, 50708 markings/sec, 60 secs
lola: sara is running 65 secs || 3546484 markings, 11268224 edges, 50603 markings/sec, 65 secs
lola: sara is running 70 secs || 3794163 markings, 12079708 edges, 49536 markings/sec, 70 secs
lola: sara is running 75 secs || 4040515 markings, 12943047 edges, 49270 markings/sec, 75 secs
lola: sara is running 80 secs || 4274555 markings, 13890698 edges, 46808 markings/sec, 80 secs
lola: sara is running 85 secs || 4510487 markings, 14841162 edges, 47186 markings/sec, 85 secs
lola: sara is running 90 secs || 4745009 markings, 15854038 edges, 46904 markings/sec, 90 secs
lola: sara is running 95 secs || 4965845 markings, 16880146 edges, 44167 markings/sec, 95 secs
lola: sara is running 100 secs || 5214857 markings, 17811936 edges, 49802 markings/sec, 100 secs
lola: sara is running 105 secs || 5458196 markings, 18781013 edges, 48668 markings/sec, 105 secs
lola: sara is running 110 secs || 5703146 markings, 19763896 edges, 48990 markings/sec, 110 secs
lola: sara is running 115 secs || 5939245 markings, 20815750 edges, 47220 markings/sec, 115 secs
lola: sara is running 120 secs || 6176330 markings, 21978357 edges, 47417 markings/sec, 120 secs
lola: sara is running 125 secs || 6398743 markings, 23014131 edges, 44483 markings/sec, 125 secs
lola: sara is running 130 secs || 6624043 markings, 23871064 edges, 45060 markings/sec, 130 secs
lola: sara is running 135 secs || 6845917 markings, 24712355 edges, 44375 markings/sec, 135 secs
lola: sara is running 140 secs || 7118664 markings, 25571932 edges, 54549 markings/sec, 140 secs
lola: sara is running 145 secs || 7342682 markings, 26380755 edges, 44804 markings/sec, 145 secs
lola: sara is running 150 secs || 7585062 markings, 27195532 edges, 48476 markings/sec, 150 secs
lola: sara is running 155 secs || 7832217 markings, 27943221 edges, 49431 markings/sec, 155 secs
lola: sara is running 160 secs || 8079997 markings, 28832097 edges, 49556 markings/sec, 160 secs
lola: sara is running 165 secs || 8313585 markings, 29809162 edges, 46718 markings/sec, 165 secs
lola: sara is running 170 secs || 8545870 markings, 30822852 edges, 46457 markings/sec, 170 secs
lola: sara is running 175 secs || 8785374 markings, 31874632 edges, 47901 markings/sec, 175 secs
lola: sara is running 180 secs || 9029282 markings, 32795621 edges, 48782 markings/sec, 180 secs
lola: sara is running 185 secs || 9234076 markings, 33672305 edges, 40959 markings/sec, 185 secs
lola: sara is running 190 secs || 9440411 markings, 34591530 edges, 41267 markings/sec, 190 secs
lola: sara is running 195 secs || 9674931 markings, 35465703 edges, 46904 markings/sec, 195 secs
lola: sara is running 200 secs || 9901465 markings, 36445258 edges, 45307 markings/sec, 200 secs
lola: sara is running 205 secs || 10116221 markings, 37355878 edges, 42951 markings/sec, 205 secs
lola: sara is running 210 secs || 10334801 markings, 38258728 edges, 43716 markings/sec, 210 secs
lola: sara is running 215 secs || 10549091 markings, 39237271 edges, 42858 markings/sec, 215 secs
lola: sara is running 220 secs || 10770109 markings, 40217804 edges, 44204 markings/sec, 220 secs
lola: sara is running 225 secs || 10977794 markings, 41224530 edges, 41537 markings/sec, 225 secs
lola: sara is running 230 secs || 11200276 markings, 42226532 edges, 44496 markings/sec, 230 secs
lola: sara is running 235 secs || 11437982 markings, 43169040 edges, 47541 markings/sec, 235 secs
lola: sara is running 240 secs || 11609577 markings, 44203123 edges, 34319 markings/sec, 240 secs
lola: sara is running 245 secs || 11781206 markings, 45268683 edges, 34326 markings/sec, 245 secs
lola: sara is running 250 secs || 11945011 markings, 46281613 edges, 32761 markings/sec, 250 secs
lola: sara is running 255 secs || 12105363 markings, 47292802 edges, 32070 markings/sec, 255 secs
lola: sara is running 260 secs || 12273883 markings, 48342507 edges, 33704 markings/sec, 260 secs
lola: sara is running 265 secs || 12474338 markings, 49279128 edges, 40091 markings/sec, 265 secs
lola: sara is running 270 secs || 12684815 markings, 50278252 edges, 42095 markings/sec, 270 secs
lola: sara is running 275 secs || 12925879 markings, 51218768 edges, 48213 markings/sec, 275 secs
lola: sara is running 280 secs || 13140757 markings, 52195148 edges, 42976 markings/sec, 280 secs
lola: sara is running 285 secs || 13388890 markings, 53171823 edges, 49627 markings/sec, 285 secs
lola: sara is running 290 secs || 13651399 markings, 54106424 edges, 52502 markings/sec, 290 secs
lola: sara is running 295 secs || 13898689 markings, 55187360 edges, 49458 markings/sec, 295 secs
lola: sara is running 300 secs || 14143637 markings, 56119904 edges, 48990 markings/sec, 300 secs
lola: sara is running 305 secs || 14324648 markings, 57168221 edges, 36202 markings/sec, 305 secs
lola: sara is running 310 secs || 14505074 markings, 58219595 edges, 36085 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no unknown unknown no yes no unknown unknown unknown
lola: memory consumption: 539180 KB
lola: time consumption: 699 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A15 <= 2)))
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 ((A15 <= 2)))
lola: processed formula length: 18
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: (3 <= A15)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 239806 markings, 732194 edges, 47961 markings/sec, 0 secs
lola: sara is running 5 secs || 478595 markings, 1451632 edges, 47758 markings/sec, 5 secs
lola: sara is running 10 secs || 704464 markings, 2244160 edges, 45174 markings/sec, 10 secs
lola: sara is running 15 secs || 937102 markings, 2998693 edges, 46528 markings/sec, 15 secs
lola: sara is running 20 secs || 1174916 markings, 3647731 edges, 47563 markings/sec, 20 secs
lola: sara is running 25 secs || 1407346 markings, 4521522 edges, 46486 markings/sec, 25 secs
lola: sara is running 30 secs || 1637447 markings, 5325775 edges, 46020 markings/sec, 30 secs
lola: sara is running 35 secs || 1859122 markings, 6120694 edges, 44335 markings/sec, 35 secs
lola: sara is running 40 secs || 2048746 markings, 6989512 edges, 37925 markings/sec, 40 secs
lola: sara is running 45 secs || 2243338 markings, 7795761 edges, 38918 markings/sec, 45 secs
lola: sara is running 50 secs || 2453759 markings, 8600162 edges, 42084 markings/sec, 50 secs
lola: sara is running 55 secs || 2651844 markings, 9467392 edges, 39617 markings/sec, 55 secs
lola: sara is running 60 secs || 2854800 markings, 10352790 edges, 40591 markings/sec, 60 secs
lola: sara is running 65 secs || 3062371 markings, 11226544 edges, 41514 markings/sec, 65 secs
lola: sara is running 70 secs || 3282599 markings, 12094393 edges, 44046 markings/sec, 70 secs
lola: sara is running 75 secs || 3490954 markings, 13109208 edges, 41671 markings/sec, 75 secs
lola: sara is running 80 secs || 3704919 markings, 14055592 edges, 42793 markings/sec, 80 secs
lola: sara is running 85 secs || 3896710 markings, 14881483 edges, 38358 markings/sec, 85 secs
lola: sara is running 90 secs || 4109649 markings, 15703923 edges, 42588 markings/sec, 90 secs
lola: sara is running 95 secs || 4312341 markings, 16650645 edges, 40538 markings/sec, 95 secs
lola: sara is running 100 secs || 4515491 markings, 17546321 edges, 40630 markings/sec, 100 secs
lola: sara is running 105 secs || 4734415 markings, 18322370 edges, 43785 markings/sec, 105 secs
lola: sara is running 110 secs || 4944647 markings, 19161378 edges, 42046 markings/sec, 110 secs
lola: sara is running 115 secs || 5160346 markings, 19962909 edges, 43140 markings/sec, 115 secs
lola: sara is running 120 secs || 5378265 markings, 20791028 edges, 43584 markings/sec, 120 secs
lola: sara is running 125 secs || 5595269 markings, 21577777 edges, 43401 markings/sec, 125 secs
lola: sara is running 130 secs || 5799064 markings, 22493790 edges, 40759 markings/sec, 130 secs
lola: sara is running 135 secs || 5999256 markings, 23511766 edges, 40038 markings/sec, 135 secs
lola: sara is running 140 secs || 6205008 markings, 24538492 edges, 41150 markings/sec, 140 secs
lola: sara is running 145 secs || 6403734 markings, 25596852 edges, 39745 markings/sec, 145 secs
lola: sara is running 150 secs || 6589809 markings, 26670515 edges, 37215 markings/sec, 150 secs
lola: sara is running 155 secs || 6795783 markings, 27785706 edges, 41195 markings/sec, 155 secs
lola: sara is running 160 secs || 6996456 markings, 28933097 edges, 40135 markings/sec, 160 secs
lola: sara is running 165 secs || 7204170 markings, 29969654 edges, 41543 markings/sec, 165 secs
lola: sara is running 170 secs || 7410971 markings, 31005799 edges, 41360 markings/sec, 170 secs
lola: sara is running 175 secs || 7619212 markings, 32043705 edges, 41648 markings/sec, 175 secs
lola: sara is running 180 secs || 7817994 markings, 33172266 edges, 39756 markings/sec, 180 secs
lola: sara is running 185 secs || 8012211 markings, 34400544 edges, 38843 markings/sec, 185 secs
lola: sara is running 190 secs || 8212962 markings, 35523249 edges, 40150 markings/sec, 190 secs
lola: sara is running 195 secs || 8432885 markings, 36301641 edges, 43985 markings/sec, 195 secs
lola: sara is running 200 secs || 8657347 markings, 37042257 edges, 44892 markings/sec, 200 secs
lola: sara is running 205 secs || 8871473 markings, 37853655 edges, 42825 markings/sec, 205 secs
lola: sara is running 210 secs || 9058347 markings, 38678488 edges, 37375 markings/sec, 210 secs
lola: sara is running 215 secs || 9259999 markings, 39498187 edges, 40330 markings/sec, 215 secs
lola: sara is running 220 secs || 9452509 markings, 40359809 edges, 38502 markings/sec, 220 secs
lola: sara is running 225 secs || 9657020 markings, 41212931 edges, 40902 markings/sec, 225 secs
lola: sara is running 230 secs || 9852620 markings, 42136142 edges, 39120 markings/sec, 230 secs
lola: sara is running 235 secs || 10046123 markings, 43050154 edges, 38701 markings/sec, 235 secs
lola: sara is running 240 secs || 10245472 markings, 44005987 edges, 39870 markings/sec, 240 secs
lola: sara is running 245 secs || 10456337 markings, 44846805 edges, 42173 markings/sec, 245 secs
lola: sara is running 250 secs || 10673207 markings, 45650326 edges, 43374 markings/sec, 250 secs
lola: sara is running 255 secs || 10875420 markings, 46656597 edges, 40443 markings/sec, 255 secs
lola: sara is running 260 secs || 11063510 markings, 47729241 edges, 37618 markings/sec, 260 secs
lola: sara is running 265 secs || 11258258 markings, 48811092 edges, 38950 markings/sec, 265 secs
lola: sara is running 270 secs || 11460523 markings, 49914630 edges, 40453 markings/sec, 270 secs
lola: sara is running 275 secs || 11665664 markings, 50825882 edges, 41028 markings/sec, 275 secs
lola: sara is running 280 secs || 11874824 markings, 51630333 edges, 41832 markings/sec, 280 secs
lola: sara is running 285 secs || 12067611 markings, 52442842 edges, 38557 markings/sec, 285 secs
lola: sara is running 290 secs || 12258324 markings, 53303032 edges, 38143 markings/sec, 290 secs
lola: sara is running 295 secs || 12454401 markings, 54172053 edges, 39215 markings/sec, 295 secs
lola: sara is running 300 secs || 12648693 markings, 55076363 edges, 38858 markings/sec, 300 secs
lola: sara is running 305 secs || 12829000 markings, 56139058 edges, 36061 markings/sec, 305 secs
lola: sara is running 310 secs || 13011891 markings, 57215811 edges, 36578 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no unknown unknown no yes no unknown unknown unknown
lola: memory consumption: 485576 KB
lola: time consumption: 1018 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A2 <= 2)))
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 ((A2 <= 2)))
lola: processed formula length: 17
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: (3 <= A2)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 251805 markings, 854405 edges, 50361 markings/sec, 0 secs
lola: sara is running 5 secs || 481265 markings, 2003581 edges, 45892 markings/sec, 5 secs
lola: sara is running 10 secs || 703162 markings, 3103718 edges, 44379 markings/sec, 10 secs
lola: sara is running 15 secs || 918834 markings, 4311985 edges, 43134 markings/sec, 15 secs
lola: sara is running 20 secs || 1137447 markings, 5537405 edges, 43723 markings/sec, 20 secs
lola: sara is running 25 secs || 1367263 markings, 6654070 edges, 45963 markings/sec, 25 secs
lola: sara is running 30 secs || 1569365 markings, 7966072 edges, 40420 markings/sec, 30 secs
lola: sara is running 35 secs || 1800482 markings, 9069224 edges, 46223 markings/sec, 35 secs
lola: sara is running 40 secs || 2011412 markings, 10344497 edges, 42186 markings/sec, 40 secs
lola: sara is running 45 secs || 2218812 markings, 11646547 edges, 41480 markings/sec, 45 secs
lola: sara is running 50 secs || 2426007 markings, 12822753 edges, 41439 markings/sec, 50 secs
lola: sara is running 55 secs || 2640112 markings, 13993402 edges, 42821 markings/sec, 55 secs
lola: sara is running 60 secs || 2850353 markings, 15169746 edges, 42048 markings/sec, 60 secs
lola: sara is running 65 secs || 3060196 markings, 16343554 edges, 41969 markings/sec, 65 secs
lola: sara is running 70 secs || 3264553 markings, 17544227 edges, 40871 markings/sec, 70 secs
lola: sara is running 75 secs || 3474349 markings, 18651466 edges, 41959 markings/sec, 75 secs
lola: sara is running 80 secs || 3669807 markings, 19937008 edges, 39092 markings/sec, 80 secs
lola: sara is running 85 secs || 3864245 markings, 21312107 edges, 38888 markings/sec, 85 secs
lola: sara is running 90 secs || 4056138 markings, 22657734 edges, 38379 markings/sec, 90 secs
lola: sara is running 95 secs || 4266164 markings, 23950931 edges, 42005 markings/sec, 95 secs
lola: sara is running 100 secs || 4475808 markings, 25181857 edges, 41929 markings/sec, 100 secs
lola: sara is running 105 secs || 4680305 markings, 26532728 edges, 40899 markings/sec, 105 secs
lola: sara is running 110 secs || 4876744 markings, 27941175 edges, 39288 markings/sec, 110 secs
lola: sara is running 115 secs || 5057924 markings, 29270419 edges, 36236 markings/sec, 115 secs
lola: sara is running 120 secs || 5243763 markings, 30622231 edges, 37168 markings/sec, 120 secs
lola: sara is running 125 secs || 5431682 markings, 31953722 edges, 37584 markings/sec, 125 secs
lola: sara is running 130 secs || 5610576 markings, 33446398 edges, 35779 markings/sec, 130 secs
lola: sara is running 135 secs || 5798019 markings, 34888553 edges, 37489 markings/sec, 135 secs
lola: sara is running 140 secs || 5983036 markings, 36376691 edges, 37003 markings/sec, 140 secs
lola: sara is running 145 secs || 6220151 markings, 37414741 edges, 47423 markings/sec, 145 secs
lola: sara is running 150 secs || 6438118 markings, 38596867 edges, 43593 markings/sec, 150 secs
lola: sara is running 155 secs || 6649851 markings, 39859388 edges, 42347 markings/sec, 155 secs
lola: sara is running 160 secs || 6873729 markings, 41000958 edges, 44776 markings/sec, 160 secs
lola: sara is running 165 secs || 7078736 markings, 42231376 edges, 41001 markings/sec, 165 secs
lola: sara is running 170 secs || 7275586 markings, 43523698 edges, 39370 markings/sec, 170 secs
lola: sara is running 175 secs || 7482605 markings, 44668988 edges, 41404 markings/sec, 175 secs
lola: sara is running 180 secs || 7687644 markings, 45837538 edges, 41008 markings/sec, 180 secs
lola: sara is running 185 secs || 7886262 markings, 47002571 edges, 39724 markings/sec, 185 secs
lola: sara is running 190 secs || 8078152 markings, 48370948 edges, 38378 markings/sec, 190 secs
lola: sara is running 195 secs || 8289229 markings, 49617646 edges, 42215 markings/sec, 195 secs
lola: sara is running 200 secs || 8485845 markings, 51031767 edges, 39323 markings/sec, 200 secs
lola: sara is running 205 secs || 8670258 markings, 52384420 edges, 36883 markings/sec, 205 secs
lola: sara is running 210 secs || 8852798 markings, 53825912 edges, 36508 markings/sec, 210 secs
lola: sara is running 215 secs || 9054990 markings, 55183897 edges, 40438 markings/sec, 215 secs
lola: sara is running 220 secs || 9277826 markings, 56326831 edges, 44567 markings/sec, 220 secs
lola: sara is running 225 secs || 9490143 markings, 57571005 edges, 42463 markings/sec, 225 secs
lola: sara is running 230 secs || 9695988 markings, 58813426 edges, 41169 markings/sec, 230 secs
lola: sara is running 235 secs || 9887196 markings, 60128655 edges, 38242 markings/sec, 235 secs
lola: sara is running 240 secs || 10084975 markings, 61297197 edges, 39556 markings/sec, 240 secs
lola: sara is running 245 secs || 10278605 markings, 62560794 edges, 38726 markings/sec, 245 secs
lola: sara is running 250 secs || 10470473 markings, 63902021 edges, 38374 markings/sec, 250 secs
lola: sara is running 255 secs || 10649202 markings, 65298868 edges, 35746 markings/sec, 255 secs
lola: sara is running 260 secs || 10866394 markings, 66437152 edges, 43438 markings/sec, 260 secs
lola: sara is running 265 secs || 11074797 markings, 67591259 edges, 41681 markings/sec, 265 secs
lola: sara is running 270 secs || 11278714 markings, 68811626 edges, 40783 markings/sec, 270 secs
lola: sara is running 275 secs || 11479946 markings, 70037117 edges, 40246 markings/sec, 275 secs
lola: sara is running 280 secs || 11671940 markings, 71388555 edges, 38399 markings/sec, 280 secs
lola: sara is running 285 secs || 11870559 markings, 72693657 edges, 39724 markings/sec, 285 secs
lola: sara is running 290 secs || 12056385 markings, 74020163 edges, 37165 markings/sec, 290 secs
lola: sara is running 295 secs || 12241384 markings, 75344305 edges, 37000 markings/sec, 295 secs
lola: sara is running 300 secs || 12430763 markings, 76634960 edges, 37876 markings/sec, 300 secs
lola: sara is running 305 secs || 12641935 markings, 77772875 edges, 42234 markings/sec, 305 secs
lola: sara is running 310 secs || 12866564 markings, 78780459 edges, 44926 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no unknown unknown no yes no unknown unknown unknown
lola: memory consumption: 482032 KB
lola: time consumption: 1337 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((B28 <= A18)))
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 ((B28 <= A18)))
lola: processed formula length: 20
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: (A18 + 1 <= B28)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 851104 markings, 1185501 edges, 170221 markings/sec, 0 secs
lola: sara is running 5 secs || 1601809 markings, 2389344 edges, 150141 markings/sec, 5 secs
lola: sara is running 10 secs || 2034681 markings, 3433962 edges, 86574 markings/sec, 10 secs
lola: sara is running 15 secs || 2259623 markings, 4489660 edges, 44988 markings/sec, 15 secs
lola: sara is running 20 secs || 2476134 markings, 5670101 edges, 43302 markings/sec, 20 secs
lola: sara is running 25 secs || 2684051 markings, 6928777 edges, 41583 markings/sec, 25 secs
lola: sara is running 30 secs || 2908744 markings, 8084032 edges, 44939 markings/sec, 30 secs
lola: sara is running 35 secs || 3106684 markings, 9344078 edges, 39588 markings/sec, 35 secs
lola: sara is running 40 secs || 3309253 markings, 10532499 edges, 40514 markings/sec, 40 secs
lola: sara is running 45 secs || 3512365 markings, 11742329 edges, 40622 markings/sec, 45 secs
lola: sara is running 50 secs || 3708901 markings, 13059202 edges, 39307 markings/sec, 50 secs
lola: sara is running 55 secs || 3901235 markings, 14351914 edges, 38467 markings/sec, 55 secs
lola: sara is running 60 secs || 4095521 markings, 15664428 edges, 38857 markings/sec, 60 secs
lola: sara is running 65 secs || 4300703 markings, 16939285 edges, 41036 markings/sec, 65 secs
lola: sara is running 70 secs || 4531987 markings, 18292520 edges, 46257 markings/sec, 70 secs
lola: sara is running 75 secs || 4746628 markings, 19414306 edges, 42928 markings/sec, 75 secs
lola: sara is running 80 secs || 4958734 markings, 20526498 edges, 42421 markings/sec, 80 secs
lola: sara is running 85 secs || 5168454 markings, 21858941 edges, 41944 markings/sec, 85 secs
lola: sara is running 90 secs || 5371953 markings, 23245468 edges, 40700 markings/sec, 90 secs
lola: sara is running 95 secs || 5580289 markings, 24543839 edges, 41667 markings/sec, 95 secs
lola: sara is running 100 secs || 5779103 markings, 26023835 edges, 39763 markings/sec, 100 secs
lola: sara is running 105 secs || 5972349 markings, 27459427 edges, 38649 markings/sec, 105 secs
lola: sara is running 110 secs || 6165487 markings, 28860673 edges, 38628 markings/sec, 110 secs
lola: sara is running 115 secs || 6357894 markings, 30160482 edges, 38481 markings/sec, 115 secs
lola: sara is running 120 secs || 6539119 markings, 31683228 edges, 36245 markings/sec, 120 secs
lola: sara is running 125 secs || 6723539 markings, 33187092 edges, 36884 markings/sec, 125 secs
lola: sara is running 130 secs || 6902916 markings, 34714957 edges, 35875 markings/sec, 130 secs
lola: sara is running 135 secs || 7087840 markings, 36139881 edges, 36985 markings/sec, 135 secs
lola: sara is running 140 secs || 7286950 markings, 37500787 edges, 39822 markings/sec, 140 secs
lola: sara is running 145 secs || 7485658 markings, 38872440 edges, 39742 markings/sec, 145 secs
lola: sara is running 150 secs || 7680381 markings, 40372636 edges, 38945 markings/sec, 150 secs
lola: sara is running 155 secs || 7875295 markings, 41980730 edges, 38983 markings/sec, 155 secs
lola: sara is running 160 secs || 8070675 markings, 43521948 edges, 39076 markings/sec, 160 secs
lola: sara is running 165 secs || 8255596 markings, 45184588 edges, 36984 markings/sec, 165 secs
lola: sara is running 170 secs || 8491614 markings, 46268104 edges, 47204 markings/sec, 170 secs
lola: sara is running 175 secs || 8694397 markings, 47591583 edges, 40557 markings/sec, 175 secs
lola: sara is running 180 secs || 8889838 markings, 48863740 edges, 39088 markings/sec, 180 secs
lola: sara is running 185 secs || 9089546 markings, 50127965 edges, 39942 markings/sec, 185 secs
lola: sara is running 190 secs || 9295956 markings, 51473848 edges, 41282 markings/sec, 190 secs
lola: sara is running 195 secs || 9479235 markings, 52875495 edges, 36656 markings/sec, 195 secs
lola: sara is running 200 secs || 9659662 markings, 54264219 edges, 36085 markings/sec, 200 secs
lola: sara is running 205 secs || 9863750 markings, 55590078 edges, 40818 markings/sec, 205 secs
lola: sara is running 210 secs || 10067728 markings, 56916618 edges, 40796 markings/sec, 210 secs
lola: sara is running 215 secs || 10259834 markings, 58368008 edges, 38421 markings/sec, 215 secs
lola: sara is running 220 secs || 10435530 markings, 59913581 edges, 35139 markings/sec, 220 secs
lola: sara is running 225 secs || 10625105 markings, 61339564 edges, 37915 markings/sec, 225 secs
lola: sara is running 230 secs || 10808054 markings, 62906276 edges, 36590 markings/sec, 230 secs
lola: sara is running 235 secs || 11006109 markings, 64428725 edges, 39611 markings/sec, 235 secs
lola: sara is running 240 secs || 11207193 markings, 65701021 edges, 40217 markings/sec, 240 secs
lola: sara is running 245 secs || 11389253 markings, 67134024 edges, 36412 markings/sec, 245 secs
lola: sara is running 250 secs || 11570912 markings, 68479272 edges, 36332 markings/sec, 250 secs
lola: sara is running 255 secs || 11757564 markings, 69891814 edges, 37330 markings/sec, 255 secs
lola: sara is running 260 secs || 11933881 markings, 71301486 edges, 35263 markings/sec, 260 secs
lola: sara is running 265 secs || 12136104 markings, 72577490 edges, 40445 markings/sec, 265 secs
lola: sara is running 270 secs || 12322291 markings, 74000295 edges, 37237 markings/sec, 270 secs
lola: sara is running 275 secs || 12493426 markings, 75474617 edges, 34227 markings/sec, 275 secs
lola: sara is running 280 secs || 12654202 markings, 77035716 edges, 32155 markings/sec, 280 secs
lola: sara is running 285 secs || 12821742 markings, 78524091 edges, 33508 markings/sec, 285 secs
lola: sara is running 290 secs || 13009380 markings, 80001685 edges, 37528 markings/sec, 290 secs
lola: sara is running 295 secs || 13203464 markings, 81196919 edges, 38817 markings/sec, 295 secs
lola: sara is running 300 secs || 13377428 markings, 82616514 edges, 34793 markings/sec, 300 secs
lola: sara is running 305 secs || 13559967 markings, 83912787 edges, 36508 markings/sec, 305 secs
lola: sara is running 310 secs || 13741946 markings, 85282166 edges, 36396 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no unknown unknown no yes no unknown unknown unknown
lola: memory consumption: 515480 KB
lola: time consumption: 1656 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A20 <= A27) AND (3 <= A17))))
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 (((A20 <= A27) AND (3 <= A17))))
lola: processed formula length: 37
lola: 19 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: ((A20 <= A27) AND (3 <= A17))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 241434 markings, 735274 edges, 48287 markings/sec, 0 secs
lola: sara is running 5 secs || 473957 markings, 1574703 edges, 46505 markings/sec, 5 secs
lola: sara is running 10 secs || 694991 markings, 2475401 edges, 44207 markings/sec, 10 secs
lola: sara is running 15 secs || 923561 markings, 3453829 edges, 45714 markings/sec, 15 secs
lola: sara is running 20 secs || 1137874 markings, 4484441 edges, 42863 markings/sec, 20 secs
lola: sara is running 25 secs || 1379483 markings, 5389919 edges, 48322 markings/sec, 25 secs
lola: sara is running 30 secs || 1577847 markings, 6301594 edges, 39673 markings/sec, 30 secs
lola: sara is running 35 secs || 1764170 markings, 7374786 edges, 37265 markings/sec, 35 secs
lola: sara is running 40 secs || 1988772 markings, 8268444 edges, 44920 markings/sec, 40 secs
lola: sara is running 45 secs || 2190454 markings, 9134239 edges, 40336 markings/sec, 45 secs
lola: sara is running 50 secs || 2372683 markings, 10056200 edges, 36446 markings/sec, 50 secs
lola: sara is running 55 secs || 2547375 markings, 11075993 edges, 34938 markings/sec, 55 secs
lola: sara is running 60 secs || 2734912 markings, 12042930 edges, 37507 markings/sec, 60 secs
lola: sara is running 65 secs || 2910486 markings, 13044308 edges, 35115 markings/sec, 65 secs
lola: sara is running 70 secs || 3085891 markings, 14087661 edges, 35081 markings/sec, 70 secs
lola: sara is running 75 secs || 3255517 markings, 15163638 edges, 33925 markings/sec, 75 secs
lola: sara is running 80 secs || 3508697 markings, 16055687 edges, 50636 markings/sec, 80 secs
lola: sara is running 85 secs || 3717510 markings, 16838537 edges, 41763 markings/sec, 85 secs
lola: sara is running 90 secs || 3928160 markings, 17661735 edges, 42130 markings/sec, 90 secs
lola: sara is running 95 secs || 4152132 markings, 18553801 edges, 44794 markings/sec, 95 secs
lola: sara is running 100 secs || 4370764 markings, 19344942 edges, 43726 markings/sec, 100 secs
lola: sara is running 105 secs || 4599225 markings, 20147298 edges, 45692 markings/sec, 105 secs
lola: sara is running 110 secs || 4822582 markings, 21115912 edges, 44671 markings/sec, 110 secs
lola: sara is running 115 secs || 5041425 markings, 22132544 edges, 43769 markings/sec, 115 secs
lola: sara is running 120 secs || 5281169 markings, 22992863 edges, 47949 markings/sec, 120 secs
lola: sara is running 125 secs || 5486609 markings, 23826729 edges, 41088 markings/sec, 125 secs
lola: sara is running 130 secs || 5715385 markings, 24609922 edges, 45755 markings/sec, 130 secs
lola: sara is running 135 secs || 5943621 markings, 25418603 edges, 45647 markings/sec, 135 secs
lola: sara is running 140 secs || 6164723 markings, 26188584 edges, 44220 markings/sec, 140 secs
lola: sara is running 145 secs || 6387904 markings, 26994024 edges, 44636 markings/sec, 145 secs
lola: sara is running 150 secs || 6607143 markings, 27799337 edges, 43848 markings/sec, 150 secs
lola: sara is running 155 secs || 6835891 markings, 28548986 edges, 45750 markings/sec, 155 secs
lola: sara is running 160 secs || 7056265 markings, 29435242 edges, 44075 markings/sec, 160 secs
lola: sara is running 165 secs || 7270831 markings, 30416445 edges, 42913 markings/sec, 165 secs
lola: sara is running 170 secs || 7476184 markings, 31403888 edges, 41071 markings/sec, 170 secs
lola: sara is running 175 secs || 7687469 markings, 32360973 edges, 42257 markings/sec, 175 secs
lola: sara is running 180 secs || 7894846 markings, 33484362 edges, 41475 markings/sec, 180 secs
lola: sara is running 185 secs || 8116274 markings, 34426191 edges, 44286 markings/sec, 185 secs
lola: sara is running 190 secs || 8329014 markings, 35396278 edges, 42548 markings/sec, 190 secs
lola: sara is running 195 secs || 8544356 markings, 36383912 edges, 43068 markings/sec, 195 secs
lola: sara is running 200 secs || 8756135 markings, 37533307 edges, 42356 markings/sec, 200 secs
lola: sara is running 205 secs || 8960105 markings, 38691695 edges, 40794 markings/sec, 205 secs
lola: sara is running 210 secs || 9172249 markings, 39684026 edges, 42429 markings/sec, 210 secs
lola: sara is running 215 secs || 9387419 markings, 40580120 edges, 43034 markings/sec, 215 secs
lola: sara is running 220 secs || 9600261 markings, 41437875 edges, 42568 markings/sec, 220 secs
lola: sara is running 225 secs || 9822772 markings, 42216161 edges, 44502 markings/sec, 225 secs
lola: sara is running 230 secs || 10037880 markings, 43129198 edges, 43022 markings/sec, 230 secs
lola: sara is running 235 secs || 10248001 markings, 44132611 edges, 42024 markings/sec, 235 secs
lola: sara is running 240 secs || 10454637 markings, 45197403 edges, 41327 markings/sec, 240 secs
lola: sara is running 245 secs || 10661071 markings, 46190200 edges, 41287 markings/sec, 245 secs
lola: sara is running 250 secs || 10853593 markings, 47093162 edges, 38504 markings/sec, 250 secs
lola: sara is running 255 secs || 11066601 markings, 47961715 edges, 42602 markings/sec, 255 secs
lola: sara is running 260 secs || 11268536 markings, 48940830 edges, 40387 markings/sec, 260 secs
lola: sara is running 265 secs || 11454039 markings, 49857317 edges, 37101 markings/sec, 265 secs
lola: sara is running 270 secs || 11653082 markings, 50798570 edges, 39809 markings/sec, 270 secs
lola: sara is running 275 secs || 11845549 markings, 51749697 edges, 38493 markings/sec, 275 secs
lola: sara is running 280 secs || 12033830 markings, 52747076 edges, 37656 markings/sec, 280 secs
lola: sara is running 285 secs || 12220126 markings, 53772472 edges, 37259 markings/sec, 285 secs
lola: sara is running 290 secs || 12405102 markings, 54793707 edges, 36995 markings/sec, 290 secs
lola: sara is running 295 secs || 12573552 markings, 55786267 edges, 33690 markings/sec, 295 secs
lola: sara is running 300 secs || 12738171 markings, 56825105 edges, 32924 markings/sec, 300 secs
lola: sara is running 305 secs || 12916239 markings, 57764406 edges, 35614 markings/sec, 305 secs
lola: sara is running 310 secs || 13100499 markings, 58849211 edges, 36852 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no unknown unknown no yes no unknown unknown unknown
lola: memory consumption: 488540 KB
lola: time consumption: 1975 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A28) AND (A22 <= A30))))
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 (((3 <= A28) AND (A22 <= A30))))
lola: processed formula length: 37
lola: 19 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: ((3 <= A28) AND (A22 <= A30))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 277241 markings, 897774 edges, 55448 markings/sec, 0 secs
lola: sara is running 5 secs || 524396 markings, 1872645 edges, 49431 markings/sec, 5 secs
lola: sara is running 10 secs || 765688 markings, 2909909 edges, 48258 markings/sec, 10 secs
lola: sara is running 15 secs || 1015077 markings, 3878666 edges, 49878 markings/sec, 15 secs
lola: sara is running 20 secs || 1257687 markings, 4934578 edges, 48522 markings/sec, 20 secs
lola: sara is running 25 secs || 1485822 markings, 6003115 edges, 45627 markings/sec, 25 secs
lola: sara is running 30 secs || 1711939 markings, 7090736 edges, 45223 markings/sec, 30 secs
lola: sara is running 35 secs || 1938146 markings, 8215846 edges, 45241 markings/sec, 35 secs
lola: sara is running 40 secs || 2173837 markings, 9269941 edges, 47138 markings/sec, 40 secs
lola: sara is running 45 secs || 2401353 markings, 10373391 edges, 45503 markings/sec, 45 secs
lola: sara is running 50 secs || 2603908 markings, 11458491 edges, 40511 markings/sec, 50 secs
lola: sara is running 55 secs || 2797594 markings, 12641922 edges, 38737 markings/sec, 55 secs
lola: sara is running 60 secs || 2984663 markings, 13796480 edges, 37414 markings/sec, 60 secs
lola: sara is running 65 secs || 3230124 markings, 14934800 edges, 49092 markings/sec, 65 secs
lola: sara is running 70 secs || 3450273 markings, 16059408 edges, 44030 markings/sec, 70 secs
lola: sara is running 75 secs || 3673002 markings, 17129255 edges, 44546 markings/sec, 75 secs
lola: sara is running 80 secs || 3886722 markings, 18402625 edges, 42744 markings/sec, 80 secs
lola: sara is running 85 secs || 4109922 markings, 19581716 edges, 44640 markings/sec, 85 secs
lola: sara is running 90 secs || 4332800 markings, 20792225 edges, 44576 markings/sec, 90 secs
lola: sara is running 95 secs || 4543063 markings, 22156704 edges, 42053 markings/sec, 95 secs
lola: sara is running 100 secs || 4749918 markings, 23404425 edges, 41371 markings/sec, 100 secs
lola: sara is running 105 secs || 4937635 markings, 24552361 edges, 37543 markings/sec, 105 secs
lola: sara is running 110 secs || 5153569 markings, 25671228 edges, 43187 markings/sec, 110 secs
lola: sara is running 115 secs || 5351816 markings, 26877713 edges, 39649 markings/sec, 115 secs
lola: sara is running 120 secs || 5549058 markings, 28102787 edges, 39448 markings/sec, 120 secs
lola: sara is running 125 secs || 5732878 markings, 29334815 edges, 36764 markings/sec, 125 secs
lola: sara is running 130 secs || 5907569 markings, 30590520 edges, 34938 markings/sec, 130 secs
lola: sara is running 135 secs || 6155940 markings, 31502888 edges, 49674 markings/sec, 135 secs
lola: sara is running 140 secs || 6368628 markings, 32420026 edges, 42538 markings/sec, 140 secs
lola: sara is running 145 secs || 6581847 markings, 33384279 edges, 42644 markings/sec, 145 secs
lola: sara is running 150 secs || 6800816 markings, 34317956 edges, 43794 markings/sec, 150 secs
lola: sara is running 155 secs || 7019708 markings, 35307522 edges, 43778 markings/sec, 155 secs
lola: sara is running 160 secs || 7228410 markings, 36302295 edges, 41740 markings/sec, 160 secs
lola: sara is running 165 secs || 7428756 markings, 37330200 edges, 40069 markings/sec, 165 secs
lola: sara is running 170 secs || 7612215 markings, 38393676 edges, 36692 markings/sec, 170 secs
lola: sara is running 175 secs || 7789212 markings, 39573209 edges, 35399 markings/sec, 175 secs
lola: sara is running 180 secs || 7967380 markings, 40698532 edges, 35634 markings/sec, 180 secs
lola: sara is running 185 secs || 8185083 markings, 41771230 edges, 43541 markings/sec, 185 secs
lola: sara is running 190 secs || 8447019 markings, 42877265 edges, 52387 markings/sec, 190 secs
lola: sara is running 195 secs || 8702706 markings, 44007927 edges, 51137 markings/sec, 195 secs
lola: sara is running 200 secs || 8940063 markings, 45161191 edges, 47471 markings/sec, 200 secs
lola: sara is running 205 secs || 9185500 markings, 46313779 edges, 49087 markings/sec, 205 secs
lola: sara is running 210 secs || 9420794 markings, 47435690 edges, 47059 markings/sec, 210 secs
lola: sara is running 215 secs || 9635114 markings, 48559532 edges, 42864 markings/sec, 215 secs
lola: sara is running 220 secs || 9847827 markings, 49814039 edges, 42543 markings/sec, 220 secs
lola: sara is running 225 secs || 10042789 markings, 51008727 edges, 38992 markings/sec, 225 secs
lola: sara is running 230 secs || 10239666 markings, 52162253 edges, 39375 markings/sec, 230 secs
lola: sara is running 235 secs || 10426492 markings, 53290562 edges, 37365 markings/sec, 235 secs
lola: sara is running 240 secs || 10612679 markings, 54413312 edges, 37237 markings/sec, 240 secs
lola: sara is running 245 secs || 10789005 markings, 55664633 edges, 35265 markings/sec, 245 secs
lola: sara is running 250 secs || 10979719 markings, 56829473 edges, 38143 markings/sec, 250 secs
lola: sara is running 255 secs || 11156592 markings, 58033273 edges, 35375 markings/sec, 255 secs
lola: sara is running 260 secs || 11338091 markings, 59302327 edges, 36300 markings/sec, 260 secs
lola: sara is running 265 secs || 11515363 markings, 60529563 edges, 35454 markings/sec, 265 secs
lola: sara is running 270 secs || 11690536 markings, 61775110 edges, 35035 markings/sec, 270 secs
lola: sara is running 275 secs || 11863530 markings, 63024175 edges, 34599 markings/sec, 275 secs
lola: sara is running 280 secs || 12025972 markings, 64374740 edges, 32488 markings/sec, 280 secs
lola: sara is running 285 secs || 12189517 markings, 65651197 edges, 32709 markings/sec, 285 secs
lola: sara is running 290 secs || 12348381 markings, 66975490 edges, 31773 markings/sec, 290 secs
lola: sara is running 295 secs || 12552992 markings, 68039181 edges, 40922 markings/sec, 295 secs
lola: sara is running 300 secs || 12804917 markings, 68811410 edges, 50385 markings/sec, 300 secs
lola: sara is running 305 secs || 13080383 markings, 69660385 edges, 55093 markings/sec, 305 secs
lola: sara is running 310 secs || 13336485 markings, 70585282 edges, 51220 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no unknown unknown no yes no unknown unknown unknown
lola: memory consumption: 500032 KB
lola: time consumption: 2294 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((B5 + 1 <= A31) AND (A24 + 1 <= A16))))
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 (((B5 + 1 <= A31) AND (A24 + 1 <= A16))))
lola: processed formula length: 46
lola: 19 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: ((B5 + 1 <= A31) AND (A24 + 1 <= A16))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-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: 11 markings, 10 edges
lola: ========================================
FORMULA DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A29 <= A33) OR (1 <= A3) OR (A3 <= 2) OR (1 <= A27))))
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 (((A29 <= A33) OR (1 <= A3) OR (A3 <= 2) OR (1 <= A27))))
lola: processed formula length: 65
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: ((A33 + 1 <= A29) AND (A3 <= 0) AND (3 <= A3) AND (A27 <= 0))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
FORMULA DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 637 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A20) AND (1 <= A26) AND (B5 <= A12) AND (1 <= A10))))
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 (((3 <= A20) AND (1 <= A26) AND (B5 <= A12) AND (1 <= A10))))
lola: processed formula length: 66
lola: 19 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: ((3 <= A20) AND (1 <= A26) AND (B5 <= A12) AND (1 <= A10))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 392987 markings, 1083136 edges, 78597 markings/sec, 0 secs
lola: sara is running 5 secs || 717998 markings, 2211382 edges, 65002 markings/sec, 5 secs
lola: sara is running 10 secs || 1066182 markings, 3298584 edges, 69637 markings/sec, 10 secs
lola: sara is running 15 secs || 1408914 markings, 4353365 edges, 68546 markings/sec, 15 secs
lola: sara is running 20 secs || 1738672 markings, 5558703 edges, 65952 markings/sec, 20 secs
lola: sara is running 25 secs || 2061131 markings, 6845371 edges, 64492 markings/sec, 25 secs
lola: sara is running 30 secs || 2383994 markings, 8164070 edges, 64573 markings/sec, 30 secs
lola: sara is running 35 secs || 2706729 markings, 9351718 edges, 64547 markings/sec, 35 secs
lola: sara is running 40 secs || 3042591 markings, 10545142 edges, 67172 markings/sec, 40 secs
lola: sara is running 45 secs || 3379454 markings, 11754680 edges, 67373 markings/sec, 45 secs
lola: sara is running 50 secs || 3706784 markings, 12932681 edges, 65466 markings/sec, 50 secs
lola: sara is running 55 secs || 4033370 markings, 14196487 edges, 65317 markings/sec, 55 secs
lola: sara is running 60 secs || 4369151 markings, 15372349 edges, 67156 markings/sec, 60 secs
lola: sara is running 65 secs || 4684244 markings, 16599781 edges, 63019 markings/sec, 65 secs
lola: sara is running 70 secs || 5006156 markings, 17784954 edges, 64382 markings/sec, 70 secs
lola: sara is running 75 secs || 5310786 markings, 19046299 edges, 60926 markings/sec, 75 secs
lola: sara is running 80 secs || 5626318 markings, 20285336 edges, 63106 markings/sec, 80 secs
lola: sara is running 85 secs || 5968789 markings, 21507460 edges, 68494 markings/sec, 85 secs
lola: sara is running 90 secs || 6318616 markings, 22714445 edges, 69965 markings/sec, 90 secs
lola: sara is running 95 secs || 6650320 markings, 24008850 edges, 66341 markings/sec, 95 secs
lola: sara is running 100 secs || 6981390 markings, 25268986 edges, 66214 markings/sec, 100 secs
lola: sara is running 105 secs || 7294437 markings, 26492765 edges, 62609 markings/sec, 105 secs
lola: sara is running 110 secs || 7618244 markings, 27687035 edges, 64761 markings/sec, 110 secs
lola: sara is running 115 secs || 7991014 markings, 28944826 edges, 74554 markings/sec, 115 secs
lola: sara is running 120 secs || 8361131 markings, 30162531 edges, 74023 markings/sec, 120 secs
lola: sara is running 125 secs || 8703212 markings, 31326382 edges, 68416 markings/sec, 125 secs
lola: sara is running 130 secs || 9069119 markings, 32397456 edges, 73181 markings/sec, 130 secs
lola: sara is running 135 secs || 9417417 markings, 33460910 edges, 69660 markings/sec, 135 secs
lola: sara is running 140 secs || 9756529 markings, 34671814 edges, 67822 markings/sec, 140 secs
lola: sara is running 145 secs || 10092717 markings, 35937392 edges, 67238 markings/sec, 145 secs
lola: sara is running 150 secs || 10420883 markings, 37232548 edges, 65633 markings/sec, 150 secs
lola: sara is running 155 secs || 10753106 markings, 38540010 edges, 66445 markings/sec, 155 secs
lola: sara is running 160 secs || 11080857 markings, 39832233 edges, 65550 markings/sec, 160 secs
lola: sara is running 165 secs || 11398728 markings, 41241249 edges, 63574 markings/sec, 165 secs
lola: sara is running 170 secs || 11714949 markings, 42637663 edges, 63244 markings/sec, 170 secs
lola: sara is running 175 secs || 12051743 markings, 43883743 edges, 67359 markings/sec, 175 secs
lola: sara is running 180 secs || 12372618 markings, 45275771 edges, 64175 markings/sec, 180 secs
lola: sara is running 185 secs || 12687571 markings, 46726327 edges, 62991 markings/sec, 185 secs
lola: sara is running 190 secs || 12997282 markings, 48209223 edges, 61942 markings/sec, 190 secs
lola: sara is running 195 secs || 13320631 markings, 49536594 edges, 64670 markings/sec, 195 secs
lola: sara is running 200 secs || 13639489 markings, 50679451 edges, 63772 markings/sec, 200 secs
lola: sara is running 205 secs || 13965866 markings, 51846471 edges, 65275 markings/sec, 205 secs
lola: sara is running 210 secs || 14278358 markings, 53164936 edges, 62498 markings/sec, 210 secs
lola: sara is running 215 secs || 14596282 markings, 54357629 edges, 63585 markings/sec, 215 secs
lola: sara is running 220 secs || 14913286 markings, 55596106 edges, 63401 markings/sec, 220 secs
lola: sara is running 225 secs || 15220053 markings, 56808626 edges, 61353 markings/sec, 225 secs
lola: sara is running 230 secs || 15513202 markings, 58067680 edges, 58630 markings/sec, 230 secs
lola: sara is running 235 secs || 15826929 markings, 59275147 edges, 62745 markings/sec, 235 secs
lola: sara is running 240 secs || 16122732 markings, 60637504 edges, 59161 markings/sec, 240 secs
lola: sara is running 245 secs || 16434222 markings, 61916254 edges, 62298 markings/sec, 245 secs
lola: sara is running 250 secs || 16736769 markings, 63169598 edges, 60509 markings/sec, 250 secs
lola: sara is running 255 secs || 17027931 markings, 64497937 edges, 58232 markings/sec, 255 secs
lola: sara is running 260 secs || 17316609 markings, 65786025 edges, 57736 markings/sec, 260 secs
lola: sara is running 265 secs || 17674926 markings, 67051066 edges, 71663 markings/sec, 265 secs
lola: sara is running 270 secs || 18011718 markings, 68242778 edges, 67358 markings/sec, 270 secs
lola: sara is running 275 secs || 18386526 markings, 69506074 edges, 74962 markings/sec, 275 secs
lola: sara is running 280 secs || 18729866 markings, 70870846 edges, 68668 markings/sec, 280 secs
lola: sara is running 285 secs || 19053228 markings, 72123955 edges, 64672 markings/sec, 285 secs
lola: sara is running 290 secs || 19368619 markings, 73380352 edges, 63078 markings/sec, 290 secs
lola: sara is running 295 secs || 19665631 markings, 74645785 edges, 59402 markings/sec, 295 secs
lola: sara is running 300 secs || 19967891 markings, 75972303 edges, 60452 markings/sec, 300 secs
lola: sara is running 305 secs || 20287208 markings, 77237304 edges, 63863 markings/sec, 305 secs
lola: sara is running 310 secs || 20613741 markings, 78391034 edges, 65307 markings/sec, 310 secs
lola: sara is running 315 secs || 20927934 markings, 79629308 edges, 62839 markings/sec, 315 secs
lola: sara is running 320 secs || 21231795 markings, 80973052 edges, 60772 markings/sec, 320 secs
lola: sara is running 325 secs || 21533178 markings, 82334623 edges, 60277 markings/sec, 325 secs
lola: sara is running 330 secs || 21832608 markings, 83713983 edges, 59886 markings/sec, 330 secs
lola: sara is running 335 secs || 22124328 markings, 85193133 edges, 58344 markings/sec, 335 secs
lola: sara is running 340 secs || 22427877 markings, 86627333 edges, 60710 markings/sec, 340 secs
lola: sara is running 345 secs || 22744519 markings, 87885067 edges, 63328 markings/sec, 345 secs
lola: sara is running 350 secs || 23024040 markings, 89155086 edges, 55904 markings/sec, 350 secs
lola: sara is running 355 secs || 23320044 markings, 90456642 edges, 59201 markings/sec, 355 secs
lola: sara is running 360 secs || 23642315 markings, 91763792 edges, 64454 markings/sec, 360 secs
lola: sara is running 365 secs || 23960259 markings, 93034734 edges, 63589 markings/sec, 365 secs
lola: sara is running 370 secs || 24290092 markings, 94287749 edges, 65967 markings/sec, 370 secs
lola: sara is running 375 secs || 24635104 markings, 95537254 edges, 69002 markings/sec, 375 secs
lola: sara is running 380 secs || 24912941 markings, 96765268 edges, 55567 markings/sec, 380 secs
lola: sara is running 385 secs || 25208196 markings, 98053069 edges, 59051 markings/sec, 385 secs
lola: sara is running 390 secs || 25504554 markings, 99347778 edges, 59272 markings/sec, 390 secs
lola: sara is running 395 secs || 25770873 markings, 100658253 edges, 53264 markings/sec, 395 secs
lola: sara is running 400 secs || 26069819 markings, 101957346 edges, 59789 markings/sec, 400 secs
lola: sara is running 405 secs || 26378114 markings, 103186763 edges, 61659 markings/sec, 405 secs
lola: sara is running 410 secs || 26687469 markings, 104338575 edges, 61871 markings/sec, 410 secs
lola: sara is running 415 secs || 27003659 markings, 105536709 edges, 63238 markings/sec, 415 secs
lola: sara is running 420 secs || 27319376 markings, 106625374 edges, 63143 markings/sec, 420 secs
lola: sara is running 425 secs || 27626832 markings, 107796058 edges, 61491 markings/sec, 425 secs
lola: sara is running 430 secs || 27923683 markings, 109079063 edges, 59370 markings/sec, 430 secs
lola: sara is running 435 secs || 28218747 markings, 110384234 edges, 59013 markings/sec, 435 secs
lola: sara is running 440 secs || 28511823 markings, 111698872 edges, 58615 markings/sec, 440 secs
lola: sara is running 445 secs || 28789031 markings, 113131944 edges, 55442 markings/sec, 445 secs
lola: sara is running 450 secs || 29095839 markings, 114387893 edges, 61362 markings/sec, 450 secs
lola: sara is running 455 secs || 29409051 markings, 115574056 edges, 62642 markings/sec, 455 secs
lola: sara is running 460 secs || 29729495 markings, 116731271 edges, 64089 markings/sec, 460 secs
lola: sara is running 465 secs || 30026029 markings, 118061132 edges, 59307 markings/sec, 465 secs
lola: sara is running 470 secs || 30322211 markings, 119296263 edges, 59236 markings/sec, 470 secs
lola: sara is running 475 secs || 30613115 markings, 120580075 edges, 58181 markings/sec, 475 secs
lola: sara is running 480 secs || 30915776 markings, 121831006 edges, 60532 markings/sec, 480 secs
lola: sara is running 485 secs || 31216504 markings, 123169283 edges, 60146 markings/sec, 485 secs
lola: sara is running 490 secs || 31511364 markings, 124380502 edges, 58972 markings/sec, 490 secs
lola: sara is running 495 secs || 31812314 markings, 125624431 edges, 60190 markings/sec, 495 secs
lola: sara is running 500 secs || 32116045 markings, 126916953 edges, 60746 markings/sec, 500 secs
lola: sara is running 505 secs || 32451572 markings, 128162633 edges, 67105 markings/sec, 505 secs
lola: sara is running 510 secs || 32796946 markings, 129426583 edges, 69075 markings/sec, 510 secs
lola: sara is running 515 secs || 33130610 markings, 130668746 edges, 66733 markings/sec, 515 secs
lola: sara is running 520 secs || 33466916 markings, 131824942 edges, 67261 markings/sec, 520 secs
lola: sara is running 525 secs || 33784846 markings, 133153025 edges, 63586 markings/sec, 525 secs
lola: sara is running 530 secs || 34101110 markings, 134513082 edges, 63253 markings/sec, 530 secs
lola: sara is running 535 secs || 34416968 markings, 135870880 edges, 63172 markings/sec, 535 secs
lola: sara is running 540 secs || 34721056 markings, 137353778 edges, 60818 markings/sec, 540 secs
lola: sara is running 545 secs || 35034643 markings, 138719052 edges, 62717 markings/sec, 545 secs
lola: sara is running 550 secs || 35335596 markings, 140207732 edges, 60191 markings/sec, 550 secs
lola: sara is running 555 secs || 35638538 markings, 141738829 edges, 60588 markings/sec, 555 secs
lola: sara is running 560 secs || 35957679 markings, 143027146 edges, 63828 markings/sec, 560 secs
lola: sara is running 565 secs || 36265578 markings, 144333759 edges, 61580 markings/sec, 565 secs
lola: sara is running 570 secs || 36615103 markings, 145590486 edges, 69905 markings/sec, 570 secs
lola: sara is running 575 secs || 36957699 markings, 146860365 edges, 68519 markings/sec, 575 secs
lola: sara is running 580 secs || 37277529 markings, 148263443 edges, 63966 markings/sec, 580 secs
lola: sara is running 585 secs || 37598508 markings, 149521047 edges, 64196 markings/sec, 585 secs
lola: sara is running 590 secs || 37912233 markings, 150869615 edges, 62745 markings/sec, 590 secs
lola: sara is running 595 secs || 38212907 markings, 152321244 edges, 60135 markings/sec, 595 secs
lola: sara is running 600 secs || 38537760 markings, 153673787 edges, 64971 markings/sec, 600 secs
lola: sara is running 605 secs || 38861203 markings, 154962682 edges, 64689 markings/sec, 605 secs
lola: sara is running 610 secs || 39194307 markings, 156199150 edges, 66621 markings/sec, 610 secs
lola: sara is running 615 secs || 39507611 markings, 157475537 edges, 62661 markings/sec, 615 secs
lola: sara is running 620 secs || 39814660 markings, 158680066 edges, 61410 markings/sec, 620 secs
lola: sara is running 625 secs || 40116712 markings, 159839145 edges, 60410 markings/sec, 625 secs
lola: sara is running 630 secs || 40400635 markings, 161117868 edges, 56785 markings/sec, 630 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no yes unknown no yes no unknown unknown yes
lola: memory consumption: 1448748 KB
lola: time consumption: 2932 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 638 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A9 <= 2) OR ((B31 <= A22) AND (1 <= A9)) OR (A13 + 1 <= A20) OR (A33 <= B15))))
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 (((A9 <= 2) OR ((B31 <= A22) AND (1 <= A9)) OR (A13 + 1 <= A20) OR (A33 <= B15))))
lola: processed formula length: 90
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: ((3 <= A9) AND ((A22 + 1 <= B31) OR (A9 <= 0)) AND (A20 <= A13) AND (B15 + 1 <= A33))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 252700 markings, 937726 edges, 50540 markings/sec, 0 secs
lola: sara is running 5 secs || 518694 markings, 1958891 edges, 53199 markings/sec, 5 secs
lola: sara is running 10 secs || 793899 markings, 3034432 edges, 55041 markings/sec, 10 secs
lola: sara is running 15 secs || 1052224 markings, 4048194 edges, 51665 markings/sec, 15 secs
lola: sara is running 20 secs || 1335497 markings, 5158150 edges, 56655 markings/sec, 20 secs
lola: sara is running 25 secs || 1630185 markings, 6316654 edges, 58938 markings/sec, 25 secs
lola: sara is running 30 secs || 1910237 markings, 7634113 edges, 56010 markings/sec, 30 secs
lola: sara is running 35 secs || 2129300 markings, 8797652 edges, 43813 markings/sec, 35 secs
lola: sara is running 40 secs || 2333293 markings, 9870611 edges, 40799 markings/sec, 40 secs
lola: sara is running 45 secs || 2532083 markings, 10921088 edges, 39758 markings/sec, 45 secs
lola: sara is running 50 secs || 2728277 markings, 11986345 edges, 39239 markings/sec, 50 secs
lola: sara is running 55 secs || 2937260 markings, 13038692 edges, 41797 markings/sec, 55 secs
lola: sara is running 60 secs || 3135403 markings, 14059060 edges, 39629 markings/sec, 60 secs
lola: sara is running 65 secs || 3326711 markings, 15227806 edges, 38262 markings/sec, 65 secs
lola: sara is running 70 secs || 3516181 markings, 16386654 edges, 37894 markings/sec, 70 secs
lola: sara is running 75 secs || 3708196 markings, 17610190 edges, 38403 markings/sec, 75 secs
lola: sara is running 80 secs || 3901321 markings, 18801562 edges, 38625 markings/sec, 80 secs
lola: sara is running 85 secs || 4094318 markings, 20043021 edges, 38599 markings/sec, 85 secs
lola: sara is running 90 secs || 4280541 markings, 21388166 edges, 37245 markings/sec, 90 secs
lola: sara is running 95 secs || 4463655 markings, 22805347 edges, 36623 markings/sec, 95 secs
lola: sara is running 100 secs || 4645342 markings, 24222210 edges, 36337 markings/sec, 100 secs
lola: sara is running 105 secs || 4849952 markings, 25346940 edges, 40922 markings/sec, 105 secs
lola: sara is running 110 secs || 5062118 markings, 26334515 edges, 42433 markings/sec, 110 secs
lola: sara is running 115 secs || 5268557 markings, 27392898 edges, 41288 markings/sec, 115 secs
lola: sara is running 120 secs || 5473489 markings, 28479551 edges, 40986 markings/sec, 120 secs
lola: sara is running 125 secs || 5685205 markings, 29609484 edges, 42343 markings/sec, 125 secs
lola: sara is running 130 secs || 5875883 markings, 30872786 edges, 38136 markings/sec, 130 secs
lola: sara is running 135 secs || 6067287 markings, 32129321 edges, 38281 markings/sec, 135 secs
lola: sara is running 140 secs || 6263683 markings, 33188783 edges, 39279 markings/sec, 140 secs
lola: sara is running 145 secs || 6458861 markings, 34323776 edges, 39036 markings/sec, 145 secs
lola: sara is running 150 secs || 6644853 markings, 35589519 edges, 37198 markings/sec, 150 secs
lola: sara is running 155 secs || 6821042 markings, 36926104 edges, 35238 markings/sec, 155 secs
lola: sara is running 160 secs || 6998055 markings, 38198272 edges, 35403 markings/sec, 160 secs
lola: sara is running 165 secs || 7172493 markings, 39543636 edges, 34888 markings/sec, 165 secs
lola: sara is running 170 secs || 7339038 markings, 41006519 edges, 33309 markings/sec, 170 secs
lola: sara is running 175 secs || 7507593 markings, 42331807 edges, 33711 markings/sec, 175 secs
lola: sara is running 180 secs || 7693595 markings, 43620500 edges, 37200 markings/sec, 180 secs
lola: sara is running 185 secs || 7914170 markings, 44749861 edges, 44115 markings/sec, 185 secs
lola: sara is running 190 secs || 8112530 markings, 45866545 edges, 39672 markings/sec, 190 secs
lola: sara is running 195 secs || 8333154 markings, 46986334 edges, 44125 markings/sec, 195 secs
lola: sara is running 200 secs || 8529390 markings, 48098257 edges, 39247 markings/sec, 200 secs
lola: sara is running 205 secs || 8745119 markings, 49049237 edges, 43146 markings/sec, 205 secs
lola: sara is running 210 secs || 8954880 markings, 50182477 edges, 41952 markings/sec, 210 secs
lola: sara is running 215 secs || 9166060 markings, 51311916 edges, 42236 markings/sec, 215 secs
lola: sara is running 220 secs || 9374498 markings, 52345807 edges, 41688 markings/sec, 220 secs
lola: sara is running 225 secs || 9563528 markings, 53444737 edges, 37806 markings/sec, 225 secs
lola: sara is running 230 secs || 9785990 markings, 54524004 edges, 44492 markings/sec, 230 secs
lola: sara is running 235 secs || 9972537 markings, 55629137 edges, 37309 markings/sec, 235 secs
lola: sara is running 240 secs || 10157150 markings, 56753007 edges, 36923 markings/sec, 240 secs
lola: sara is running 245 secs || 10350117 markings, 57880473 edges, 38593 markings/sec, 245 secs
lola: sara is running 250 secs || 10590609 markings, 58867798 edges, 48098 markings/sec, 250 secs
lola: sara is running 255 secs || 10846538 markings, 59896898 edges, 51186 markings/sec, 255 secs
lola: sara is running 260 secs || 11089625 markings, 61012754 edges, 48617 markings/sec, 260 secs
lola: sara is running 265 secs || 11286322 markings, 62059231 edges, 39339 markings/sec, 265 secs
lola: sara is running 270 secs || 11462067 markings, 63156862 edges, 35149 markings/sec, 270 secs
lola: sara is running 275 secs || 11652208 markings, 64327592 edges, 38028 markings/sec, 275 secs
lola: sara is running 280 secs || 11835022 markings, 65513536 edges, 36563 markings/sec, 280 secs
lola: sara is running 285 secs || 12013770 markings, 66710026 edges, 35750 markings/sec, 285 secs
lola: sara is running 290 secs || 12208847 markings, 67799205 edges, 39015 markings/sec, 290 secs
lola: sara is running 295 secs || 12397258 markings, 68864904 edges, 37682 markings/sec, 295 secs
lola: sara is running 300 secs || 12581171 markings, 70031868 edges, 36783 markings/sec, 300 secs
lola: sara is running 305 secs || 12766158 markings, 71193290 edges, 36997 markings/sec, 305 secs
lola: sara is running 310 secs || 12998351 markings, 72336002 edges, 46439 markings/sec, 310 secs
lola: sara is running 315 secs || 13237721 markings, 73519498 edges, 47874 markings/sec, 315 secs
lola: sara is running 320 secs || 13475832 markings, 74815720 edges, 47622 markings/sec, 320 secs
lola: sara is running 325 secs || 13661271 markings, 76039804 edges, 37088 markings/sec, 325 secs
lola: sara is running 330 secs || 13825774 markings, 77312152 edges, 32901 markings/sec, 330 secs
lola: sara is running 335 secs || 14004554 markings, 78687142 edges, 35756 markings/sec, 335 secs
lola: sara is running 340 secs || 14175820 markings, 80062205 edges, 34253 markings/sec, 340 secs
lola: sara is running 345 secs || 14344694 markings, 81437881 edges, 33775 markings/sec, 345 secs
lola: sara is running 350 secs || 14531010 markings, 82682586 edges, 37263 markings/sec, 350 secs
lola: sara is running 355 secs || 14706889 markings, 83952842 edges, 35176 markings/sec, 355 secs
lola: sara is running 360 secs || 14881400 markings, 85268032 edges, 34902 markings/sec, 360 secs
lola: sara is running 365 secs || 15117747 markings, 86514796 edges, 47269 markings/sec, 365 secs
lola: sara is running 370 secs || 15484126 markings, 87603472 edges, 73276 markings/sec, 370 secs
lola: sara is running 375 secs || 15845861 markings, 88694316 edges, 72347 markings/sec, 375 secs
lola: sara is running 380 secs || 16214971 markings, 89792215 edges, 73822 markings/sec, 380 secs
lola: sara is running 385 secs || 16584707 markings, 90881799 edges, 73947 markings/sec, 385 secs
lola: sara is running 390 secs || 16963930 markings, 91968164 edges, 75845 markings/sec, 390 secs
lola: sara is running 395 secs || 17318009 markings, 93100732 edges, 70816 markings/sec, 395 secs
lola: sara is running 400 secs || 17740929 markings, 94183691 edges, 84584 markings/sec, 400 secs
lola: sara is running 405 secs || 18140365 markings, 95393234 edges, 79887 markings/sec, 405 secs
lola: sara is running 410 secs || 18528987 markings, 96492440 edges, 77724 markings/sec, 410 secs
lola: sara is running 415 secs || 18879437 markings, 97572574 edges, 70090 markings/sec, 415 secs
lola: sara is running 420 secs || 19221826 markings, 98668468 edges, 68478 markings/sec, 420 secs
lola: sara is running 425 secs || 19596752 markings, 99751105 edges, 74985 markings/sec, 425 secs
lola: sara is running 430 secs || 20013867 markings, 100921530 edges, 83423 markings/sec, 430 secs
lola: sara is running 435 secs || 20376573 markings, 102037096 edges, 72541 markings/sec, 435 secs
lola: sara is running 440 secs || 20773606 markings, 103141528 edges, 79407 markings/sec, 440 secs
lola: sara is running 445 secs || 21185759 markings, 104253892 edges, 82431 markings/sec, 445 secs
lola: sara is running 450 secs || 21586172 markings, 105479156 edges, 80083 markings/sec, 450 secs
lola: sara is running 455 secs || 21974387 markings, 106716585 edges, 77643 markings/sec, 455 secs
lola: sara is running 460 secs || 22349078 markings, 108035444 edges, 74938 markings/sec, 460 secs
lola: sara is running 465 secs || 22737046 markings, 109268660 edges, 77594 markings/sec, 465 secs
lola: sara is running 470 secs || 23117484 markings, 110645968 edges, 76088 markings/sec, 470 secs
lola: sara is running 475 secs || 23398821 markings, 111902865 edges, 56267 markings/sec, 475 secs
lola: sara is running 480 secs || 23596302 markings, 113170728 edges, 39496 markings/sec, 480 secs
lola: sara is running 485 secs || 23785124 markings, 114444532 edges, 37764 markings/sec, 485 secs
lola: sara is running 490 secs || 23959186 markings, 115671498 edges, 34812 markings/sec, 490 secs
lola: sara is running 495 secs || 24131283 markings, 117000943 edges, 34419 markings/sec, 495 secs
lola: sara is running 500 secs || 24298906 markings, 118263743 edges, 33525 markings/sec, 500 secs
lola: sara is running 505 secs || 24458909 markings, 119751939 edges, 32001 markings/sec, 505 secs
lola: sara is running 510 secs || 24636832 markings, 121102120 edges, 35585 markings/sec, 510 secs
lola: sara is running 515 secs || 24816268 markings, 122425946 edges, 35887 markings/sec, 515 secs
lola: sara is running 520 secs || 24980484 markings, 123699028 edges, 32843 markings/sec, 520 secs
lola: sara is running 525 secs || 25136235 markings, 125147653 edges, 31150 markings/sec, 525 secs
lola: sara is running 530 secs || 25299048 markings, 126643073 edges, 32563 markings/sec, 530 secs
lola: sara is running 535 secs || 25466175 markings, 128097693 edges, 33425 markings/sec, 535 secs
lola: sara is running 540 secs || 25621630 markings, 129744008 edges, 31091 markings/sec, 540 secs
lola: sara is running 545 secs || 25778611 markings, 131242779 edges, 31396 markings/sec, 545 secs
lola: sara is running 550 secs || 25937976 markings, 132708215 edges, 31873 markings/sec, 550 secs
lola: sara is running 555 secs || 26115180 markings, 134067842 edges, 35441 markings/sec, 555 secs
lola: sara is running 560 secs || 26294643 markings, 135388990 edges, 35893 markings/sec, 560 secs
lola: sara is running 565 secs || 26469489 markings, 136731765 edges, 34969 markings/sec, 565 secs
lola: sara is running 570 secs || 26640290 markings, 138039481 edges, 34160 markings/sec, 570 secs
lola: sara is running 575 secs || 26802783 markings, 139369458 edges, 32499 markings/sec, 575 secs
lola: sara is running 580 secs || 26988066 markings, 140643860 edges, 37057 markings/sec, 580 secs
lola: sara is running 585 secs || 27155283 markings, 141911294 edges, 33443 markings/sec, 585 secs
lola: sara is running 590 secs || 27316898 markings, 143223656 edges, 32323 markings/sec, 590 secs
lola: sara is running 595 secs || 27485643 markings, 144577869 edges, 33749 markings/sec, 595 secs
lola: sara is running 600 secs || 27658138 markings, 145978444 edges, 34499 markings/sec, 600 secs
lola: sara is running 605 secs || 27812905 markings, 147472196 edges, 30953 markings/sec, 605 secs
lola: sara is running 610 secs || 27967922 markings, 148952206 edges, 31003 markings/sec, 610 secs
lola: sara is running 615 secs || 28187864 markings, 150239611 edges, 43988 markings/sec, 615 secs
lola: sara is running 620 secs || 28448072 markings, 151405451 edges, 52042 markings/sec, 620 secs
lola: sara is running 625 secs || 28661975 markings, 152607221 edges, 42781 markings/sec, 625 secs
lola: sara is running 630 secs || 28884961 markings, 153842346 edges, 44597 markings/sec, 630 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no yes unknown no yes no unknown unknown yes
lola: memory consumption: 1043212 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((A16 <= 2)))
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 ((A16 <= 2)))
lola: processed formula length: 18
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: (3 <= A16)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no yes unknown no yes no unknown unknown yes
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no yes unknown no yes no unknown unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no yes unknown no yes no unknown unknown yes
lola: memory consumption: 24752 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
FORMULA DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G ((A15 <= 2)))
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 ((A15 <= 2)))
lola: processed formula length: 18
lola: 20 rewrites
lola: closed formula file DNAwalker-PT-16redondantChoiceR-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: (3 <= A15)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-16redondantChoiceR-ReachabilityCardinality-17-0.sara.
lola: memory consumption: 24752 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes yes unknown unknown unknown unknown no yes unknown no yes no unknown unknown yes
lola: memory consumption: 23044 KB
lola: time consumption: 3570 seconds
BK_STOP 1526869004627
--------------------
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="DNAwalker-PT-16redondantChoiceR"
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/DNAwalker-PT-16redondantChoiceR.tgz
mv DNAwalker-PT-16redondantChoiceR 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 DNAwalker-PT-16redondantChoiceR, 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 r064-smll-152649735500334"
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 ;