About the Execution of LoLA for DNAwalker-PT-06track28RL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5559.930 | 3600000.00 | 8521903.00 | 7188.20 | FTTTFT?TTFTFF?TT | 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 272K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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 9.8K 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 8.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 12 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 108K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-06track28RL, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400262
=====================================================================
--------------------
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-06track28RL-CTLCardinality-00
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-01
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-02
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-03
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-04
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-05
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-06
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-07
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-08
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-09
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-10
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-11
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-12
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-13
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-14
FORMULA_NAME DNAwalker-PT-06track28RL-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526772156926
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-06track28RL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-06track28RL formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DNAwalker-PT-06track28RL @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1088
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-06track28RL-CTLCardinality.task
lola: atomic prop true by contained trap!
lola: always true
lola: LP says that atomic proposition is always true: (B18 <= A25)
lola: LP says that atomic proposition is always true: (B26 <= A25)
lola: LP says that atomic proposition is always false: (3 <= B6)
lola: A (F ((A (F ((A2 <= A15))) AND A (X ((2 <= A25)))))) : E (F (E (G ((A12 <= B5))))) : E (G (())) : A (G ((A1 <= 2))) : ((A27 <= 0) AND A (F (((A13 <= A27) AND (A16 <= A2))))) : E (G ((TRUE OR A (G ((A20 <= A1)))))) : A (G (A (F ((A9 <= 2))))) : E ((E (F ((2 <= A23))) U A (X ((2 <= A9))))) : E (F (NOT(E (X ((B18 <= A27)))))) : A (G (A (F ((A8 + 1 <= B5))))) : (E (F ((1 <= A4))) AND E (G (TRUE))) : NOT(NOT(NOT(E (G ((A22 <= A10)))))) : A (G (E (F ((3 <= A23))))) : (NOT((E (G ((1 <= A12))) OR A (G ((1 <= A3))))) OR (((A20 <= 1) OR (A25 + 1 <= A15)) AND (A8 + 1 <= A6))) : (E (((A26 <= 1) U ((B27 <= A18) AND (2 <= A20)))) AND E ((((1 <= A16) OR (B26 <= B19)) U ()))) : NOT((NOT(A (G ((A12 <= B26)))) AND A (F (()))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 203 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((2 <= A23))) U A (X ((2 <= A9)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(E(TRUE U (2 <= A23)) U AX((2 <= A9)))
lola: processed formula length: 39
lola: 45 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 50970 markings, 157246 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X ((A27 + 1 <= B18)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U AX((A27 + 1 <= B18)))
lola: processed formula length: 30
lola: 44 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 206 markings, 476 edges
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (F ((A2 <= A15))) AND A (X ((2 <= A25))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (A(TRUE U (A2 <= A15)) AND AX((2 <= A25))))
lola: processed formula length: 52
lola: 45 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 10 markings, 20 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= 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 ((1 <= A4)))
lola: processed formula length: 17
lola: 43 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (1 <= A4)
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: 0 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLCardinality-6-0.sara
lola: ========================================
lola: state equation: calling and running sara
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A1 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((A1 <= 2)))
lola: processed formula length: 17
lola: 44 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (3 <= A1)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLCardinality-7-0.sara
sara: try reading problem file DNAwalker-PT-06track28RL-CTLCardinality-6-0.sara.
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-CTLCardinality-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 || 518169 markings, 2005719 edges, 103634 markings/sec, 0 secs
lola: sara is running 5 secs || 989347 markings, 4189869 edges, 94236 markings/sec, 5 secs
lola: sara is running 10 secs || 1504266 markings, 6280248 edges, 102984 markings/sec, 10 secs
lola: sara is running 15 secs || 2008984 markings, 8397060 edges, 100944 markings/sec, 15 secs
lola: sara is running 20 secs || 2491691 markings, 10506436 edges, 96541 markings/sec, 20 secs
lola: sara is running 25 secs || 3002415 markings, 12406887 edges, 102145 markings/sec, 25 secs
lola: sara is running 30 secs || 3475648 markings, 14533556 edges, 94647 markings/sec, 30 secs
lola: sara is running 35 secs || 3941169 markings, 16740259 edges, 93104 markings/sec, 35 secs
lola: sara is running 40 secs || 4417864 markings, 18708450 edges, 95339 markings/sec, 40 secs
lola: sara is running 45 secs || 4875950 markings, 21004269 edges, 91617 markings/sec, 45 secs
lola: sara is running 50 secs || 5347306 markings, 23078738 edges, 94271 markings/sec, 50 secs
lola: sara is running 55 secs || 5800015 markings, 25398741 edges, 90542 markings/sec, 55 secs
lola: sara is running 60 secs || 6242248 markings, 27895394 edges, 88447 markings/sec, 60 secs
lola: sara is running 65 secs || 6666931 markings, 30169043 edges, 84937 markings/sec, 65 secs
lola: sara is running 70 secs || 7094312 markings, 32436944 edges, 85476 markings/sec, 70 secs
lola: sara is running 75 secs || 7562966 markings, 34507630 edges, 93731 markings/sec, 75 secs
lola: sara is running 80 secs || 7995581 markings, 36539751 edges, 86523 markings/sec, 80 secs
lola: sara is running 85 secs || 8402700 markings, 38713254 edges, 81424 markings/sec, 85 secs
lola: sara is running 90 secs || 8801197 markings, 41018349 edges, 79699 markings/sec, 90 secs
lola: sara is running 95 secs || 9170494 markings, 43403213 edges, 73859 markings/sec, 95 secs
lola: sara is running 100 secs || 9561580 markings, 45747479 edges, 78217 markings/sec, 100 secs
lola: sara is running 105 secs || 9964061 markings, 48040537 edges, 80496 markings/sec, 105 secs
lola: sara is running 110 secs || 10341021 markings, 50475374 edges, 75392 markings/sec, 110 secs
lola: sara is running 115 secs || 10753321 markings, 52781845 edges, 82460 markings/sec, 115 secs
lola: sara is running 120 secs || 11207122 markings, 54889688 edges, 90760 markings/sec, 120 secs
lola: sara is running 125 secs || 11631227 markings, 57072864 edges, 84821 markings/sec, 125 secs
lola: sara is running 130 secs || 12070477 markings, 59136428 edges, 87850 markings/sec, 130 secs
lola: sara is running 135 secs || 12544684 markings, 61142074 edges, 94841 markings/sec, 135 secs
lola: sara is running 140 secs || 13048269 markings, 63226015 edges, 100717 markings/sec, 140 secs
lola: sara is running 145 secs || 13519576 markings, 65286559 edges, 94261 markings/sec, 145 secs
lola: sara is running 150 secs || 13976958 markings, 67379162 edges, 91476 markings/sec, 150 secs
lola: sara is running 155 secs || 14438976 markings, 69461825 edges, 92404 markings/sec, 155 secs
lola: sara is running 160 secs || 14874048 markings, 71799965 edges, 87014 markings/sec, 160 secs
lola: sara is running 165 secs || 15292669 markings, 74207474 edges, 83724 markings/sec, 165 secs
lola: sara is running 170 secs || 15751100 markings, 76192045 edges, 91686 markings/sec, 170 secs
lola: sara is running 175 secs || 16147249 markings, 78364298 edges, 79230 markings/sec, 175 secs
lola: sara is running 180 secs || 16548904 markings, 80642060 edges, 80331 markings/sec, 180 secs
lola: sara is running 185 secs || 16914513 markings, 83068196 edges, 73122 markings/sec, 185 secs
lola: sara is running 190 secs || 17335427 markings, 85207820 edges, 84183 markings/sec, 190 secs
lola: sara is running 195 secs || 17766751 markings, 87272676 edges, 86265 markings/sec, 195 secs
lola: sara is running 200 secs || 18233824 markings, 89355495 edges, 93415 markings/sec, 200 secs
lola: sara is running 205 secs || 18698516 markings, 91392897 edges, 92938 markings/sec, 205 secs
lola: sara is running 210 secs || 19125769 markings, 93479267 edges, 85451 markings/sec, 210 secs
lola: sara is running 215 secs || 19538999 markings, 95643324 edges, 82646 markings/sec, 215 secs
lola: sara is running 220 secs || 19959911 markings, 97746773 edges, 84182 markings/sec, 220 secs
lola: sara is running 225 secs || 20367024 markings, 99942649 edges, 81423 markings/sec, 225 secs
lola: sara is running 230 secs || 20759200 markings, 102152934 edges, 78435 markings/sec, 230 secs
lola: sara is running 235 secs || 21154104 markings, 104345079 edges, 78981 markings/sec, 235 secs
lola: sara is running 240 secs || 21591511 markings, 106393629 edges, 87481 markings/sec, 240 secs
lola: sara is running 245 secs || 22030286 markings, 108429748 edges, 87755 markings/sec, 245 secs
lola: sara is running 250 secs || 22478547 markings, 110260816 edges, 89652 markings/sec, 250 secs
lola: sara is running 255 secs || 22887225 markings, 112030863 edges, 81736 markings/sec, 255 secs
lola: sara is running 260 secs || 23268709 markings, 113989992 edges, 76297 markings/sec, 260 secs
lola: sara is running 265 secs || 23644104 markings, 116034417 edges, 75079 markings/sec, 265 secs
lola: sara is running 270 secs || 24040965 markings, 118042826 edges, 79372 markings/sec, 270 secs
lola: sara is running 275 secs || 24452264 markings, 119866563 edges, 82260 markings/sec, 275 secs
lola: sara is running 280 secs || 24828982 markings, 121817389 edges, 75344 markings/sec, 280 secs
lola: sara is running 285 secs || 25217433 markings, 123778943 edges, 77690 markings/sec, 285 secs
lola: sara is running 290 secs || 25582916 markings, 125900441 edges, 73097 markings/sec, 290 secs
lola: sara is running 295 secs || 25973416 markings, 127985048 edges, 78100 markings/sec, 295 secs
lola: sara is running 300 secs || 26371477 markings, 129843293 edges, 79612 markings/sec, 300 secs
lola: sara is running 305 secs || 26720303 markings, 131907339 edges, 69765 markings/sec, 305 secs
lola: sara is running 310 secs || 27059141 markings, 134102185 edges, 67768 markings/sec, 310 secs
lola: sara is running 315 secs || 27397393 markings, 136354972 edges, 67650 markings/sec, 315 secs
lola: sara is running 320 secs || 27766339 markings, 138541547 edges, 73789 markings/sec, 320 secs
lola: sara is running 325 secs || 28154862 markings, 140621866 edges, 77705 markings/sec, 325 secs
lola: sara is running 330 secs || 28517577 markings, 142886459 edges, 72543 markings/sec, 330 secs
lola: sara is running 335 secs || 28897466 markings, 145056812 edges, 75978 markings/sec, 335 secs
lola: sara is running 340 secs || 29277940 markings, 147235712 edges, 76095 markings/sec, 340 secs
lola: sara is running 345 secs || 29660570 markings, 149400934 edges, 76526 markings/sec, 345 secs
lola: sara is running 350 secs || 30039912 markings, 151587670 edges, 75868 markings/sec, 350 secs
lola: sara is running 355 secs || 30441603 markings, 153533311 edges, 80338 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes unknown unknown yes unknown yes yes unknown yes unknown unknown unknown unknown yes
lola: memory consumption: 1093340 KB
lola: time consumption: 681 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((3 <= A23)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: (3 <= A23)
lola: processed formula length: 10
lola: 43 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 8 markings, 7 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((A9 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (3 <= A9)
lola: processed formula length: 9
lola: 44 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 542801 markings, 1671365 edges, 108560 markings/sec, 0 secs
lola: 980614 markings, 3385910 edges, 87563 markings/sec, 5 secs
lola: 1446350 markings, 4795670 edges, 93147 markings/sec, 10 secs
lola: 1882330 markings, 6476995 edges, 87196 markings/sec, 15 secs
lola: 2297705 markings, 8320430 edges, 83075 markings/sec, 20 secs
lola: 2714588 markings, 10359092 edges, 83377 markings/sec, 25 secs
lola: 3129173 markings, 12187520 edges, 82917 markings/sec, 30 secs
lola: 3550255 markings, 13908296 edges, 84216 markings/sec, 35 secs
lola: 3954028 markings, 15601182 edges, 80755 markings/sec, 40 secs
lola: 4367183 markings, 17298330 edges, 82631 markings/sec, 45 secs
lola: 4809629 markings, 18894076 edges, 88489 markings/sec, 50 secs
lola: 5218488 markings, 20764671 edges, 81772 markings/sec, 55 secs
lola: 5624261 markings, 22513653 edges, 81155 markings/sec, 60 secs
lola: 5984186 markings, 24297726 edges, 71985 markings/sec, 65 secs
lola: 6343768 markings, 26017778 edges, 71916 markings/sec, 70 secs
lola: 6703370 markings, 27869172 edges, 71920 markings/sec, 75 secs
lola: 7054673 markings, 29645499 edges, 70261 markings/sec, 80 secs
lola: 7438457 markings, 31401905 edges, 76757 markings/sec, 85 secs
lola: 7780494 markings, 33138062 edges, 68407 markings/sec, 90 secs
lola: 8158116 markings, 34872441 edges, 75524 markings/sec, 95 secs
lola: 8517677 markings, 36557544 edges, 71912 markings/sec, 100 secs
lola: 8865009 markings, 38322167 edges, 69466 markings/sec, 105 secs
lola: 9225593 markings, 40122103 edges, 72117 markings/sec, 110 secs
lola: 9589671 markings, 41769076 edges, 72816 markings/sec, 115 secs
lola: 9983812 markings, 43417991 edges, 78828 markings/sec, 120 secs
lola: 10364893 markings, 45095624 edges, 76216 markings/sec, 125 secs
lola: 10787694 markings, 46551072 edges, 84560 markings/sec, 130 secs
lola: 11176172 markings, 48056918 edges, 77696 markings/sec, 135 secs
lola: 11560359 markings, 49571174 edges, 76837 markings/sec, 140 secs
lola: 11957278 markings, 51055042 edges, 79384 markings/sec, 145 secs
lola: 12351451 markings, 52486975 edges, 78835 markings/sec, 150 secs
lola: 12729678 markings, 54064074 edges, 75645 markings/sec, 155 secs
lola: 13133197 markings, 55483422 edges, 80704 markings/sec, 160 secs
lola: 13502341 markings, 57184276 edges, 73829 markings/sec, 165 secs
lola: 13861367 markings, 58972306 edges, 71805 markings/sec, 170 secs
lola: 14214527 markings, 60807535 edges, 70632 markings/sec, 175 secs
lola: 14563419 markings, 62605555 edges, 69778 markings/sec, 180 secs
lola: 14917460 markings, 64414370 edges, 70808 markings/sec, 185 secs
lola: 15282395 markings, 66197327 edges, 72987 markings/sec, 190 secs
lola: 15631243 markings, 68021755 edges, 69770 markings/sec, 195 secs
lola: 15987154 markings, 69819875 edges, 71182 markings/sec, 200 secs
lola: 16344727 markings, 71686635 edges, 71515 markings/sec, 205 secs
lola: 16685012 markings, 73742034 edges, 68057 markings/sec, 210 secs
lola: 17020200 markings, 75811609 edges, 67038 markings/sec, 215 secs
lola: 17384180 markings, 77799938 edges, 72796 markings/sec, 220 secs
lola: 17764354 markings, 79694862 edges, 76035 markings/sec, 225 secs
lola: 18154249 markings, 81524033 edges, 77979 markings/sec, 230 secs
lola: 18533173 markings, 83447391 edges, 75785 markings/sec, 235 secs
lola: 18888605 markings, 85545694 edges, 71086 markings/sec, 240 secs
lola: 19236487 markings, 87692160 edges, 69576 markings/sec, 245 secs
lola: 19588065 markings, 89846211 edges, 70316 markings/sec, 250 secs
lola: 19939828 markings, 91993616 edges, 70353 markings/sec, 255 secs
lola: 20274349 markings, 94307480 edges, 66904 markings/sec, 260 secs
lola: 20663281 markings, 96427711 edges, 77786 markings/sec, 265 secs
lola: 21020558 markings, 98529979 edges, 71455 markings/sec, 270 secs
lola: 21370237 markings, 100596571 edges, 69936 markings/sec, 275 secs
lola: 21743220 markings, 102650802 edges, 74597 markings/sec, 280 secs
lola: 22104826 markings, 104669344 edges, 72321 markings/sec, 285 secs
lola: 22468900 markings, 106690130 edges, 72815 markings/sec, 290 secs
lola: 22853567 markings, 108469630 edges, 76933 markings/sec, 295 secs
lola: 23221654 markings, 110436091 edges, 73617 markings/sec, 300 secs
lola: 23594634 markings, 112249651 edges, 74596 markings/sec, 305 secs
lola: 23943429 markings, 114117871 edges, 69759 markings/sec, 310 secs
lola: 24263801 markings, 116120142 edges, 64074 markings/sec, 315 secs
lola: 24602479 markings, 118214823 edges, 67736 markings/sec, 320 secs
lola: 24948350 markings, 120357476 edges, 69174 markings/sec, 325 secs
lola: 25290221 markings, 122524138 edges, 68374 markings/sec, 330 secs
lola: 25617001 markings, 124838253 edges, 65356 markings/sec, 335 secs
lola: 26017379 markings, 127095815 edges, 80076 markings/sec, 340 secs
lola: 26411411 markings, 128762179 edges, 78806 markings/sec, 345 secs
lola: 26773496 markings, 130524253 edges, 72417 markings/sec, 350 secs
lola: 27130880 markings, 132235172 edges, 71477 markings/sec, 355 secs
lola: 27491893 markings, 133861400 edges, 72203 markings/sec, 360 secs
lola: 27822063 markings, 135705197 edges, 66034 markings/sec, 365 secs
lola: 28185603 markings, 137437841 edges, 72708 markings/sec, 370 secs
lola: 28541181 markings, 139116325 edges, 71116 markings/sec, 375 secs
lola: 28883713 markings, 140878017 edges, 68506 markings/sec, 380 secs
lola: 29226585 markings, 142594163 edges, 68574 markings/sec, 385 secs
lola: 29569814 markings, 144277118 edges, 68646 markings/sec, 390 secs
lola: 29920907 markings, 146019724 edges, 70219 markings/sec, 395 secs
lola: 30275623 markings, 147759253 edges, 70943 markings/sec, 400 secs
lola: 30621477 markings, 149499480 edges, 69171 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes unknown unknown yes unknown yes yes unknown yes unknown no unknown unknown yes
lola: memory consumption: 1341668 KB
lola: time consumption: 1093 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A10 + 1 <= A22)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (A22 <= A10)
lola: processed formula length: 12
lola: 44 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 10 markings, 10 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 495 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((A8 + 1 <= B5)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (B5 <= A8)
lola: processed formula length: 10
lola: 44 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 14 markings, 14 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 619 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((A12 <= B5)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (A12 <= B5)
lola: processed formula length: 11
lola: 43 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 825 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A26 <= 1) U ((B27 <= A18) AND (2 <= A20))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((A26 <= 1) U ((B27 <= A18) AND (2 <= A20))))
lola: processed formula length: 48
lola: 45 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: ((B27 <= A18) AND (2 <= A20))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLCardinality-13-0.sara
lola: lola: state equation: calling and running sara
SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 28 markings, 35 edges
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
sara: try reading problem file DNAwalker-PT-06track28RL-CTLCardinality-13-0.sara.
lola: subprocess 14 will run for 1238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A27 <= 0) AND A (F (((A13 <= A27) AND (A16 <= A2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A27 <= 0)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (A27 <= 0)
lola: processed formula length: 10
lola: 42 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((A13 <= A27) AND (A16 <= A2))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: ((A27 + 1 <= A13) OR (A2 + 1 <= A16))
lola: processed formula length: 38
lola: 44 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
sara: lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
place or transition ordering is non-deterministic
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 9 markings, 9 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (F ((A12 <= 0))) AND E (F ((A3 <= 0)))) OR (((A20 <= 1) OR (A25 + 1 <= A15)) AND (A8 + 1 <= A6)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A3 <= 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 ((A3 <= 0)))
lola: processed formula length: 17
lola: 43 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (A3 <= 0)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLCardinality-15-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: state equation: calling and running sara
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)sara: try reading problem file DNAwalker-PT-06track28RL-CTLCardinality-15-0.sara.
lola: ========================================
lola: ...considering subproblem: (((A20 <= 1) OR (A25 + 1 <= A15)) AND (A8 + 1 <= A6))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((A20 <= 1) OR (A25 + 1 <= A15)) AND (A8 + 1 <= A6))
lola: processed formula length: 54
lola: 42 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: processed formula with 3 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: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((A1 <= 2)))
lola: ========================================
lola: SUBTASK
lola: sara: place or transition ordering is non-deterministic
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 ((A1 <= 2)))
lola: processed formula length: 17
lola: 44 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (3 <= A1)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-CTLCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-CTLCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 495911 markings, 1912090 edges, 99182 markings/sec, 0 secs
lola: sara is running 5 secs || 948328 markings, 3996953 edges, 90483 markings/sec, 5 secs
lola: sara is running 10 secs || 1437517 markings, 6009346 edges, 97838 markings/sec, 10 secs
lola: sara is running 15 secs || 1918552 markings, 8062887 edges, 96207 markings/sec, 15 secs
lola: sara is running 20 secs || 2391709 markings, 10049917 edges, 94631 markings/sec, 20 secs
lola: sara is running 25 secs || 2880733 markings, 11946393 edges, 97805 markings/sec, 25 secs
lola: sara is running 30 secs || 3343265 markings, 13864736 edges, 92506 markings/sec, 30 secs
lola: sara is running 35 secs || 3788495 markings, 16143580 edges, 89046 markings/sec, 35 secs
lola: sara is running 40 secs || 4245030 markings, 18057659 edges, 91307 markings/sec, 40 secs
lola: sara is running 45 secs || 4701629 markings, 20074591 edges, 91320 markings/sec, 45 secs
lola: sara is running 50 secs || 5154201 markings, 22119641 edges, 90514 markings/sec, 50 secs
lola: sara is running 55 secs || 5600941 markings, 24299602 edges, 89348 markings/sec, 55 secs
lola: sara is running 60 secs || 6025983 markings, 26691143 edges, 85008 markings/sec, 60 secs
lola: sara is running 65 secs || 6446993 markings, 29003081 edges, 84202 markings/sec, 65 secs
lola: sara is running 70 secs || 6825305 markings, 31198691 edges, 75662 markings/sec, 70 secs
lola: sara is running 75 secs || 7280894 markings, 33251852 edges, 91118 markings/sec, 75 secs
lola: sara is running 80 secs || 7727025 markings, 35176974 edges, 89226 markings/sec, 80 secs
lola: sara is running 85 secs || 8120707 markings, 37228402 edges, 78736 markings/sec, 85 secs
lola: sara is running 90 secs || 8517614 markings, 39301697 edges, 79381 markings/sec, 90 secs
lola: sara is running 95 secs || 8886582 markings, 41590049 edges, 73794 markings/sec, 95 secs
lola: sara is running 100 secs || 9252362 markings, 43850838 edges, 73156 markings/sec, 100 secs
lola: sara is running 105 secs || 9631234 markings, 46166847 edges, 75774 markings/sec, 105 secs
lola: sara is running 110 secs || 10013864 markings, 48330171 edges, 76526 markings/sec, 110 secs
lola: sara is running 115 secs || 10377342 markings, 50710705 edges, 72696 markings/sec, 115 secs
lola: sara is running 120 secs || 10780850 markings, 52906538 edges, 80702 markings/sec, 120 secs
lola: sara is running 125 secs || 11218063 markings, 54957198 edges, 87443 markings/sec, 125 secs
lola: sara is running 130 secs || 11627889 markings, 57057466 edges, 81965 markings/sec, 130 secs
lola: sara is running 135 secs || 12055321 markings, 59041360 edges, 85486 markings/sec, 135 secs
lola: sara is running 140 secs || 12508795 markings, 60980028 edges, 90695 markings/sec, 140 secs
lola: sara is running 145 secs || 12990090 markings, 63000956 edges, 96259 markings/sec, 145 secs
lola: sara is running 150 secs || 13444532 markings, 64903055 edges, 90888 markings/sec, 150 secs
lola: sara is running 155 secs || 13878937 markings, 66912351 edges, 86881 markings/sec, 155 secs
lola: sara is running 160 secs || 14303573 markings, 68931923 edges, 84927 markings/sec, 160 secs
lola: sara is running 165 secs || 14737640 markings, 70945229 edges, 86813 markings/sec, 165 secs
lola: sara is running 170 secs || 15128700 markings, 73276807 edges, 78212 markings/sec, 170 secs
lola: sara is running 175 secs || 15552988 markings, 75334659 edges, 84858 markings/sec, 175 secs
lola: sara is running 180 secs || 15951197 markings, 77285623 edges, 79642 markings/sec, 180 secs
lola: sara is running 185 secs || 16327546 markings, 79343340 edges, 75270 markings/sec, 185 secs
lola: sara is running 190 secs || 16693549 markings, 81590284 edges, 73201 markings/sec, 190 secs
lola: sara is running 195 secs || 17057379 markings, 83795437 edges, 72766 markings/sec, 195 secs
lola: sara is running 200 secs || 17463462 markings, 85788765 edges, 81217 markings/sec, 200 secs
lola: sara is running 205 secs || 17854750 markings, 87809706 edges, 78258 markings/sec, 205 secs
lola: sara is running 210 secs || 18317744 markings, 89722834 edges, 92599 markings/sec, 210 secs
lola: sara is running 215 secs || 18752128 markings, 91660063 edges, 86877 markings/sec, 215 secs
lola: sara is running 220 secs || 19157549 markings, 93622762 edges, 81084 markings/sec, 220 secs
lola: sara is running 225 secs || 19544182 markings, 95673403 edges, 77327 markings/sec, 225 secs
lola: sara is running 230 secs || 19942352 markings, 97665355 edges, 79634 markings/sec, 230 secs
lola: sara is running 235 secs || 20324485 markings, 99747822 edges, 76427 markings/sec, 235 secs
lola: sara is running 240 secs || 20698895 markings, 101786742 edges, 74882 markings/sec, 240 secs
lola: sara is running 245 secs || 21063919 markings, 103880346 edges, 73005 markings/sec, 245 secs
lola: sara is running 250 secs || 21474814 markings, 105846413 edges, 82179 markings/sec, 250 secs
lola: sara is running 255 secs || 21890254 markings, 107776593 edges, 83088 markings/sec, 255 secs
lola: sara is running 260 secs || 22306450 markings, 109638068 edges, 83239 markings/sec, 260 secs
lola: sara is running 265 secs || 22728498 markings, 111267390 edges, 84410 markings/sec, 265 secs
lola: sara is running 270 secs || 23116747 markings, 113141427 edges, 77650 markings/sec, 270 secs
lola: sara is running 275 secs || 23486193 markings, 115150571 edges, 73889 markings/sec, 275 secs
lola: sara is running 280 secs || 23869437 markings, 117188313 edges, 76649 markings/sec, 280 secs
lola: sara is running 285 secs || 24271134 markings, 119115331 edges, 80339 markings/sec, 285 secs
lola: sara is running 290 secs || 24656740 markings, 120928171 edges, 77121 markings/sec, 290 secs
lola: sara is running 295 secs || 25038644 markings, 122903452 edges, 76381 markings/sec, 295 secs
lola: sara is running 300 secs || 25418016 markings, 124889972 edges, 75874 markings/sec, 300 secs
lola: sara is running 305 secs || 25773613 markings, 126970162 edges, 71119 markings/sec, 305 secs
lola: sara is running 310 secs || 26156100 markings, 128834830 edges, 76497 markings/sec, 310 secs
lola: sara is running 315 secs || 26527280 markings, 130763690 edges, 74236 markings/sec, 315 secs
lola: sara is running 320 secs || 26874941 markings, 132859303 edges, 69532 markings/sec, 320 secs
lola: sara is running 325 secs || 27211906 markings, 135055299 edges, 67393 markings/sec, 325 secs
lola: sara is running 330 secs || 27550023 markings, 137236273 edges, 67623 markings/sec, 330 secs
lola: sara is running 335 secs || 27903353 markings, 139314152 edges, 70666 markings/sec, 335 secs
lola: sara is running 340 secs || 28266261 markings, 141301372 edges, 72582 markings/sec, 340 secs
lola: sara is running 345 secs || 28610067 markings, 143464851 edges, 68761 markings/sec, 345 secs
lola: sara is running 350 secs || 28979265 markings, 145468234 edges, 73840 markings/sec, 350 secs
lola: sara is running 355 secs || 29332894 markings, 147565577 edges, 70726 markings/sec, 355 secs
lola: sara is running 360 secs || 29696773 markings, 149623306 edges, 72776 markings/sec, 360 secs
lola: sara is running 365 secs || 30056046 markings, 151689856 edges, 71855 markings/sec, 365 secs
lola: sara is running 370 secs || 30438238 markings, 153514282 edges, 76438 markings/sec, 370 secs
lola: sara is running 375 secs || 30803286 markings, 155451057 edges, 73010 markings/sec, 375 secs
lola: sara is running 380 secs || 31144923 markings, 157575430 edges, 68327 markings/sec, 380 secs
lola: sara is running 385 secs || 31481946 markings, 159750220 edges, 67405 markings/sec, 385 secs
lola: sara is running 390 secs || 31819527 markings, 161921276 edges, 67516 markings/sec, 390 secs
lola: sara is running 395 secs || 32171521 markings, 163979461 edges, 70399 markings/sec, 395 secs
lola: sara is running 400 secs || 32528501 markings, 165965180 edges, 71396 markings/sec, 400 secs
lola: sara is running 405 secs || 32872497 markings, 168089854 edges, 68799 markings/sec, 405 secs
lola: sara is running 410 secs || 33248267 markings, 170070377 edges, 75154 markings/sec, 410 secs
lola: sara is running 415 secs || 33613333 markings, 172163021 edges, 73013 markings/sec, 415 secs
lola: sara is running 420 secs || 34001198 markings, 174038988 edges, 77573 markings/sec, 420 secs
lola: sara is running 425 secs || 34409454 markings, 175880275 edges, 81651 markings/sec, 425 secs
lola: sara is running 430 secs || 34775833 markings, 177938102 edges, 73276 markings/sec, 430 secs
lola: sara is running 435 secs || 35137140 markings, 180082187 edges, 72261 markings/sec, 435 secs
lola: sara is running 440 secs || 35499232 markings, 182258922 edges, 72418 markings/sec, 440 secs
lola: sara is running 445 secs || 35859092 markings, 184351591 edges, 71972 markings/sec, 445 secs
lola: sara is running 450 secs || 36252769 markings, 186308687 edges, 78735 markings/sec, 450 secs
lola: sara is running 455 secs || 36635164 markings, 188480625 edges, 76479 markings/sec, 455 secs
lola: sara is running 460 secs || 37025002 markings, 190547933 edges, 77968 markings/sec, 460 secs
lola: sara is running 465 secs || 37446266 markings, 192468083 edges, 84253 markings/sec, 465 secs
lola: sara is running 470 secs || 37842671 markings, 194448481 edges, 79281 markings/sec, 470 secs
lola: sara is running 475 secs || 38213990 markings, 196464689 edges, 74264 markings/sec, 475 secs
lola: sara is running 480 secs || 38570277 markings, 198557881 edges, 71257 markings/sec, 480 secs
lola: sara is running 485 secs || 38953743 markings, 200869067 edges, 76693 markings/sec, 485 secs
lola: sara is running 490 secs || 39306070 markings, 203211498 edges, 70465 markings/sec, 490 secs
lola: sara is running 495 secs || 39681146 markings, 205403732 edges, 75015 markings/sec, 495 secs
lola: sara is running 500 secs || 40035790 markings, 207514777 edges, 70929 markings/sec, 500 secs
lola: sara is running 505 secs || 40397875 markings, 209685016 edges, 72417 markings/sec, 505 secs
lola: sara is running 510 secs || 40733423 markings, 211898480 edges, 67110 markings/sec, 510 secs
lola: sara is running 515 secs || 41065726 markings, 214158179 edges, 66461 markings/sec, 515 secs
lola: sara is running 520 secs || 41395358 markings, 216438292 edges, 65926 markings/sec, 520 secs
lola: sara is running 525 secs || 41727515 markings, 218748774 edges, 66431 markings/sec, 525 secs
lola: sara is running 530 secs || 42057435 markings, 220979556 edges, 65984 markings/sec, 530 secs
lola: sara is running 535 secs || 42387381 markings, 223245630 edges, 65989 markings/sec, 535 secs
lola: sara is running 540 secs || 42713350 markings, 225506772 edges, 65194 markings/sec, 540 secs
lola: sara is running 545 secs || 43043860 markings, 227794426 edges, 66102 markings/sec, 545 secs
lola: sara is running 550 secs || 43395109 markings, 229952272 edges, 70250 markings/sec, 550 secs
lola: sara is running 555 secs || 43726824 markings, 232277176 edges, 66343 markings/sec, 555 secs
lola: sara is running 560 secs || 44070565 markings, 234489195 edges, 68748 markings/sec, 560 secs
lola: sara is running 565 secs || 44441982 markings, 236756330 edges, 74283 markings/sec, 565 secs
lola: sara is running 570 secs || 44795428 markings, 239013441 edges, 70689 markings/sec, 570 secs
lola: sara is running 575 secs || 45147142 markings, 241240002 edges, 70343 markings/sec, 575 secs
lola: sara is running 580 secs || 45491190 markings, 243359644 edges, 68810 markings/sec, 580 secs
lola: sara is running 585 secs || 45820640 markings, 245650506 edges, 65890 markings/sec, 585 secs
lola: sara is running 590 secs || 46146496 markings, 247913555 edges, 65171 markings/sec, 590 secs
lola: sara is running 595 secs || 46516355 markings, 250030340 edges, 73972 markings/sec, 595 secs
lola: sara is running 600 secs || 46939975 markings, 252012990 edges, 84724 markings/sec, 600 secs
lola: sara is running 605 secs || 47336825 markings, 254089094 edges, 79370 markings/sec, 605 secs
lola: sara is running 610 secs || 47762948 markings, 256155967 edges, 85225 markings/sec, 610 secs
lola: sara is running 615 secs || 48188598 markings, 258238130 edges, 85130 markings/sec, 615 secs
lola: sara is running 620 secs || 48605354 markings, 260254450 edges, 83351 markings/sec, 620 secs
lola: sara is running 625 secs || 49016130 markings, 262363684 edges, 82155 markings/sec, 625 secs
lola: sara is running 630 secs || 49429118 markings, 264326030 edges, 82598 markings/sec, 630 secs
lola: sara is running 635 secs || 49833382 markings, 266447371 edges, 80853 markings/sec, 635 secs
lola: sara is running 640 secs || 50236447 markings, 268535269 edges, 80613 markings/sec, 640 secs
lola: sara is running 645 secs || 50640062 markings, 270509081 edges, 80723 markings/sec, 645 secs
lola: sara is running 650 secs || 51035231 markings, 272491827 edges, 79034 markings/sec, 650 secs
lola: sara is running 655 secs || 51415037 markings, 274549476 edges, 75961 markings/sec, 655 secs
lola: sara is running 660 secs || 51784354 markings, 276638635 edges, 73863 markings/sec, 660 secs
lola: sara is running 665 secs || 52157464 markings, 278963087 edges, 74622 markings/sec, 665 secs
lola: sara is running 670 secs || 52513098 markings, 281309232 edges, 71127 markings/sec, 670 secs
lola: sara is running 675 secs || 52898829 markings, 283363626 edges, 77146 markings/sec, 675 secs
lola: sara is running 680 secs || 53265790 markings, 285411018 edges, 73392 markings/sec, 680 secs
lola: sara is running 685 secs || 53665694 markings, 287378995 edges, 79981 markings/sec, 685 secs
lola: sara is running 690 secs || 54043355 markings, 289389402 edges, 75532 markings/sec, 690 secs
lola: sara is running 695 secs || 54406560 markings, 291660640 edges, 72641 markings/sec, 695 secs
lola: sara is running 700 secs || 54760333 markings, 294008191 edges, 70755 markings/sec, 700 secs
lola: sara is running 705 secs || 55153113 markings, 295999609 edges, 78556 markings/sec, 705 secs
lola: sara is running 710 secs || 55527379 markings, 298023698 edges, 74853 markings/sec, 710 secs
lola: sara is running 715 secs || 55885108 markings, 300340569 edges, 71546 markings/sec, 715 secs
lola: sara is running 720 secs || 56258979 markings, 302538364 edges, 74774 markings/sec, 720 secs
lola: sara is running 725 secs || 56637717 markings, 304678713 edges, 75748 markings/sec, 725 secs
lola: sara is running 730 secs || 56978522 markings, 307066065 edges, 68161 markings/sec, 730 secs
lola: sara is running 735 secs || 57329270 markings, 309536541 edges, 70150 markings/sec, 735 secs
lola: sara is running 740 secs || 57684906 markings, 311843489 edges, 71127 markings/sec, 740 secs
lola: sara is running 745 secs || 58046542 markings, 314159687 edges, 72327 markings/sec, 745 secs
lola: sara is running 750 secs || 58399675 markings, 316431347 edges, 70627 markings/sec, 750 secs
lola: sara is running 755 secs || 58733961 markings, 318659131 edges, 66857 markings/sec, 755 secs
lola: sara is running 760 secs || 59145093 markings, 320699005 edges, 82226 markings/sec, 760 secs
lola: sara is running 765 secs || 59538194 markings, 322738747 edges, 78620 markings/sec, 765 secs
lola: sara is running 770 secs || 59907846 markings, 324807754 edges, 73930 markings/sec, 770 secs
lola: sara is running 775 secs || 60275632 markings, 326845380 edges, 73557 markings/sec, 775 secs
lola: sara is running 780 secs || 60638599 markings, 329034939 edges, 72593 markings/sec, 780 secs
lola: sara is running 785 secs || 60971390 markings, 331307100 edges, 66558 markings/sec, 785 secs
lola: sara is running 790 secs || 61321798 markings, 333542036 edges, 70082 markings/sec, 790 secs
lola: sara is running 795 secs || 61663860 markings, 335808388 edges, 68412 markings/sec, 795 secs
lola: sara is running 800 secs || 61995176 markings, 338108987 edges, 66263 markings/sec, 800 secs
lola: sara is running 805 secs || 62340221 markings, 340371664 edges, 69009 markings/sec, 805 secs
lola: sara is running 810 secs || 62694235 markings, 342637994 edges, 70803 markings/sec, 810 secs
lola: sara is running 815 secs || 63041437 markings, 344883839 edges, 69440 markings/sec, 815 secs
lola: sara is running 820 secs || 63373850 markings, 347257140 edges, 66483 markings/sec, 820 secs
lola: sara is running 825 secs || 63772733 markings, 349414661 edges, 79777 markings/sec, 825 secs
lola: sara is running 830 secs || 64163517 markings, 351553854 edges, 78157 markings/sec, 830 secs
lola: sara is running 835 secs || 64550193 markings, 353658779 edges, 77335 markings/sec, 835 secs
lola: sara is running 840 secs || 64924441 markings, 355790272 edges, 74850 markings/sec, 840 secs
lola: sara is running 845 secs || 65290088 markings, 357920952 edges, 73129 markings/sec, 845 secs
lola: sara is running 850 secs || 65669088 markings, 359985004 edges, 75800 markings/sec, 850 secs
lola: sara is running 855 secs || 66018331 markings, 362137722 edges, 69849 markings/sec, 855 secs
lola: sara is running 860 secs || 66364938 markings, 364268910 edges, 69321 markings/sec, 860 secs
lola: sara is running 865 secs || 66695101 markings, 366543841 edges, 66033 markings/sec, 865 secs
lola: sara is running 870 secs || 67017240 markings, 368842943 edges, 64428 markings/sec, 870 secs
lola: sara is running 875 secs || 67455324 markings, 370750259 edges, 87617 markings/sec, 875 secs
lola: sara is running 880 secs || 67852182 markings, 372881032 edges, 79372 markings/sec, 880 secs
lola: sara is running 885 secs || 68254065 markings, 374956553 edges, 80377 markings/sec, 885 secs
lola: sara is running 890 secs || 68659784 markings, 376927910 edges, 81144 markings/sec, 890 secs
lola: sara is running 895 secs || 69044553 markings, 378932439 edges, 76954 markings/sec, 895 secs
lola: sara is running 900 secs || 69414157 markings, 381138335 edges, 73921 markings/sec, 900 secs
lola: sara is running 905 secs || 69771980 markings, 383370269 edges, 71565 markings/sec, 905 secs
lola: sara is running 910 secs || 70147479 markings, 385386440 edges, 75100 markings/sec, 910 secs
lola: sara is running 915 secs || 70525357 markings, 387373201 edges, 75576 markings/sec, 915 secs
lola: sara is running 920 secs || 70876496 markings, 389652374 edges, 70228 markings/sec, 920 secs
lola: sara is running 925 secs || 71253032 markings, 391667036 edges, 75307 markings/sec, 925 secs
lola: sara is running 930 secs || 71613499 markings, 393882328 edges, 72093 markings/sec, 930 secs
lola: sara is running 935 secs || 71971427 markings, 396137809 edges, 71586 markings/sec, 935 secs
lola: sara is running 940 secs || 72318813 markings, 398548418 edges, 69477 markings/sec, 940 secs
lola: sara is running 945 secs || 72668208 markings, 400871217 edges, 69879 markings/sec, 945 secs
lola: sara is running 950 secs || 73042920 markings, 403025930 edges, 74942 markings/sec, 950 secs
lola: sara is running 955 secs || 73415895 markings, 405060950 edges, 74595 markings/sec, 955 secs
lola: sara is running 960 secs || 73775769 markings, 407122117 edges, 71975 markings/sec, 960 secs
lola: sara is running 965 secs || 74124257 markings, 409301000 edges, 69698 markings/sec, 965 secs
lola: sara is running 970 secs || 74452312 markings, 411555598 edges, 65611 markings/sec, 970 secs
lola: sara is running 975 secs || 74814172 markings, 413689779 edges, 72372 markings/sec, 975 secs
lola: sara is running 980 secs || 75180216 markings, 415821924 edges, 73209 markings/sec, 980 secs
lola: sara is running 985 secs || 75557027 markings, 417889658 edges, 75362 markings/sec, 985 secs
lola: sara is running 990 secs || 75910159 markings, 420041121 edges, 70626 markings/sec, 990 secs
lola: sara is running 995 secs || 76326805 markings, 421983025 edges, 83329 markings/sec, 995 secs
lola: sara is running 1000 secs || 76728048 markings, 424137085 edges, 80249 markings/sec, 1000 secs
lola: sara is running 1005 secs || 77123859 markings, 426236961 edges, 79162 markings/sec, 1005 secs
lola: sara is running 1010 secs || 77504511 markings, 428242762 edges, 76130 markings/sec, 1010 secs
lola: sara is running 1015 secs || 77880419 markings, 430289645 edges, 75182 markings/sec, 1015 secs
lola: sara is running 1020 secs || 78236061 markings, 432442857 edges, 71128 markings/sec, 1020 secs
lola: sara is running 1025 secs || 78598159 markings, 434512772 edges, 72420 markings/sec, 1025 secs
lola: sara is running 1030 secs || 78999665 markings, 436505114 edges, 80301 markings/sec, 1030 secs
lola: sara is running 1035 secs || 79393348 markings, 438515380 edges, 78737 markings/sec, 1035 secs
lola: sara is running 1040 secs || 79789199 markings, 440581523 edges, 79170 markings/sec, 1040 secs
lola: sara is running 1045 secs || 80161938 markings, 442652241 edges, 74548 markings/sec, 1045 secs
lola: sara is running 1050 secs || 80534952 markings, 444721704 edges, 74603 markings/sec, 1050 secs
lola: sara is running 1055 secs || 80910954 markings, 446769227 edges, 75200 markings/sec, 1055 secs
lola: sara is running 1060 secs || 81287430 markings, 449136843 edges, 75295 markings/sec, 1060 secs
lola: sara is running 1065 secs || 81645296 markings, 451495576 edges, 71573 markings/sec, 1065 secs
lola: sara is running 1070 secs || 81994377 markings, 453801225 edges, 69816 markings/sec, 1070 secs
lola: sara is running 1075 secs || 82342218 markings, 456089687 edges, 69568 markings/sec, 1075 secs
lola: sara is running 1080 secs || 82824065 markings, 458032932 edges, 96369 markings/sec, 1080 secs
lola: sara is running 1085 secs || 83312483 markings, 459935705 edges, 97684 markings/sec, 1085 secs
lola: sara is running 1090 secs || 83754995 markings, 461959000 edges, 88502 markings/sec, 1090 secs
lola: sara is running 1095 secs || 84201359 markings, 463856287 edges, 89273 markings/sec, 1095 secs
lola: sara is running 1100 secs || 84638394 markings, 465901815 edges, 87407 markings/sec, 1100 secs
lola: sara is running 1105 secs || 85054468 markings, 468179788 edges, 83215 markings/sec, 1105 secs
lola: sara is running 1110 secs || 85466235 markings, 470384356 edges, 82353 markings/sec, 1110 secs
lola: sara is running 1115 secs || 85904486 markings, 472263616 edges, 87650 markings/sec, 1115 secs
lola: sara is running 1120 secs || 86284570 markings, 474289920 edges, 76017 markings/sec, 1120 secs
lola: sara is running 1125 secs || 86670801 markings, 476436107 edges, 77246 markings/sec, 1125 secs
lola: sara is running 1130 secs || 87025168 markings, 478728457 edges, 70873 markings/sec, 1130 secs
lola: sara is running 1135 secs || 87426550 markings, 480781745 edges, 80276 markings/sec, 1135 secs
lola: sara is running 1140 secs || 87850033 markings, 482705710 edges, 84697 markings/sec, 1140 secs
lola: sara is running 1145 secs || 88279838 markings, 484721931 edges, 85961 markings/sec, 1145 secs
lola: sara is running 1150 secs || 88739569 markings, 486609352 edges, 91946 markings/sec, 1150 secs
lola: sara is running 1155 secs || 89140718 markings, 488581592 edges, 80230 markings/sec, 1155 secs
lola: sara is running 1160 secs || 89549683 markings, 490560746 edges, 81793 markings/sec, 1160 secs
lola: sara is running 1165 secs || 89949281 markings, 492498328 edges, 79920 markings/sec, 1165 secs
lola: sara is running 1170 secs || 90333911 markings, 494522855 edges, 76926 markings/sec, 1170 secs
lola: sara is running 1175 secs || 90706738 markings, 496567786 edges, 74565 markings/sec, 1175 secs
lola: sara is running 1180 secs || 91120694 markings, 498516092 edges, 82791 markings/sec, 1180 secs
lola: sara is running 1185 secs || 91544189 markings, 500268302 edges, 84699 markings/sec, 1185 secs
lola: sara is running 1190 secs || 91937127 markings, 502156829 edges, 78588 markings/sec, 1190 secs
lola: sara is running 1195 secs || 92335465 markings, 504107570 edges, 79668 markings/sec, 1195 secs
lola: sara is running 1200 secs || 92728912 markings, 505982033 edges, 78689 markings/sec, 1200 secs
lola: sara is running 1205 secs || 93101315 markings, 507983331 edges, 74481 markings/sec, 1205 secs
lola: sara is running 1210 secs || 93482797 markings, 509825886 edges, 76296 markings/sec, 1210 secs
lola: sara is running 1215 secs || 93831074 markings, 511943467 edges, 69655 markings/sec, 1215 secs
lola: sara is running 1220 secs || 94193764 markings, 514035961 edges, 72538 markings/sec, 1220 secs
lola: sara is running 1225 secs || 94559403 markings, 516124822 edges, 73128 markings/sec, 1225 secs
lola: sara is running 1230 secs || 94934992 markings, 518170532 edges, 75118 markings/sec, 1230 secs
lola: sara is running 1235 secs || 95313215 markings, 520148289 edges, 75645 markings/sec, 1235 secs
lola: sara is running 1240 secs || 95688973 markings, 522105186 edges, 75152 markings/sec, 1240 secs
lola: sara is running 1245 secs || 96038236 markings, 524280612 edges, 69853 markings/sec, 1245 secs
lola: sara is running 1250 secs || 96406378 markings, 526291596 edges, 73628 markings/sec, 1250 secs
lola: sara is running 1255 secs || 96773992 markings, 528350287 edges, 73523 markings/sec, 1255 secs
lola: sara is running 1260 secs || 97154238 markings, 530292094 edges, 76049 markings/sec, 1260 secs
lola: sara is running 1265 secs || 97542268 markings, 532214097 edges, 77606 markings/sec, 1265 secs
lola: sara is running 1270 secs || 97903020 markings, 534327582 edges, 72150 markings/sec, 1270 secs
lola: sara is running 1275 secs || 98279289 markings, 536287506 edges, 75254 markings/sec, 1275 secs
lola: sara is running 1280 secs || 98656412 markings, 538310256 edges, 75425 markings/sec, 1280 secs
lola: sara is running 1285 secs || 99071241 markings, 540156873 edges, 82966 markings/sec, 1285 secs
lola: sara is running 1290 secs || 99450315 markings, 542124720 edges, 75815 markings/sec, 1290 secs
lola: sara is running 1295 secs || 99820797 markings, 544169263 edges, 74096 markings/sec, 1295 secs
lola: sara is running 1300 secs || 100202553 markings, 546424917 edges, 76351 markings/sec, 1300 secs
lola: sara is running 1305 secs || 100566560 markings, 548699803 edges, 72801 markings/sec, 1305 secs
lola: sara is running 1310 secs || 100938935 markings, 550880819 edges, 74475 markings/sec, 1310 secs
lola: sara is running 1315 secs || 101284413 markings, 553123238 edges, 69096 markings/sec, 1315 secs
lola: sara is running 1320 secs || 101623514 markings, 555373994 edges, 67820 markings/sec, 1320 secs
lola: sara is running 1325 secs || 101959926 markings, 557605740 edges, 67282 markings/sec, 1325 secs
lola: sara is running 1330 secs || 102305978 markings, 559797094 edges, 69210 markings/sec, 1330 secs
lola: sara is running 1335 secs || 102651397 markings, 562053563 edges, 69084 markings/sec, 1335 secs
lola: sara is running 1340 secs || 103019307 markings, 564324003 edges, 73582 markings/sec, 1340 secs
lola: sara is running 1345 secs || 103366804 markings, 566518612 edges, 69499 markings/sec, 1345 secs
lola: sara is running 1350 secs || 103730223 markings, 568671595 edges, 72684 markings/sec, 1350 secs
lola: sara is running 1355 secs || 104141607 markings, 570656465 edges, 82277 markings/sec, 1355 secs
lola: sara is running 1360 secs || 104524472 markings, 572627174 edges, 76573 markings/sec, 1360 secs
lola: sara is running 1365 secs || 104926876 markings, 574621009 edges, 80481 markings/sec, 1365 secs
lola: sara is running 1370 secs || 105325820 markings, 576739283 edges, 79789 markings/sec, 1370 secs
lola: sara is running 1375 secs || 105740124 markings, 578707312 edges, 82861 markings/sec, 1375 secs
lola: sara is running 1380 secs || 106118636 markings, 580873530 edges, 75702 markings/sec, 1380 secs
lola: sara is running 1385 secs || 106544180 markings, 582716391 edges, 85109 markings/sec, 1385 secs
lola: sara is running 1390 secs || 106933051 markings, 584851274 edges, 77774 markings/sec, 1390 secs
lola: sara is running 1395 secs || 107325577 markings, 586959162 edges, 78505 markings/sec, 1395 secs
lola: sara is running 1400 secs || 107724226 markings, 589014901 edges, 79730 markings/sec, 1400 secs
lola: sara is running 1405 secs || 108133972 markings, 590904724 edges, 81949 markings/sec, 1405 secs
lola: sara is running 1410 secs || 108520865 markings, 592930132 edges, 77379 markings/sec, 1410 secs
lola: sara is running 1415 secs || 108896776 markings, 594906373 edges, 75182 markings/sec, 1415 secs
lola: sara is running 1420 secs || 109274168 markings, 596860826 edges, 75478 markings/sec, 1420 secs
lola: sara is running 1425 secs || 109642403 markings, 598935324 edges, 73647 markings/sec, 1425 secs
lola: sara is running 1430 secs || 110009465 markings, 601191221 edges, 73412 markings/sec, 1430 secs
lola: sara is running 1435 secs || 110359076 markings, 603531545 edges, 69922 markings/sec, 1435 secs
lola: sara is running 1440 secs || 110717268 markings, 605812895 edges, 71638 markings/sec, 1440 secs
lola: sara is running 1445 secs || 111104297 markings, 607800068 edges, 77406 markings/sec, 1445 secs
lola: sara is running 1450 secs || 111469718 markings, 609777431 edges, 73084 markings/sec, 1450 secs
lola: sara is running 1455 secs || 111842211 markings, 611880556 edges, 74499 markings/sec, 1455 secs
lola: sara is running 1460 secs || 112241037 markings, 613737616 edges, 79765 markings/sec, 1460 secs
lola: sara is running 1465 secs || 112593054 markings, 615867674 edges, 70403 markings/sec, 1465 secs
lola: sara is running 1470 secs || 112958533 markings, 618097476 edges, 73096 markings/sec, 1470 secs
lola: sara is running 1475 secs || 113310872 markings, 620426624 edges, 70468 markings/sec, 1475 secs
lola: sara is running 1480 secs || 113675889 markings, 622622385 edges, 73003 markings/sec, 1480 secs
lola: sara is running 1485 secs || 114065050 markings, 624414281 edges, 77832 markings/sec, 1485 secs
lola: sara is running 1490 secs || 114409326 markings, 626600022 edges, 68855 markings/sec, 1490 secs
lola: sara is running 1495 secs || 114760642 markings, 628814427 edges, 70263 markings/sec, 1495 secs
lola: sara is running 1500 secs || 115128068 markings, 630969671 edges, 73485 markings/sec, 1500 secs
lola: sara is running 1505 secs || 115509762 markings, 633031234 edges, 76339 markings/sec, 1505 secs
lola: sara is running 1510 secs || 115862346 markings, 635240130 edges, 70517 markings/sec, 1510 secs
lola: sara is running 1515 secs || 116199513 markings, 637586213 edges, 67433 markings/sec, 1515 secs
lola: sara is running 1520 secs || 116526471 markings, 640075315 edges, 65392 markings/sec, 1520 secs
lola: sara is running 1525 secs || 116896879 markings, 642219979 edges, 74082 markings/sec, 1525 secs
lola: sara is running 1530 secs || 117228485 markings, 644592328 edges, 66321 markings/sec, 1530 secs
lola: sara is running 1535 secs || 117578089 markings, 646827388 edges, 69921 markings/sec, 1535 secs
lola: sara is running 1540 secs || 117925701 markings, 649052244 edges, 69522 markings/sec, 1540 secs
lola: sara is running 1545 secs || 118265700 markings, 651187100 edges, 68000 markings/sec, 1545 secs
lola: sara is running 1550 secs || 118623056 markings, 653380664 edges, 71471 markings/sec, 1550 secs
lola: sara is running 1555 secs || 119013509 markings, 655416956 edges, 78091 markings/sec, 1555 secs
lola: sara is running 1560 secs || 119396382 markings, 657430349 edges, 76575 markings/sec, 1560 secs
lola: sara is running 1565 secs || 119764138 markings, 659371682 edges, 73551 markings/sec, 1565 secs
lola: sara is running 1570 secs || 120110459 markings, 661439955 edges, 69264 markings/sec, 1570 secs
lola: sara is running 1575 secs || 120455642 markings, 663480103 edges, 69037 markings/sec, 1575 secs
lola: sara is running 1580 secs || 120803395 markings, 665490218 edges, 69551 markings/sec, 1580 secs
lola: sara is running 1585 secs || 121152159 markings, 667568833 edges, 69753 markings/sec, 1585 secs
lola: sara is running 1590 secs || 121494429 markings, 669710564 edges, 68454 markings/sec, 1590 secs
lola: sara is running 1595 secs || 121813714 markings, 671954523 edges, 63857 markings/sec, 1595 secs
lola: sara is running 1600 secs || 122132849 markings, 674175578 edges, 63827 markings/sec, 1600 secs
lola: sara is running 1605 secs || 122455564 markings, 676383123 edges, 64543 markings/sec, 1605 secs
lola: sara is running 1610 secs || 122797534 markings, 678530857 edges, 68394 markings/sec, 1610 secs
lola: sara is running 1615 secs || 123123701 markings, 680841402 edges, 65233 markings/sec, 1615 secs
lola: sara is running 1620 secs || 123461484 markings, 683034049 edges, 67557 markings/sec, 1620 secs
lola: sara is running 1625 secs || 123795819 markings, 685389981 edges, 66867 markings/sec, 1625 secs
lola: sara is running 1630 secs || 124141566 markings, 687548310 edges, 69149 markings/sec, 1630 secs
lola: sara is running 1635 secs || 124470189 markings, 689830358 edges, 65725 markings/sec, 1635 secs
lola: sara is running 1640 secs || 124816719 markings, 692027306 edges, 69306 markings/sec, 1640 secs
lola: sara is running 1645 secs || 125202077 markings, 694179108 edges, 77072 markings/sec, 1645 secs
lola: sara is running 1650 secs || 125588761 markings, 696316030 edges, 77337 markings/sec, 1650 secs
lola: sara is running 1655 secs || 125961826 markings, 698502119 edges, 74613 markings/sec, 1655 secs
lola: sara is running 1660 secs || 126338246 markings, 700646033 edges, 75284 markings/sec, 1660 secs
lola: sara is running 1665 secs || 126711489 markings, 702768271 edges, 74649 markings/sec, 1665 secs
lola: sara is running 1670 secs || 127088897 markings, 704852220 edges, 75482 markings/sec, 1670 secs
lola: sara is running 1675 secs || 127488172 markings, 706949380 edges, 79855 markings/sec, 1675 secs
lola: sara is running 1680 secs || 127962597 markings, 708973361 edges, 94885 markings/sec, 1680 secs
lola: sara is running 1685 secs || 128381199 markings, 710981848 edges, 83720 markings/sec, 1685 secs
lola: sara is running 1690 secs || 128805001 markings, 713006975 edges, 84760 markings/sec, 1690 secs
lola: sara is running 1695 secs || 129222541 markings, 714964415 edges, 83508 markings/sec, 1695 secs
lola: sara is running 1700 secs || 129613163 markings, 717046859 edges, 78124 markings/sec, 1700 secs
lola: sara is running 1705 secs || 130024727 markings, 719066054 edges, 82313 markings/sec, 1705 secs
lola: sara is running 1710 secs || 130444603 markings, 720969051 edges, 83975 markings/sec, 1710 secs
lola: sara is running 1715 secs || 130844316 markings, 722936549 edges, 79943 markings/sec, 1715 secs
lola: sara is running 1720 secs || 131220125 markings, 724939836 edges, 75162 markings/sec, 1720 secs
lola: sara is running 1725 secs || 131593906 markings, 726962126 edges, 74756 markings/sec, 1725 secs
lola: sara is running 1730 secs || 131981024 markings, 728896908 edges, 77424 markings/sec, 1730 secs
lola: sara is running 1735 secs || 132348989 markings, 730954135 edges, 73593 markings/sec, 1735 secs
lola: sara is running 1740 secs || 132726306 markings, 732937820 edges, 75463 markings/sec, 1740 secs
lola: sara is running 1745 secs || 133102861 markings, 734957139 edges, 75311 markings/sec, 1745 secs
lola: sara is running 1750 secs || 133492265 markings, 736935442 edges, 77881 markings/sec, 1750 secs
lola: sara is running 1755 secs || 133898326 markings, 738815973 edges, 81212 markings/sec, 1755 secs
lola: sara is running 1760 secs || 134278974 markings, 740791565 edges, 76130 markings/sec, 1760 secs
lola: sara is running 1765 secs || 134651452 markings, 743059615 edges, 74496 markings/sec, 1765 secs
lola: sara is running 1770 secs || 135008973 markings, 745320086 edges, 71504 markings/sec, 1770 secs
lola: sara is running 1775 secs || 135356532 markings, 747564390 edges, 69512 markings/sec, 1775 secs
lola: sara is running 1780 secs || 135714731 markings, 749803408 edges, 71640 markings/sec, 1780 secs
lola: sara is running 1785 secs || 136084907 markings, 751919897 edges, 74035 markings/sec, 1785 secs
lola: sara is running 1790 secs || 136505388 markings, 753813240 edges, 84096 markings/sec, 1790 secs
lola: sara is running 1795 secs || 136900649 markings, 755925933 edges, 79052 markings/sec, 1795 secs
lola: sara is running 1800 secs || 137290838 markings, 758045104 edges, 78038 markings/sec, 1800 secs
lola: sara is running 1805 secs || 137693154 markings, 759936647 edges, 80463 markings/sec, 1805 secs
lola: sara is running 1810 secs || 138076155 markings, 761845422 edges, 76600 markings/sec, 1810 secs
lola: sara is running 1815 secs || 138443176 markings, 763822430 edges, 73404 markings/sec, 1815 secs
lola: sara is running 1820 secs || 138803868 markings, 765960774 edges, 72138 markings/sec, 1820 secs
lola: sara is running 1825 secs || 139150582 markings, 768221504 edges, 69343 markings/sec, 1825 secs
lola: sara is running 1830 secs || 139519411 markings, 770293964 edges, 73766 markings/sec, 1830 secs
lola: sara is running 1835 secs || 139880680 markings, 772239935 edges, 72254 markings/sec, 1835 secs
lola: sara is running 1840 secs || 140248791 markings, 774186715 edges, 73622 markings/sec, 1840 secs
lola: sara is running 1845 secs || 140598028 markings, 776230132 edges, 69847 markings/sec, 1845 secs
lola: sara is running 1850 secs || 140950636 markings, 778424928 edges, 70522 markings/sec, 1850 secs
lola: sara is running 1855 secs || 141313574 markings, 780434369 edges, 72588 markings/sec, 1855 secs
lola: sara is running 1860 secs || 141660432 markings, 782536180 edges, 69372 markings/sec, 1860 secs
lola: sara is running 1865 secs || 142012880 markings, 784645752 edges, 70490 markings/sec, 1865 secs
lola: sara is running 1870 secs || 142392871 markings, 786726485 edges, 75998 markings/sec, 1870 secs
lola: sara is running 1875 secs || 142729476 markings, 789008727 edges, 67321 markings/sec, 1875 secs
lola: sara is running 1880 secs || 143068655 markings, 791470646 edges, 67836 markings/sec, 1880 secs
lola: sara is running 1885 secs || 143414398 markings, 793683852 edges, 69149 markings/sec, 1885 secs
lola: sara is running 1890 secs || 143757795 markings, 795945961 edges, 68679 markings/sec, 1890 secs
lola: sara is running 1895 secs || 144111775 markings, 798136882 edges, 70796 markings/sec, 1895 secs
lola: sara is running 1900 secs || 144493163 markings, 800140641 edges, 76278 markings/sec, 1900 secs
lola: sara is running 1905 secs || 144855913 markings, 802085805 edges, 72550 markings/sec, 1905 secs
lola: sara is running 1910 secs || 145197019 markings, 804135225 edges, 68221 markings/sec, 1910 secs
lola: sara is running 1915 secs || 145536120 markings, 806190214 edges, 67820 markings/sec, 1915 secs
lola: sara is running 1920 secs || 145879026 markings, 808210811 edges, 68581 markings/sec, 1920 secs
lola: sara is running 1925 secs || 146223003 markings, 810323728 edges, 68795 markings/sec, 1925 secs
lola: sara is running 1930 secs || 146551028 markings, 812544319 edges, 65605 markings/sec, 1930 secs
lola: sara is running 1935 secs || 146867605 markings, 814768770 edges, 63315 markings/sec, 1935 secs
lola: sara is running 1940 secs || 147182598 markings, 816980118 edges, 62999 markings/sec, 1940 secs
lola: sara is running 1945 secs || 147535191 markings, 819074982 edges, 70519 markings/sec, 1945 secs
lola: sara is running 1950 secs || 147894544 markings, 821161116 edges, 71871 markings/sec, 1950 secs
lola: sara is running 1955 secs || 148258717 markings, 823222572 edges, 72835 markings/sec, 1955 secs
lola: sara is running 1960 secs || 148607976 markings, 825339943 edges, 69852 markings/sec, 1960 secs
lola: sara is running 1965 secs || 149026900 markings, 827273705 edges, 83785 markings/sec, 1965 secs
lola: sara is running 1970 secs || 149435079 markings, 829288890 edges, 81636 markings/sec, 1970 secs
lola: sara is running 1975 secs || 149830072 markings, 831308121 edges, 78999 markings/sec, 1975 secs
lola: sara is running 1980 secs || 150238246 markings, 833220573 edges, 81635 markings/sec, 1980 secs
lola: sara is running 1985 secs || 150674033 markings, 834956975 edges, 87157 markings/sec, 1985 secs
lola: sara is running 1990 secs || 151064253 markings, 836915654 edges, 78044 markings/sec, 1990 secs
lola: sara is running 1995 secs || 151454710 markings, 839067515 edges, 78091 markings/sec, 1995 secs
lola: sara is running 2000 secs || 151845693 markings, 841064866 edges, 78197 markings/sec, 2000 secs
lola: sara is running 2005 secs || 152247761 markings, 842991489 edges, 80414 markings/sec, 2005 secs
lola: sara is running 2010 secs || 152653570 markings, 844885281 edges, 81162 markings/sec, 2010 secs
lola: sara is running 2015 secs || 153032332 markings, 846881446 edges, 75752 markings/sec, 2015 secs
lola: sara is running 2020 secs || 153401244 markings, 848867921 edges, 73782 markings/sec, 2020 secs
lola: sara is running 2025 secs || 153774913 markings, 850871999 edges, 74734 markings/sec, 2025 secs
lola: sara is running 2030 secs || 154152556 markings, 852903173 edges, 75529 markings/sec, 2030 secs
lola: sara is running 2035 secs || 154505491 markings, 855059551 edges, 70587 markings/sec, 2035 secs
lola: sara is running 2040 secs || 154871470 markings, 857115190 edges, 73196 markings/sec, 2040 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 155124321 markings, 858647854 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((A9 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (3 <= A9)
lola: processed formula length: 9
lola: 44 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 537906 markings, 1656543 edges, 107581 markings/sec, 0 secs
lola: 972599 markings, 3361671 edges, 86939 markings/sec, 5 secs
lola: 1435236 markings, 4764241 edges, 92527 markings/sec, 10 secs
lola: 1873398 markings, 6438282 edges, 87632 markings/sec, 15 secs
lola: 2289450 markings, 8289381 edges, 83210 markings/sec, 20 secs
lola: 2706580 markings, 10325229 edges, 83426 markings/sec, 25 secs
lola: 3119031 markings, 12157696 edges, 82490 markings/sec, 30 secs
lola: 3541993 markings, 13874974 edges, 84592 markings/sec, 35 secs
lola: 3947420 markings, 15572917 edges, 81085 markings/sec, 40 secs
lola: 4358902 markings, 17272873 edges, 82296 markings/sec, 45 secs
lola: 4803167 markings, 18867069 edges, 88853 markings/sec, 50 secs
lola: 5211528 markings, 20740599 edges, 81672 markings/sec, 55 secs
lola: 5618124 markings, 22487679 edges, 81319 markings/sec, 60 secs
lola: 5978420 markings, 24261222 edges, 72059 markings/sec, 65 secs
lola: 6325355 markings, 25948966 edges, 69387 markings/sec, 70 secs
lola: 6665925 markings, 27696979 edges, 68114 markings/sec, 75 secs
lola: 7013132 markings, 29450289 edges, 69441 markings/sec, 80 secs
lola: 7391178 markings, 31186311 edges, 75609 markings/sec, 85 secs
lola: 7735337 markings, 32889727 edges, 68832 markings/sec, 90 secs
lola: 8103974 markings, 34612368 edges, 73727 markings/sec, 95 secs
lola: 8459654 markings, 36277382 edges, 71136 markings/sec, 100 secs
lola: 8801681 markings, 37986143 edges, 68405 markings/sec, 105 secs
lola: 9153904 markings, 39814426 edges, 70445 markings/sec, 110 secs
lola: 9517596 markings, 41451071 edges, 72738 markings/sec, 115 secs
lola: 9906358 markings, 43096836 edges, 77752 markings/sec, 120 secs
lola: 10293165 markings, 44805716 edges, 77361 markings/sec, 125 secs
lola: 10693493 markings, 46205511 edges, 80066 markings/sec, 130 secs
lola: 11066730 markings, 47614930 edges, 74647 markings/sec, 135 secs
lola: 11437279 markings, 49076139 edges, 74110 markings/sec, 140 secs
lola: 11831494 markings, 50573307 edges, 78843 markings/sec, 145 secs
lola: 12216216 markings, 52051092 edges, 76944 markings/sec, 150 secs
lola: 12584662 markings, 53476979 edges, 73689 markings/sec, 155 secs
lola: 12966244 markings, 54860426 edges, 76316 markings/sec, 160 secs
lola: 13338979 markings, 56384655 edges, 74547 markings/sec, 165 secs
lola: 13709161 markings, 58189901 edges, 74036 markings/sec, 170 secs
lola: 14061736 markings, 60043292 edges, 70515 markings/sec, 175 secs
lola: 14421809 markings, 61828513 edges, 72015 markings/sec, 180 secs
lola: 14782248 markings, 63659987 edges, 72088 markings/sec, 185 secs
lola: 15145399 markings, 65515878 edges, 72630 markings/sec, 190 secs
lola: 15491522 markings, 67304512 edges, 69225 markings/sec, 195 secs
lola: 15835537 markings, 69070973 edges, 68803 markings/sec, 200 secs
lola: 16195656 markings, 70883879 edges, 72024 markings/sec, 205 secs
lola: 16545965 markings, 72870500 edges, 70062 markings/sec, 210 secs
lola: 16879489 markings, 74946148 edges, 66705 markings/sec, 215 secs
lola: 17215950 markings, 77007795 edges, 67292 markings/sec, 220 secs
lola: 17604865 markings, 78904717 edges, 77783 markings/sec, 225 secs
lola: 17982038 markings, 80735264 edges, 75435 markings/sec, 230 secs
lola: 18342761 markings, 82524503 edges, 72145 markings/sec, 235 secs
lola: 18697755 markings, 84346003 edges, 70999 markings/sec, 240 secs
lola: 19025416 markings, 86368777 edges, 65532 markings/sec, 245 secs
lola: 19361296 markings, 88457213 edges, 67176 markings/sec, 250 secs
lola: 19714996 markings, 90607147 edges, 70740 markings/sec, 255 secs
lola: 20054292 markings, 92750319 edges, 67859 markings/sec, 260 secs
lola: 20364991 markings, 94985001 edges, 62140 markings/sec, 265 secs
lola: 20744313 markings, 96900618 edges, 75864 markings/sec, 270 secs
lola: 21073767 markings, 98813673 edges, 65891 markings/sec, 275 secs
lola: 21415542 markings, 100839409 edges, 68355 markings/sec, 280 secs
lola: 21779906 markings, 102845672 edges, 72873 markings/sec, 285 secs
lola: 22131694 markings, 104831747 edges, 70358 markings/sec, 290 secs
lola: 22492402 markings, 106812639 edges, 72142 markings/sec, 295 secs
lola: 22870373 markings, 108547956 edges, 75594 markings/sec, 300 secs
lola: 23227222 markings, 110462721 edges, 71370 markings/sec, 305 secs
lola: 23605375 markings, 112300567 edges, 75631 markings/sec, 310 secs
lola: 23965204 markings, 114239379 edges, 71966 markings/sec, 315 secs
lola: 24305871 markings, 116357986 edges, 68133 markings/sec, 320 secs
lola: 24644436 markings, 118474640 edges, 67713 markings/sec, 325 secs
lola: 24990738 markings, 120594370 edges, 69260 markings/sec, 330 secs
lola: 25326676 markings, 122771168 edges, 67188 markings/sec, 335 secs
lola: 25652861 markings, 125012752 edges, 65237 markings/sec, 340 secs
lola: 26026713 markings, 127162714 edges, 74770 markings/sec, 345 secs
lola: 26399163 markings, 128693513 edges, 74490 markings/sec, 350 secs
lola: 26745189 markings, 130407685 edges, 69205 markings/sec, 355 secs
lola: 27093736 markings, 132089606 edges, 69709 markings/sec, 360 secs
lola: 27448327 markings, 133674352 edges, 70918 markings/sec, 365 secs
lola: 27775490 markings, 135442756 edges, 65433 markings/sec, 370 secs
lola: 28127538 markings, 137154030 edges, 70410 markings/sec, 375 secs
lola: 28470814 markings, 138805671 edges, 68655 markings/sec, 380 secs
lola: 28803919 markings, 140479026 edges, 66621 markings/sec, 385 secs
lola: 29141747 markings, 142156616 edges, 67566 markings/sec, 390 secs
lola: 29470740 markings, 143783131 edges, 65799 markings/sec, 395 secs
lola: 29783768 markings, 145406614 edges, 62606 markings/sec, 400 secs
lola: 30146405 markings, 147068081 edges, 72527 markings/sec, 405 secs
lola: 30496510 markings, 148876627 edges, 70021 markings/sec, 410 secs
lola: 30821939 markings, 150572042 edges, 65086 markings/sec, 415 secs
lola: 31136336 markings, 152363054 edges, 62879 markings/sec, 420 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes yes no yes unknown yes yes no yes no no unknown yes yes
lola:
preliminary result: no yes yes yes no yes unknown yes yes no yes no no unknown yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no yes unknown yes yes no yes no no unknown yes yes
lola: memory consumption: 1362908 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no yes unknown yes yes no yes no no unknown yes yes
lola: memory consumption: 1362908 KB
lola: time consumption: 3569 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-06track28RL"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-06track28RL.tgz
mv DNAwalker-PT-06track28RL 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-06track28RL, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400262"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;