About the Execution of LoLA for DNAwalker-PT-18lozangeBlock
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2940.090 | 3569418.00 | 6821890.00 | 7368.80 | FTTF?FTTFFTTF??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 3.0K 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.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.4K 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.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K 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 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 15 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.6M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-18lozangeBlock, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500348
=====================================================================
--------------------
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-18lozangeBlock-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526883466887
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-18lozangeBlock Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-18lozangeBlock formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-18lozangeBlock @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3861/65536 symbol table entries, 1086 collisions
lola: preprocessing...
lola: Size of bit vector: 5248
lola: finding significant places
lola: 164 places, 3697 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1960 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= B17)
lola: LP says that atomic proposition is always false: (3 <= B65)
lola: LP says that atomic proposition is always false: (3 <= B62)
lola: LP says that atomic proposition is always false: (2 <= B12)
lola: LP says that atomic proposition is always false: (3 <= B83)
lola: LP says that atomic proposition is always false: (2 <= B85)
lola: A (G (((1 <= B17) OR (A18 <= A83)))) : E (F ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91)))) : E (F (((B25 <= A54) AND (2 <= A47) AND ((B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70))))) : A (G ((((A85 <= 0) OR (A4 <= 2)) AND ((2 <= A47) OR (2 <= A47) OR (3 <= A64))))) : E (F (((1 <= B12) AND (3 <= A54) AND (A26 <= 0)))) : A (G ((A74 <= B45))) : E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0)))) : E (F ((2 <= A76))) : A (G ((((A47 <= 0)) OR (2 <= A1)))) : E (F (())) : E (F ((((B26 <= 0) AND (B24 + 1 <= A34))))) : A (G (TRUE)) : A (G ((A49 <= B12))) : E (F ((3 <= A33))) : A (G ((((A13 <= 2)) OR (3 <= A77)))) : E (F (((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))))
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 199 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 6 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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-18lozangeBlock-ReachabilityCardinality-9 FALSE 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: 6 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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-18lozangeBlock-ReachabilityCardinality-11 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: E (F ((2 <= A76)))
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 ((2 <= A76)))
lola: processed formula length: 18
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: (2 <= A76)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-2-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: 5 markings, 4 edges
lola: ========================================
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-7 TRUE 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: E (F ((3 <= A33)))
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 <= A33)))
lola: processed formula length: 18
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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 <= A33)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-3-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 247700 markings, 270258 edges, 49540 markings/sec, 0 secs
lola: sara is running 5 secs || 507062 markings, 557984 edges, 51872 markings/sec, 5 secs
lola: sara is running 10 secs || 752459 markings, 833308 edges, 49079 markings/sec, 10 secs
lola: sara is running 15 secs || 1008804 markings, 1120795 edges, 51269 markings/sec, 15 secs
lola: sara is running 20 secs || 1264796 markings, 1406982 edges, 51198 markings/sec, 20 secs
lola: sara is running 25 secs || 1519468 markings, 1695358 edges, 50934 markings/sec, 25 secs
lola: sara is running 30 secs || 1774668 markings, 1983297 edges, 51040 markings/sec, 30 secs
lola: sara is running 35 secs || 2028592 markings, 2271782 edges, 50785 markings/sec, 35 secs
lola: sara is running 40 secs || 2273205 markings, 2552653 edges, 48923 markings/sec, 40 secs
lola: sara is running 45 secs || 2527954 markings, 2848225 edges, 50950 markings/sec, 45 secs
lola: sara is running 50 secs || 2785481 markings, 3139265 edges, 51505 markings/sec, 50 secs
lola: sara is running 55 secs || 3029900 markings, 3412523 edges, 48884 markings/sec, 55 secs
lola: sara is running 60 secs || 3286244 markings, 3702465 edges, 51269 markings/sec, 60 secs
lola: sara is running 65 secs || 3541488 markings, 3991753 edges, 51049 markings/sec, 65 secs
lola: sara is running 70 secs || 3794054 markings, 4278657 edges, 50513 markings/sec, 70 secs
lola: sara is running 75 secs || 4046344 markings, 4567728 edges, 50458 markings/sec, 75 secs
lola: sara is running 80 secs || 4297683 markings, 4860959 edges, 50268 markings/sec, 80 secs
lola: sara is running 85 secs || 4551831 markings, 5148156 edges, 50830 markings/sec, 85 secs
lola: sara is running 90 secs || 4802867 markings, 5433650 edges, 50207 markings/sec, 90 secs
lola: sara is running 95 secs || 5049587 markings, 5714576 edges, 49344 markings/sec, 95 secs
lola: sara is running 100 secs || 5297911 markings, 6000799 edges, 49665 markings/sec, 100 secs
lola: sara is running 105 secs || 5547247 markings, 6291027 edges, 49867 markings/sec, 105 secs
lola: sara is running 110 secs || 5798204 markings, 6577107 edges, 50191 markings/sec, 110 secs
lola: sara is running 115 secs || 6048075 markings, 6864604 edges, 49974 markings/sec, 115 secs
lola: sara is running 120 secs || 6297622 markings, 7156159 edges, 49909 markings/sec, 120 secs
lola: sara is running 125 secs || 6547563 markings, 7443817 edges, 49988 markings/sec, 125 secs
lola: sara is running 130 secs || 6797404 markings, 7736197 edges, 49968 markings/sec, 130 secs
lola: sara is running 135 secs || 7050177 markings, 8030021 edges, 50555 markings/sec, 135 secs
lola: sara is running 140 secs || 7301915 markings, 8325749 edges, 50348 markings/sec, 140 secs
lola: sara is running 145 secs || 7552880 markings, 8623172 edges, 50193 markings/sec, 145 secs
lola: sara is running 150 secs || 7803283 markings, 8925628 edges, 50081 markings/sec, 150 secs
lola: sara is running 155 secs || 8058887 markings, 9208269 edges, 51121 markings/sec, 155 secs
lola: sara is running 160 secs || 8312681 markings, 9494457 edges, 50759 markings/sec, 160 secs
lola: sara is running 165 secs || 8566596 markings, 9780305 edges, 50783 markings/sec, 165 secs
lola: sara is running 170 secs || 8819464 markings, 10067744 edges, 50574 markings/sec, 170 secs
lola: sara is running 175 secs || 9072166 markings, 10356009 edges, 50540 markings/sec, 175 secs
lola: sara is running 180 secs || 9324452 markings, 10646244 edges, 50457 markings/sec, 180 secs
lola: sara is running 185 secs || 9576308 markings, 10939059 edges, 50371 markings/sec, 185 secs
lola: sara is running 190 secs || 9829961 markings, 11224262 edges, 50731 markings/sec, 190 secs
lola: sara is running 195 secs || 10082802 markings, 11511650 edges, 50568 markings/sec, 195 secs
lola: sara is running 200 secs || 10334829 markings, 11800776 edges, 50405 markings/sec, 200 secs
lola: sara is running 205 secs || 10585595 markings, 12091218 edges, 50153 markings/sec, 205 secs
lola: sara is running 210 secs || 10834911 markings, 12377976 edges, 49863 markings/sec, 210 secs
lola: sara is running 215 secs || 11083581 markings, 12662565 edges, 49734 markings/sec, 215 secs
lola: sara is running 220 secs || 11331600 markings, 12949597 edges, 49604 markings/sec, 220 secs
lola: sara is running 225 secs || 11579452 markings, 13237441 edges, 49570 markings/sec, 225 secs
lola: sara is running 230 secs || 11827260 markings, 13524082 edges, 49562 markings/sec, 230 secs
lola: sara is running 235 secs || 12074364 markings, 13812986 edges, 49421 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown no unknown yes unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown no unknown yes unknown unknown unknown unknown
lola: memory consumption: 470608 KB
lola: time consumption: 625 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((A47 <= 0)) OR (2 <= A1))))
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 ((((A47 <= 0)) OR (2 <= A1))))
lola: processed formula length: 36
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: (((1 <= A47)) AND (A1 <= 1))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-4-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A49 <= B12)))
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 ((A49 <= B12)))
lola: processed formula length: 20
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: (B12 + 1 <= A49)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-5-0.sara
lola: ========================================
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A74 <= B45)))
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 ((A74 <= B45)))
lola: processed formula length: 20
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: (B45 + 1 <= A74)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((A13 <= 2)) OR (3 <= A77))))
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 ((((A13 <= 2)) OR (3 <= A77))))
lola: processed formula length: 37
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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 <= A13)) AND (A77 <= 2))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 246265 markings, 276021 edges, 49253 markings/sec, 0 secs
lola: sara is running 5 secs || 474196 markings, 535227 edges, 45586 markings/sec, 5 secs
lola: sara is running 10 secs || 728137 markings, 830417 edges, 50788 markings/sec, 10 secs
lola: sara is running 15 secs || 980471 markings, 1118493 edges, 50467 markings/sec, 15 secs
lola: sara is running 20 secs || 1220676 markings, 1398274 edges, 48041 markings/sec, 20 secs
lola: sara is running 25 secs || 1470996 markings, 1690755 edges, 50064 markings/sec, 25 secs
lola: sara is running 30 secs || 1722042 markings, 1984945 edges, 50209 markings/sec, 30 secs
lola: sara is running 35 secs || 1980331 markings, 2293767 edges, 51658 markings/sec, 35 secs
lola: sara is running 40 secs || 2229411 markings, 2585191 edges, 49816 markings/sec, 40 secs
lola: sara is running 45 secs || 2490632 markings, 2887323 edges, 52244 markings/sec, 45 secs
lola: sara is running 50 secs || 2740516 markings, 3176783 edges, 49977 markings/sec, 50 secs
lola: sara is running 55 secs || 3000846 markings, 3482085 edges, 52066 markings/sec, 55 secs
lola: sara is running 60 secs || 3248919 markings, 3776219 edges, 49615 markings/sec, 60 secs
lola: sara is running 65 secs || 3507369 markings, 4085958 edges, 51690 markings/sec, 65 secs
lola: sara is running 70 secs || 3752906 markings, 4373337 edges, 49107 markings/sec, 70 secs
lola: sara is running 75 secs || 4010839 markings, 4674879 edges, 51587 markings/sec, 75 secs
lola: sara is running 80 secs || 4267461 markings, 4981380 edges, 51324 markings/sec, 80 secs
lola: sara is running 85 secs || 4524499 markings, 5287140 edges, 51408 markings/sec, 85 secs
lola: sara is running 90 secs || 4767541 markings, 5575283 edges, 48608 markings/sec, 90 secs
lola: sara is running 95 secs || 5021557 markings, 5882347 edges, 50803 markings/sec, 95 secs
lola: sara is running 100 secs || 5278075 markings, 6188355 edges, 51304 markings/sec, 100 secs
lola: sara is running 105 secs || 5533691 markings, 6497557 edges, 51123 markings/sec, 105 secs
lola: sara is running 110 secs || 5789366 markings, 6808886 edges, 51135 markings/sec, 110 secs
lola: sara is running 115 secs || 6044110 markings, 7123646 edges, 50949 markings/sec, 115 secs
lola: sara is running 120 secs || 6301171 markings, 7434842 edges, 51412 markings/sec, 120 secs
lola: sara is running 125 secs || 6561956 markings, 7734885 edges, 52157 markings/sec, 125 secs
lola: sara is running 130 secs || 6822526 markings, 8037650 edges, 52114 markings/sec, 130 secs
lola: sara is running 135 secs || 7083001 markings, 8342502 edges, 52095 markings/sec, 135 secs
lola: sara is running 140 secs || 7342498 markings, 8649508 edges, 51899 markings/sec, 140 secs
lola: sara is running 145 secs || 7599717 markings, 8960026 edges, 51444 markings/sec, 145 secs
lola: sara is running 150 secs || 7857236 markings, 9258638 edges, 51504 markings/sec, 150 secs
lola: sara is running 155 secs || 8114205 markings, 9560418 edges, 51394 markings/sec, 155 secs
lola: sara is running 160 secs || 8371281 markings, 9866350 edges, 51415 markings/sec, 160 secs
lola: sara is running 165 secs || 8628563 markings, 10173287 edges, 51456 markings/sec, 165 secs
lola: sara is running 170 secs || 8886375 markings, 10478602 edges, 51562 markings/sec, 170 secs
lola: sara is running 175 secs || 9142786 markings, 10788614 edges, 51282 markings/sec, 175 secs
lola: sara is running 180 secs || 9400001 markings, 11095346 edges, 51443 markings/sec, 180 secs
lola: sara is running 185 secs || 9656507 markings, 11405233 edges, 51301 markings/sec, 185 secs
lola: sara is running 190 secs || 9912296 markings, 11716669 edges, 51158 markings/sec, 190 secs
lola: sara is running 195 secs || 10166526 markings, 12030384 edges, 50846 markings/sec, 195 secs
lola: sara is running 200 secs || 10422526 markings, 12343536 edges, 51200 markings/sec, 200 secs
lola: sara is running 205 secs || 10681211 markings, 12645469 edges, 51737 markings/sec, 205 secs
lola: sara is running 210 secs || 10939441 markings, 12948983 edges, 51646 markings/sec, 210 secs
lola: sara is running 215 secs || 11195851 markings, 13256841 edges, 51282 markings/sec, 215 secs
lola: sara is running 220 secs || 11453766 markings, 13563064 edges, 51583 markings/sec, 220 secs
lola: sara is running 225 secs || 11710806 markings, 13867802 edges, 51408 markings/sec, 225 secs
lola: sara is running 230 secs || 11967363 markings, 14176563 edges, 51311 markings/sec, 230 secs
lola: sara is running 235 secs || 12225040 markings, 14486294 edges, 51535 markings/sec, 235 secs
lola: sara is running 240 secs || 12480491 markings, 14794885 edges, 51090 markings/sec, 240 secs
lola: sara is running 245 secs || 12735256 markings, 15107002 edges, 50953 markings/sec, 245 secs
lola: sara is running 250 secs || 12989251 markings, 15421016 edges, 50799 markings/sec, 250 secs
lola: sara is running 255 secs || 13244574 markings, 15729490 edges, 51065 markings/sec, 255 secs
lola: sara is running 260 secs || 13500636 markings, 16033058 edges, 51212 markings/sec, 260 secs
lola: sara is running 265 secs || 13755261 markings, 16340556 edges, 50925 markings/sec, 265 secs
lola: sara is running 270 secs || 14010936 markings, 16645839 edges, 51135 markings/sec, 270 secs
lola: sara is running 275 secs || 14256600 markings, 16942986 edges, 49133 markings/sec, 275 secs
lola: sara is running 280 secs || 14510723 markings, 17252710 edges, 50825 markings/sec, 280 secs
lola: sara is running 285 secs || 14763721 markings, 17565010 edges, 50600 markings/sec, 285 secs
lola: sara is running 290 secs || 15017220 markings, 17877284 edges, 50700 markings/sec, 290 secs
lola: sara is running 295 secs || 15272910 markings, 18184127 edges, 51138 markings/sec, 295 secs
lola: sara is running 300 secs || 15527806 markings, 18492625 edges, 50979 markings/sec, 300 secs
lola: sara is running 305 secs || 15781551 markings, 18802667 edges, 50749 markings/sec, 305 secs
lola: sara is running 310 secs || 16034659 markings, 19115275 edges, 50622 markings/sec, 310 secs
lola: sara is running 315 secs || 16288992 markings, 19428336 edges, 50867 markings/sec, 315 secs
lola: sara is running 320 secs || 16543687 markings, 19738474 edges, 50939 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown yes no no unknown yes no unknown unknown unknown
lola: memory consumption: 624592 KB
lola: time consumption: 952 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= B12) AND (3 <= A54) AND (A26 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= B12) AND (3 <= A54) AND (A26 <= 0))))
lola: processed formula length: 50
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= B12) AND (3 <= A54) AND (A26 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 251742 markings, 274960 edges, 50348 markings/sec, 0 secs
lola: sara is running 5 secs || 500250 markings, 550956 edges, 49702 markings/sec, 5 secs
lola: sara is running 10 secs || 746674 markings, 828390 edges, 49285 markings/sec, 10 secs
lola: sara is running 15 secs || 993203 markings, 1105691 edges, 49306 markings/sec, 15 secs
lola: sara is running 20 secs || 1240027 markings, 1382645 edges, 49365 markings/sec, 20 secs
lola: sara is running 25 secs || 1485182 markings, 1661478 edges, 49031 markings/sec, 25 secs
lola: sara is running 30 secs || 1730186 markings, 1939516 edges, 49001 markings/sec, 30 secs
lola: sara is running 35 secs || 1974146 markings, 2218252 edges, 48792 markings/sec, 35 secs
lola: sara is running 40 secs || 2216695 markings, 2498493 edges, 48510 markings/sec, 40 secs
lola: sara is running 45 secs || 2456334 markings, 2780343 edges, 47928 markings/sec, 45 secs
lola: sara is running 50 secs || 2702873 markings, 3058773 edges, 49308 markings/sec, 50 secs
lola: sara is running 55 secs || 2949439 markings, 3335794 edges, 49313 markings/sec, 55 secs
lola: sara is running 60 secs || 3194630 markings, 3614458 edges, 49038 markings/sec, 60 secs
lola: sara is running 65 secs || 3438463 markings, 3893161 edges, 48767 markings/sec, 65 secs
lola: sara is running 70 secs || 3682353 markings, 4172075 edges, 48778 markings/sec, 70 secs
lola: sara is running 75 secs || 3924909 markings, 4451606 edges, 48511 markings/sec, 75 secs
lola: sara is running 80 secs || 4163686 markings, 4735103 edges, 47755 markings/sec, 80 secs
lola: sara is running 85 secs || 4410272 markings, 5011870 edges, 49317 markings/sec, 85 secs
lola: sara is running 90 secs || 4654488 markings, 5290964 edges, 48843 markings/sec, 90 secs
lola: sara is running 95 secs || 4897541 markings, 5570749 edges, 48611 markings/sec, 95 secs
lola: sara is running 100 secs || 5138636 markings, 5852555 edges, 48219 markings/sec, 100 secs
lola: sara is running 105 secs || 5380836 markings, 6134504 edges, 48440 markings/sec, 105 secs
lola: sara is running 110 secs || 5623898 markings, 6414217 edges, 48612 markings/sec, 110 secs
lola: sara is running 115 secs || 5864444 markings, 6695493 edges, 48109 markings/sec, 115 secs
lola: sara is running 120 secs || 6104867 markings, 6977327 edges, 48085 markings/sec, 120 secs
lola: sara is running 125 secs || 6345249 markings, 7258495 edges, 48076 markings/sec, 125 secs
lola: sara is running 130 secs || 6584636 markings, 7541276 edges, 47877 markings/sec, 130 secs
lola: sara is running 135 secs || 6822904 markings, 7824196 edges, 47654 markings/sec, 135 secs
lola: sara is running 140 secs || 7060251 markings, 8107528 edges, 47469 markings/sec, 140 secs
lola: sara is running 145 secs || 7294573 markings, 8392959 edges, 46864 markings/sec, 145 secs
lola: sara is running 150 secs || 7538079 markings, 8675423 edges, 48701 markings/sec, 150 secs
lola: sara is running 155 secs || 7784969 markings, 8952594 edges, 49378 markings/sec, 155 secs
lola: sara is running 160 secs || 8030323 markings, 9231368 edges, 49071 markings/sec, 160 secs
lola: sara is running 165 secs || 8275315 markings, 9509385 edges, 48998 markings/sec, 165 secs
lola: sara is running 170 secs || 8519597 markings, 9788521 edges, 48856 markings/sec, 170 secs
lola: sara is running 175 secs || 8762262 markings, 10069211 edges, 48533 markings/sec, 175 secs
lola: sara is running 180 secs || 9001680 markings, 10351216 edges, 47884 markings/sec, 180 secs
lola: sara is running 185 secs || 9247567 markings, 10630888 edges, 49177 markings/sec, 185 secs
lola: sara is running 190 secs || 9491890 markings, 10910131 edges, 48865 markings/sec, 190 secs
lola: sara is running 195 secs || 9735815 markings, 11189698 edges, 48785 markings/sec, 195 secs
lola: sara is running 200 secs || 9977441 markings, 11470963 edges, 48325 markings/sec, 200 secs
lola: sara is running 205 secs || 10218043 markings, 11753159 edges, 48120 markings/sec, 205 secs
lola: sara is running 210 secs || 10461677 markings, 12032667 edges, 48727 markings/sec, 210 secs
lola: sara is running 215 secs || 10702987 markings, 12313691 edges, 48262 markings/sec, 215 secs
lola: sara is running 220 secs || 10942765 markings, 12595997 edges, 47956 markings/sec, 220 secs
lola: sara is running 225 secs || 11183876 markings, 12876714 edges, 48222 markings/sec, 225 secs
lola: sara is running 230 secs || 11422883 markings, 13159360 edges, 47801 markings/sec, 230 secs
lola: sara is running 235 secs || 11661300 markings, 13442709 edges, 47683 markings/sec, 235 secs
lola: sara is running 240 secs || 11899398 markings, 13725415 edges, 47620 markings/sec, 240 secs
lola: sara is running 245 secs || 12134581 markings, 14010141 edges, 47037 markings/sec, 245 secs
lola: sara is running 250 secs || 12374141 markings, 14295288 edges, 47912 markings/sec, 250 secs
lola: sara is running 255 secs || 12618311 markings, 14573539 edges, 48834 markings/sec, 255 secs
lola: sara is running 260 secs || 12862066 markings, 14852068 edges, 48751 markings/sec, 260 secs
lola: sara is running 265 secs || 13104459 markings, 15131639 edges, 48479 markings/sec, 265 secs
lola: sara is running 270 secs || 13343159 markings, 15414701 edges, 47740 markings/sec, 270 secs
lola: sara is running 275 secs || 13586751 markings, 15693688 edges, 48718 markings/sec, 275 secs
lola: sara is running 280 secs || 13829073 markings, 15973073 edges, 48464 markings/sec, 280 secs
lola: sara is running 285 secs || 14067646 markings, 16256028 edges, 47715 markings/sec, 285 secs
lola: sara is running 290 secs || 14309786 markings, 16535896 edges, 48428 markings/sec, 290 secs
lola: sara is running 295 secs || 14548224 markings, 16818893 edges, 47688 markings/sec, 295 secs
lola: sara is running 300 secs || 14788337 markings, 17099604 edges, 48023 markings/sec, 300 secs
lola: sara is running 305 secs || 15026134 markings, 17383066 edges, 47559 markings/sec, 305 secs
lola: sara is running 310 secs || 15262354 markings, 17667609 edges, 47244 markings/sec, 310 secs
lola: sara is running 315 secs || 15495544 markings, 17956117 edges, 46638 markings/sec, 315 secs
lola: sara is running 320 secs || 15739840 markings, 18235414 edges, 48859 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown yes no no unknown yes no unknown unknown unknown
lola: memory consumption: 643800 KB
lola: time consumption: 1279 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((B26 <= 0) AND (B24 + 1 <= A34)))))
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 ((((B26 <= 0) AND (B24 + 1 <= A34)))))
lola: processed formula length: 43
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: (((B26 <= 0) AND (B24 + 1 <= A34)))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-9-0.sara
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: lola: state equation: calling and running sara
========================================
subprocess 10 will run for 381 seconds at most (--localtimelimit=0)
lola: ========================================
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-9-0.sara.
lola: ...considering subproblem: A (G (((1 <= B17) OR (A18 <= A83))))
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 (((1 <= B17) OR (A18 <= A83))))
lola: processed formula length: 37
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: ((B17 <= 0) AND (A83 + 1 <= A18))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((A85 <= 0) OR (A4 <= 2)) AND ((2 <= A47) OR (2 <= A47) OR (3 <= A64)))))
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 ((((A85 <= 0) OR (A4 <= 2)) AND ((2 <= A47) OR (2 <= A47) OR (3 <= A64)))))
lola: processed formula length: 83
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: formula 0: (((1 <= A85) AND (3 <= A4)) OR ((A47 <= 1) AND (A47 <= 1) AND (A64 <= 2)))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: ========================================
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 572 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0))))
lola: processed formula length: 56
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: ((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 21 markings, 20 edges
lola: ========================================
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 763 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))))
lola: processed formula length: 65
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 270832 markings, 305560 edges, 54166 markings/sec, 0 secs
lola: sara is running 5 secs || 544843 markings, 622073 edges, 54802 markings/sec, 5 secs
lola: sara is running 10 secs || 817553 markings, 939082 edges, 54542 markings/sec, 10 secs
lola: sara is running 15 secs || 1089176 markings, 1258093 edges, 54325 markings/sec, 15 secs
lola: sara is running 20 secs || 1361155 markings, 1576131 edges, 54396 markings/sec, 20 secs
lola: sara is running 25 secs || 1632392 markings, 1896990 edges, 54247 markings/sec, 25 secs
lola: sara is running 30 secs || 1902077 markings, 2223922 edges, 53937 markings/sec, 30 secs
lola: sara is running 35 secs || 2175208 markings, 2541779 edges, 54626 markings/sec, 35 secs
lola: sara is running 40 secs || 2448022 markings, 2861533 edges, 54563 markings/sec, 40 secs
lola: sara is running 45 secs || 2720929 markings, 3182512 edges, 54581 markings/sec, 45 secs
lola: sara is running 50 secs || 2992385 markings, 3506215 edges, 54291 markings/sec, 50 secs
lola: sara is running 55 secs || 3262502 markings, 3834814 edges, 54023 markings/sec, 55 secs
lola: sara is running 60 secs || 3535815 markings, 4155683 edges, 54663 markings/sec, 60 secs
lola: sara is running 65 secs || 3808656 markings, 4477822 edges, 54568 markings/sec, 65 secs
lola: sara is running 70 secs || 4079868 markings, 4807323 edges, 54242 markings/sec, 70 secs
lola: sara is running 75 secs || 4332768 markings, 5108748 edges, 50580 markings/sec, 75 secs
lola: sara is running 80 secs || 4603350 markings, 5434508 edges, 54116 markings/sec, 80 secs
lola: sara is running 85 secs || 4874543 markings, 5762817 edges, 54239 markings/sec, 85 secs
lola: sara is running 90 secs || 5144747 markings, 6092994 edges, 54041 markings/sec, 90 secs
lola: sara is running 95 secs || 5414358 markings, 6423568 edges, 53922 markings/sec, 95 secs
lola: sara is running 100 secs || 5678623 markings, 6752594 edges, 52853 markings/sec, 100 secs
lola: sara is running 105 secs || 5947900 markings, 7082780 edges, 53855 markings/sec, 105 secs
lola: sara is running 110 secs || 6221867 markings, 7401418 edges, 54793 markings/sec, 110 secs
lola: sara is running 115 secs || 6494866 markings, 7720972 edges, 54600 markings/sec, 115 secs
lola: sara is running 120 secs || 6766315 markings, 8043489 edges, 54290 markings/sec, 120 secs
lola: sara is running 125 secs || 7036604 markings, 8367931 edges, 54058 markings/sec, 125 secs
lola: sara is running 130 secs || 7300802 markings, 8682573 edges, 52840 markings/sec, 130 secs
lola: sara is running 135 secs || 7571004 markings, 9001736 edges, 54040 markings/sec, 135 secs
lola: sara is running 140 secs || 7840412 markings, 9324857 edges, 53882 markings/sec, 140 secs
lola: sara is running 145 secs || 8109169 markings, 9649150 edges, 53751 markings/sec, 145 secs
lola: sara is running 150 secs || 8378681 markings, 9971047 edges, 53902 markings/sec, 150 secs
lola: sara is running 155 secs || 8646687 markings, 10297359 edges, 53601 markings/sec, 155 secs
lola: sara is running 160 secs || 8915090 markings, 10622133 edges, 53681 markings/sec, 160 secs
lola: sara is running 165 secs || 9182419 markings, 10949140 edges, 53466 markings/sec, 165 secs
lola: sara is running 170 secs || 9449051 markings, 11278794 edges, 53326 markings/sec, 170 secs
lola: sara is running 175 secs || 9714095 markings, 11613023 edges, 53009 markings/sec, 175 secs
lola: sara is running 180 secs || 9984493 markings, 11932700 edges, 54080 markings/sec, 180 secs
lola: sara is running 185 secs || 10254319 markings, 12252703 edges, 53965 markings/sec, 185 secs
lola: sara is running 190 secs || 10523016 markings, 12576294 edges, 53739 markings/sec, 190 secs
lola: sara is running 195 secs || 10782759 markings, 12888363 edges, 51949 markings/sec, 195 secs
lola: sara is running 200 secs || 11042342 markings, 13199565 edges, 51917 markings/sec, 200 secs
lola: sara is running 205 secs || 11305683 markings, 13519662 edges, 52668 markings/sec, 205 secs
lola: sara is running 210 secs || 11575851 markings, 13850103 edges, 54034 markings/sec, 210 secs
lola: sara is running 215 secs || 11846057 markings, 14179972 edges, 54041 markings/sec, 215 secs
lola: sara is running 220 secs || 12115139 markings, 14513467 edges, 53816 markings/sec, 220 secs
lola: sara is running 225 secs || 12382833 markings, 14849113 edges, 53539 markings/sec, 225 secs
lola: sara is running 230 secs || 12653851 markings, 15171349 edges, 54204 markings/sec, 230 secs
lola: sara is running 235 secs || 12922317 markings, 15499673 edges, 53693 markings/sec, 235 secs
lola: sara is running 240 secs || 13191179 markings, 15822302 edges, 53772 markings/sec, 240 secs
lola: sara is running 245 secs || 13437482 markings, 16122917 edges, 49261 markings/sec, 245 secs
lola: sara is running 250 secs || 13703850 markings, 16451100 edges, 53274 markings/sec, 250 secs
lola: sara is running 255 secs || 13969857 markings, 16784311 edges, 53201 markings/sec, 255 secs
lola: sara is running 260 secs || 14238325 markings, 17114633 edges, 53694 markings/sec, 260 secs
lola: sara is running 265 secs || 14507473 markings, 17443348 edges, 53830 markings/sec, 265 secs
lola: sara is running 270 secs || 14776291 markings, 17772946 edges, 53764 markings/sec, 270 secs
lola: sara is running 275 secs || 15042900 markings, 18104172 edges, 53322 markings/sec, 275 secs
lola: sara is running 280 secs || 15309012 markings, 18438206 edges, 53222 markings/sec, 280 secs
lola: sara is running 285 secs || 15577349 markings, 18767440 edges, 53667 markings/sec, 285 secs
lola: sara is running 290 secs || 15843572 markings, 19099556 edges, 53245 markings/sec, 290 secs
lola: sara is running 295 secs || 16109378 markings, 19433303 edges, 53161 markings/sec, 295 secs
lola: sara is running 300 secs || 16376364 markings, 19767077 edges, 53397 markings/sec, 300 secs
lola: sara is running 305 secs || 16641489 markings, 20102100 edges, 53025 markings/sec, 305 secs
lola: sara is running 310 secs || 16905520 markings, 20437082 edges, 52806 markings/sec, 310 secs
lola: sara is running 315 secs || 17168892 markings, 20773624 edges, 52674 markings/sec, 315 secs
lola: sara is running 320 secs || 17431410 markings, 21113649 edges, 52504 markings/sec, 320 secs
lola: sara is running 325 secs || 17700917 markings, 21443498 edges, 53901 markings/sec, 325 secs
lola: sara is running 330 secs || 17973994 markings, 21764259 edges, 54615 markings/sec, 330 secs
lola: sara is running 335 secs || 18247588 markings, 22083933 edges, 54719 markings/sec, 335 secs
lola: sara is running 340 secs || 18519816 markings, 22405996 edges, 54446 markings/sec, 340 secs
lola: sara is running 345 secs || 18790017 markings, 22733519 edges, 54040 markings/sec, 345 secs
lola: sara is running 350 secs || 19061438 markings, 23053491 edges, 54284 markings/sec, 350 secs
lola: sara is running 355 secs || 19332436 markings, 23375314 edges, 54200 markings/sec, 355 secs
lola: sara is running 360 secs || 19602578 markings, 23700044 edges, 54028 markings/sec, 360 secs
lola: sara is running 365 secs || 19872416 markings, 24024268 edges, 53968 markings/sec, 365 secs
lola: sara is running 370 secs || 20142411 markings, 24348121 edges, 53999 markings/sec, 370 secs
lola: sara is running 375 secs || 20411172 markings, 24675167 edges, 53752 markings/sec, 375 secs
lola: sara is running 380 secs || 20679302 markings, 25002209 edges, 53626 markings/sec, 380 secs
lola: sara is running 385 secs || 20947582 markings, 25330084 edges, 53656 markings/sec, 385 secs
lola: sara is running 390 secs || 21214460 markings, 25661014 edges, 53376 markings/sec, 390 secs
lola: sara is running 395 secs || 21481038 markings, 25994312 edges, 53316 markings/sec, 395 secs
lola: sara is running 400 secs || 21753282 markings, 26314279 edges, 54449 markings/sec, 400 secs
lola: sara is running 405 secs || 22024313 markings, 26635852 edges, 54206 markings/sec, 405 secs
lola: sara is running 410 secs || 22293040 markings, 26963761 edges, 53745 markings/sec, 410 secs
lola: sara is running 415 secs || 22564633 markings, 27285517 edges, 54319 markings/sec, 415 secs
lola: sara is running 420 secs || 22834428 markings, 27612513 edges, 53959 markings/sec, 420 secs
lola: sara is running 425 secs || 23099749 markings, 27933068 edges, 53064 markings/sec, 425 secs
lola: sara is running 430 secs || 23364053 markings, 28255795 edges, 52861 markings/sec, 430 secs
lola: sara is running 435 secs || 23618528 markings, 28568469 edges, 50895 markings/sec, 435 secs
lola: sara is running 440 secs || 23872000 markings, 28884252 edges, 50694 markings/sec, 440 secs
lola: sara is running 445 secs || 24126080 markings, 29199346 edges, 50816 markings/sec, 445 secs
lola: sara is running 450 secs || 24389686 markings, 29514156 edges, 52721 markings/sec, 450 secs
lola: sara is running 455 secs || 24655764 markings, 29838502 edges, 53216 markings/sec, 455 secs
lola: sara is running 460 secs || 24922652 markings, 30160682 edges, 53378 markings/sec, 460 secs
lola: sara is running 465 secs || 25189146 markings, 30486303 edges, 53299 markings/sec, 465 secs
lola: sara is running 470 secs || 25454290 markings, 30814203 edges, 53029 markings/sec, 470 secs
lola: sara is running 475 secs || 25718089 markings, 31145787 edges, 52760 markings/sec, 475 secs
lola: sara is running 480 secs || 25983751 markings, 31469695 edges, 53132 markings/sec, 480 secs
lola: sara is running 485 secs || 26240562 markings, 31783573 edges, 51362 markings/sec, 485 secs
lola: sara is running 490 secs || 26504261 markings, 32107190 edges, 52740 markings/sec, 490 secs
lola: sara is running 495 secs || 26766613 markings, 32434560 edges, 52470 markings/sec, 495 secs
lola: sara is running 500 secs || 27028663 markings, 32761893 edges, 52410 markings/sec, 500 secs
lola: sara is running 505 secs || 27290883 markings, 33084102 edges, 52444 markings/sec, 505 secs
lola: sara is running 510 secs || 27551781 markings, 33410111 edges, 52180 markings/sec, 510 secs
lola: sara is running 515 secs || 27812811 markings, 33737884 edges, 52206 markings/sec, 515 secs
lola: sara is running 520 secs || 28074370 markings, 34064504 edges, 52312 markings/sec, 520 secs
lola: sara is running 525 secs || 28335069 markings, 34394336 edges, 52140 markings/sec, 525 secs
lola: sara is running 530 secs || 28594510 markings, 34723551 edges, 51888 markings/sec, 530 secs
lola: sara is running 535 secs || 28855843 markings, 35057393 edges, 52267 markings/sec, 535 secs
lola: sara is running 540 secs || 29116591 markings, 35395041 edges, 52150 markings/sec, 540 secs
lola: sara is running 545 secs || 29382389 markings, 35723834 edges, 53160 markings/sec, 545 secs
lola: sara is running 550 secs || 29651667 markings, 36041674 edges, 53856 markings/sec, 550 secs
lola: sara is running 555 secs || 29919531 markings, 36362568 edges, 53573 markings/sec, 555 secs
lola: sara is running 560 secs || 30187027 markings, 36685966 edges, 53499 markings/sec, 560 secs
lola: sara is running 565 secs || 30455812 markings, 37006868 edges, 53757 markings/sec, 565 secs
lola: sara is running 570 secs || 30722835 markings, 37332211 edges, 53405 markings/sec, 570 secs
lola: sara is running 575 secs || 30989753 markings, 37654759 edges, 53384 markings/sec, 575 secs
lola: sara is running 580 secs || 31255734 markings, 37979827 edges, 53196 markings/sec, 580 secs
lola: sara is running 585 secs || 31520823 markings, 38307727 edges, 53018 markings/sec, 585 secs
lola: sara is running 590 secs || 31772679 markings, 38624176 edges, 50371 markings/sec, 590 secs
lola: sara is running 595 secs || 32038848 markings, 38945895 edges, 53234 markings/sec, 595 secs
lola: sara is running 600 secs || 32305595 markings, 39266704 edges, 53349 markings/sec, 600 secs
lola: sara is running 605 secs || 32571607 markings, 39588959 edges, 53202 markings/sec, 605 secs
lola: sara is running 610 secs || 32836367 markings, 39912374 edges, 52952 markings/sec, 610 secs
lola: sara is running 615 secs || 33101170 markings, 40236978 edges, 52961 markings/sec, 615 secs
lola: sara is running 620 secs || 33364961 markings, 40564391 edges, 52758 markings/sec, 620 secs
lola: sara is running 625 secs || 33626717 markings, 40892322 edges, 52351 markings/sec, 625 secs
lola: sara is running 630 secs || 33890751 markings, 41212182 edges, 52807 markings/sec, 630 secs
lola: sara is running 635 secs || 34153854 markings, 41533914 edges, 52621 markings/sec, 635 secs
lola: sara is running 640 secs || 34416152 markings, 41858245 edges, 52460 markings/sec, 640 secs
lola: sara is running 645 secs || 34676846 markings, 42186514 edges, 52139 markings/sec, 645 secs
lola: sara is running 650 secs || 34938799 markings, 42509281 edges, 52391 markings/sec, 650 secs
lola: sara is running 655 secs || 35200364 markings, 42832299 edges, 52313 markings/sec, 655 secs
lola: sara is running 660 secs || 35460629 markings, 43161119 edges, 52053 markings/sec, 660 secs
lola: sara is running 665 secs || 35721677 markings, 43485314 edges, 52210 markings/sec, 665 secs
lola: sara is running 670 secs || 35981765 markings, 43814536 edges, 52018 markings/sec, 670 secs
lola: sara is running 675 secs || 36242241 markings, 44141750 edges, 52095 markings/sec, 675 secs
lola: sara is running 680 secs || 36491959 markings, 44459363 edges, 49944 markings/sec, 680 secs
lola: sara is running 685 secs || 36752644 markings, 44795074 edges, 52137 markings/sec, 685 secs
lola: sara is running 690 secs || 37012308 markings, 45135918 edges, 51933 markings/sec, 690 secs
lola: sara is running 695 secs || 37281193 markings, 45456182 edges, 53777 markings/sec, 695 secs
lola: sara is running 700 secs || 37551474 markings, 45783937 edges, 54056 markings/sec, 700 secs
lola: sara is running 705 secs || 37821317 markings, 46109834 edges, 53969 markings/sec, 705 secs
lola: sara is running 710 secs || 38090264 markings, 46438221 edges, 53789 markings/sec, 710 secs
lola: sara is running 715 secs || 38358390 markings, 46767573 edges, 53625 markings/sec, 715 secs
lola: sara is running 720 secs || 38625097 markings, 47100795 edges, 53341 markings/sec, 720 secs
lola: sara is running 725 secs || 38892823 markings, 47432605 edges, 53545 markings/sec, 725 secs
lola: sara is running 730 secs || 39162162 markings, 47761261 edges, 53868 markings/sec, 730 secs
lola: sara is running 735 secs || 39431285 markings, 48090356 edges, 53825 markings/sec, 735 secs
lola: sara is running 740 secs || 39699312 markings, 48422692 edges, 53605 markings/sec, 740 secs
lola: sara is running 745 secs || 39965634 markings, 48757888 edges, 53264 markings/sec, 745 secs
lola: sara is running 750 secs || 40233686 markings, 49086663 edges, 53610 markings/sec, 750 secs
lola: sara is running 755 secs || 40500256 markings, 49417818 edges, 53314 markings/sec, 755 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown no yes yes no no yes yes no unknown unknown unknown
lola: memory consumption: 1517688 KB
lola: time consumption: 2042 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 763 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91))))
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 ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91))))
lola: processed formula length: 64
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: (((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 19 markings, 18 edges
lola: ========================================
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1526 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((B25 <= A54) AND (2 <= A47) AND ((B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70)))))
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 (((B25 <= A54) AND (2 <= A47) AND ((B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70)))))
lola: processed formula length: 105
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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: ((B25 <= A54) AND (2 <= A47) AND ((B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70)))
lola: state equation: Generated DNF with 12 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15-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: 6 markings, 5 edges
lola: ========================================
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A33)))
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 <= A33)))
lola: processed formula length: 18
lola: 7 rewrites
lola: closed formula file DNAwalker-PT-18lozangeBlock-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 <= A33)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 250024 markings, 272874 edges, 50005 markings/sec, 0 secs
lola: sara is running 5 secs || 499758 markings, 549964 edges, 49947 markings/sec, 5 secs
lola: sara is running 10 secs || 748280 markings, 828429 edges, 49704 markings/sec, 10 secs
lola: sara is running 15 secs || 997056 markings, 1107690 edges, 49755 markings/sec, 15 secs
lola: sara is running 20 secs || 1245801 markings, 1385461 edges, 49749 markings/sec, 20 secs
lola: sara is running 25 secs || 1494021 markings, 1667110 edges, 49644 markings/sec, 25 secs
lola: sara is running 30 secs || 1742675 markings, 1946739 edges, 49731 markings/sec, 30 secs
lola: sara is running 35 secs || 1990400 markings, 2228188 edges, 49545 markings/sec, 35 secs
lola: sara is running 40 secs || 2246172 markings, 2521396 edges, 51154 markings/sec, 40 secs
lola: sara is running 45 secs || 2503185 markings, 2819197 edges, 51403 markings/sec, 45 secs
lola: sara is running 50 secs || 2762115 markings, 3112781 edges, 51786 markings/sec, 50 secs
lola: sara is running 55 secs || 3013410 markings, 3394083 edges, 50259 markings/sec, 55 secs
lola: sara is running 60 secs || 3273264 markings, 3687853 edges, 51971 markings/sec, 60 secs
lola: sara is running 65 secs || 3532695 markings, 3981521 edges, 51886 markings/sec, 65 secs
lola: sara is running 70 secs || 3791760 markings, 4275964 edges, 51813 markings/sec, 70 secs
lola: sara is running 75 secs || 4049776 markings, 4571710 edges, 51603 markings/sec, 75 secs
lola: sara is running 80 secs || 4300355 markings, 4864082 edges, 50116 markings/sec, 80 secs
lola: sara is running 85 secs || 4549220 markings, 5145269 edges, 49773 markings/sec, 85 secs
lola: sara is running 90 secs || 4797387 markings, 5427191 edges, 49633 markings/sec, 90 secs
lola: sara is running 95 secs || 5044792 markings, 5709211 edges, 49481 markings/sec, 95 secs
lola: sara is running 100 secs || 5290907 markings, 5992731 edges, 49223 markings/sec, 100 secs
lola: sara is running 105 secs || 5536555 markings, 6278969 edges, 49130 markings/sec, 105 secs
lola: sara is running 110 secs || 5784210 markings, 6561074 edges, 49531 markings/sec, 110 secs
lola: sara is running 115 secs || 6030744 markings, 6844914 edges, 49307 markings/sec, 115 secs
lola: sara is running 120 secs || 6275147 markings, 7130885 edges, 48881 markings/sec, 120 secs
lola: sara is running 125 secs || 6530838 markings, 7424168 edges, 51138 markings/sec, 125 secs
lola: sara is running 130 secs || 6786376 markings, 7723649 edges, 51108 markings/sec, 130 secs
lola: sara is running 135 secs || 7041996 markings, 8020440 edges, 51124 markings/sec, 135 secs
lola: sara is running 140 secs || 7296712 markings, 8319769 edges, 50943 markings/sec, 140 secs
lola: sara is running 145 secs || 7547384 markings, 8616842 edges, 50134 markings/sec, 145 secs
lola: sara is running 150 secs || 7800855 markings, 8923013 edges, 50694 markings/sec, 150 secs
lola: sara is running 155 secs || 8060134 markings, 9209737 edges, 51856 markings/sec, 155 secs
lola: sara is running 160 secs || 8318310 markings, 9500902 edges, 51635 markings/sec, 160 secs
lola: sara is running 165 secs || 8569345 markings, 9783439 edges, 50207 markings/sec, 165 secs
lola: sara is running 170 secs || 8815328 markings, 10063015 edges, 49197 markings/sec, 170 secs
lola: sara is running 175 secs || 9071540 markings, 10355238 edges, 51242 markings/sec, 175 secs
lola: sara is running 180 secs || 9322097 markings, 10643440 edges, 50111 markings/sec, 180 secs
lola: sara is running 185 secs || 9566713 markings, 10928399 edges, 48923 markings/sec, 185 secs
lola: sara is running 190 secs || 9813864 markings, 11206029 edges, 49430 markings/sec, 190 secs
lola: sara is running 195 secs || 10060338 markings, 11486240 edges, 49295 markings/sec, 195 secs
lola: sara is running 200 secs || 10306102 markings, 11767308 edges, 49153 markings/sec, 200 secs
lola: sara is running 205 secs || 10551005 markings, 12050637 edges, 48981 markings/sec, 205 secs
lola: sara is running 210 secs || 10796207 markings, 12334007 edges, 49040 markings/sec, 210 secs
lola: sara is running 215 secs || 11042090 markings, 12614853 edges, 49177 markings/sec, 215 secs
lola: sara is running 220 secs || 11286902 markings, 12897411 edges, 48962 markings/sec, 220 secs
lola: sara is running 225 secs || 11531381 markings, 13182377 edges, 48896 markings/sec, 225 secs
lola: sara is running 230 secs || 11778585 markings, 13467324 edges, 49441 markings/sec, 230 secs
lola: sara is running 235 secs || 12022356 markings, 13752550 edges, 48754 markings/sec, 235 secs
lola: sara is running 240 secs || 12266301 markings, 14037123 edges, 48789 markings/sec, 240 secs
lola: sara is running 245 secs || 12509744 markings, 14323067 edges, 48689 markings/sec, 245 secs
lola: sara is running 250 secs || 12757420 markings, 14616477 edges, 49535 markings/sec, 250 secs
lola: sara is running 255 secs || 13001124 markings, 14910988 edges, 48741 markings/sec, 255 secs
lola: sara is running 260 secs || 13259152 markings, 15199880 edges, 51606 markings/sec, 260 secs
lola: sara is running 265 secs || 13517432 markings, 15493450 edges, 51656 markings/sec, 265 secs
lola: sara is running 270 secs || 13775041 markings, 15788044 edges, 51522 markings/sec, 270 secs
lola: sara is running 275 secs || 14031253 markings, 16084548 edges, 51242 markings/sec, 275 secs
lola: sara is running 280 secs || 14277864 markings, 16369121 edges, 49322 markings/sec, 280 secs
lola: sara is running 285 secs || 14533431 markings, 16661256 edges, 51113 markings/sec, 285 secs
lola: sara is running 290 secs || 14789601 markings, 16957699 edges, 51234 markings/sec, 290 secs
lola: sara is running 295 secs || 15039304 markings, 17247781 edges, 49941 markings/sec, 295 secs
lola: sara is running 300 secs || 15295692 markings, 17544426 edges, 51278 markings/sec, 300 secs
lola: sara is running 305 secs || 15540288 markings, 17830362 edges, 48919 markings/sec, 305 secs
lola: sara is running 310 secs || 15782684 markings, 18114744 edges, 48479 markings/sec, 310 secs
lola: sara is running 315 secs || 16024960 markings, 18399105 edges, 48455 markings/sec, 315 secs
lola: sara is running 320 secs || 16266464 markings, 18685821 edges, 48301 markings/sec, 320 secs
lola: sara is running 325 secs || 16507990 markings, 18973932 edges, 48305 markings/sec, 325 secs
lola: sara is running 330 secs || 16752752 markings, 19252778 edges, 48952 markings/sec, 330 secs
lola: sara is running 335 secs || 16996512 markings, 19533295 edges, 48752 markings/sec, 335 secs
lola: sara is running 340 secs || 17239348 markings, 19817682 edges, 48567 markings/sec, 340 secs
lola: sara is running 345 secs || 17483460 markings, 20097276 edges, 48822 markings/sec, 345 secs
lola: sara is running 350 secs || 17727288 markings, 20382831 edges, 48766 markings/sec, 350 secs
lola: sara is running 355 secs || 17982890 markings, 20679649 edges, 51120 markings/sec, 355 secs
lola: sara is running 360 secs || 18237268 markings, 20978218 edges, 50876 markings/sec, 360 secs
lola: sara is running 365 secs || 18491264 markings, 21279160 edges, 50799 markings/sec, 365 secs
lola: sara is running 370 secs || 18741754 markings, 21580341 edges, 50098 markings/sec, 370 secs
lola: sara is running 375 secs || 18998500 markings, 21876799 edges, 51349 markings/sec, 375 secs
lola: sara is running 380 secs || 19240437 markings, 22159007 edges, 48387 markings/sec, 380 secs
lola: sara is running 385 secs || 19483216 markings, 22441463 edges, 48556 markings/sec, 385 secs
lola: sara is running 390 secs || 19725172 markings, 22725469 edges, 48391 markings/sec, 390 secs
lola: sara is running 395 secs || 19966827 markings, 23010532 edges, 48331 markings/sec, 395 secs
lola: sara is running 400 secs || 20207808 markings, 23298797 edges, 48196 markings/sec, 400 secs
lola: sara is running 405 secs || 20449689 markings, 23584752 edges, 48376 markings/sec, 405 secs
lola: sara is running 410 secs || 20693864 markings, 23871104 edges, 48835 markings/sec, 410 secs
lola: sara is running 415 secs || 20947882 markings, 24169949 edges, 50804 markings/sec, 415 secs
lola: sara is running 420 secs || 21200985 markings, 24471965 edges, 50621 markings/sec, 420 secs
lola: sara is running 425 secs || 21454093 markings, 24773692 edges, 50622 markings/sec, 425 secs
lola: sara is running 430 secs || 21707462 markings, 25073682 edges, 50674 markings/sec, 430 secs
lola: sara is running 435 secs || 21948360 markings, 25361627 edges, 48180 markings/sec, 435 secs
lola: sara is running 440 secs || 22189700 markings, 25650425 edges, 48268 markings/sec, 440 secs
lola: sara is running 445 secs || 22443580 markings, 25955303 edges, 50776 markings/sec, 445 secs
lola: sara is running 450 secs || 22697610 markings, 26260701 edges, 50806 markings/sec, 450 secs
lola: sara is running 455 secs || 22950991 markings, 26568075 edges, 50676 markings/sec, 455 secs
lola: sara is running 460 secs || 23203786 markings, 26878461 edges, 50559 markings/sec, 460 secs
lola: sara is running 465 secs || 23447157 markings, 27172709 edges, 48674 markings/sec, 465 secs
lola: sara is running 470 secs || 23706603 markings, 27461727 edges, 51889 markings/sec, 470 secs
lola: sara is running 475 secs || 23964264 markings, 27754437 edges, 51532 markings/sec, 475 secs
lola: sara is running 480 secs || 24223070 markings, 28043733 edges, 51761 markings/sec, 480 secs
lola: sara is running 485 secs || 24480385 markings, 28336125 edges, 51463 markings/sec, 485 secs
lola: sara is running 490 secs || 24736835 markings, 28629350 edges, 51290 markings/sec, 490 secs
lola: sara is running 495 secs || 24992192 markings, 28924935 edges, 51071 markings/sec, 495 secs
lola: sara is running 500 secs || 25249196 markings, 29220338 edges, 51401 markings/sec, 500 secs
lola: sara is running 505 secs || 25507241 markings, 29513490 edges, 51609 markings/sec, 505 secs
lola: sara is running 510 secs || 25764945 markings, 29806395 edges, 51541 markings/sec, 510 secs
lola: sara is running 515 secs || 26021709 markings, 30100418 edges, 51353 markings/sec, 515 secs
lola: sara is running 520 secs || 26276978 markings, 30399858 edges, 51054 markings/sec, 520 secs
lola: sara is running 525 secs || 26534817 markings, 30692914 edges, 51568 markings/sec, 525 secs
lola: sara is running 530 secs || 26791717 markings, 30987077 edges, 51380 markings/sec, 530 secs
lola: sara is running 535 secs || 27046684 markings, 31286258 edges, 50993 markings/sec, 535 secs
lola: sara is running 540 secs || 27302782 markings, 31579383 edges, 51220 markings/sec, 540 secs
lola: sara is running 545 secs || 27557322 markings, 31878325 edges, 50908 markings/sec, 545 secs
lola: sara is running 550 secs || 27812592 markings, 32173769 edges, 51054 markings/sec, 550 secs
lola: sara is running 555 secs || 28066516 markings, 32472064 edges, 50785 markings/sec, 555 secs
lola: sara is running 560 secs || 28320616 markings, 32773134 edges, 50820 markings/sec, 560 secs
lola: sara is running 565 secs || 28573289 markings, 33078186 edges, 50535 markings/sec, 565 secs
lola: sara is running 570 secs || 28832820 markings, 33369557 edges, 51906 markings/sec, 570 secs
lola: sara is running 575 secs || 29091194 markings, 33663174 edges, 51675 markings/sec, 575 secs
lola: sara is running 580 secs || 29348699 markings, 33957567 edges, 51501 markings/sec, 580 secs
lola: sara is running 585 secs || 29605548 markings, 34254663 edges, 51370 markings/sec, 585 secs
lola: sara is running 590 secs || 29864598 markings, 34553689 edges, 51810 markings/sec, 590 secs
lola: sara is running 595 secs || 30124250 markings, 34850547 edges, 51930 markings/sec, 595 secs
lola: sara is running 600 secs || 30382751 markings, 35149789 edges, 51700 markings/sec, 600 secs
lola: sara is running 605 secs || 30638888 markings, 35447045 edges, 51227 markings/sec, 605 secs
lola: sara is running 610 secs || 30894308 markings, 35742706 edges, 51084 markings/sec, 610 secs
lola: sara is running 615 secs || 31148716 markings, 36039907 edges, 50882 markings/sec, 615 secs
lola: sara is running 620 secs || 31403065 markings, 36338091 edges, 50870 markings/sec, 620 secs
lola: sara is running 625 secs || 31657280 markings, 36637028 edges, 50843 markings/sec, 625 secs
lola: sara is running 630 secs || 31910840 markings, 36939742 edges, 50712 markings/sec, 630 secs
lola: sara is running 635 secs || 32166618 markings, 37239628 edges, 51156 markings/sec, 635 secs
lola: sara is running 640 secs || 32423308 markings, 37533079 edges, 51338 markings/sec, 640 secs
lola: sara is running 645 secs || 32668740 markings, 37816989 edges, 49086 markings/sec, 645 secs
lola: sara is running 650 secs || 32913517 markings, 38101581 edges, 48955 markings/sec, 650 secs
lola: sara is running 655 secs || 33158680 markings, 38384349 edges, 49033 markings/sec, 655 secs
lola: sara is running 660 secs || 33402508 markings, 38669555 edges, 48766 markings/sec, 660 secs
lola: sara is running 665 secs || 33645887 markings, 38954012 edges, 48676 markings/sec, 665 secs
lola: sara is running 670 secs || 33888948 markings, 39239985 edges, 48612 markings/sec, 670 secs
lola: sara is running 675 secs || 34132187 markings, 39527888 edges, 48648 markings/sec, 675 secs
lola: sara is running 680 secs || 34376908 markings, 39822779 edges, 48944 markings/sec, 680 secs
lola: sara is running 685 secs || 34635892 markings, 40120217 edges, 51797 markings/sec, 685 secs
lola: sara is running 690 secs || 34892703 markings, 40420808 edges, 51362 markings/sec, 690 secs
lola: sara is running 695 secs || 35149944 markings, 40719742 edges, 51448 markings/sec, 695 secs
lola: sara is running 700 secs || 35406464 markings, 41021169 edges, 51304 markings/sec, 700 secs
lola: sara is running 705 secs || 35662621 markings, 41324678 edges, 51231 markings/sec, 705 secs
lola: sara is running 710 secs || 35917436 markings, 41631950 edges, 50963 markings/sec, 710 secs
lola: sara is running 715 secs || 36174571 markings, 41930710 edges, 51427 markings/sec, 715 secs
lola: sara is running 720 secs || 36430564 markings, 42231500 edges, 51199 markings/sec, 720 secs
lola: sara is running 725 secs || 36686116 markings, 42534266 edges, 51110 markings/sec, 725 secs
lola: sara is running 730 secs || 36940177 markings, 42841020 edges, 50812 markings/sec, 730 secs
lola: sara is running 735 secs || 37195753 markings, 43141290 edges, 51115 markings/sec, 735 secs
lola: sara is running 740 secs || 37450616 markings, 43444233 edges, 50973 markings/sec, 740 secs
lola: sara is running 745 secs || 37705018 markings, 43749728 edges, 50880 markings/sec, 745 secs
lola: sara is running 750 secs || 37959627 markings, 44053973 edges, 50922 markings/sec, 750 secs
lola: sara is running 755 secs || 38214041 markings, 44360341 edges, 50883 markings/sec, 755 secs
lola: sara is running 760 secs || 38467764 markings, 44667618 edges, 50745 markings/sec, 760 secs
lola: sara is running 765 secs || 38720031 markings, 44975453 edges, 50453 markings/sec, 765 secs
lola: sara is running 770 secs || 38971256 markings, 45288491 edges, 50245 markings/sec, 770 secs
lola: sara is running 775 secs || 39229931 markings, 45578106 edges, 51735 markings/sec, 775 secs
lola: sara is running 780 secs || 39487332 markings, 45870611 edges, 51480 markings/sec, 780 secs
lola: sara is running 785 secs || 39744512 markings, 46164622 edges, 51436 markings/sec, 785 secs
lola: sara is running 790 secs || 40000724 markings, 46461089 edges, 51242 markings/sec, 790 secs
lola: sara is running 795 secs || 40256745 markings, 46756602 edges, 51204 markings/sec, 795 secs
lola: sara is running 800 secs || 40513340 markings, 47049937 edges, 51319 markings/sec, 800 secs
lola: sara is running 805 secs || 40768889 markings, 47345643 edges, 51110 markings/sec, 805 secs
lola: sara is running 810 secs || 41023988 markings, 47641918 edges, 51020 markings/sec, 810 secs
lola: sara is running 815 secs || 41279540 markings, 47937553 edges, 51110 markings/sec, 815 secs
lola: sara is running 820 secs || 41533772 markings, 48234792 edges, 50846 markings/sec, 820 secs
lola: sara is running 825 secs || 41788092 markings, 48532660 edges, 50864 markings/sec, 825 secs
lola: sara is running 830 secs || 42042192 markings, 48831563 edges, 50820 markings/sec, 830 secs
lola: sara is running 835 secs || 42295412 markings, 49133046 edges, 50644 markings/sec, 835 secs
lola: sara is running 840 secs || 42550084 markings, 49432791 edges, 50934 markings/sec, 840 secs
lola: sara is running 845 secs || 42807088 markings, 49726209 edges, 51401 markings/sec, 845 secs
lola: sara is running 850 secs || 43063141 markings, 50022431 edges, 51211 markings/sec, 850 secs
lola: sara is running 855 secs || 43318510 markings, 50319039 edges, 51074 markings/sec, 855 secs
lola: sara is running 860 secs || 43574123 markings, 50614767 edges, 51123 markings/sec, 860 secs
lola: sara is running 865 secs || 43828636 markings, 50912063 edges, 50903 markings/sec, 865 secs
lola: sara is running 870 secs || 44082619 markings, 51209835 edges, 50797 markings/sec, 870 secs
lola: sara is running 875 secs || 44336792 markings, 51508452 edges, 50835 markings/sec, 875 secs
lola: sara is running 880 secs || 44590258 markings, 51809790 edges, 50693 markings/sec, 880 secs
lola: sara is running 885 secs || 44844257 markings, 52111222 edges, 50800 markings/sec, 885 secs
lola: sara is running 890 secs || 45100361 markings, 52406787 edges, 51221 markings/sec, 890 secs
lola: sara is running 895 secs || 45355123 markings, 52704546 edges, 50952 markings/sec, 895 secs
lola: sara is running 900 secs || 45609360 markings, 53003049 edges, 50847 markings/sec, 900 secs
lola: sara is running 905 secs || 45863588 markings, 53301174 edges, 50846 markings/sec, 905 secs
lola: sara is running 910 secs || 46116901 markings, 53602023 edges, 50663 markings/sec, 910 secs
lola: sara is running 915 secs || 46369900 markings, 53904105 edges, 50600 markings/sec, 915 secs
lola: sara is running 920 secs || 46624976 markings, 54203288 edges, 51015 markings/sec, 920 secs
lola: sara is running 925 secs || 46879992 markings, 54502633 edges, 51003 markings/sec, 925 secs
lola: sara is running 930 secs || 47134136 markings, 54804480 edges, 50829 markings/sec, 930 secs
lola: sara is running 935 secs || 47387730 markings, 55108472 edges, 50719 markings/sec, 935 secs
lola: sara is running 940 secs || 47641995 markings, 55407809 edges, 50853 markings/sec, 940 secs
lola: sara is running 945 secs || 47895336 markings, 55710484 edges, 50668 markings/sec, 945 secs
lola: sara is running 950 secs || 48148515 markings, 56014461 edges, 50636 markings/sec, 950 secs
lola: sara is running 955 secs || 48402027 markings, 56317468 edges, 50702 markings/sec, 955 secs
lola: sara is running 960 secs || 48655363 markings, 56622493 edges, 50667 markings/sec, 960 secs
lola: sara is running 965 secs || 48908480 markings, 56929045 edges, 50623 markings/sec, 965 secs
lola: sara is running 970 secs || 49160864 markings, 57237890 edges, 50477 markings/sec, 970 secs
lola: sara is running 975 secs || 49413622 markings, 57547778 edges, 50552 markings/sec, 975 secs
lola: sara is running 980 secs || 49670736 markings, 57840543 edges, 51423 markings/sec, 980 secs
lola: sara is running 985 secs || 49926996 markings, 58135406 edges, 51252 markings/sec, 985 secs
lola: sara is running 990 secs || 50182227 markings, 58433501 edges, 51046 markings/sec, 990 secs
lola: sara is running 995 secs || 50438411 markings, 58728212 edges, 51237 markings/sec, 995 secs
lola: sara is running 1000 secs || 50693371 markings, 59026580 edges, 50992 markings/sec, 1000 secs
lola: sara is running 1005 secs || 50948540 markings, 59323914 edges, 51034 markings/sec, 1005 secs
lola: sara is running 1010 secs || 51202904 markings, 59622937 edges, 50873 markings/sec, 1010 secs
lola: sara is running 1015 secs || 51456585 markings, 59923526 edges, 50736 markings/sec, 1015 secs
lola: sara is running 1020 secs || 51709427 markings, 60227285 edges, 50568 markings/sec, 1020 secs
lola: sara is running 1025 secs || 51965310 markings, 60521653 edges, 51177 markings/sec, 1025 secs
lola: sara is running 1030 secs || 52219744 markings, 60819220 edges, 50887 markings/sec, 1030 secs
lola: sara is running 1035 secs || 52474877 markings, 61115966 edges, 51027 markings/sec, 1035 secs
lola: sara is running 1040 secs || 52728604 markings, 61414065 edges, 50745 markings/sec, 1040 secs
lola: sara is running 1045 secs || 52972767 markings, 61703440 edges, 48833 markings/sec, 1045 secs
lola: sara is running 1050 secs || 53213308 markings, 61994759 edges, 48108 markings/sec, 1050 secs
lola: sara is running 1055 secs || 53456337 markings, 62276386 edges, 48606 markings/sec, 1055 secs
lola: sara is running 1060 secs || 53699318 markings, 62561359 edges, 48596 markings/sec, 1060 secs
lola: sara is running 1065 secs || 53941684 markings, 62848810 edges, 48473 markings/sec, 1065 secs
lola: sara is running 1070 secs || 54183444 markings, 63137657 edges, 48352 markings/sec, 1070 secs
lola: sara is running 1075 secs || 54425395 markings, 63424864 edges, 48390 markings/sec, 1075 secs
lola: sara is running 1080 secs || 54667284 markings, 63711228 edges, 48378 markings/sec, 1080 secs
lola: sara is running 1085 secs || 54908012 markings, 64001246 edges, 48146 markings/sec, 1085 secs
lola: sara is running 1090 secs || 55149379 markings, 64287837 edges, 48273 markings/sec, 1090 secs
lola: sara is running 1095 secs || 55389545 markings, 64578844 edges, 48033 markings/sec, 1095 secs
lola: sara is running 1100 secs || 55636181 markings, 64873989 edges, 49327 markings/sec, 1100 secs
lola: sara is running 1105 secs || 55881248 markings, 65172268 edges, 49013 markings/sec, 1105 secs
lola: sara is running 1110 secs || 56121048 markings, 65465664 edges, 47960 markings/sec, 1110 secs
lola: sara is running 1115 secs || 56361463 markings, 65758621 edges, 48083 markings/sec, 1115 secs
lola: sara is running 1120 secs || 56605531 markings, 66039890 edges, 48814 markings/sec, 1120 secs
lola: sara is running 1125 secs || 56848280 markings, 66324118 edges, 48550 markings/sec, 1125 secs
lola: sara is running 1130 secs || 57101391 markings, 66618691 edges, 50622 markings/sec, 1130 secs
lola: sara is running 1135 secs || 57344209 markings, 66903890 edges, 48564 markings/sec, 1135 secs
lola: sara is running 1140 secs || 57586600 markings, 67191380 edges, 48478 markings/sec, 1140 secs
lola: sara is running 1145 secs || 57827994 markings, 67482950 edges, 48279 markings/sec, 1145 secs
lola: sara is running 1150 secs || 58072099 markings, 67766171 edges, 48821 markings/sec, 1150 secs
lola: sara is running 1155 secs || 58323667 markings, 68061392 edges, 50314 markings/sec, 1155 secs
lola: sara is running 1160 secs || 58575922 markings, 68360276 edges, 50451 markings/sec, 1160 secs
lola: sara is running 1165 secs || 58821946 markings, 68655475 edges, 49205 markings/sec, 1165 secs
lola: sara is running 1170 secs || 59062369 markings, 68939660 edges, 48085 markings/sec, 1170 secs
lola: sara is running 1175 secs || 59315292 markings, 69239331 edges, 50585 markings/sec, 1175 secs
lola: sara is running 1180 secs || 59556830 markings, 69531701 edges, 48308 markings/sec, 1180 secs
lola: sara is running 1185 secs || 59802220 markings, 69822774 edges, 49078 markings/sec, 1185 secs
lola: sara is running 1190 secs || 60053372 markings, 70125437 edges, 50230 markings/sec, 1190 secs
lola: sara is running 1195 secs || 60304630 markings, 70429610 edges, 50252 markings/sec, 1195 secs
lola: sara is running 1200 secs || 60553828 markings, 70731479 edges, 49840 markings/sec, 1200 secs
lola: sara is running 1205 secs || 60804804 markings, 71038426 edges, 50195 markings/sec, 1205 secs
lola: sara is running 1210 secs || 61057566 markings, 71342605 edges, 50552 markings/sec, 1210 secs
lola: sara is running 1215 secs || 61311816 markings, 71640678 edges, 50850 markings/sec, 1215 secs
lola: sara is running 1220 secs || 61565256 markings, 71939118 edges, 50688 markings/sec, 1220 secs
lola: sara is running 1225 secs || 61817816 markings, 72240335 edges, 50512 markings/sec, 1225 secs
lola: sara is running 1230 secs || 62070464 markings, 72541631 edges, 50530 markings/sec, 1230 secs
lola: sara is running 1235 secs || 62323156 markings, 72841069 edges, 50538 markings/sec, 1235 secs
lola: sara is running 1240 secs || 62575275 markings, 73142600 edges, 50424 markings/sec, 1240 secs
lola: sara is running 1245 secs || 62827660 markings, 73443900 edges, 50477 markings/sec, 1245 secs
lola: sara is running 1250 secs || 63079022 markings, 73748052 edges, 50272 markings/sec, 1250 secs
lola: sara is running 1255 secs || 63328732 markings, 74046577 edges, 49942 markings/sec, 1255 secs
lola: sara is running 1260 secs || 63578519 markings, 74350587 edges, 49957 markings/sec, 1260 secs
lola: sara is running 1265 secs || 63828972 markings, 74656654 edges, 50091 markings/sec, 1265 secs
lola: sara is running 1270 secs || 64080692 markings, 74964491 edges, 50344 markings/sec, 1270 secs
lola: sara is running 1275 secs || 64334440 markings, 75263588 edges, 50750 markings/sec, 1275 secs
lola: sara is running 1280 secs || 64587042 markings, 75566161 edges, 50520 markings/sec, 1280 secs
lola: sara is running 1285 secs || 64839896 markings, 75868839 edges, 50571 markings/sec, 1285 secs
lola: sara is running 1290 secs || 65092516 markings, 76171482 edges, 50524 markings/sec, 1290 secs
lola: sara is running 1295 secs || 65345242 markings, 76475814 edges, 50545 markings/sec, 1295 secs
lola: sara is running 1300 secs || 65597284 markings, 76781094 edges, 50408 markings/sec, 1300 secs
lola: sara is running 1305 secs || 65848832 markings, 77088918 edges, 50310 markings/sec, 1305 secs
lola: sara is running 1310 secs || 66100296 markings, 77399196 edges, 50293 markings/sec, 1310 secs
lola: sara is running 1315 secs || 66353072 markings, 77699766 edges, 50555 markings/sec, 1315 secs
lola: sara is running 1320 secs || 66605191 markings, 78004447 edges, 50424 markings/sec, 1320 secs
lola: sara is running 1325 secs || 66848204 markings, 78297690 edges, 48603 markings/sec, 1325 secs
lola: sara is running 1330 secs || 67102348 markings, 78606406 edges, 50829 markings/sec, 1330 secs
lola: sara is running 1335 secs || 67344568 markings, 78904715 edges, 48444 markings/sec, 1335 secs
lola: sara is running 1340 secs || 67596688 markings, 79211604 edges, 50424 markings/sec, 1340 secs
lola: sara is running 1345 secs || 67848904 markings, 79516907 edges, 50443 markings/sec, 1345 secs
lola: sara is running 1350 secs || 68100576 markings, 79824677 edges, 50334 markings/sec, 1350 secs
lola: sara is running 1355 secs || 68351420 markings, 80136506 edges, 50169 markings/sec, 1355 secs
lola: sara is running 1360 secs || 68603870 markings, 80442162 edges, 50490 markings/sec, 1360 secs
lola: sara is running 1365 secs || 68855158 markings, 80751574 edges, 50258 markings/sec, 1365 secs
lola: sara is running 1370 secs || 69106812 markings, 81062458 edges, 50331 markings/sec, 1370 secs
lola: sara is running 1375 secs || 69357823 markings, 81374939 edges, 50202 markings/sec, 1375 secs
lola: sara is running 1380 secs || 69608632 markings, 81687471 edges, 50162 markings/sec, 1380 secs
lola: sara is running 1385 secs || 69859595 markings, 81998915 edges, 50193 markings/sec, 1385 secs
lola: sara is running 1390 secs || 70109180 markings, 82317588 edges, 49917 markings/sec, 1390 secs
lola: sara is running 1395 secs || 70367104 markings, 82612561 edges, 51585 markings/sec, 1395 secs
lola: sara is running 1400 secs || 70625780 markings, 82902804 edges, 51735 markings/sec, 1400 secs
lola: sara is running 1405 secs || 70883954 markings, 83194317 edges, 51635 markings/sec, 1405 secs
lola: sara is running 1410 secs || 71141772 markings, 83487317 edges, 51564 markings/sec, 1410 secs
lola: sara is running 1415 secs || 71399377 markings, 83780270 edges, 51521 markings/sec, 1415 secs
lola: sara is running 1420 secs || 71655776 markings, 84075350 edges, 51280 markings/sec, 1420 secs
lola: sara is running 1425 secs || 71911679 markings, 84373409 edges, 51181 markings/sec, 1425 secs
lola: sara is running 1430 secs || 72170664 markings, 84664195 edges, 51797 markings/sec, 1430 secs
lola: sara is running 1435 secs || 72428504 markings, 84957143 edges, 51568 markings/sec, 1435 secs
lola: sara is running 1440 secs || 72685453 markings, 85251712 edges, 51390 markings/sec, 1440 secs
lola: sara is running 1445 secs || 72941628 markings, 85548510 edges, 51235 markings/sec, 1445 secs
lola: sara is running 1450 secs || 73198367 markings, 85843647 edges, 51348 markings/sec, 1450 secs
lola: sara is running 1455 secs || 73455079 markings, 86137935 edges, 51342 markings/sec, 1455 secs
lola: sara is running 1460 secs || 73711119 markings, 86434590 edges, 51208 markings/sec, 1460 secs
lola: sara is running 1465 secs || 73966449 markings, 86730553 edges, 51066 markings/sec, 1465 secs
lola: sara is running 1470 secs || 74219744 markings, 87024215 edges, 50659 markings/sec, 1470 secs
lola: sara is running 1475 secs || 74472291 markings, 87318573 edges, 50509 markings/sec, 1475 secs
lola: sara is running 1480 secs || 74725879 markings, 87615980 edges, 50718 markings/sec, 1480 secs
lola: sara is running 1485 secs || 74980284 markings, 87915696 edges, 50881 markings/sec, 1485 secs
lola: sara is running 1490 secs || 75233768 markings, 88218176 edges, 50697 markings/sec, 1490 secs
lola: sara is running 1495 secs || 75489823 markings, 88516070 edges, 51211 markings/sec, 1495 secs
lola: sara is running 1500 secs || 75747863 markings, 88809234 edges, 51608 markings/sec, 1500 secs
lola: sara is running 1505 secs || 76005748 markings, 89102464 edges, 51577 markings/sec, 1505 secs
lola: sara is running 1510 secs || 76262488 markings, 89396873 edges, 51348 markings/sec, 1510 secs
lola: sara is running 1515 secs || 76518145 markings, 89696209 edges, 51131 markings/sec, 1515 secs
lola: sara is running 1520 secs || 76775904 markings, 89989316 edges, 51552 markings/sec, 1520 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no unknown no yes yes no no yes yes no unknown unknown unknown
lola:
preliminary result: no yes yes no unknown no yes yes no no yes yes no unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no unknown no yes yes no no yes yes no unknown unknown unknown
lola: memory consumption: 2771252 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no unknown no yes yes no no yes yes no unknown unknown unknown
lola: memory consumption: 2771292 KB
lola: time consumption: 3569 seconds
BK_STOP 1526887036305
--------------------
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-18lozangeBlock"
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-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock 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-18lozangeBlock, 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-152649735500348"
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 ;