About the Execution of LoLA for DNAwalker-PT-13ringRLLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1897.360 | 3600000.00 | 9499259.00 | 6631.30 | FFTFF?T??????F?F | 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 304K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K 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.7K 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 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-13ringRLLarge, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500313
=====================================================================
--------------------
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-13ringRLLarge-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526832931205
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-13ringRLLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-13ringRLLarge formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-13ringRLLarge @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-13ringRLLarge-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (3 <= B4)
lola: LP says that atomic proposition is always false: (3 <= B15)
lola: LP says that atomic proposition is always false: (3 <= B15)
lola: LP says that atomic proposition is always false: (2 <= B17)
lola: LP says that atomic proposition is always false: (3 <= B15)
lola: LP says that atomic proposition is always false: (2 <= B5)
lola: LP says that atomic proposition is always false: (2 <= B16)
lola: LP says that atomic proposition is always false: (3 <= B5)
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (2 <= B4)
lola: E (F (())) : E (F (())) : E (F ((A11 + 1 <= B15))) : E (F (())) : E (F (())) : E (F (((3 <= A22) AND (A15 <= A16) AND (A24 <= 2) AND ((A21 <= A9) OR (A12 <= A14))))) : E (F (((A19 <= 0) AND (B15 <= A1) AND (A23 <= A9) AND ((1 <= A19) OR (A13 <= A4))))) : E (F (((B16 <= A10) AND (3 <= A15) AND (A18 <= A6) AND (A4 <= 1)))) : E (F (((A13 <= A19) AND (3 <= A21) AND ((A18 <= A20) OR (A1 <= 1))))) : E (F ((3 <= A22))) : A (G (((A5 <= 2) OR (A6 + 1 <= A27) OR (3 <= A10)))) : A (G (((A27 <= 2) OR (2 <= A20) OR ((3 <= A14) AND (3 <= A17))))) : E (F (((3 <= A26) AND ((A2 <= 2) OR (A14 <= 0))))) : E (F (())) : E (F (((2 <= A9) AND (3 <= A13)))) : A (G ((((1 <= A18) OR (1 <= A6) OR ((B17 <= A3) AND (1 <= B17))) AND ((1 <= A7) OR (A13 <= A2) OR (A13 + 1 <= A7)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 192 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: 15 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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-13ringRLLarge-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 205 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: 15 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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-13ringRLLarge-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 219 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: 15 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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-13ringRLLarge-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 236 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: 15 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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-13ringRLLarge-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 256 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: 15 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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-13ringRLLarge-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A22)))
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 <= A22)))
lola: processed formula length: 18
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 <= A22)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 333152 markings, 946628 edges, 66630 markings/sec, 0 secs
lola: sara is running 5 secs || 652563 markings, 1883319 edges, 63882 markings/sec, 5 secs
lola: sara is running 10 secs || 964985 markings, 2916607 edges, 62484 markings/sec, 10 secs
lola: sara is running 15 secs || 1282323 markings, 3886287 edges, 63468 markings/sec, 15 secs
lola: sara is running 20 secs || 1588414 markings, 4846313 edges, 61218 markings/sec, 20 secs
lola: sara is running 25 secs || 1889590 markings, 5841104 edges, 60235 markings/sec, 25 secs
lola: sara is running 30 secs || 2200676 markings, 6866764 edges, 62217 markings/sec, 30 secs
lola: sara is running 35 secs || 2527619 markings, 7790945 edges, 65389 markings/sec, 35 secs
lola: sara is running 40 secs || 2846284 markings, 8740671 edges, 63733 markings/sec, 40 secs
lola: sara is running 45 secs || 3154576 markings, 9737695 edges, 61658 markings/sec, 45 secs
lola: sara is running 50 secs || 3466033 markings, 10679698 edges, 62291 markings/sec, 50 secs
lola: sara is running 55 secs || 3768899 markings, 11657524 edges, 60573 markings/sec, 55 secs
lola: sara is running 60 secs || 4074220 markings, 12666838 edges, 61064 markings/sec, 60 secs
lola: sara is running 65 secs || 4375860 markings, 13703039 edges, 60328 markings/sec, 65 secs
lola: sara is running 70 secs || 4673856 markings, 14765438 edges, 59599 markings/sec, 70 secs
lola: sara is running 75 secs || 4965791 markings, 15954538 edges, 58387 markings/sec, 75 secs
lola: sara is running 80 secs || 5246613 markings, 17294208 edges, 56164 markings/sec, 80 secs
lola: sara is running 85 secs || 5517657 markings, 18702747 edges, 54209 markings/sec, 85 secs
lola: sara is running 90 secs || 5789853 markings, 20072087 edges, 54439 markings/sec, 90 secs
lola: sara is running 95 secs || 6081546 markings, 21416135 edges, 58339 markings/sec, 95 secs
lola: sara is running 100 secs || 6359510 markings, 22779267 edges, 55593 markings/sec, 100 secs
lola: sara is running 105 secs || 6629729 markings, 24161818 edges, 54044 markings/sec, 105 secs
lola: sara is running 110 secs || 6921564 markings, 25444126 edges, 58367 markings/sec, 110 secs
lola: sara is running 115 secs || 7201489 markings, 26738528 edges, 55985 markings/sec, 115 secs
lola: sara is running 120 secs || 7476196 markings, 28076291 edges, 54941 markings/sec, 120 secs
lola: sara is running 125 secs || 7748440 markings, 29461327 edges, 54449 markings/sec, 125 secs
lola: sara is running 130 secs || 8006894 markings, 31088085 edges, 51691 markings/sec, 130 secs
lola: sara is running 135 secs || 8286021 markings, 32550374 edges, 55825 markings/sec, 135 secs
lola: sara is running 140 secs || 8565506 markings, 33919399 edges, 55897 markings/sec, 140 secs
lola: sara is running 145 secs || 8842132 markings, 35280873 edges, 55325 markings/sec, 145 secs
lola: sara is running 150 secs || 9115990 markings, 36671086 edges, 54772 markings/sec, 150 secs
lola: sara is running 155 secs || 9405783 markings, 37958266 edges, 57959 markings/sec, 155 secs
lola: sara is running 160 secs || 9682649 markings, 39250278 edges, 55373 markings/sec, 160 secs
lola: sara is running 165 secs || 9955651 markings, 40595501 edges, 54600 markings/sec, 165 secs
lola: sara is running 170 secs || 10226870 markings, 41957150 edges, 54244 markings/sec, 170 secs
lola: sara is running 175 secs || 10485340 markings, 43561831 edges, 51694 markings/sec, 175 secs
lola: sara is running 180 secs || 10741381 markings, 45213822 edges, 51208 markings/sec, 180 secs
lola: sara is running 185 secs || 10999108 markings, 46877555 edges, 51545 markings/sec, 185 secs
lola: sara is running 190 secs || 11265350 markings, 48467355 edges, 53248 markings/sec, 190 secs
lola: sara is running 195 secs || 11523424 markings, 50106935 edges, 51615 markings/sec, 195 secs
lola: sara is running 200 secs || 11789583 markings, 51814400 edges, 53232 markings/sec, 200 secs
lola: sara is running 205 secs || 12079669 markings, 53142504 edges, 58017 markings/sec, 205 secs
lola: sara is running 210 secs || 12361615 markings, 54465426 edges, 56389 markings/sec, 210 secs
lola: sara is running 215 secs || 12649418 markings, 55845420 edges, 57561 markings/sec, 215 secs
lola: sara is running 220 secs || 12931723 markings, 57214046 edges, 56461 markings/sec, 220 secs
lola: sara is running 225 secs || 13209361 markings, 58534836 edges, 55528 markings/sec, 225 secs
lola: sara is running 230 secs || 13480112 markings, 59917818 edges, 54150 markings/sec, 230 secs
lola: sara is running 235 secs || 13747397 markings, 61417227 edges, 53457 markings/sec, 235 secs
lola: sara is running 240 secs || 14006878 markings, 63103431 edges, 51896 markings/sec, 240 secs
lola: sara is running 245 secs || 14269608 markings, 64751425 edges, 52546 markings/sec, 245 secs
lola: sara is running 250 secs || 14532109 markings, 66406162 edges, 52500 markings/sec, 250 secs
lola: sara is running 255 secs || 14784595 markings, 68054267 edges, 50497 markings/sec, 255 secs
lola: sara is running 260 secs || 15039068 markings, 69858837 edges, 50895 markings/sec, 260 secs
lola: sara is running 265 secs || 15293653 markings, 71512188 edges, 50917 markings/sec, 265 secs
lola: sara is running 270 secs || 15554303 markings, 73154583 edges, 52130 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 554932 KB
lola: time consumption: 774 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A11 + 1 <= B15)))
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 ((A11 + 1 <= B15)))
lola: processed formula length: 24
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: (A11 + 1 <= B15)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-6-0.sara
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 7 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A9) AND (3 <= A13))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-6-0.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((2 <= A9) AND (3 <= A13))))
lola: processed formula length: 34
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 <= A9) AND (3 <= A13))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 331705 markings, 1499419 edges, 66341 markings/sec, 0 secs
lola: sara is running 5 secs || 646587 markings, 3215017 edges, 62976 markings/sec, 5 secs
lola: sara is running 10 secs || 962171 markings, 5022712 edges, 63117 markings/sec, 10 secs
lola: sara is running 15 secs || 1271534 markings, 6576003 edges, 61873 markings/sec, 15 secs
lola: sara is running 20 secs || 1578910 markings, 8219526 edges, 61475 markings/sec, 20 secs
lola: sara is running 25 secs || 1874784 markings, 9840274 edges, 59175 markings/sec, 25 secs
lola: sara is running 30 secs || 2168294 markings, 11456376 edges, 58702 markings/sec, 30 secs
lola: sara is running 35 secs || 2456226 markings, 13011298 edges, 57586 markings/sec, 35 secs
lola: sara is running 40 secs || 2730956 markings, 14806754 edges, 54946 markings/sec, 40 secs
lola: sara is running 45 secs || 3011099 markings, 16557607 edges, 56029 markings/sec, 45 secs
lola: sara is running 50 secs || 3299385 markings, 18108473 edges, 57657 markings/sec, 50 secs
lola: sara is running 55 secs || 3566970 markings, 19727610 edges, 53517 markings/sec, 55 secs
lola: sara is running 60 secs || 3823723 markings, 21534504 edges, 51351 markings/sec, 60 secs
lola: sara is running 65 secs || 4097191 markings, 23191934 edges, 54694 markings/sec, 65 secs
lola: sara is running 70 secs || 4367808 markings, 24730023 edges, 54123 markings/sec, 70 secs
lola: sara is running 75 secs || 4632548 markings, 26436782 edges, 52948 markings/sec, 75 secs
lola: sara is running 80 secs || 4906374 markings, 27992100 edges, 54765 markings/sec, 80 secs
lola: sara is running 85 secs || 5169472 markings, 29598641 edges, 52620 markings/sec, 85 secs
lola: sara is running 90 secs || 5438480 markings, 31116363 edges, 53802 markings/sec, 90 secs
lola: sara is running 95 secs || 5700809 markings, 32708810 edges, 52466 markings/sec, 95 secs
lola: sara is running 100 secs || 5947927 markings, 34503137 edges, 49424 markings/sec, 100 secs
lola: sara is running 105 secs || 6269624 markings, 36042756 edges, 64339 markings/sec, 105 secs
lola: sara is running 110 secs || 6559819 markings, 37684293 edges, 58039 markings/sec, 110 secs
lola: sara is running 115 secs || 6841221 markings, 39535515 edges, 56280 markings/sec, 115 secs
lola: sara is running 120 secs || 7148229 markings, 41111471 edges, 61402 markings/sec, 120 secs
lola: sara is running 125 secs || 7431192 markings, 42734273 edges, 56593 markings/sec, 125 secs
lola: sara is running 130 secs || 7725483 markings, 44311476 edges, 58858 markings/sec, 130 secs
lola: sara is running 135 secs || 8006600 markings, 45950427 edges, 56223 markings/sec, 135 secs
lola: sara is running 140 secs || 8293747 markings, 47513084 edges, 57429 markings/sec, 140 secs
lola: sara is running 145 secs || 8570651 markings, 49071535 edges, 55381 markings/sec, 145 secs
lola: sara is running 150 secs || 8839435 markings, 50837714 edges, 53757 markings/sec, 150 secs
lola: sara is running 155 secs || 9107061 markings, 52633464 edges, 53525 markings/sec, 155 secs
lola: sara is running 160 secs || 9393770 markings, 54162125 edges, 57342 markings/sec, 160 secs
lola: sara is running 165 secs || 9657138 markings, 55711196 edges, 52674 markings/sec, 165 secs
lola: sara is running 170 secs || 9911456 markings, 57458278 edges, 50864 markings/sec, 170 secs
lola: sara is running 175 secs || 10166797 markings, 59234727 edges, 51068 markings/sec, 175 secs
lola: sara is running 180 secs || 10437317 markings, 60778125 edges, 54104 markings/sec, 180 secs
lola: sara is running 185 secs || 10692228 markings, 62413124 edges, 50982 markings/sec, 185 secs
lola: sara is running 190 secs || 10962579 markings, 63953719 edges, 54070 markings/sec, 190 secs
lola: sara is running 195 secs || 11222149 markings, 65565435 edges, 51914 markings/sec, 195 secs
lola: sara is running 200 secs || 11480834 markings, 67134851 edges, 51737 markings/sec, 200 secs
lola: sara is running 205 secs || 11737654 markings, 68729977 edges, 51364 markings/sec, 205 secs
lola: sara is running 210 secs || 11997605 markings, 70463573 edges, 51990 markings/sec, 210 secs
lola: sara is running 215 secs || 12314743 markings, 71775383 edges, 63428 markings/sec, 215 secs
lola: sara is running 220 secs || 12631767 markings, 73124520 edges, 63405 markings/sec, 220 secs
lola: sara is running 225 secs || 12925996 markings, 74505155 edges, 58846 markings/sec, 225 secs
lola: sara is running 230 secs || 13206519 markings, 75946367 edges, 56105 markings/sec, 230 secs
lola: sara is running 235 secs || 13479903 markings, 77386084 edges, 54677 markings/sec, 235 secs
lola: sara is running 240 secs || 13745120 markings, 78935438 edges, 53043 markings/sec, 240 secs
lola: sara is running 245 secs || 14014411 markings, 80429361 edges, 53858 markings/sec, 245 secs
lola: sara is running 250 secs || 14289340 markings, 81800837 edges, 54986 markings/sec, 250 secs
lola: sara is running 255 secs || 14577540 markings, 83043955 edges, 57640 markings/sec, 255 secs
lola: sara is running 260 secs || 14849528 markings, 84477828 edges, 54398 markings/sec, 260 secs
lola: sara is running 265 secs || 15116783 markings, 85926705 edges, 53451 markings/sec, 265 secs
lola: sara is running 270 secs || 15361108 markings, 87560394 edges, 48865 markings/sec, 270 secs
lola: sara is running 275 secs || 15607622 markings, 89174438 edges, 49303 markings/sec, 275 secs
lola: sara is running 280 secs || 15863370 markings, 90699890 edges, 51150 markings/sec, 280 secs
lola: sara is running 285 secs || 16108051 markings, 92351070 edges, 48936 markings/sec, 285 secs
lola: sara is running 290 secs || 16339655 markings, 94078859 edges, 46321 markings/sec, 290 secs
lola: sara is running 295 secs || 16588751 markings, 95788286 edges, 49819 markings/sec, 295 secs
lola: sara is running 300 secs || 16853800 markings, 97447446 edges, 53010 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 599516 KB
lola: time consumption: 1084 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A26) AND ((A2 <= 2) OR (A14 <= 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 (((3 <= A26) AND ((A2 <= 2) OR (A14 <= 0)))))
lola: processed formula length: 51
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 <= A26) AND ((A2 <= 2) OR (A14 <= 0)))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 394255 markings, 1181986 edges, 78851 markings/sec, 0 secs
lola: sara is running 5 secs || 790980 markings, 2394021 edges, 79345 markings/sec, 5 secs
lola: sara is running 10 secs || 1173448 markings, 3655779 edges, 76494 markings/sec, 10 secs
lola: sara is running 15 secs || 1518116 markings, 4844044 edges, 68934 markings/sec, 15 secs
lola: sara is running 20 secs || 1892791 markings, 6155845 edges, 74935 markings/sec, 20 secs
lola: sara is running 25 secs || 2271534 markings, 7421919 edges, 75749 markings/sec, 25 secs
lola: sara is running 30 secs || 2696574 markings, 8637301 edges, 85008 markings/sec, 30 secs
lola: sara is running 35 secs || 3116950 markings, 9911994 edges, 84075 markings/sec, 35 secs
lola: sara is running 40 secs || 3534400 markings, 11180264 edges, 83490 markings/sec, 40 secs
lola: sara is running 45 secs || 3944399 markings, 12454698 edges, 82000 markings/sec, 45 secs
lola: sara is running 50 secs || 4351464 markings, 13739740 edges, 81413 markings/sec, 50 secs
lola: sara is running 55 secs || 4692092 markings, 14978080 edges, 68126 markings/sec, 55 secs
lola: sara is running 60 secs || 5016761 markings, 16239917 edges, 64934 markings/sec, 60 secs
lola: sara is running 65 secs || 5341492 markings, 17478833 edges, 64946 markings/sec, 65 secs
lola: sara is running 70 secs || 5726765 markings, 18784084 edges, 77055 markings/sec, 70 secs
lola: sara is running 75 secs || 6108358 markings, 20096417 edges, 76319 markings/sec, 75 secs
lola: sara is running 80 secs || 6490417 markings, 21419690 edges, 76412 markings/sec, 80 secs
lola: sara is running 85 secs || 6864125 markings, 22768224 edges, 74742 markings/sec, 85 secs
lola: sara is running 90 secs || 7148421 markings, 24233917 edges, 56859 markings/sec, 90 secs
lola: sara is running 95 secs || 7447737 markings, 25650971 edges, 59863 markings/sec, 95 secs
lola: sara is running 100 secs || 7784020 markings, 27029877 edges, 67257 markings/sec, 100 secs
lola: sara is running 105 secs || 8210269 markings, 28361123 edges, 85250 markings/sec, 105 secs
lola: sara is running 110 secs || 8609737 markings, 29816509 edges, 79894 markings/sec, 110 secs
lola: sara is running 115 secs || 9013305 markings, 31210692 edges, 80714 markings/sec, 115 secs
lola: sara is running 120 secs || 9403139 markings, 32613405 edges, 77967 markings/sec, 120 secs
lola: sara is running 125 secs || 9710261 markings, 34074493 edges, 61424 markings/sec, 125 secs
lola: sara is running 130 secs || 9991491 markings, 35569871 edges, 56246 markings/sec, 130 secs
lola: sara is running 135 secs || 10282610 markings, 37037637 edges, 58224 markings/sec, 135 secs
lola: sara is running 140 secs || 10586901 markings, 38391894 edges, 60858 markings/sec, 140 secs
lola: sara is running 145 secs || 10882844 markings, 39734098 edges, 59189 markings/sec, 145 secs
lola: sara is running 150 secs || 11161617 markings, 41204093 edges, 55755 markings/sec, 150 secs
lola: sara is running 155 secs || 11449969 markings, 42465087 edges, 57670 markings/sec, 155 secs
lola: sara is running 160 secs || 11715157 markings, 43852973 edges, 53038 markings/sec, 160 secs
lola: sara is running 165 secs || 11979126 markings, 45280997 edges, 52794 markings/sec, 165 secs
lola: sara is running 170 secs || 12241353 markings, 46731907 edges, 52445 markings/sec, 170 secs
lola: sara is running 175 secs || 12504780 markings, 48177471 edges, 52685 markings/sec, 175 secs
lola: sara is running 180 secs || 12781090 markings, 49536902 edges, 55262 markings/sec, 180 secs
lola: sara is running 185 secs || 13231579 markings, 50859442 edges, 90098 markings/sec, 185 secs
lola: sara is running 190 secs || 13625253 markings, 52325620 edges, 78735 markings/sec, 190 secs
lola: sara is running 195 secs || 13995711 markings, 54033452 edges, 74092 markings/sec, 195 secs
lola: sara is running 200 secs || 14364691 markings, 55713037 edges, 73796 markings/sec, 200 secs
lola: sara is running 205 secs || 14738515 markings, 57360561 edges, 74765 markings/sec, 205 secs
lola: sara is running 210 secs || 15104588 markings, 59008548 edges, 73215 markings/sec, 210 secs
lola: sara is running 215 secs || 15465253 markings, 60638219 edges, 72133 markings/sec, 215 secs
lola: sara is running 220 secs || 15805878 markings, 62267120 edges, 68125 markings/sec, 220 secs
lola: sara is running 225 secs || 16070860 markings, 63981507 edges, 52996 markings/sec, 225 secs
lola: sara is running 230 secs || 16353538 markings, 65565114 edges, 56536 markings/sec, 230 secs
lola: sara is running 235 secs || 16622121 markings, 67130147 edges, 53717 markings/sec, 235 secs
lola: sara is running 240 secs || 16877650 markings, 68719529 edges, 51106 markings/sec, 240 secs
lola: sara is running 245 secs || 17140912 markings, 70418063 edges, 52652 markings/sec, 245 secs
lola: sara is running 250 secs || 17412684 markings, 71969289 edges, 54354 markings/sec, 250 secs
lola: sara is running 255 secs || 17754200 markings, 73567191 edges, 68303 markings/sec, 255 secs
lola: sara is running 260 secs || 18077601 markings, 74844991 edges, 64680 markings/sec, 260 secs
lola: sara is running 265 secs || 18394509 markings, 76049614 edges, 63382 markings/sec, 265 secs
lola: sara is running 270 secs || 18807899 markings, 77280054 edges, 82678 markings/sec, 270 secs
lola: sara is running 275 secs || 19206221 markings, 78648600 edges, 79664 markings/sec, 275 secs
lola: sara is running 280 secs || 19566584 markings, 80025934 edges, 72073 markings/sec, 280 secs
lola: sara is running 285 secs || 19919345 markings, 81356398 edges, 70552 markings/sec, 285 secs
lola: sara is running 290 secs || 20247359 markings, 82663911 edges, 65603 markings/sec, 290 secs
lola: sara is running 295 secs || 20534528 markings, 83940263 edges, 57434 markings/sec, 295 secs
lola: sara is running 300 secs || 20831663 markings, 85172574 edges, 59427 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 759584 KB
lola: time consumption: 1394 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A27 <= 2) OR (2 <= A20) OR ((3 <= A14) AND (3 <= A17)))))
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 (((A27 <= 2) OR (2 <= A20) OR ((3 <= A14) AND (3 <= A17)))))
lola: processed formula length: 67
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 <= A27) AND (A20 <= 1) AND ((A14 <= 2) OR (A17 <= 2)))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 494001 markings, 1064246 edges, 98800 markings/sec, 0 secs
lola: sara is running 5 secs || 976775 markings, 2203411 edges, 96555 markings/sec, 5 secs
lola: sara is running 10 secs || 1449954 markings, 3440964 edges, 94636 markings/sec, 10 secs
lola: sara is running 15 secs || 1806076 markings, 4744371 edges, 71224 markings/sec, 15 secs
lola: sara is running 20 secs || 2138678 markings, 6204391 edges, 66520 markings/sec, 20 secs
lola: sara is running 25 secs || 2527741 markings, 7543060 edges, 77813 markings/sec, 25 secs
lola: sara is running 30 secs || 2881423 markings, 8885177 edges, 70736 markings/sec, 30 secs
lola: sara is running 35 secs || 3204986 markings, 10130124 edges, 64713 markings/sec, 35 secs
lola: sara is running 40 secs || 3522148 markings, 11539479 edges, 63432 markings/sec, 40 secs
lola: sara is running 45 secs || 3857716 markings, 12923940 edges, 67114 markings/sec, 45 secs
lola: sara is running 50 secs || 4191512 markings, 14262173 edges, 66759 markings/sec, 50 secs
lola: sara is running 55 secs || 4572206 markings, 15689318 edges, 76139 markings/sec, 55 secs
lola: sara is running 60 secs || 5018096 markings, 17003955 edges, 89178 markings/sec, 60 secs
lola: sara is running 65 secs || 5423032 markings, 18234139 edges, 80987 markings/sec, 65 secs
lola: sara is running 70 secs || 5769047 markings, 19526437 edges, 69203 markings/sec, 70 secs
lola: sara is running 75 secs || 6116814 markings, 20839224 edges, 69553 markings/sec, 75 secs
lola: sara is running 80 secs || 6425980 markings, 22159632 edges, 61833 markings/sec, 80 secs
lola: sara is running 85 secs || 6883443 markings, 23486866 edges, 91493 markings/sec, 85 secs
lola: sara is running 90 secs || 7176149 markings, 24874690 edges, 58541 markings/sec, 90 secs
lola: sara is running 95 secs || 7456190 markings, 26344958 edges, 56008 markings/sec, 95 secs
lola: sara is running 100 secs || 7779481 markings, 27666376 edges, 64658 markings/sec, 100 secs
lola: sara is running 105 secs || 8109082 markings, 28975321 edges, 65920 markings/sec, 105 secs
lola: sara is running 110 secs || 8437180 markings, 30334056 edges, 65620 markings/sec, 110 secs
lola: sara is running 115 secs || 8790093 markings, 31725636 edges, 70583 markings/sec, 115 secs
lola: sara is running 120 secs || 9127578 markings, 33030366 edges, 67497 markings/sec, 120 secs
lola: sara is running 125 secs || 9450420 markings, 34415810 edges, 64568 markings/sec, 125 secs
lola: sara is running 130 secs || 9735929 markings, 35801483 edges, 57102 markings/sec, 130 secs
lola: sara is running 135 secs || 10053359 markings, 37181041 edges, 63486 markings/sec, 135 secs
lola: sara is running 140 secs || 10368008 markings, 38599935 edges, 62930 markings/sec, 140 secs
lola: sara is running 145 secs || 10726301 markings, 39988993 edges, 71659 markings/sec, 145 secs
lola: sara is running 150 secs || 11111558 markings, 41493202 edges, 77051 markings/sec, 150 secs
lola: sara is running 155 secs || 11431544 markings, 43034136 edges, 63997 markings/sec, 155 secs
lola: sara is running 160 secs || 11750455 markings, 44590690 edges, 63782 markings/sec, 160 secs
lola: sara is running 165 secs || 12041950 markings, 46253611 edges, 58299 markings/sec, 165 secs
lola: sara is running 170 secs || 12436682 markings, 47902126 edges, 78946 markings/sec, 170 secs
lola: sara is running 175 secs || 12705442 markings, 49567492 edges, 53752 markings/sec, 175 secs
lola: sara is running 180 secs || 13003655 markings, 51191185 edges, 59643 markings/sec, 180 secs
lola: sara is running 185 secs || 13309652 markings, 52819393 edges, 61199 markings/sec, 185 secs
lola: sara is running 190 secs || 13620061 markings, 54421871 edges, 62082 markings/sec, 190 secs
lola: sara is running 195 secs || 13929278 markings, 55983907 edges, 61843 markings/sec, 195 secs
lola: sara is running 200 secs || 14195125 markings, 57660717 edges, 53169 markings/sec, 200 secs
lola: sara is running 205 secs || 14514572 markings, 59255958 edges, 63889 markings/sec, 205 secs
lola: sara is running 210 secs || 14843880 markings, 60822215 edges, 65862 markings/sec, 210 secs
lola: sara is running 215 secs || 15202404 markings, 62318333 edges, 71705 markings/sec, 215 secs
lola: sara is running 220 secs || 15521176 markings, 63852960 edges, 63754 markings/sec, 220 secs
lola: sara is running 225 secs || 15869590 markings, 65416841 edges, 69683 markings/sec, 225 secs
lola: sara is running 230 secs || 16205737 markings, 66941375 edges, 67229 markings/sec, 230 secs
lola: sara is running 235 secs || 16546260 markings, 68469054 edges, 68105 markings/sec, 235 secs
lola: sara is running 240 secs || 16816296 markings, 70026452 edges, 54007 markings/sec, 240 secs
lola: sara is running 245 secs || 17128493 markings, 71627149 edges, 62439 markings/sec, 245 secs
lola: sara is running 250 secs || 17398646 markings, 73169243 edges, 54031 markings/sec, 250 secs
lola: sara is running 255 secs || 17716485 markings, 74938935 edges, 63568 markings/sec, 255 secs
lola: sara is running 260 secs || 18021756 markings, 76796882 edges, 61054 markings/sec, 260 secs
lola: sara is running 265 secs || 18292077 markings, 78627427 edges, 54064 markings/sec, 265 secs
lola: sara is running 270 secs || 18576934 markings, 80397681 edges, 56971 markings/sec, 270 secs
lola: sara is running 275 secs || 19055344 markings, 81535663 edges, 95682 markings/sec, 275 secs
lola: sara is running 280 secs || 19481534 markings, 82826889 edges, 85238 markings/sec, 280 secs
lola: sara is running 285 secs || 19905565 markings, 84069401 edges, 84806 markings/sec, 285 secs
lola: sara is running 290 secs || 20334430 markings, 85335717 edges, 85773 markings/sec, 290 secs
lola: sara is running 295 secs || 20725931 markings, 86622659 edges, 78300 markings/sec, 295 secs
lola: sara is running 300 secs || 21081678 markings, 87904595 edges, 71149 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 766680 KB
lola: time consumption: 1704 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 311 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A5 <= 2) OR (A6 + 1 <= A27) OR (3 <= A10))))
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 (((A5 <= 2) OR (A6 + 1 <= A27) OR (3 <= A10))))
lola: processed formula length: 54
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 <= A5) AND (A27 <= A6) AND (A10 <= 2))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 370446 markings, 1282722 edges, 74089 markings/sec, 0 secs
lola: sara is running 5 secs || 688167 markings, 2642115 edges, 63544 markings/sec, 5 secs
lola: sara is running 10 secs || 989538 markings, 4123227 edges, 60274 markings/sec, 10 secs
lola: sara is running 15 secs || 1268025 markings, 5597040 edges, 55697 markings/sec, 15 secs
lola: sara is running 20 secs || 1634412 markings, 6843525 edges, 73277 markings/sec, 20 secs
lola: sara is running 25 secs || 1982009 markings, 8210792 edges, 69519 markings/sec, 25 secs
lola: sara is running 30 secs || 2332289 markings, 9524981 edges, 70056 markings/sec, 30 secs
lola: sara is running 35 secs || 2638682 markings, 10832801 edges, 61279 markings/sec, 35 secs
lola: sara is running 40 secs || 2935935 markings, 12201441 edges, 59451 markings/sec, 40 secs
lola: sara is running 45 secs || 3207785 markings, 13649814 edges, 54370 markings/sec, 45 secs
lola: sara is running 50 secs || 3492763 markings, 15053578 edges, 56996 markings/sec, 50 secs
lola: sara is running 55 secs || 3781897 markings, 16498205 edges, 57827 markings/sec, 55 secs
lola: sara is running 60 secs || 4048977 markings, 17961649 edges, 53416 markings/sec, 60 secs
lola: sara is running 65 secs || 4367855 markings, 19279021 edges, 63776 markings/sec, 65 secs
lola: sara is running 70 secs || 4665235 markings, 20713655 edges, 59476 markings/sec, 70 secs
lola: sara is running 75 secs || 4985589 markings, 21981916 edges, 64071 markings/sec, 75 secs
lola: sara is running 80 secs || 5305827 markings, 23330331 edges, 64048 markings/sec, 80 secs
lola: sara is running 85 secs || 5619493 markings, 24706753 edges, 62733 markings/sec, 85 secs
lola: sara is running 90 secs || 5921345 markings, 26130446 edges, 60370 markings/sec, 90 secs
lola: sara is running 95 secs || 6191432 markings, 27561877 edges, 54017 markings/sec, 95 secs
lola: sara is running 100 secs || 6495955 markings, 28907225 edges, 60905 markings/sec, 100 secs
lola: sara is running 105 secs || 6824971 markings, 30176729 edges, 65803 markings/sec, 105 secs
lola: sara is running 110 secs || 7146791 markings, 31602487 edges, 64364 markings/sec, 110 secs
lola: sara is running 115 secs || 7468936 markings, 33108346 edges, 64429 markings/sec, 115 secs
lola: sara is running 120 secs || 7752935 markings, 34835565 edges, 56800 markings/sec, 120 secs
lola: sara is running 125 secs || 8024883 markings, 36485161 edges, 54390 markings/sec, 125 secs
lola: sara is running 130 secs || 8318078 markings, 38083821 edges, 58639 markings/sec, 130 secs
lola: sara is running 135 secs || 8585281 markings, 39714576 edges, 53441 markings/sec, 135 secs
lola: sara is running 140 secs || 8864331 markings, 41446371 edges, 55810 markings/sec, 140 secs
lola: sara is running 145 secs || 9100431 markings, 43133712 edges, 47220 markings/sec, 145 secs
lola: sara is running 150 secs || 9349385 markings, 44817143 edges, 49791 markings/sec, 150 secs
lola: sara is running 155 secs || 9638378 markings, 46449311 edges, 57799 markings/sec, 155 secs
lola: sara is running 160 secs || 9931205 markings, 48049084 edges, 58565 markings/sec, 160 secs
lola: sara is running 165 secs || 10206910 markings, 49755577 edges, 55141 markings/sec, 165 secs
lola: sara is running 170 secs || 10512347 markings, 51364007 edges, 61087 markings/sec, 170 secs
lola: sara is running 175 secs || 10797107 markings, 52885318 edges, 56952 markings/sec, 175 secs
lola: sara is running 180 secs || 11082682 markings, 54405519 edges, 57115 markings/sec, 180 secs
lola: sara is running 185 secs || 11342427 markings, 56003557 edges, 51949 markings/sec, 185 secs
lola: sara is running 190 secs || 11643161 markings, 57565921 edges, 60147 markings/sec, 190 secs
lola: sara is running 195 secs || 11905112 markings, 59098688 edges, 52390 markings/sec, 195 secs
lola: sara is running 200 secs || 12202422 markings, 60701879 edges, 59462 markings/sec, 200 secs
lola: sara is running 205 secs || 12479796 markings, 62578339 edges, 55475 markings/sec, 205 secs
lola: sara is running 210 secs || 12712671 markings, 64379059 edges, 46575 markings/sec, 210 secs
lola: sara is running 215 secs || 12976001 markings, 66246486 edges, 52666 markings/sec, 215 secs
lola: sara is running 220 secs || 13348733 markings, 67418739 edges, 74546 markings/sec, 220 secs
lola: sara is running 225 secs || 13690797 markings, 68649007 edges, 68413 markings/sec, 225 secs
lola: sara is running 230 secs || 14009720 markings, 70071029 edges, 63785 markings/sec, 230 secs
lola: sara is running 235 secs || 14334067 markings, 71465204 edges, 64869 markings/sec, 235 secs
lola: sara is running 240 secs || 14706576 markings, 72709583 edges, 74502 markings/sec, 240 secs
lola: sara is running 245 secs || 15057012 markings, 74175691 edges, 70087 markings/sec, 245 secs
lola: sara is running 250 secs || 15371981 markings, 75772180 edges, 62994 markings/sec, 250 secs
lola: sara is running 255 secs || 15710957 markings, 77133585 edges, 67795 markings/sec, 255 secs
lola: sara is running 260 secs || 16004607 markings, 78582944 edges, 58730 markings/sec, 260 secs
lola: sara is running 265 secs || 16281718 markings, 80018225 edges, 55422 markings/sec, 265 secs
lola: sara is running 270 secs || 16544680 markings, 81527634 edges, 52592 markings/sec, 270 secs
lola: sara is running 275 secs || 16851980 markings, 83028395 edges, 61460 markings/sec, 275 secs
lola: sara is running 280 secs || 17153392 markings, 84417068 edges, 60282 markings/sec, 280 secs
lola: sara is running 285 secs || 17440033 markings, 85845056 edges, 57328 markings/sec, 285 secs
lola: sara is running 290 secs || 17719278 markings, 87415120 edges, 55849 markings/sec, 290 secs
lola: sara is running 295 secs || 17980774 markings, 89053661 edges, 52299 markings/sec, 295 secs
lola: sara is running 300 secs || 18253382 markings, 90544435 edges, 54522 markings/sec, 300 secs
lola: sara is running 305 secs || 18516515 markings, 92059410 edges, 52627 markings/sec, 305 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 660048 KB
lola: time consumption: 2015 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 311 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((B16 <= A10) AND (3 <= A15) AND (A18 <= A6) AND (A4 <= 1))))
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 (((B16 <= A10) AND (3 <= A15) AND (A18 <= A6) AND (A4 <= 1))))
lola: processed formula length: 67
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: ((B16 <= A10) AND (3 <= A15) AND (A18 <= A6) AND (A4 <= 1))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 405071 markings, 961585 edges, 81014 markings/sec, 0 secs
lola: sara is running 5 secs || 755568 markings, 2001454 edges, 70099 markings/sec, 5 secs
lola: sara is running 10 secs || 1093446 markings, 3322717 edges, 67576 markings/sec, 10 secs
lola: sara is running 15 secs || 1412363 markings, 4756327 edges, 63783 markings/sec, 15 secs
lola: sara is running 20 secs || 1764785 markings, 6053316 edges, 70484 markings/sec, 20 secs
lola: sara is running 25 secs || 2098305 markings, 7348848 edges, 66704 markings/sec, 25 secs
lola: sara is running 30 secs || 2459119 markings, 8649713 edges, 72163 markings/sec, 30 secs
lola: sara is running 35 secs || 2854577 markings, 10014979 edges, 79092 markings/sec, 35 secs
lola: sara is running 40 secs || 3160998 markings, 11275739 edges, 61284 markings/sec, 40 secs
lola: sara is running 45 secs || 3472380 markings, 12654993 edges, 62276 markings/sec, 45 secs
lola: sara is running 50 secs || 3776622 markings, 13995942 edges, 60848 markings/sec, 50 secs
lola: sara is running 55 secs || 4068792 markings, 15312741 edges, 58434 markings/sec, 55 secs
lola: sara is running 60 secs || 4410226 markings, 16674862 edges, 68287 markings/sec, 60 secs
lola: sara is running 65 secs || 4800434 markings, 18049776 edges, 78042 markings/sec, 65 secs
lola: sara is running 70 secs || 5163303 markings, 19352350 edges, 72574 markings/sec, 70 secs
lola: sara is running 75 secs || 5548739 markings, 20800421 edges, 77087 markings/sec, 75 secs
lola: sara is running 80 secs || 5921889 markings, 22182615 edges, 74630 markings/sec, 80 secs
lola: sara is running 85 secs || 6292061 markings, 23463893 edges, 74034 markings/sec, 85 secs
lola: sara is running 90 secs || 6678880 markings, 24845881 edges, 77364 markings/sec, 90 secs
lola: sara is running 95 secs || 7048991 markings, 26201128 edges, 74022 markings/sec, 95 secs
lola: sara is running 100 secs || 7418164 markings, 27434815 edges, 73835 markings/sec, 100 secs
lola: sara is running 105 secs || 7779125 markings, 28731525 edges, 72192 markings/sec, 105 secs
lola: sara is running 110 secs || 8180252 markings, 30226803 edges, 80225 markings/sec, 110 secs
lola: sara is running 115 secs || 8534499 markings, 31690789 edges, 70849 markings/sec, 115 secs
lola: sara is running 120 secs || 8896914 markings, 33049168 edges, 72483 markings/sec, 120 secs
lola: sara is running 125 secs || 9199215 markings, 34379085 edges, 60460 markings/sec, 125 secs
lola: sara is running 130 secs || 9515997 markings, 35604326 edges, 63356 markings/sec, 130 secs
lola: sara is running 135 secs || 9862160 markings, 36880891 edges, 69233 markings/sec, 135 secs
lola: sara is running 140 secs || 10213161 markings, 38065162 edges, 70200 markings/sec, 140 secs
lola: sara is running 145 secs || 10540973 markings, 39407107 edges, 65562 markings/sec, 145 secs
lola: sara is running 150 secs || 10875743 markings, 40688037 edges, 66954 markings/sec, 150 secs
lola: sara is running 155 secs || 11210062 markings, 41920474 edges, 66864 markings/sec, 155 secs
lola: sara is running 160 secs || 11488892 markings, 43356057 edges, 55766 markings/sec, 160 secs
lola: sara is running 165 secs || 11837375 markings, 44711602 edges, 69697 markings/sec, 165 secs
lola: sara is running 170 secs || 12190711 markings, 45907700 edges, 70667 markings/sec, 170 secs
lola: sara is running 175 secs || 12533683 markings, 47105814 edges, 68594 markings/sec, 175 secs
lola: sara is running 180 secs || 12862791 markings, 48396031 edges, 65822 markings/sec, 180 secs
lola: sara is running 185 secs || 13202736 markings, 49673928 edges, 67989 markings/sec, 185 secs
lola: sara is running 190 secs || 13532376 markings, 50958466 edges, 65928 markings/sec, 190 secs
lola: sara is running 195 secs || 13803431 markings, 52262303 edges, 54211 markings/sec, 195 secs
lola: sara is running 200 secs || 14102905 markings, 53672595 edges, 59895 markings/sec, 200 secs
lola: sara is running 205 secs || 14440958 markings, 54943986 edges, 67611 markings/sec, 205 secs
lola: sara is running 210 secs || 14782336 markings, 56242989 edges, 68276 markings/sec, 210 secs
lola: sara is running 215 secs || 15115160 markings, 57420543 edges, 66565 markings/sec, 215 secs
lola: sara is running 220 secs || 15419589 markings, 58822896 edges, 60886 markings/sec, 220 secs
lola: sara is running 225 secs || 15738643 markings, 60151946 edges, 63811 markings/sec, 225 secs
lola: sara is running 230 secs || 16068784 markings, 61436433 edges, 66028 markings/sec, 230 secs
lola: sara is running 235 secs || 16365038 markings, 62949298 edges, 59251 markings/sec, 235 secs
lola: sara is running 240 secs || 16696804 markings, 64486122 edges, 66353 markings/sec, 240 secs
lola: sara is running 245 secs || 17009664 markings, 66015127 edges, 62572 markings/sec, 245 secs
lola: sara is running 250 secs || 17326214 markings, 67623870 edges, 63310 markings/sec, 250 secs
lola: sara is running 255 secs || 17652487 markings, 69131470 edges, 65255 markings/sec, 255 secs
lola: sara is running 260 secs || 17945896 markings, 70699054 edges, 58682 markings/sec, 260 secs
lola: sara is running 265 secs || 18244790 markings, 72319042 edges, 59779 markings/sec, 265 secs
lola: sara is running 270 secs || 18558015 markings, 73850729 edges, 62645 markings/sec, 270 secs
lola: sara is running 275 secs || 18870974 markings, 75420284 edges, 62592 markings/sec, 275 secs
lola: sara is running 280 secs || 19259565 markings, 76976571 edges, 77718 markings/sec, 280 secs
lola: sara is running 285 secs || 19624595 markings, 78575347 edges, 73006 markings/sec, 285 secs
lola: sara is running 290 secs || 20031349 markings, 80111491 edges, 81351 markings/sec, 290 secs
lola: sara is running 295 secs || 20376588 markings, 81749994 edges, 69048 markings/sec, 295 secs
lola: sara is running 300 secs || 20791273 markings, 83298296 edges, 82937 markings/sec, 300 secs
lola: sara is running 305 secs || 21183464 markings, 84849861 edges, 78438 markings/sec, 305 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 735128 KB
lola: time consumption: 2326 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 311 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A13 <= A19) AND (3 <= A21) AND ((A18 <= A20) OR (A1 <= 1)))))
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 (((A13 <= A19) AND (3 <= A21) AND ((A18 <= A20) OR (A1 <= 1)))))
lola: processed formula length: 70
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: ((A13 <= A19) AND (3 <= A21) AND ((A18 <= A20) OR (A1 <= 1)))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 378272 markings, 1229424 edges, 75654 markings/sec, 0 secs
lola: sara is running 5 secs || 723825 markings, 2602508 edges, 69111 markings/sec, 5 secs
lola: sara is running 10 secs || 1079035 markings, 3858282 edges, 71042 markings/sec, 10 secs
lola: sara is running 15 secs || 1431417 markings, 5164045 edges, 70476 markings/sec, 15 secs
lola: sara is running 20 secs || 1785982 markings, 6424185 edges, 70913 markings/sec, 20 secs
lola: sara is running 25 secs || 2121806 markings, 7686608 edges, 67165 markings/sec, 25 secs
lola: sara is running 30 secs || 2454991 markings, 9021549 edges, 66637 markings/sec, 30 secs
lola: sara is running 35 secs || 2802103 markings, 10219692 edges, 69422 markings/sec, 35 secs
lola: sara is running 40 secs || 3123118 markings, 11726772 edges, 64203 markings/sec, 40 secs
lola: sara is running 45 secs || 3451543 markings, 13131485 edges, 65685 markings/sec, 45 secs
lola: sara is running 50 secs || 3763497 markings, 14623428 edges, 62391 markings/sec, 50 secs
lola: sara is running 55 secs || 4077720 markings, 16142949 edges, 62845 markings/sec, 55 secs
lola: sara is running 60 secs || 4392242 markings, 17634799 edges, 62904 markings/sec, 60 secs
lola: sara is running 65 secs || 4721012 markings, 19115289 edges, 65754 markings/sec, 65 secs
lola: sara is running 70 secs || 5060750 markings, 20487025 edges, 67948 markings/sec, 70 secs
lola: sara is running 75 secs || 5398274 markings, 21848746 edges, 67505 markings/sec, 75 secs
lola: sara is running 80 secs || 5730556 markings, 23221354 edges, 66456 markings/sec, 80 secs
lola: sara is running 85 secs || 6051802 markings, 24546906 edges, 64249 markings/sec, 85 secs
lola: sara is running 90 secs || 6367620 markings, 25904948 edges, 63164 markings/sec, 90 secs
lola: sara is running 95 secs || 6799021 markings, 27132580 edges, 86280 markings/sec, 95 secs
lola: sara is running 100 secs || 7197352 markings, 28543044 edges, 79666 markings/sec, 100 secs
lola: sara is running 105 secs || 7578106 markings, 30095680 edges, 76151 markings/sec, 105 secs
lola: sara is running 110 secs || 7946217 markings, 31548143 edges, 73622 markings/sec, 110 secs
lola: sara is running 115 secs || 8267095 markings, 33125198 edges, 64176 markings/sec, 115 secs
lola: sara is running 120 secs || 8587979 markings, 34553615 edges, 64177 markings/sec, 120 secs
lola: sara is running 125 secs || 8882638 markings, 36024255 edges, 58932 markings/sec, 125 secs
lola: sara is running 130 secs || 9219143 markings, 37385157 edges, 67301 markings/sec, 130 secs
lola: sara is running 135 secs || 9543414 markings, 38683626 edges, 64854 markings/sec, 135 secs
lola: sara is running 140 secs || 9862802 markings, 40247623 edges, 63878 markings/sec, 140 secs
lola: sara is running 145 secs || 10178654 markings, 41859614 edges, 63170 markings/sec, 145 secs
lola: sara is running 150 secs || 10488795 markings, 43562377 edges, 62028 markings/sec, 150 secs
lola: sara is running 155 secs || 10781886 markings, 44939013 edges, 58618 markings/sec, 155 secs
lola: sara is running 160 secs || 11067931 markings, 46415195 edges, 57209 markings/sec, 160 secs
lola: sara is running 165 secs || 11370184 markings, 47823887 edges, 60451 markings/sec, 165 secs
lola: sara is running 170 secs || 11669484 markings, 49189233 edges, 59860 markings/sec, 170 secs
lola: sara is running 175 secs || 11944913 markings, 50694378 edges, 55086 markings/sec, 175 secs
lola: sara is running 180 secs || 12237007 markings, 52140402 edges, 58419 markings/sec, 180 secs
lola: sara is running 185 secs || 12537595 markings, 53473128 edges, 60118 markings/sec, 185 secs
lola: sara is running 190 secs || 12813412 markings, 54952153 edges, 55163 markings/sec, 190 secs
lola: sara is running 195 secs || 13101881 markings, 56413701 edges, 57694 markings/sec, 195 secs
lola: sara is running 200 secs || 13406926 markings, 57792637 edges, 61009 markings/sec, 200 secs
lola: sara is running 205 secs || 13728959 markings, 59274206 edges, 64407 markings/sec, 205 secs
lola: sara is running 210 secs || 14034029 markings, 60740068 edges, 61014 markings/sec, 210 secs
lola: sara is running 215 secs || 14324228 markings, 62289808 edges, 58040 markings/sec, 215 secs
lola: sara is running 220 secs || 14631865 markings, 63783389 edges, 61527 markings/sec, 220 secs
lola: sara is running 225 secs || 14979821 markings, 65202765 edges, 69591 markings/sec, 225 secs
lola: sara is running 230 secs || 15316466 markings, 66382247 edges, 67329 markings/sec, 230 secs
lola: sara is running 235 secs || 15671586 markings, 67814207 edges, 71024 markings/sec, 235 secs
lola: sara is running 240 secs || 16003708 markings, 69353405 edges, 66424 markings/sec, 240 secs
lola: sara is running 245 secs || 16325084 markings, 70954277 edges, 64275 markings/sec, 245 secs
lola: sara is running 250 secs || 16644451 markings, 72496292 edges, 63873 markings/sec, 250 secs
lola: sara is running 255 secs || 16963796 markings, 73855500 edges, 63869 markings/sec, 255 secs
lola: sara is running 260 secs || 17274673 markings, 75191730 edges, 62175 markings/sec, 260 secs
lola: sara is running 265 secs || 17568791 markings, 76633330 edges, 58824 markings/sec, 265 secs
lola: sara is running 270 secs || 17847017 markings, 78122542 edges, 55645 markings/sec, 270 secs
lola: sara is running 275 secs || 18137279 markings, 79488154 edges, 58052 markings/sec, 275 secs
lola: sara is running 280 secs || 18421051 markings, 80947594 edges, 56754 markings/sec, 280 secs
lola: sara is running 285 secs || 18715349 markings, 82241644 edges, 58860 markings/sec, 285 secs
lola: sara is running 290 secs || 19021821 markings, 83656517 edges, 61294 markings/sec, 290 secs
lola: sara is running 295 secs || 19318214 markings, 85054985 edges, 59279 markings/sec, 295 secs
lola: sara is running 300 secs || 19605899 markings, 86470220 edges, 57537 markings/sec, 300 secs
lola: sara is running 305 secs || 19890234 markings, 87855929 edges, 56867 markings/sec, 305 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 726960 KB
lola: time consumption: 2637 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 311 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A19 <= 0) AND (B15 <= A1) AND (A23 <= A9) AND ((1 <= A19) OR (A13 <= A4)))))
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 (((A19 <= 0) AND (B15 <= A1) AND (A23 <= A9) AND ((1 <= A19) OR (A13 <= A4)))))
lola: processed formula length: 85
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: ((A19 <= 0) AND (B15 <= A1) AND (A23 <= A9) AND ((1 <= A19) OR (A13 <= A4)))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-13-0.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-13ringRLLarge-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((1 <= A18) OR (1 <= A6) OR ((B17 <= A3) AND (1 <= B17))) AND ((1 <= A7) OR (A13 <= A2) OR (A13 + 1 <= A7)))))
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 <= A18) OR (1 <= A6) OR ((B17 <= A3) AND (1 <= B17))) AND ((1 <= A7) OR (A13 <= A2) OR (A13 + 1 <= A7)))))
lola: processed formula length: 121
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((A18 <= 0) AND (A6 <= 0) AND ((A3 + 1 <= B17) OR (B17 <= 0))) OR ((A7 <= 0) AND (A2 + 1 <= A13) AND (A7 <= A13)))
lola: state equation: Generated DNF with 9 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-14-0.sara
lola: lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
state equation: calling and running sara
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 933 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A22) AND (A15 <= A16) AND (A24 <= 2) AND ((A21 <= A9) OR (A12 <= A14)))))
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 <= A22) AND (A15 <= A16) AND (A24 <= 2) AND ((A21 <= A9) OR (A12 <= A14)))))
lola: processed formula length: 87
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 <= A22) AND (A15 <= A16) AND (A24 <= 2) AND ((A21 <= A9) OR (A12 <= A14)))sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-14-0.sara.
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 344149 markings, 943250 edges, 68830 markings/sec, 0 secs
lola: sara is running 5 secs || 673015 markings, 1862666 edges, 65773 markings/sec, 5 secs
lola: sara is running 10 secs || 984523 markings, 2858933 edges, 62302 markings/sec, 10 secs
lola: sara is running 15 secs || 1310976 markings, 3786642 edges, 65291 markings/sec, 15 secs
lola: sara is running 20 secs || 1625129 markings, 4719636 edges, 62831 markings/sec, 20 secs
lola: sara is running 25 secs || 1934836 markings, 5680121 edges, 61941 markings/sec, 25 secs
lola: sara is running 30 secs || 2250351 markings, 6616632 edges, 63103 markings/sec, 30 secs
lola: sara is running 35 secs || 2561428 markings, 7573879 edges, 62215 markings/sec, 35 secs
lola: sara is running 40 secs || 2871100 markings, 8509484 edges, 61934 markings/sec, 40 secs
lola: sara is running 45 secs || 3175465 markings, 9452658 edges, 60873 markings/sec, 45 secs
lola: sara is running 50 secs || 3490950 markings, 10392249 edges, 63097 markings/sec, 50 secs
lola: sara is running 55 secs || 3803685 markings, 11395395 edges, 62547 markings/sec, 55 secs
lola: sara is running 60 secs || 4113040 markings, 12357461 edges, 61871 markings/sec, 60 secs
lola: sara is running 65 secs || 4428579 markings, 13343214 edges, 63108 markings/sec, 65 secs
lola: sara is running 70 secs || 4736041 markings, 14425337 edges, 61492 markings/sec, 70 secs
lola: sara is running 75 secs || 5049456 markings, 15575457 edges, 62683 markings/sec, 75 secs
lola: sara is running 80 secs || 5346691 markings, 16872175 edges, 59447 markings/sec, 80 secs
lola: sara is running 85 secs || 5635764 markings, 18164311 edges, 57815 markings/sec, 85 secs
lola: sara is running 90 secs || 5943739 markings, 19423045 edges, 61595 markings/sec, 90 secs
lola: sara is running 95 secs || 6231127 markings, 20752597 edges, 57478 markings/sec, 95 secs
lola: sara is running 100 secs || 6514066 markings, 22070676 edges, 56588 markings/sec, 100 secs
lola: sara is running 105 secs || 6800652 markings, 23372743 edges, 57317 markings/sec, 105 secs
lola: sara is running 110 secs || 7083659 markings, 24642977 edges, 56601 markings/sec, 110 secs
lola: sara is running 115 secs || 7371741 markings, 25949264 edges, 57616 markings/sec, 115 secs
lola: sara is running 120 secs || 7657472 markings, 27266013 edges, 57146 markings/sec, 120 secs
lola: sara is running 125 secs || 7940360 markings, 28725841 edges, 56578 markings/sec, 125 secs
lola: sara is running 130 secs || 8225888 markings, 30152541 edges, 57106 markings/sec, 130 secs
lola: sara is running 135 secs || 8514983 markings, 31463716 edges, 57819 markings/sec, 135 secs
lola: sara is running 140 secs || 8799130 markings, 32764349 edges, 56829 markings/sec, 140 secs
lola: sara is running 145 secs || 9078770 markings, 34089930 edges, 55928 markings/sec, 145 secs
lola: sara is running 150 secs || 9362648 markings, 35356270 edges, 56776 markings/sec, 150 secs
lola: sara is running 155 secs || 9645253 markings, 36629007 edges, 56521 markings/sec, 155 secs
lola: sara is running 160 secs || 9926236 markings, 37954190 edges, 56197 markings/sec, 160 secs
lola: sara is running 165 secs || 10208964 markings, 39284356 edges, 56546 markings/sec, 165 secs
lola: sara is running 170 secs || 10491360 markings, 40746755 edges, 56479 markings/sec, 170 secs
lola: sara is running 175 secs || 10762039 markings, 42285256 edges, 54136 markings/sec, 175 secs
lola: sara is running 180 secs || 11028975 markings, 43884629 edges, 53387 markings/sec, 180 secs
lola: sara is running 185 secs || 11297024 markings, 45432470 edges, 53610 markings/sec, 185 secs
lola: sara is running 190 secs || 11565132 markings, 47032026 edges, 53622 markings/sec, 190 secs
lola: sara is running 195 secs || 11853860 markings, 48519117 edges, 57746 markings/sec, 195 secs
lola: sara is running 200 secs || 12142529 markings, 49814948 edges, 57734 markings/sec, 200 secs
lola: sara is running 205 secs || 12425451 markings, 51115056 edges, 56584 markings/sec, 205 secs
lola: sara is running 210 secs || 12709683 markings, 52462293 edges, 56846 markings/sec, 210 secs
lola: sara is running 215 secs || 12984435 markings, 53814248 edges, 54950 markings/sec, 215 secs
lola: sara is running 220 secs || 13268400 markings, 55143286 edges, 56793 markings/sec, 220 secs
lola: sara is running 225 secs || 13548369 markings, 56517602 edges, 55994 markings/sec, 225 secs
lola: sara is running 230 secs || 13821247 markings, 58089585 edges, 54576 markings/sec, 230 secs
lola: sara is running 235 secs || 14096069 markings, 59687107 edges, 54964 markings/sec, 235 secs
lola: sara is running 240 secs || 14358208 markings, 61301877 edges, 52428 markings/sec, 240 secs
lola: sara is running 245 secs || 14617398 markings, 62910717 edges, 51838 markings/sec, 245 secs
lola: sara is running 250 secs || 14875385 markings, 64610240 edges, 51597 markings/sec, 250 secs
lola: sara is running 255 secs || 15143580 markings, 66271383 edges, 53639 markings/sec, 255 secs
lola: sara is running 260 secs || 15402983 markings, 67884953 edges, 51881 markings/sec, 260 secs
lola: sara is running 265 secs || 15659893 markings, 69506406 edges, 51382 markings/sec, 265 secs
lola: sara is running 270 secs || 15916332 markings, 71229000 edges, 51288 markings/sec, 270 secs
lola: sara is running 275 secs || 16167837 markings, 73086437 edges, 50301 markings/sec, 275 secs
lola: sara is running 280 secs || 16427703 markings, 74869869 edges, 51973 markings/sec, 280 secs
lola: sara is running 285 secs || 16724058 markings, 76197633 edges, 59271 markings/sec, 285 secs
lola: sara is running 290 secs || 17012447 markings, 77506792 edges, 57678 markings/sec, 290 secs
lola: sara is running 295 secs || 17296025 markings, 78842678 edges, 56716 markings/sec, 295 secs
lola: sara is running 300 secs || 17576666 markings, 80198844 edges, 56128 markings/sec, 300 secs
lola: sara is running 305 secs || 17854419 markings, 81568745 edges, 55551 markings/sec, 305 secs
lola: sara is running 310 secs || 18137426 markings, 82918634 edges, 56601 markings/sec, 310 secs
lola: sara is running 315 secs || 18419393 markings, 84308336 edges, 56393 markings/sec, 315 secs
lola: sara is running 320 secs || 18694217 markings, 85884341 edges, 54965 markings/sec, 320 secs
lola: sara is running 325 secs || 18965099 markings, 87471836 edges, 54176 markings/sec, 325 secs
lola: sara is running 330 secs || 19225681 markings, 89090401 edges, 52116 markings/sec, 330 secs
lola: sara is running 335 secs || 19483374 markings, 90708658 edges, 51539 markings/sec, 335 secs
lola: sara is running 340 secs || 19742650 markings, 92324907 edges, 51855 markings/sec, 340 secs
lola: sara is running 345 secs || 19999668 markings, 94050225 edges, 51404 markings/sec, 345 secs
lola: sara is running 350 secs || 20262146 markings, 95669584 edges, 52496 markings/sec, 350 secs
lola: sara is running 355 secs || 20516924 markings, 97286554 edges, 50956 markings/sec, 355 secs
lola: sara is running 360 secs || 20771246 markings, 98892356 edges, 50864 markings/sec, 360 secs
lola: sara is running 365 secs || 21026206 markings, 100622289 edges, 50992 markings/sec, 365 secs
lola: sara is running 370 secs || 21276098 markings, 102491870 edges, 49978 markings/sec, 370 secs
lola: sara is running 375 secs || 21523090 markings, 104368505 edges, 49398 markings/sec, 375 secs
lola: sara is running 380 secs || 21792461 markings, 105972702 edges, 53874 markings/sec, 380 secs
lola: sara is running 385 secs || 22051805 markings, 107649213 edges, 51869 markings/sec, 385 secs
lola: sara is running 390 secs || 22313848 markings, 109275173 edges, 52409 markings/sec, 390 secs
lola: sara is running 395 secs || 22571904 markings, 111083605 edges, 51611 markings/sec, 395 secs
lola: sara is running 400 secs || 22816646 markings, 112972147 edges, 48948 markings/sec, 400 secs
lola: sara is running 405 secs || 23063068 markings, 114895871 edges, 49284 markings/sec, 405 secs
lola: sara is running 410 secs || 23305179 markings, 116783860 edges, 48422 markings/sec, 410 secs
lola: sara is running 415 secs || 23541967 markings, 118836558 edges, 47358 markings/sec, 415 secs
lola: sara is running 420 secs || 23839716 markings, 119960998 edges, 59550 markings/sec, 420 secs
lola: sara is running 425 secs || 24146010 markings, 120873601 edges, 61259 markings/sec, 425 secs
lola: sara is running 430 secs || 24446698 markings, 121794377 edges, 60138 markings/sec, 430 secs
lola: sara is running 435 secs || 24744755 markings, 122761583 edges, 59611 markings/sec, 435 secs
lola: sara is running 440 secs || 25051069 markings, 123729151 edges, 61263 markings/sec, 440 secs
lola: sara is running 445 secs || 25353975 markings, 124676138 edges, 60581 markings/sec, 445 secs
lola: sara is running 450 secs || 25645937 markings, 125727808 edges, 58392 markings/sec, 450 secs
lola: sara is running 455 secs || 25922561 markings, 126956408 edges, 55325 markings/sec, 455 secs
lola: sara is running 460 secs || 26196529 markings, 128268933 edges, 54794 markings/sec, 460 secs
lola: sara is running 465 secs || 26464713 markings, 129596965 edges, 53637 markings/sec, 465 secs
lola: sara is running 470 secs || 26746029 markings, 130854226 edges, 56263 markings/sec, 470 secs
lola: sara is running 475 secs || 27022240 markings, 132147198 edges, 55242 markings/sec, 475 secs
lola: sara is running 480 secs || 27293252 markings, 133499501 edges, 54202 markings/sec, 480 secs
lola: sara is running 485 secs || 27548041 markings, 135053432 edges, 50958 markings/sec, 485 secs
lola: sara is running 490 secs || 27815604 markings, 136442737 edges, 53513 markings/sec, 490 secs
lola: sara is running 495 secs || 28089856 markings, 137720741 edges, 54850 markings/sec, 495 secs
lola: sara is running 500 secs || 28366492 markings, 139047445 edges, 55327 markings/sec, 500 secs
lola: sara is running 505 secs || 28628017 markings, 140488537 edges, 52305 markings/sec, 505 secs
lola: sara is running 510 secs || 28878998 markings, 142074146 edges, 50196 markings/sec, 510 secs
lola: sara is running 515 secs || 29137318 markings, 143667294 edges, 51664 markings/sec, 515 secs
lola: sara is running 520 secs || 29382223 markings, 145409798 edges, 48981 markings/sec, 520 secs
lola: sara is running 525 secs || 29658327 markings, 146740236 edges, 55221 markings/sec, 525 secs
lola: sara is running 530 secs || 29929607 markings, 148084849 edges, 54256 markings/sec, 530 secs
lola: sara is running 535 secs || 30198519 markings, 149429013 edges, 53782 markings/sec, 535 secs
lola: sara is running 540 secs || 30456068 markings, 150953756 edges, 51510 markings/sec, 540 secs
lola: sara is running 545 secs || 30708686 markings, 152549651 edges, 50524 markings/sec, 545 secs
lola: sara is running 550 secs || 30956664 markings, 154179272 edges, 49596 markings/sec, 550 secs
lola: sara is running 555 secs || 31200904 markings, 155900731 edges, 48848 markings/sec, 555 secs
lola: sara is running 560 secs || 31448321 markings, 157528211 edges, 49483 markings/sec, 560 secs
lola: sara is running 565 secs || 31684280 markings, 159359206 edges, 47192 markings/sec, 565 secs
lola: sara is running 570 secs || 31938283 markings, 161007213 edges, 50801 markings/sec, 570 secs
lola: sara is running 575 secs || 32211574 markings, 162339826 edges, 54658 markings/sec, 575 secs
lola: sara is running 580 secs || 32484527 markings, 163689118 edges, 54591 markings/sec, 580 secs
lola: sara is running 585 secs || 32753251 markings, 165047885 edges, 53745 markings/sec, 585 secs
lola: sara is running 590 secs || 33005776 markings, 166629032 edges, 50505 markings/sec, 590 secs
lola: sara is running 595 secs || 33257551 markings, 168218534 edges, 50355 markings/sec, 595 secs
lola: sara is running 600 secs || 33506676 markings, 169844059 edges, 49825 markings/sec, 600 secs
lola: sara is running 605 secs || 33746858 markings, 171593504 edges, 48036 markings/sec, 605 secs
lola: sara is running 610 secs || 33997050 markings, 173216965 edges, 50038 markings/sec, 610 secs
lola: sara is running 615 secs || 34235269 markings, 174979147 edges, 47644 markings/sec, 615 secs
lola: sara is running 620 secs || 34468122 markings, 176891484 edges, 46571 markings/sec, 620 secs
lola: sara is running 625 secs || 34720467 markings, 178544258 edges, 50469 markings/sec, 625 secs
lola: sara is running 630 secs || 34972075 markings, 180170861 edges, 50322 markings/sec, 630 secs
lola: sara is running 635 secs || 35211426 markings, 181993851 edges, 47870 markings/sec, 635 secs
lola: sara is running 640 secs || 35444615 markings, 183897845 edges, 46638 markings/sec, 640 secs
lola: sara is running 645 secs || 35673001 markings, 185867381 edges, 45677 markings/sec, 645 secs
lola: sara is running 650 secs || 35948390 markings, 187279849 edges, 55078 markings/sec, 650 secs
lola: sara is running 655 secs || 36235224 markings, 188523783 edges, 57367 markings/sec, 655 secs
lola: sara is running 660 secs || 36513198 markings, 189775729 edges, 55595 markings/sec, 660 secs
lola: sara is running 665 secs || 36792428 markings, 191054989 edges, 55846 markings/sec, 665 secs
lola: sara is running 670 secs || 37085070 markings, 192033150 edges, 58528 markings/sec, 670 secs
lola: sara is running 675 secs || 37375990 markings, 193091274 edges, 58184 markings/sec, 675 secs
lola: sara is running 680 secs || 37641384 markings, 194392976 edges, 53079 markings/sec, 680 secs
lola: sara is running 685 secs || 37901874 markings, 195827871 edges, 52098 markings/sec, 685 secs
lola: sara is running 690 secs || 38162138 markings, 197257822 edges, 52053 markings/sec, 690 secs
lola: sara is running 695 secs || 38415925 markings, 198813173 edges, 50757 markings/sec, 695 secs
lola: sara is running 700 secs || 38680975 markings, 200165305 edges, 53010 markings/sec, 700 secs
lola: sara is running 705 secs || 38930417 markings, 201747684 edges, 49888 markings/sec, 705 secs
lola: sara is running 710 secs || 39172145 markings, 203427107 edges, 48346 markings/sec, 710 secs
lola: sara is running 715 secs || 39407774 markings, 205228426 edges, 47126 markings/sec, 715 secs
lola: sara is running 720 secs || 39662746 markings, 206798591 edges, 50994 markings/sec, 720 secs
lola: sara is running 725 secs || 39917810 markings, 208307748 edges, 51013 markings/sec, 725 secs
lola: sara is running 730 secs || 40177205 markings, 209743740 edges, 51879 markings/sec, 730 secs
lola: sara is running 735 secs || 40417405 markings, 211397741 edges, 48040 markings/sec, 735 secs
lola: sara is running 740 secs || 40654525 markings, 213152800 edges, 47424 markings/sec, 740 secs
lola: sara is running 745 secs || 40894487 markings, 214890971 edges, 47992 markings/sec, 745 secs
lola: sara is running 750 secs || 41131491 markings, 216722136 edges, 47401 markings/sec, 750 secs
lola: sara is running 755 secs || 41404094 markings, 218132314 edges, 54521 markings/sec, 755 secs
lola: sara is running 760 secs || 41682612 markings, 219498800 edges, 55704 markings/sec, 760 secs
lola: sara is running 765 secs || 41952836 markings, 220876460 edges, 54045 markings/sec, 765 secs
lola: sara is running 770 secs || 42237076 markings, 222161385 edges, 56848 markings/sec, 770 secs
lola: sara is running 775 secs || 42505511 markings, 223500116 edges, 53687 markings/sec, 775 secs
lola: sara is running 780 secs || 42778500 markings, 224817350 edges, 54598 markings/sec, 780 secs
lola: sara is running 785 secs || 43043818 markings, 226208488 edges, 53064 markings/sec, 785 secs
lola: sara is running 790 secs || 43322581 markings, 227441116 edges, 55753 markings/sec, 790 secs
lola: sara is running 795 secs || 43603714 markings, 228642831 edges, 56227 markings/sec, 795 secs
lola: sara is running 800 secs || 43890005 markings, 229733445 edges, 57258 markings/sec, 800 secs
lola: sara is running 805 secs || 44153142 markings, 231109592 edges, 52627 markings/sec, 805 secs
lola: sara is running 810 secs || 44409428 markings, 232579995 edges, 51257 markings/sec, 810 secs
lola: sara is running 815 secs || 44665131 markings, 234085971 edges, 51141 markings/sec, 815 secs
lola: sara is running 820 secs || 44905124 markings, 235838347 edges, 47999 markings/sec, 820 secs
lola: sara is running 825 secs || 45162936 markings, 237440827 edges, 51562 markings/sec, 825 secs
lola: sara is running 830 secs || 45419851 markings, 239004448 edges, 51383 markings/sec, 830 secs
lola: sara is running 835 secs || 45680353 markings, 240433217 edges, 52100 markings/sec, 835 secs
lola: sara is running 840 secs || 45924233 markings, 242049036 edges, 48776 markings/sec, 840 secs
lola: sara is running 845 secs || 46162180 markings, 243786412 edges, 47589 markings/sec, 845 secs
lola: sara is running 850 secs || 46407430 markings, 245494826 edges, 49050 markings/sec, 850 secs
lola: sara is running 855 secs || 46636316 markings, 247435328 edges, 45777 markings/sec, 855 secs
lola: sara is running 860 secs || 46895714 markings, 249035692 edges, 51880 markings/sec, 860 secs
lola: sara is running 865 secs || 47158948 markings, 250587415 edges, 52647 markings/sec, 865 secs
lola: sara is running 870 secs || 47421318 markings, 252064525 edges, 52474 markings/sec, 870 secs
lola: sara is running 875 secs || 47693455 markings, 253397038 edges, 54427 markings/sec, 875 secs
lola: sara is running 880 secs || 47958690 markings, 254879946 edges, 53047 markings/sec, 880 secs
lola: sara is running 885 secs || 48232325 markings, 256193559 edges, 54727 markings/sec, 885 secs
lola: sara is running 890 secs || 48502256 markings, 257479155 edges, 53986 markings/sec, 890 secs
lola: sara is running 895 secs || 48752162 markings, 259069088 edges, 49981 markings/sec, 895 secs
lola: sara is running 900 secs || 49003400 markings, 260617305 edges, 50248 markings/sec, 900 secs
lola: sara is running 905 secs || 49247911 markings, 262343799 edges, 48902 markings/sec, 905 secs
lola: sara is running 910 secs || 49525769 markings, 263738604 edges, 55572 markings/sec, 910 secs
lola: sara is running 915 secs || 49784045 markings, 265206981 edges, 51655 markings/sec, 915 secs
lola: sara is running 920 secs || 50044074 markings, 266793657 edges, 52006 markings/sec, 920 secs
lola: sara is running 925 secs || 50288453 markings, 268313977 edges, 48876 markings/sec, 925 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes no no unknown yes unknown unknown unknown unknown unknown unknown no unknown no
lola:
preliminary result: no no yes no no unknown yes unknown unknown unknown unknown unknown unknown no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no unknown yes unknown unknown unknown unknown unknown unknown no unknown no
lola: memory consumption: 1721244 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no unknown yes unknown unknown unknown unknown unknown unknown no unknown no
lola: memory consumption: 1721312 KB
lola: time consumption: 3570 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-13ringRLLarge"
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-13ringRLLarge.tgz
mv DNAwalker-PT-13ringRLLarge 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-13ringRLLarge, 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-152649735500313"
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 ;