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 |
| 2595.370 | 3570281.00 | 6729638.00 | 7167.40 | ?T??F???T??FFTT? | 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 ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400264
=====================================================================
--------------------
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-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-06track28RL-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526775775301
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 ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-06track28RL @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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-ReachabilityCardinality.task
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (3 <= B6)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= B18)
lola: LP says that atomic proposition is always false: (3 <= B18)
lola: LP says that atomic proposition is always false: (2 <= B26)
lola: LP says that atomic proposition is always false: (2 <= B18)
lola: LP says that atomic proposition is always true: (B18 <= A28)
lola: E (F (((3 <= A17) AND (1 <= B18)))) : A (G (((1 <= A11) OR (A11 <= B6)))) : A (G ((A6 <= 2))) : A (G (((A15 <= 2) OR (A18 <= 2) OR (A10 + 1 <= A11) OR (A7 + 1 <= A4)))) : E (F (FALSE)) : A (G ((((A5 <= 2) AND (A17 <= 2)) OR (((A3 <= A5) OR (2 <= A20)) AND ((2 <= A25)))))) : E (F (((((2 <= A8) OR (2 <= A9)) AND (3 <= A17)) OR ((A26 <= A7) AND (A23 <= A27) AND (3 <= A11) AND (B6 <= A27))))) : E (F (((2 <= A5) AND ((A15 + 1 <= A16))))) : E (F (((A24 <= 0) AND ((B5 <= A12) OR (A28 <= A3)) AND (A1 <= A12) AND ((2 <= A11) OR (3 <= A3))))) : E (F ((((3 <= A12) OR (A18 <= A19)) AND (A26 + 1 <= A12) AND (3 <= A16)))) : E (F (((2 <= A21) AND (A14 <= A5) AND (3 <= A7) AND (2 <= A14) AND ((A28 <= A1) OR ((A23 <= A6) AND (2 <= A5)))))) : E (F (())) : E (F (())) : A (G (())) : A (G (TRUE)) : E (F ((3 <= A6)))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 194 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 207 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 239 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: 15 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 259 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: 15 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A6 <= 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 ((A6 <= 2)))
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (3 <= A6)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 528039 markings, 1749777 edges, 105608 markings/sec, 0 secs
lola: sara is running 5 secs || 978927 markings, 3614150 edges, 90178 markings/sec, 5 secs
lola: sara is running 10 secs || 1414273 markings, 5509612 edges, 87069 markings/sec, 10 secs
lola: sara is running 15 secs || 1835027 markings, 7351201 edges, 84151 markings/sec, 15 secs
lola: sara is running 20 secs || 2282075 markings, 9082737 edges, 89410 markings/sec, 20 secs
lola: sara is running 25 secs || 2741899 markings, 10843874 edges, 91965 markings/sec, 25 secs
lola: sara is running 30 secs || 3194514 markings, 12620621 edges, 90523 markings/sec, 30 secs
lola: sara is running 35 secs || 3632797 markings, 14573692 edges, 87657 markings/sec, 35 secs
lola: sara is running 40 secs || 4052424 markings, 16715919 edges, 83925 markings/sec, 40 secs
lola: sara is running 45 secs || 4464728 markings, 18762060 edges, 82461 markings/sec, 45 secs
lola: sara is running 50 secs || 4872369 markings, 20968018 edges, 81528 markings/sec, 50 secs
lola: sara is running 55 secs || 5269657 markings, 23340868 edges, 79458 markings/sec, 55 secs
lola: sara is running 60 secs || 5720217 markings, 25504762 edges, 90112 markings/sec, 60 secs
lola: sara is running 65 secs || 6167146 markings, 27699508 edges, 89386 markings/sec, 65 secs
lola: sara is running 70 secs || 6610068 markings, 29699192 edges, 88584 markings/sec, 70 secs
lola: sara is running 75 secs || 7051856 markings, 31772578 edges, 88358 markings/sec, 75 secs
lola: sara is running 80 secs || 7486951 markings, 33831417 edges, 87019 markings/sec, 80 secs
lola: sara is running 85 secs || 7925754 markings, 35924810 edges, 87761 markings/sec, 85 secs
lola: sara is running 90 secs || 8363235 markings, 38017744 edges, 87496 markings/sec, 90 secs
lola: sara is running 95 secs || 8798940 markings, 40086884 edges, 87141 markings/sec, 95 secs
lola: sara is running 100 secs || 9196319 markings, 42407114 edges, 79476 markings/sec, 100 secs
lola: sara is running 105 secs || 9589224 markings, 44817606 edges, 78581 markings/sec, 105 secs
lola: sara is running 110 secs || 9973703 markings, 47217738 edges, 76896 markings/sec, 110 secs
lola: sara is running 115 secs || 10362674 markings, 49555688 edges, 77794 markings/sec, 115 secs
lola: sara is running 120 secs || 10800589 markings, 51565405 edges, 87583 markings/sec, 120 secs
lola: sara is running 125 secs || 11241327 markings, 53532448 edges, 88148 markings/sec, 125 secs
lola: sara is running 130 secs || 11608183 markings, 55751372 edges, 73371 markings/sec, 130 secs
lola: sara is running 135 secs || 12001261 markings, 58019097 edges, 78616 markings/sec, 135 secs
lola: sara is running 140 secs || 12406655 markings, 60162779 edges, 81079 markings/sec, 140 secs
lola: sara is running 145 secs || 12827120 markings, 62223208 edges, 84093 markings/sec, 145 secs
lola: sara is running 150 secs || 13255317 markings, 64231068 edges, 85639 markings/sec, 150 secs
lola: sara is running 155 secs || 13669000 markings, 66210040 edges, 82737 markings/sec, 155 secs
lola: sara is running 160 secs || 14052124 markings, 68430096 edges, 76625 markings/sec, 160 secs
lola: sara is running 165 secs || 14477458 markings, 70306965 edges, 85067 markings/sec, 165 secs
lola: sara is running 170 secs || 14878854 markings, 72003764 edges, 80279 markings/sec, 170 secs
lola: sara is running 175 secs || 15288959 markings, 73654260 edges, 82021 markings/sec, 175 secs
lola: sara is running 180 secs || 15713680 markings, 75326319 edges, 84944 markings/sec, 180 secs
lola: sara is running 185 secs || 16101010 markings, 77293260 edges, 77466 markings/sec, 185 secs
lola: sara is running 190 secs || 16474133 markings, 79325818 edges, 74625 markings/sec, 190 secs
lola: sara is running 195 secs || 16872345 markings, 81154221 edges, 79642 markings/sec, 195 secs
lola: sara is running 200 secs || 17268257 markings, 83041679 edges, 79182 markings/sec, 200 secs
lola: sara is running 205 secs || 17662772 markings, 85086497 edges, 78903 markings/sec, 205 secs
lola: sara is running 210 secs || 18039582 markings, 87224315 edges, 75362 markings/sec, 210 secs
lola: sara is running 215 secs || 18400923 markings, 89420675 edges, 72268 markings/sec, 215 secs
lola: sara is running 220 secs || 18746858 markings, 91744529 edges, 69187 markings/sec, 220 secs
lola: sara is running 225 secs || 19111184 markings, 93988968 edges, 72865 markings/sec, 225 secs
lola: sara is running 230 secs || 19593629 markings, 95878313 edges, 96489 markings/sec, 230 secs
lola: sara is running 235 secs || 20088361 markings, 97497425 edges, 98946 markings/sec, 235 secs
lola: sara is running 240 secs || 20593281 markings, 99138110 edges, 100984 markings/sec, 240 secs
lola: sara is running 245 secs || 21084009 markings, 100731162 edges, 98146 markings/sec, 245 secs
lola: sara is running 250 secs || 21570337 markings, 102320518 edges, 97266 markings/sec, 250 secs
lola: sara is running 255 secs || 22046024 markings, 104012234 edges, 95137 markings/sec, 255 secs
lola: sara is running 260 secs || 22508837 markings, 105632228 edges, 92563 markings/sec, 260 secs
lola: sara is running 265 secs || 22946130 markings, 107520121 edges, 87459 markings/sec, 265 secs
lola: sara is running 270 secs || 23352374 markings, 109578888 edges, 81249 markings/sec, 270 secs
lola: sara is running 275 secs || 23769680 markings, 111368419 edges, 83461 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown no no yes yes unknown
lola: memory consumption: 865192 KB
lola: time consumption: 742 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A6)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A6)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A6)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 508548 markings, 1660403 edges, 101710 markings/sec, 0 secs
lola: sara is running 5 secs || 940718 markings, 3468577 edges, 86434 markings/sec, 5 secs
lola: sara is running 10 secs || 1369415 markings, 5260710 edges, 85739 markings/sec, 10 secs
lola: sara is running 15 secs || 1786755 markings, 7118275 edges, 83468 markings/sec, 15 secs
lola: sara is running 20 secs || 2216510 markings, 8848993 edges, 85951 markings/sec, 20 secs
lola: sara is running 25 secs || 2660203 markings, 10504398 edges, 88739 markings/sec, 25 secs
lola: sara is running 30 secs || 3090977 markings, 12197467 edges, 86155 markings/sec, 30 secs
lola: sara is running 35 secs || 3511140 markings, 13960936 edges, 84033 markings/sec, 35 secs
lola: sara is running 40 secs || 3910419 markings, 16000019 edges, 79856 markings/sec, 40 secs
lola: sara is running 45 secs || 4313420 markings, 18003428 edges, 80600 markings/sec, 45 secs
lola: sara is running 50 secs || 4711439 markings, 20028369 edges, 79604 markings/sec, 50 secs
lola: sara is running 55 secs || 5092797 markings, 22317155 edges, 76272 markings/sec, 55 secs
lola: sara is running 60 secs || 5496938 markings, 24455174 edges, 80828 markings/sec, 60 secs
lola: sara is running 65 secs || 5915263 markings, 26539995 edges, 83665 markings/sec, 65 secs
lola: sara is running 70 secs || 6354416 markings, 28416142 edges, 87831 markings/sec, 70 secs
lola: sara is running 75 secs || 6765429 markings, 30477440 edges, 82203 markings/sec, 75 secs
lola: sara is running 80 secs || 7202364 markings, 32472167 edges, 87387 markings/sec, 80 secs
lola: sara is running 85 secs || 7622068 markings, 34495311 edges, 83941 markings/sec, 85 secs
lola: sara is running 90 secs || 8051953 markings, 36538796 edges, 85977 markings/sec, 90 secs
lola: sara is running 95 secs || 8486529 markings, 38503473 edges, 86915 markings/sec, 95 secs
lola: sara is running 100 secs || 8899801 markings, 40574255 edges, 82654 markings/sec, 100 secs
lola: sara is running 105 secs || 9281285 markings, 42910223 edges, 76297 markings/sec, 105 secs
lola: sara is running 110 secs || 9652923 markings, 45241976 edges, 74328 markings/sec, 110 secs
lola: sara is running 115 secs || 10028215 markings, 47501241 edges, 75058 markings/sec, 115 secs
lola: sara is running 120 secs || 10411909 markings, 49743435 edges, 76739 markings/sec, 120 secs
lola: sara is running 125 secs || 10843336 markings, 51735391 edges, 86285 markings/sec, 125 secs
lola: sara is running 130 secs || 11276211 markings, 53725763 edges, 86575 markings/sec, 130 secs
lola: sara is running 135 secs || 11654456 markings, 56011225 edges, 75649 markings/sec, 135 secs
lola: sara is running 140 secs || 12039259 markings, 58230401 edges, 76961 markings/sec, 140 secs
lola: sara is running 145 secs || 12439497 markings, 60319205 edges, 80048 markings/sec, 145 secs
lola: sara is running 150 secs || 12854152 markings, 62375601 edges, 82931 markings/sec, 150 secs
lola: sara is running 155 secs || 13274522 markings, 64359580 edges, 84074 markings/sec, 155 secs
lola: sara is running 160 secs || 13692377 markings, 66342134 edges, 83571 markings/sec, 160 secs
lola: sara is running 165 secs || 14084586 markings, 68577805 edges, 78442 markings/sec, 165 secs
lola: sara is running 170 secs || 14514433 markings, 70511099 edges, 85969 markings/sec, 170 secs
lola: sara is running 175 secs || 14939687 markings, 72246943 edges, 85051 markings/sec, 175 secs
lola: sara is running 180 secs || 15356490 markings, 73935497 edges, 83361 markings/sec, 180 secs
lola: sara is running 185 secs || 15782676 markings, 75623706 edges, 85237 markings/sec, 185 secs
lola: sara is running 190 secs || 16154028 markings, 77612108 edges, 74270 markings/sec, 190 secs
lola: sara is running 195 secs || 16531965 markings, 79599659 edges, 75587 markings/sec, 195 secs
lola: sara is running 200 secs || 16936368 markings, 81416837 edges, 80881 markings/sec, 200 secs
lola: sara is running 205 secs || 17326489 markings, 83331636 edges, 78024 markings/sec, 205 secs
lola: sara is running 210 secs || 17711655 markings, 85363779 edges, 77033 markings/sec, 210 secs
lola: sara is running 215 secs || 18096939 markings, 87534974 edges, 77057 markings/sec, 215 secs
lola: sara is running 220 secs || 18468406 markings, 89907170 edges, 74293 markings/sec, 220 secs
lola: sara is running 225 secs || 18836629 markings, 92243242 edges, 73645 markings/sec, 225 secs
lola: sara is running 230 secs || 19206230 markings, 94612358 edges, 73920 markings/sec, 230 secs
lola: sara is running 235 secs || 19734776 markings, 96355222 edges, 105709 markings/sec, 235 secs
lola: sara is running 240 secs || 20242132 markings, 98033446 edges, 101471 markings/sec, 240 secs
lola: sara is running 245 secs || 20763889 markings, 99656905 edges, 104351 markings/sec, 245 secs
lola: sara is running 250 secs || 21234646 markings, 101269378 edges, 94151 markings/sec, 250 secs
lola: sara is running 255 secs || 21728850 markings, 102900687 edges, 98841 markings/sec, 255 secs
lola: sara is running 260 secs || 22215358 markings, 104511203 edges, 97302 markings/sec, 260 secs
lola: sara is running 265 secs || 22665180 markings, 106215110 edges, 89964 markings/sec, 265 secs
lola: sara is running 270 secs || 23093195 markings, 108220553 edges, 85603 markings/sec, 270 secs
lola: sara is running 275 secs || 23497672 markings, 110211962 edges, 80895 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown no no yes yes unknown
lola: memory consumption: 855444 KB
lola: time consumption: 1024 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= A11) OR (A11 <= B6))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((1 <= A11) OR (A11 <= B6))))
lola: processed formula length: 36
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A11 <= 0) AND (B6 + 1 <= A11))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A17) AND (1 <= B18))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((3 <= A17) AND (1 <= B18))))
lola: processed formula length: 35
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((3 <= A17) AND (1 <= B18))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 1409757 markings, 2053101 edges, 281951 markings/sec, 0 secs
lola: sara is running 5 secs || 2773080 markings, 4154682 edges, 272665 markings/sec, 5 secs
lola: sara is running 10 secs || 3890794 markings, 6208276 edges, 223543 markings/sec, 10 secs
lola: sara is running 15 secs || 4962406 markings, 8331044 edges, 214322 markings/sec, 15 secs
lola: sara is running 20 secs || 6081732 markings, 10379817 edges, 223865 markings/sec, 20 secs
lola: sara is running 25 secs || 7238331 markings, 12413701 edges, 231320 markings/sec, 25 secs
lola: sara is running 30 secs || 8350925 markings, 14437590 edges, 222519 markings/sec, 30 secs
lola: sara is running 35 secs || 9432147 markings, 16499679 edges, 216244 markings/sec, 35 secs
lola: sara is running 40 secs || 10554258 markings, 18480914 edges, 224422 markings/sec, 40 secs
lola: sara is running 45 secs || 11693207 markings, 20484913 edges, 227790 markings/sec, 45 secs
lola: sara is running 50 secs || 12757237 markings, 22543907 edges, 212806 markings/sec, 50 secs
lola: sara is running 55 secs || 14008482 markings, 24503075 edges, 250249 markings/sec, 55 secs
lola: sara is running 60 secs || 15131496 markings, 26504293 edges, 224603 markings/sec, 60 secs
lola: sara is running 65 secs || 16172430 markings, 28555269 edges, 208187 markings/sec, 65 secs
lola: sara is running 70 secs || 17282421 markings, 30552143 edges, 221998 markings/sec, 70 secs
lola: sara is running 75 secs || 18384885 markings, 32556743 edges, 220493 markings/sec, 75 secs
lola: sara is running 80 secs || 19550494 markings, 34569029 edges, 233122 markings/sec, 80 secs
lola: sara is running 85 secs || 20601557 markings, 36586478 edges, 210213 markings/sec, 85 secs
lola: sara is running 90 secs || 21806822 markings, 38603131 edges, 241053 markings/sec, 90 secs
lola: sara is running 95 secs || 22912895 markings, 40645168 edges, 221215 markings/sec, 95 secs
lola: sara is running 100 secs || 23971222 markings, 42658653 edges, 211665 markings/sec, 100 secs
lola: sara is running 105 secs || 25001706 markings, 44731656 edges, 206097 markings/sec, 105 secs
lola: sara is running 110 secs || 26227236 markings, 46738345 edges, 245106 markings/sec, 110 secs
lola: sara is running 115 secs || 27385452 markings, 48730373 edges, 231643 markings/sec, 115 secs
lola: sara is running 120 secs || 28464976 markings, 50725402 edges, 215905 markings/sec, 120 secs
lola: sara is running 125 secs || 29494473 markings, 52714374 edges, 205899 markings/sec, 125 secs
lola: sara is running 130 secs || 30478674 markings, 54764337 edges, 196840 markings/sec, 130 secs
lola: sara is running 135 secs || 31542238 markings, 56803076 edges, 212713 markings/sec, 135 secs
lola: sara is running 140 secs || 32697947 markings, 58828500 edges, 231142 markings/sec, 140 secs
lola: sara is running 145 secs || 33846027 markings, 60813352 edges, 229616 markings/sec, 145 secs
lola: sara is running 150 secs || 34875378 markings, 62862357 edges, 205870 markings/sec, 150 secs
lola: sara is running 155 secs || 35910327 markings, 64912081 edges, 206990 markings/sec, 155 secs
lola: sara is running 160 secs || 37000228 markings, 66949687 edges, 217980 markings/sec, 160 secs
lola: sara is running 165 secs || 38084243 markings, 68959148 edges, 216803 markings/sec, 165 secs
lola: sara is running 170 secs || 39213327 markings, 70935689 edges, 225817 markings/sec, 170 secs
lola: sara is running 175 secs || 40256242 markings, 72934775 edges, 208583 markings/sec, 175 secs
lola: sara is running 180 secs || 41279325 markings, 74965092 edges, 204617 markings/sec, 180 secs
lola: sara is running 185 secs || 42338676 markings, 76961524 edges, 211870 markings/sec, 185 secs
lola: sara is running 190 secs || 43471896 markings, 78927023 edges, 226644 markings/sec, 190 secs
lola: sara is running 195 secs || 44472674 markings, 80941755 edges, 200156 markings/sec, 195 secs
lola: sara is running 200 secs || 45541637 markings, 82967437 edges, 213793 markings/sec, 200 secs
lola: sara is running 205 secs || 46681446 markings, 84950395 edges, 227962 markings/sec, 205 secs
lola: sara is running 210 secs || 47699088 markings, 86928766 edges, 203528 markings/sec, 210 secs
lola: sara is running 215 secs || 48795212 markings, 88929614 edges, 219225 markings/sec, 215 secs
lola: sara is running 220 secs || 49983277 markings, 90907793 edges, 237613 markings/sec, 220 secs
lola: sara is running 225 secs || 51142378 markings, 92896251 edges, 231820 markings/sec, 225 secs
lola: sara is running 230 secs || 52314952 markings, 94970074 edges, 234515 markings/sec, 230 secs
lola: sara is running 235 secs || 53410299 markings, 97056711 edges, 219069 markings/sec, 235 secs
lola: sara is running 240 secs || 54512929 markings, 99117251 edges, 220526 markings/sec, 240 secs
lola: sara is running 245 secs || 55564788 markings, 101173281 edges, 210372 markings/sec, 245 secs
lola: sara is running 250 secs || 56568651 markings, 103241230 edges, 200773 markings/sec, 250 secs
lola: sara is running 255 secs || 57577977 markings, 105291680 edges, 201865 markings/sec, 255 secs
lola: sara is running 260 secs || 58605729 markings, 107298839 edges, 205550 markings/sec, 260 secs
lola: sara is running 265 secs || 59645246 markings, 109330426 edges, 207903 markings/sec, 265 secs
lola: sara is running 270 secs || 60764186 markings, 111310357 edges, 223788 markings/sec, 270 secs
lola: sara is running 275 secs || 61840351 markings, 113322306 edges, 215233 markings/sec, 275 secs
lola: sara is running 280 secs || 62890986 markings, 115345310 edges, 210127 markings/sec, 280 secs
lola: sara is running 285 secs || 63936823 markings, 117348351 edges, 209167 markings/sec, 285 secs
lola: sara is running 290 secs || 64958077 markings, 119346528 edges, 204251 markings/sec, 290 secs
lola: sara is running 295 secs || 65991341 markings, 121388381 edges, 206653 markings/sec, 295 secs
lola: sara is running 300 secs || 67035512 markings, 123438913 edges, 208834 markings/sec, 300 secs
lola: sara is running 305 secs || 68070474 markings, 125465755 edges, 206992 markings/sec, 305 secs
lola: sara is running 310 secs || 69108320 markings, 127506692 edges, 207569 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown unknown unknown no no yes yes unknown
lola: memory consumption: 2476100 KB
lola: time consumption: 1342 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A5) AND ((A15 + 1 <= A16)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((2 <= A5) AND ((A15 + 1 <= A16)))))
lola: processed formula length: 42
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((2 <= A5) AND ((A15 + 1 <= A16)))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 672163 markings, 1770563 edges, 134433 markings/sec, 0 secs
lola: sara is running 5 secs || 1260449 markings, 3676739 edges, 117657 markings/sec, 5 secs
lola: sara is running 10 secs || 1863087 markings, 5521524 edges, 120528 markings/sec, 10 secs
lola: sara is running 15 secs || 2445940 markings, 7352532 edges, 116571 markings/sec, 15 secs
lola: sara is running 20 secs || 2987461 markings, 9243323 edges, 108304 markings/sec, 20 secs
lola: sara is running 25 secs || 3546719 markings, 10933015 edges, 111852 markings/sec, 25 secs
lola: sara is running 30 secs || 4086606 markings, 12767976 edges, 107977 markings/sec, 30 secs
lola: sara is running 35 secs || 4607620 markings, 14758736 edges, 104203 markings/sec, 35 secs
lola: sara is running 40 secs || 5128958 markings, 16606095 edges, 104268 markings/sec, 40 secs
lola: sara is running 45 secs || 5617146 markings, 18588713 edges, 97638 markings/sec, 45 secs
lola: sara is running 50 secs || 6167314 markings, 20415609 edges, 110034 markings/sec, 50 secs
lola: sara is running 55 secs || 6773665 markings, 21948697 edges, 121270 markings/sec, 55 secs
lola: sara is running 60 secs || 7356805 markings, 23541673 edges, 116628 markings/sec, 60 secs
lola: sara is running 65 secs || 7896843 markings, 25444369 edges, 108008 markings/sec, 65 secs
lola: sara is running 70 secs || 8394789 markings, 27533671 edges, 99589 markings/sec, 70 secs
lola: sara is running 75 secs || 8915108 markings, 29595282 edges, 104064 markings/sec, 75 secs
lola: sara is running 80 secs || 9484190 markings, 31220771 edges, 113816 markings/sec, 80 secs
lola: sara is running 85 secs || 9989977 markings, 33136092 edges, 101157 markings/sec, 85 secs
lola: sara is running 90 secs || 10437613 markings, 35253330 edges, 89527 markings/sec, 90 secs
lola: sara is running 95 secs || 10900418 markings, 37187943 edges, 92561 markings/sec, 95 secs
lola: sara is running 100 secs || 11322779 markings, 39361512 edges, 84472 markings/sec, 100 secs
lola: sara is running 105 secs || 11767126 markings, 41286215 edges, 88869 markings/sec, 105 secs
lola: sara is running 110 secs || 12236945 markings, 42957603 edges, 93964 markings/sec, 110 secs
lola: sara is running 115 secs || 12698351 markings, 44666427 edges, 92281 markings/sec, 115 secs
lola: sara is running 120 secs || 13152416 markings, 46429702 edges, 90813 markings/sec, 120 secs
lola: sara is running 125 secs || 13590755 markings, 48140923 edges, 87668 markings/sec, 125 secs
lola: sara is running 130 secs || 14062300 markings, 49884419 edges, 94309 markings/sec, 130 secs
lola: sara is running 135 secs || 14532889 markings, 51766753 edges, 94118 markings/sec, 135 secs
lola: sara is running 140 secs || 14981213 markings, 53622889 edges, 89665 markings/sec, 140 secs
lola: sara is running 145 secs || 15375631 markings, 55763398 edges, 78884 markings/sec, 145 secs
lola: sara is running 150 secs || 15744978 markings, 57729255 edges, 73869 markings/sec, 150 secs
lola: sara is running 155 secs || 16141899 markings, 59623733 edges, 79384 markings/sec, 155 secs
lola: sara is running 160 secs || 16569656 markings, 61520813 edges, 85551 markings/sec, 160 secs
lola: sara is running 165 secs || 16971995 markings, 63407728 edges, 80468 markings/sec, 165 secs
lola: sara is running 170 secs || 17483635 markings, 65203461 edges, 102328 markings/sec, 170 secs
lola: sara is running 175 secs || 17904610 markings, 67092030 edges, 84195 markings/sec, 175 secs
lola: sara is running 180 secs || 18309769 markings, 69099783 edges, 81032 markings/sec, 180 secs
lola: sara is running 185 secs || 18688362 markings, 71364102 edges, 75719 markings/sec, 185 secs
lola: sara is running 190 secs || 19073596 markings, 73437968 edges, 77047 markings/sec, 190 secs
lola: sara is running 195 secs || 19573829 markings, 75196621 edges, 100047 markings/sec, 195 secs
lola: sara is running 200 secs || 19973033 markings, 77181729 edges, 79841 markings/sec, 200 secs
lola: sara is running 205 secs || 20337345 markings, 79364756 edges, 72862 markings/sec, 205 secs
lola: sara is running 210 secs || 20711408 markings, 81147154 edges, 74813 markings/sec, 210 secs
lola: sara is running 215 secs || 21079530 markings, 83200030 edges, 73624 markings/sec, 215 secs
lola: sara is running 220 secs || 21452521 markings, 85219440 edges, 74598 markings/sec, 220 secs
lola: sara is running 225 secs || 21885324 markings, 86871539 edges, 86561 markings/sec, 225 secs
lola: sara is running 230 secs || 22299832 markings, 88785213 edges, 82902 markings/sec, 230 secs
lola: sara is running 235 secs || 22699565 markings, 90577024 edges, 79947 markings/sec, 235 secs
lola: sara is running 240 secs || 23075527 markings, 92693624 edges, 75192 markings/sec, 240 secs
lola: sara is running 245 secs || 23491713 markings, 94730240 edges, 83237 markings/sec, 245 secs
lola: sara is running 250 secs || 23920392 markings, 96814991 edges, 85736 markings/sec, 250 secs
lola: sara is running 255 secs || 24338373 markings, 98957554 edges, 83596 markings/sec, 255 secs
lola: sara is running 260 secs || 24758528 markings, 101082455 edges, 84031 markings/sec, 260 secs
lola: sara is running 265 secs || 25173069 markings, 103162200 edges, 82908 markings/sec, 265 secs
lola: sara is running 270 secs || 25588172 markings, 105273634 edges, 83021 markings/sec, 270 secs
lola: sara is running 275 secs || 25986537 markings, 107427614 edges, 79673 markings/sec, 275 secs
lola: sara is running 280 secs || 26407466 markings, 109330124 edges, 84186 markings/sec, 280 secs
lola: sara is running 285 secs || 26863460 markings, 111040933 edges, 91199 markings/sec, 285 secs
lola: sara is running 290 secs || 27282537 markings, 112869302 edges, 83815 markings/sec, 290 secs
lola: sara is running 295 secs || 27668930 markings, 114830750 edges, 77279 markings/sec, 295 secs
lola: sara is running 300 secs || 28026728 markings, 116967184 edges, 71560 markings/sec, 300 secs
lola: sara is running 305 secs || 28397235 markings, 118843151 edges, 74101 markings/sec, 305 secs
lola: sara is running 310 secs || 28758470 markings, 120980532 edges, 72247 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown unknown unknown no no yes yes unknown
lola: memory consumption: 1043376 KB
lola: time consumption: 1660 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((3 <= A12) OR (A18 <= A19)) AND (A26 + 1 <= A12) AND (3 <= A16))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((((3 <= A12) OR (A18 <= A19)) AND (A26 + 1 <= A12) AND (3 <= A16))))
lola: processed formula length: 75
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((3 <= A12) OR (A18 <= A19)) AND (A26 + 1 <= A12) AND (3 <= A16))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 686546 markings, 1343135 edges, 137309 markings/sec, 0 secs
lola: sara is running 5 secs || 1345309 markings, 2844001 edges, 131753 markings/sec, 5 secs
lola: sara is running 10 secs || 1937824 markings, 4569278 edges, 118503 markings/sec, 10 secs
lola: sara is running 15 secs || 2505290 markings, 5665238 edges, 113493 markings/sec, 15 secs
lola: sara is running 20 secs || 3021006 markings, 7025027 edges, 103143 markings/sec, 20 secs
lola: sara is running 25 secs || 3513685 markings, 8363910 edges, 98536 markings/sec, 25 secs
lola: sara is running 30 secs || 4084210 markings, 9748913 edges, 114105 markings/sec, 30 secs
lola: sara is running 35 secs || 4590973 markings, 11189852 edges, 101353 markings/sec, 35 secs
lola: sara is running 40 secs || 5033645 markings, 12939358 edges, 88534 markings/sec, 40 secs
lola: sara is running 45 secs || 5497008 markings, 14749469 edges, 92673 markings/sec, 45 secs
lola: sara is running 50 secs || 6031220 markings, 16375043 edges, 106842 markings/sec, 50 secs
lola: sara is running 55 secs || 6534294 markings, 17954927 edges, 100615 markings/sec, 55 secs
lola: sara is running 60 secs || 7012825 markings, 19641664 edges, 95706 markings/sec, 60 secs
lola: sara is running 65 secs || 7520494 markings, 21177940 edges, 101534 markings/sec, 65 secs
lola: sara is running 70 secs || 8011669 markings, 22750070 edges, 98235 markings/sec, 70 secs
lola: sara is running 75 secs || 8475369 markings, 24391804 edges, 92740 markings/sec, 75 secs
lola: sara is running 80 secs || 8986466 markings, 25957228 edges, 102219 markings/sec, 80 secs
lola: sara is running 85 secs || 9451940 markings, 27530574 edges, 93095 markings/sec, 85 secs
lola: sara is running 90 secs || 9911366 markings, 29183709 edges, 91885 markings/sec, 90 secs
lola: sara is running 95 secs || 10404191 markings, 30787283 edges, 98565 markings/sec, 95 secs
lola: sara is running 100 secs || 10859603 markings, 32548939 edges, 91082 markings/sec, 100 secs
lola: sara is running 105 secs || 11327548 markings, 34066437 edges, 93589 markings/sec, 105 secs
lola: sara is running 110 secs || 11809831 markings, 35711839 edges, 96457 markings/sec, 110 secs
lola: sara is running 115 secs || 12325564 markings, 37301397 edges, 103147 markings/sec, 115 secs
lola: sara is running 120 secs || 12845078 markings, 38873414 edges, 103903 markings/sec, 120 secs
lola: sara is running 125 secs || 13316527 markings, 40479498 edges, 94290 markings/sec, 125 secs
lola: sara is running 130 secs || 13779378 markings, 42075114 edges, 92570 markings/sec, 130 secs
lola: sara is running 135 secs || 14237131 markings, 43704432 edges, 91551 markings/sec, 135 secs
lola: sara is running 140 secs || 14692829 markings, 45393536 edges, 91140 markings/sec, 140 secs
lola: sara is running 145 secs || 15167957 markings, 47080454 edges, 95026 markings/sec, 145 secs
lola: sara is running 150 secs || 15678463 markings, 48656370 edges, 102101 markings/sec, 150 secs
lola: sara is running 155 secs || 16172985 markings, 50326975 edges, 98904 markings/sec, 155 secs
lola: sara is running 160 secs || 16630735 markings, 51996794 edges, 91550 markings/sec, 160 secs
lola: sara is running 165 secs || 17082684 markings, 53660174 edges, 90390 markings/sec, 165 secs
lola: sara is running 170 secs || 17532289 markings, 55319475 edges, 89921 markings/sec, 170 secs
lola: sara is running 175 secs || 17988463 markings, 57000767 edges, 91235 markings/sec, 175 secs
lola: sara is running 180 secs || 18445463 markings, 58720969 edges, 91400 markings/sec, 180 secs
lola: sara is running 185 secs || 19097249 markings, 60190629 edges, 130357 markings/sec, 185 secs
lola: sara is running 190 secs || 19655345 markings, 61532239 edges, 111619 markings/sec, 190 secs
lola: sara is running 195 secs || 20157711 markings, 62862285 edges, 100473 markings/sec, 195 secs
lola: sara is running 200 secs || 20668654 markings, 64269740 edges, 102189 markings/sec, 200 secs
lola: sara is running 205 secs || 21101621 markings, 66005168 edges, 86593 markings/sec, 205 secs
lola: sara is running 210 secs || 21619793 markings, 67533094 edges, 103634 markings/sec, 210 secs
lola: sara is running 215 secs || 22113626 markings, 69155894 edges, 98767 markings/sec, 215 secs
lola: sara is running 220 secs || 22574023 markings, 70838148 edges, 92079 markings/sec, 220 secs
lola: sara is running 225 secs || 23079885 markings, 72445154 edges, 101172 markings/sec, 225 secs
lola: sara is running 230 secs || 23570978 markings, 74126605 edges, 98219 markings/sec, 230 secs
lola: sara is running 235 secs || 24034566 markings, 75784867 edges, 92718 markings/sec, 235 secs
lola: sara is running 240 secs || 24554856 markings, 77425740 edges, 104058 markings/sec, 240 secs
lola: sara is running 245 secs || 25048541 markings, 79087066 edges, 98737 markings/sec, 245 secs
lola: sara is running 250 secs || 25524019 markings, 80789924 edges, 95096 markings/sec, 250 secs
lola: sara is running 255 secs || 25988288 markings, 82565182 edges, 92854 markings/sec, 255 secs
lola: sara is running 260 secs || 26523435 markings, 84133808 edges, 107029 markings/sec, 260 secs
lola: sara is running 265 secs || 26991191 markings, 85782519 edges, 93551 markings/sec, 265 secs
lola: sara is running 270 secs || 27486662 markings, 87484315 edges, 99094 markings/sec, 270 secs
lola: sara is running 275 secs || 28006904 markings, 89200942 edges, 104048 markings/sec, 275 secs
lola: sara is running 280 secs || 28547632 markings, 90748354 edges, 108146 markings/sec, 280 secs
lola: sara is running 285 secs || 29066271 markings, 92335308 edges, 103728 markings/sec, 285 secs
lola: sara is running 290 secs || 29568173 markings, 93891924 edges, 100380 markings/sec, 290 secs
lola: sara is running 295 secs || 30059449 markings, 95497016 edges, 98255 markings/sec, 295 secs
lola: sara is running 300 secs || 30562461 markings, 97093908 edges, 100602 markings/sec, 300 secs
lola: sara is running 305 secs || 31040163 markings, 98807316 edges, 95540 markings/sec, 305 secs
lola: sara is running 310 secs || 31504192 markings, 100479291 edges, 92806 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown unknown unknown no no yes yes unknown
lola: memory consumption: 1141304 KB
lola: time consumption: 1979 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((A5 <= 2) AND (A17 <= 2)) OR (((A3 <= A5) OR (2 <= A20)) AND ((2 <= A25))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((A5 <= 2) AND (A17 <= 2)) OR (((A3 <= A5) OR (2 <= A20)) AND ((2 <= A25))))))
lola: processed formula length: 87
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((3 <= A5) OR (3 <= A17)) AND (((A5 + 1 <= A3) AND (A20 <= 1)) OR ((A25 <= 1))))
lola: state equation: Generated DNF with 10 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 506255 markings, 1416513 edges, 101251 markings/sec, 0 secs
lola: sara is running 5 secs || 986312 markings, 2943633 edges, 96011 markings/sec, 5 secs
lola: sara is running 10 secs || 1456244 markings, 4409617 edges, 93986 markings/sec, 10 secs
lola: sara is running 15 secs || 1916385 markings, 5864071 edges, 92028 markings/sec, 15 secs
lola: sara is running 20 secs || 2377323 markings, 7309340 edges, 92188 markings/sec, 20 secs
lola: sara is running 25 secs || 2830255 markings, 8785346 edges, 90586 markings/sec, 25 secs
lola: sara is running 30 secs || 3278783 markings, 10281548 edges, 89706 markings/sec, 30 secs
lola: sara is running 35 secs || 3754399 markings, 11916547 edges, 95123 markings/sec, 35 secs
lola: sara is running 40 secs || 4221299 markings, 13510744 edges, 93380 markings/sec, 40 secs
lola: sara is running 45 secs || 4669680 markings, 14981441 edges, 89676 markings/sec, 45 secs
lola: sara is running 50 secs || 5112808 markings, 16455216 edges, 88626 markings/sec, 50 secs
lola: sara is running 55 secs || 5533788 markings, 17975394 edges, 84196 markings/sec, 55 secs
lola: sara is running 60 secs || 5951910 markings, 19548614 edges, 83624 markings/sec, 60 secs
lola: sara is running 65 secs || 6411774 markings, 21109118 edges, 91973 markings/sec, 65 secs
lola: sara is running 70 secs || 6850638 markings, 22645951 edges, 87773 markings/sec, 70 secs
lola: sara is running 75 secs || 7291289 markings, 24268267 edges, 88130 markings/sec, 75 secs
lola: sara is running 80 secs || 7742997 markings, 25775132 edges, 90342 markings/sec, 80 secs
lola: sara is running 85 secs || 8193902 markings, 27283276 edges, 90181 markings/sec, 85 secs
lola: sara is running 90 secs || 8632767 markings, 28735124 edges, 87773 markings/sec, 90 secs
lola: sara is running 95 secs || 9061893 markings, 30116836 edges, 85825 markings/sec, 95 secs
lola: sara is running 100 secs || 9486009 markings, 31491111 edges, 84823 markings/sec, 100 secs
lola: sara is running 105 secs || 9895184 markings, 33125334 edges, 81835 markings/sec, 105 secs
lola: sara is running 110 secs || 10281478 markings, 34780422 edges, 77259 markings/sec, 110 secs
lola: sara is running 115 secs || 10656770 markings, 36570281 edges, 75058 markings/sec, 115 secs
lola: sara is running 120 secs || 11051971 markings, 38288291 edges, 79040 markings/sec, 120 secs
lola: sara is running 125 secs || 11447069 markings, 40006461 edges, 79020 markings/sec, 125 secs
lola: sara is running 130 secs || 11826207 markings, 41733260 edges, 75828 markings/sec, 130 secs
lola: sara is running 135 secs || 12202255 markings, 43445806 edges, 75210 markings/sec, 135 secs
lola: sara is running 140 secs || 12591091 markings, 45061001 edges, 77767 markings/sec, 140 secs
lola: sara is running 145 secs || 13010509 markings, 46622430 edges, 83884 markings/sec, 145 secs
lola: sara is running 150 secs || 13426522 markings, 48204030 edges, 83203 markings/sec, 150 secs
lola: sara is running 155 secs || 13863570 markings, 49795395 edges, 87410 markings/sec, 155 secs
lola: sara is running 160 secs || 14293254 markings, 51394675 edges, 85937 markings/sec, 160 secs
lola: sara is running 165 secs || 14710829 markings, 52984183 edges, 83515 markings/sec, 165 secs
lola: sara is running 170 secs || 15093585 markings, 54697483 edges, 76551 markings/sec, 170 secs
lola: sara is running 175 secs || 15482729 markings, 56366995 edges, 77829 markings/sec, 175 secs
lola: sara is running 180 secs || 15858542 markings, 58071388 edges, 75163 markings/sec, 180 secs
lola: sara is running 185 secs || 16277699 markings, 59603770 edges, 83831 markings/sec, 185 secs
lola: sara is running 190 secs || 16677471 markings, 61209035 edges, 79954 markings/sec, 190 secs
lola: sara is running 195 secs || 17064760 markings, 62854718 edges, 77458 markings/sec, 195 secs
lola: sara is running 200 secs || 17478203 markings, 64397756 edges, 82689 markings/sec, 200 secs
lola: sara is running 205 secs || 17884749 markings, 65966622 edges, 81309 markings/sec, 205 secs
lola: sara is running 210 secs || 18311169 markings, 67542193 edges, 85284 markings/sec, 210 secs
lola: sara is running 215 secs || 18740692 markings, 69169321 edges, 85905 markings/sec, 215 secs
lola: sara is running 220 secs || 19122888 markings, 70875198 edges, 76439 markings/sec, 220 secs
lola: sara is running 225 secs || 19521598 markings, 72558228 edges, 79742 markings/sec, 225 secs
lola: sara is running 230 secs || 19928570 markings, 74262881 edges, 81394 markings/sec, 230 secs
lola: sara is running 235 secs || 20316151 markings, 76034796 edges, 77516 markings/sec, 235 secs
lola: sara is running 240 secs || 20721956 markings, 77730683 edges, 81161 markings/sec, 240 secs
lola: sara is running 245 secs || 21124162 markings, 79407525 edges, 80441 markings/sec, 245 secs
lola: sara is running 250 secs || 21495385 markings, 81060633 edges, 74245 markings/sec, 250 secs
lola: sara is running 255 secs || 21875933 markings, 82781653 edges, 76110 markings/sec, 255 secs
lola: sara is running 260 secs || 22263146 markings, 84499707 edges, 77443 markings/sec, 260 secs
lola: sara is running 265 secs || 22689711 markings, 86142025 edges, 85313 markings/sec, 265 secs
lola: sara is running 270 secs || 23077715 markings, 87822164 edges, 77601 markings/sec, 270 secs
lola: sara is running 275 secs || 23457130 markings, 89557299 edges, 75883 markings/sec, 275 secs
lola: sara is running 280 secs || 23833848 markings, 91254212 edges, 75344 markings/sec, 280 secs
lola: sara is running 285 secs || 24226307 markings, 92860851 edges, 78492 markings/sec, 285 secs
lola: sara is running 290 secs || 24602701 markings, 94619197 edges, 75279 markings/sec, 290 secs
lola: sara is running 295 secs || 25017493 markings, 96651502 edges, 82958 markings/sec, 295 secs
lola: sara is running 300 secs || 25444872 markings, 98710919 edges, 85476 markings/sec, 300 secs
lola: sara is running 305 secs || 25827024 markings, 100690103 edges, 76430 markings/sec, 305 secs
lola: sara is running 310 secs || 26183923 markings, 102731146 edges, 71380 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown unknown unknown no no yes yes unknown
lola: memory consumption: 951568 KB
lola: time consumption: 2297 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A15 <= 2) OR (A18 <= 2) OR (A10 + 1 <= A11) OR (A7 + 1 <= A4))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((A15 <= 2) OR (A18 <= 2) OR (A10 + 1 <= A11) OR (A7 + 1 <= A4))))
lola: processed formula length: 75
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((3 <= A15) AND (3 <= A18) AND (A11 <= A10) AND (A4 <= A7))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 509086 markings, 1603006 edges, 101817 markings/sec, 0 secs
lola: sara is running 5 secs || 962300 markings, 3280127 edges, 90643 markings/sec, 5 secs
lola: sara is running 10 secs || 1453468 markings, 4900850 edges, 98234 markings/sec, 10 secs
lola: sara is running 15 secs || 1903105 markings, 6537011 edges, 89927 markings/sec, 15 secs
lola: sara is running 20 secs || 2400511 markings, 8212343 edges, 99481 markings/sec, 20 secs
lola: sara is running 25 secs || 2907681 markings, 9893366 edges, 101434 markings/sec, 25 secs
lola: sara is running 30 secs || 3356845 markings, 11610928 edges, 89833 markings/sec, 30 secs
lola: sara is running 35 secs || 3860562 markings, 13276884 edges, 100743 markings/sec, 35 secs
lola: sara is running 40 secs || 4322028 markings, 14954030 edges, 92293 markings/sec, 40 secs
lola: sara is running 45 secs || 4807029 markings, 16637184 edges, 97000 markings/sec, 45 secs
lola: sara is running 50 secs || 5279022 markings, 18377695 edges, 94399 markings/sec, 50 secs
lola: sara is running 55 secs || 5766610 markings, 20017351 edges, 97518 markings/sec, 55 secs
lola: sara is running 60 secs || 6263801 markings, 21646096 edges, 99438 markings/sec, 60 secs
lola: sara is running 65 secs || 6702238 markings, 23339492 edges, 87687 markings/sec, 65 secs
lola: sara is running 70 secs || 7104642 markings, 25070366 edges, 80481 markings/sec, 70 secs
lola: sara is running 75 secs || 7591572 markings, 26711802 edges, 97386 markings/sec, 75 secs
lola: sara is running 80 secs || 8031115 markings, 28400996 edges, 87909 markings/sec, 80 secs
lola: sara is running 85 secs || 8515116 markings, 30019251 edges, 96800 markings/sec, 85 secs
lola: sara is running 90 secs || 8970921 markings, 31666147 edges, 91161 markings/sec, 90 secs
lola: sara is running 95 secs || 9482554 markings, 33253676 edges, 102327 markings/sec, 95 secs
lola: sara is running 100 secs || 9930105 markings, 34897740 edges, 89510 markings/sec, 100 secs
lola: sara is running 105 secs || 10411390 markings, 36505551 edges, 96257 markings/sec, 105 secs
lola: sara is running 110 secs || 10871595 markings, 38130741 edges, 92041 markings/sec, 110 secs
lola: sara is running 115 secs || 11299708 markings, 39826528 edges, 85623 markings/sec, 115 secs
lola: sara is running 120 secs || 11806306 markings, 41395873 edges, 101320 markings/sec, 120 secs
lola: sara is running 125 secs || 12258736 markings, 43063532 edges, 90486 markings/sec, 125 secs
lola: sara is running 130 secs || 12694195 markings, 44690618 edges, 87092 markings/sec, 130 secs
lola: sara is running 135 secs || 13166006 markings, 46378337 edges, 94362 markings/sec, 135 secs
lola: sara is running 140 secs || 13625483 markings, 48083055 edges, 91895 markings/sec, 140 secs
lola: sara is running 145 secs || 14123543 markings, 49709578 edges, 99612 markings/sec, 145 secs
lola: sara is running 150 secs || 14630582 markings, 51333277 edges, 101408 markings/sec, 150 secs
lola: sara is running 155 secs || 15115231 markings, 52991296 edges, 96930 markings/sec, 155 secs
lola: sara is running 160 secs || 15552876 markings, 54632793 edges, 87529 markings/sec, 160 secs
lola: sara is running 165 secs || 15960019 markings, 56307674 edges, 81429 markings/sec, 165 secs
lola: sara is running 170 secs || 16381457 markings, 57972603 edges, 84288 markings/sec, 170 secs
lola: sara is running 175 secs || 16867214 markings, 59583349 edges, 97151 markings/sec, 175 secs
lola: sara is running 180 secs || 17364487 markings, 61247288 edges, 99455 markings/sec, 180 secs
lola: sara is running 185 secs || 17827240 markings, 62906004 edges, 92551 markings/sec, 185 secs
lola: sara is running 190 secs || 18261530 markings, 64577398 edges, 86858 markings/sec, 190 secs
lola: sara is running 195 secs || 18665610 markings, 66273856 edges, 80816 markings/sec, 195 secs
lola: sara is running 200 secs || 19052092 markings, 67985012 edges, 77296 markings/sec, 200 secs
lola: sara is running 205 secs || 19551526 markings, 69575671 edges, 99887 markings/sec, 205 secs
lola: sara is running 210 secs || 20000991 markings, 71253636 edges, 89893 markings/sec, 210 secs
lola: sara is running 215 secs || 20502836 markings, 72843704 edges, 100369 markings/sec, 215 secs
lola: sara is running 220 secs || 20986552 markings, 74477971 edges, 96743 markings/sec, 220 secs
lola: sara is running 225 secs || 21397722 markings, 76190194 edges, 82234 markings/sec, 225 secs
lola: sara is running 230 secs || 21875202 markings, 77836038 edges, 95496 markings/sec, 230 secs
lola: sara is running 235 secs || 22329126 markings, 79510122 edges, 90785 markings/sec, 235 secs
lola: sara is running 240 secs || 22799675 markings, 81131317 edges, 94110 markings/sec, 240 secs
lola: sara is running 245 secs || 23263126 markings, 82793334 edges, 92690 markings/sec, 245 secs
lola: sara is running 250 secs || 23761279 markings, 84363460 edges, 99631 markings/sec, 250 secs
lola: sara is running 255 secs || 24230053 markings, 86019773 edges, 93755 markings/sec, 255 secs
lola: sara is running 260 secs || 24665811 markings, 87672560 edges, 87152 markings/sec, 260 secs
lola: sara is running 265 secs || 25140200 markings, 89323351 edges, 94878 markings/sec, 265 secs
lola: sara is running 270 secs || 25580012 markings, 90995307 edges, 87962 markings/sec, 270 secs
lola: sara is running 275 secs || 26059551 markings, 92609752 edges, 95908 markings/sec, 275 secs
lola: sara is running 280 secs || 26538708 markings, 94302479 edges, 95831 markings/sec, 280 secs
lola: sara is running 285 secs || 26954350 markings, 96052356 edges, 83128 markings/sec, 285 secs
lola: sara is running 290 secs || 27440478 markings, 97754935 edges, 97226 markings/sec, 290 secs
lola: sara is running 295 secs || 27893943 markings, 99421909 edges, 90693 markings/sec, 295 secs
lola: sara is running 300 secs || 28335775 markings, 101143116 edges, 88366 markings/sec, 300 secs
lola: sara is running 305 secs || 28802532 markings, 102828717 edges, 93351 markings/sec, 305 secs
lola: sara is running 310 secs || 29306808 markings, 104538097 edges, 100855 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown unknown unknown no no yes yes unknown
lola: memory consumption: 1064572 KB
lola: time consumption: 2615 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A24 <= 0) AND ((B5 <= A12) OR (A28 <= A3)) AND (A1 <= A12) AND ((2 <= A11) OR (3 <= A3)))))
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 (((A24 <= 0) AND ((B5 <= A12) OR (A28 <= A3)) AND (A1 <= A12) AND ((2 <= A11) OR (3 <= A3)))))
lola: processed formula length: 101
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A24 <= 0) AND ((B5 <= A12) OR (A28 <= A3)) AND (A1 <= A12) AND ((2 <= A11) OR (3 <= A3)))
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 496850 markings, 1392016 edges, 99370 markings/sec, 0 secs
lola: sara is running 5 secs || 971864 markings, 2731688 edges, 95003 markings/sec, 5 secs
lola: sara is running 10 secs || 1441688 markings, 4054415 edges, 93965 markings/sec, 10 secs
lola: sara is running 15 secs || 1954728 markings, 5400204 edges, 102608 markings/sec, 15 secs
lola: sara is running 20 secs || 2416850 markings, 6697924 edges, 92424 markings/sec, 20 secs
lola: sara is running 25 secs || 2860944 markings, 8000735 edges, 88819 markings/sec, 25 secs
lola: sara is running 30 secs || 3363991 markings, 9335798 edges, 100609 markings/sec, 30 secs
lola: sara is running 35 secs || 3814731 markings, 10693253 edges, 90148 markings/sec, 35 secs
lola: sara is running 40 secs || 4260714 markings, 12021998 edges, 89197 markings/sec, 40 secs
lola: sara is running 45 secs || 4700268 markings, 13409833 edges, 87911 markings/sec, 45 secs
lola: sara is running 50 secs || 5146414 markings, 14774645 edges, 89229 markings/sec, 50 secs
lola: sara is running 55 secs || 5603251 markings, 16310434 edges, 91367 markings/sec, 55 secs
lola: sara is running 60 secs || 6116572 markings, 18104520 edges, 102664 markings/sec, 60 secs
lola: sara is running 65 secs || 6621202 markings, 19684159 edges, 100926 markings/sec, 65 secs
lola: sara is running 70 secs || 7122356 markings, 21085269 edges, 100231 markings/sec, 70 secs
lola: sara is running 75 secs || 7634496 markings, 22393226 edges, 102428 markings/sec, 75 secs
lola: sara is running 80 secs || 8127242 markings, 23791958 edges, 98549 markings/sec, 80 secs
lola: sara is running 85 secs || 8552006 markings, 25485126 edges, 84953 markings/sec, 85 secs
lola: sara is running 90 secs || 9022007 markings, 26860479 edges, 94000 markings/sec, 90 secs
lola: sara is running 95 secs || 9492904 markings, 28234006 edges, 94179 markings/sec, 95 secs
lola: sara is running 100 secs || 9942437 markings, 29572765 edges, 89907 markings/sec, 100 secs
lola: sara is running 105 secs || 10388144 markings, 30937106 edges, 89141 markings/sec, 105 secs
lola: sara is running 110 secs || 10795766 markings, 32460331 edges, 81524 markings/sec, 110 secs
lola: sara is running 115 secs || 11225325 markings, 33779244 edges, 85912 markings/sec, 115 secs
lola: sara is running 120 secs || 11645585 markings, 35094153 edges, 84052 markings/sec, 120 secs
lola: sara is running 125 secs || 12052694 markings, 36662195 edges, 81422 markings/sec, 125 secs
lola: sara is running 130 secs || 12449791 markings, 38096923 edges, 79419 markings/sec, 130 secs
lola: sara is running 135 secs || 12845702 markings, 39504877 edges, 79182 markings/sec, 135 secs
lola: sara is running 140 secs || 13249456 markings, 40913261 edges, 80751 markings/sec, 140 secs
lola: sara is running 145 secs || 13667411 markings, 42313924 edges, 83591 markings/sec, 145 secs
lola: sara is running 150 secs || 14070002 markings, 43751567 edges, 80518 markings/sec, 150 secs
lola: sara is running 155 secs || 14478452 markings, 45150330 edges, 81690 markings/sec, 155 secs
lola: sara is running 160 secs || 14893385 markings, 46570483 edges, 82987 markings/sec, 160 secs
lola: sara is running 165 secs || 15314822 markings, 47860357 edges, 84287 markings/sec, 165 secs
lola: sara is running 170 secs || 15718149 markings, 49466256 edges, 80665 markings/sec, 170 secs
lola: sara is running 175 secs || 16159968 markings, 51016460 edges, 88364 markings/sec, 175 secs
lola: sara is running 180 secs || 16598294 markings, 52516665 edges, 87665 markings/sec, 180 secs
lola: sara is running 185 secs || 17003187 markings, 54129349 edges, 80979 markings/sec, 185 secs
lola: sara is running 190 secs || 17405204 markings, 55738864 edges, 80403 markings/sec, 190 secs
lola: sara is running 195 secs || 17804954 markings, 57377438 edges, 79950 markings/sec, 195 secs
lola: sara is running 200 secs || 18227615 markings, 58951402 edges, 84532 markings/sec, 200 secs
lola: sara is running 205 secs || 18637538 markings, 60553884 edges, 81985 markings/sec, 205 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 18753498 markings, 61048804 edges
lola: ========================================
FORMULA DNAwalker-PT-06track28RL-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A21) AND (A14 <= A5) AND (3 <= A7) AND (2 <= A14) AND ((A28 <= A1) OR ((A23 <= A6) AND (2 <= A5))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((2 <= A21) AND (A14 <= A5) AND (3 <= A7) AND (2 <= A14) AND ((A28 <= A1) OR ((A23 <= A6) AND (2 <= A5))))))
lola: processed formula length: 115
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((2 <= A21) AND (A14 <= A5) AND (3 <= A7) AND (2 <= A14) AND ((A28 <= A1) OR ((A23 <= A6) AND (2 <= A5))))
lola: state equation: Generated DNF with 11 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 600011 markings, 1874558 edges, 120002 markings/sec, 0 secs
lola: sara is running 5 secs || 1183996 markings, 3803759 edges, 116797 markings/sec, 5 secs
lola: sara is running 10 secs || 1788495 markings, 5560254 edges, 120900 markings/sec, 10 secs
lola: sara is running 15 secs || 2353541 markings, 7589760 edges, 113009 markings/sec, 15 secs
lola: sara is running 20 secs || 2890819 markings, 9491606 edges, 107456 markings/sec, 20 secs
lola: sara is running 25 secs || 3406203 markings, 11482396 edges, 103077 markings/sec, 25 secs
lola: sara is running 30 secs || 3908302 markings, 13497519 edges, 100420 markings/sec, 30 secs
lola: sara is running 35 secs || 4493218 markings, 15408739 edges, 116983 markings/sec, 35 secs
lola: sara is running 40 secs || 5110631 markings, 17266633 edges, 123483 markings/sec, 40 secs
lola: sara is running 45 secs || 5646659 markings, 19185808 edges, 107206 markings/sec, 45 secs
lola: sara is running 50 secs || 6260274 markings, 21150850 edges, 122723 markings/sec, 50 secs
lola: sara is running 55 secs || 6794050 markings, 23075419 edges, 106755 markings/sec, 55 secs
lola: sara is running 60 secs || 7341018 markings, 25027923 edges, 109394 markings/sec, 60 secs
lola: sara is running 65 secs || 7916913 markings, 26873674 edges, 115179 markings/sec, 65 secs
lola: sara is running 70 secs || 8459964 markings, 28785238 edges, 108610 markings/sec, 70 secs
lola: sara is running 75 secs || 9007758 markings, 30763581 edges, 109559 markings/sec, 75 secs
lola: sara is running 80 secs || 9604945 markings, 32734806 edges, 119437 markings/sec, 80 secs
lola: sara is running 85 secs || 10176481 markings, 34641446 edges, 114307 markings/sec, 85 secs
lola: sara is running 90 secs || 10733300 markings, 36339833 edges, 111364 markings/sec, 90 secs
lola: sara is running 95 secs || 11256937 markings, 38331671 edges, 104727 markings/sec, 95 secs
lola: sara is running 100 secs || 11806286 markings, 40253712 edges, 109870 markings/sec, 100 secs
lola: sara is running 105 secs || 12329627 markings, 42202406 edges, 104668 markings/sec, 105 secs
lola: sara is running 110 secs || 12872379 markings, 44229152 edges, 108550 markings/sec, 110 secs
lola: sara is running 115 secs || 13442194 markings, 46059122 edges, 113963 markings/sec, 115 secs
lola: sara is running 120 secs || 13986944 markings, 47912356 edges, 108950 markings/sec, 120 secs
lola: sara is running 125 secs || 14522971 markings, 49851113 edges, 107205 markings/sec, 125 secs
lola: sara is running 130 secs || 15108938 markings, 51527791 edges, 117193 markings/sec, 130 secs
lola: sara is running 135 secs || 15633776 markings, 53511605 edges, 104968 markings/sec, 135 secs
lola: sara is running 140 secs || 16131958 markings, 55607095 edges, 99636 markings/sec, 140 secs
lola: sara is running 145 secs || 16691392 markings, 57463542 edges, 111887 markings/sec, 145 secs
lola: sara is running 150 secs || 17247571 markings, 59267714 edges, 111236 markings/sec, 150 secs
lola: sara is running 155 secs || 17810968 markings, 61028430 edges, 112679 markings/sec, 155 secs
lola: sara is running 160 secs || 18301683 markings, 63102894 edges, 98143 markings/sec, 160 secs
lola: sara is running 165 secs || 18835620 markings, 65145502 edges, 106787 markings/sec, 165 secs
lola: sara is running 170 secs || 19363175 markings, 66931529 edges, 105511 markings/sec, 170 secs
lola: sara is running 175 secs || 19914984 markings, 68932402 edges, 110362 markings/sec, 175 secs
lola: sara is running 180 secs || 20462078 markings, 70811895 edges, 109419 markings/sec, 180 secs
lola: sara is running 185 secs || 21017166 markings, 72696243 edges, 111018 markings/sec, 185 secs
lola: sara is running 190 secs || 21569131 markings, 74577102 edges, 110393 markings/sec, 190 secs
lola: sara is running 195 secs || 22135152 markings, 76326008 edges, 113204 markings/sec, 195 secs
lola: sara is running 200 secs || 22621891 markings, 78364101 edges, 97348 markings/sec, 200 secs
lola: sara is running 205 secs || 23115564 markings, 80116767 edges, 98735 markings/sec, 205 secs
lola: sara is running 210 secs || 23618542 markings, 81868846 edges, 100596 markings/sec, 210 secs
lola: sara is running 215 secs || 24119648 markings, 83564009 edges, 100221 markings/sec, 215 secs
lola: sara is running 220 secs || 24611585 markings, 85275625 edges, 98387 markings/sec, 220 secs
lola: sara is running 225 secs || 25079798 markings, 87058385 edges, 93643 markings/sec, 225 secs
lola: sara is running 230 secs || 25560337 markings, 88769987 edges, 96108 markings/sec, 230 secs
lola: sara is running 235 secs || 26085540 markings, 90572093 edges, 105041 markings/sec, 235 secs
lola: sara is running 240 secs || 26542935 markings, 92592225 edges, 91479 markings/sec, 240 secs
lola: sara is running 245 secs || 27012834 markings, 94639565 edges, 93980 markings/sec, 245 secs
lola: sara is running 250 secs || 27460714 markings, 96672541 edges, 89576 markings/sec, 250 secs
lola: sara is running 255 secs || 27922433 markings, 98697693 edges, 92344 markings/sec, 255 secs
lola: sara is running 260 secs || 28440076 markings, 100781308 edges, 103529 markings/sec, 260 secs
lola: sara is running 265 secs || 29005583 markings, 102624929 edges, 113101 markings/sec, 265 secs
lola: sara is running 270 secs || 29544026 markings, 104465487 edges, 107689 markings/sec, 270 secs
lola: sara is running 275 secs || 30080918 markings, 106317420 edges, 107378 markings/sec, 275 secs
lola: sara is running 280 secs || 30625797 markings, 108197127 edges, 108976 markings/sec, 280 secs
lola: sara is running 285 secs || 31170223 markings, 110088259 edges, 108885 markings/sec, 285 secs
lola: sara is running 290 secs || 31709950 markings, 111962045 edges, 107945 markings/sec, 290 secs
lola: sara is running 295 secs || 32225286 markings, 113811346 edges, 103067 markings/sec, 295 secs
lola: sara is running 300 secs || 32748838 markings, 115626940 edges, 104710 markings/sec, 300 secs
lola: sara is running 305 secs || 33277630 markings, 117424951 edges, 105758 markings/sec, 305 secs
lola: sara is running 310 secs || 33817625 markings, 119367016 edges, 107999 markings/sec, 310 secs
lola: sara is running 315 secs || 34296835 markings, 121241024 edges, 95842 markings/sec, 315 secs
lola: sara is running 320 secs || 34741424 markings, 123139653 edges, 88918 markings/sec, 320 secs
lola: sara is running 325 secs || 35174007 markings, 125102566 edges, 86517 markings/sec, 325 secs
lola: sara is running 330 secs || 35597848 markings, 127016547 edges, 84768 markings/sec, 330 secs
lola: sara is running 335 secs || 36030833 markings, 128861884 edges, 86597 markings/sec, 335 secs
lola: sara is running 340 secs || 36437834 markings, 130697962 edges, 81400 markings/sec, 340 secs
lola: sara is running 345 secs || 36851844 markings, 132548489 edges, 82802 markings/sec, 345 secs
lola: sara is running 350 secs || 37273250 markings, 134379293 edges, 84281 markings/sec, 350 secs
lola: sara is running 355 secs || 37687194 markings, 136121580 edges, 82789 markings/sec, 355 secs
lola: sara is running 360 secs || 38067958 markings, 137958520 edges, 76153 markings/sec, 360 secs
lola: sara is running 365 secs || 38497013 markings, 139867555 edges, 85811 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown yes unknown unknown no no yes yes unknown
lola: memory consumption: 1383264 KB
lola: time consumption: 3198 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((((2 <= A8) OR (2 <= A9)) AND (3 <= A17)) OR ((A26 <= A7) AND (A23 <= A27) AND (3 <= A11) AND (B6 <= A27)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((((2 <= A8) OR (2 <= A9)) AND (3 <= A17)) OR ((A26 <= A7) AND (A23 <= A27) AND (3 <= A11) AND (B6 <= A27)))))
lola: processed formula length: 118
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-06track28RL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((((2 <= A8) OR (2 <= A9)) AND (3 <= A17)) OR ((A26 <= A7) AND (A23 <= A27) AND (3 <= A11) AND (B6 <= A27)))
lola: state equation: Generated DNF with 8 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-06track28RL-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-06track28RL-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 573088 markings, 1356107 edges, 114618 markings/sec, 0 secs
lola: sara is running 5 secs || 1110772 markings, 2813746 edges, 107537 markings/sec, 5 secs
lola: sara is running 10 secs || 1639366 markings, 4092509 edges, 105719 markings/sec, 10 secs
lola: sara is running 15 secs || 2174911 markings, 5402564 edges, 107109 markings/sec, 15 secs
lola: sara is running 20 secs || 2697156 markings, 6676303 edges, 104449 markings/sec, 20 secs
lola: sara is running 25 secs || 3162904 markings, 8073587 edges, 93150 markings/sec, 25 secs
lola: sara is running 30 secs || 3650523 markings, 9813676 edges, 97524 markings/sec, 30 secs
lola: sara is running 35 secs || 4122959 markings, 11538430 edges, 94487 markings/sec, 35 secs
lola: sara is running 40 secs || 4596276 markings, 13222204 edges, 94663 markings/sec, 40 secs
lola: sara is running 45 secs || 5026068 markings, 15111891 edges, 85958 markings/sec, 45 secs
lola: sara is running 50 secs || 5484232 markings, 17082419 edges, 91633 markings/sec, 50 secs
lola: sara is running 55 secs || 5957099 markings, 18915109 edges, 94573 markings/sec, 55 secs
lola: sara is running 60 secs || 6432232 markings, 20644959 edges, 95027 markings/sec, 60 secs
lola: sara is running 65 secs || 6858398 markings, 22532613 edges, 85233 markings/sec, 65 secs
lola: sara is running 70 secs || 7281736 markings, 24621471 edges, 84668 markings/sec, 70 secs
lola: sara is running 75 secs || 7687247 markings, 26822390 edges, 81102 markings/sec, 75 secs
lola: sara is running 80 secs || 8256784 markings, 28162914 edges, 113907 markings/sec, 80 secs
lola: sara is running 85 secs || 8818067 markings, 29698097 edges, 112257 markings/sec, 85 secs
lola: sara is running 90 secs || 9377029 markings, 31229545 edges, 111792 markings/sec, 90 secs
lola: sara is running 95 secs || 9803792 markings, 32678777 edges, 85353 markings/sec, 95 secs
lola: sara is running 100 secs || 10225080 markings, 34153603 edges, 84258 markings/sec, 100 secs
lola: sara is running 105 secs || 10633185 markings, 35601132 edges, 81621 markings/sec, 105 secs
lola: sara is running 110 secs || 11080314 markings, 36932407 edges, 89426 markings/sec, 110 secs
lola: sara is running 115 secs || 11495502 markings, 38632466 edges, 83038 markings/sec, 115 secs
lola: sara is running 120 secs || 11931305 markings, 40147461 edges, 87161 markings/sec, 120 secs
lola: sara is running 125 secs || 12407543 markings, 41556959 edges, 95248 markings/sec, 125 secs
lola: sara is running 130 secs || 12912904 markings, 42876741 edges, 101072 markings/sec, 130 secs
lola: sara is running 135 secs || 13351233 markings, 44210752 edges, 87666 markings/sec, 135 secs
lola: sara is running 140 secs || 13793508 markings, 45578948 edges, 88455 markings/sec, 140 secs
lola: sara is running 145 secs || 14259373 markings, 46946829 edges, 93173 markings/sec, 145 secs
lola: sara is running 150 secs || 14691235 markings, 48347429 edges, 86372 markings/sec, 150 secs
lola: sara is running 155 secs || 15135439 markings, 49728206 edges, 88841 markings/sec, 155 secs
lola: sara is running 160 secs || 15577926 markings, 51102880 edges, 88497 markings/sec, 160 secs
lola: sara is running 165 secs || 16014543 markings, 52475515 edges, 87323 markings/sec, 165 secs
lola: sara is running 170 secs || 16447291 markings, 53857376 edges, 86550 markings/sec, 170 secs
lola: sara is running 175 secs || 16846007 markings, 55220822 edges, 79743 markings/sec, 175 secs
lola: sara is running 180 secs || 17258154 markings, 56620079 edges, 82429 markings/sec, 180 secs
lola: sara is running 185 secs || 17648266 markings, 58001939 edges, 78022 markings/sec, 185 secs
lola: sara is running 190 secs || 18058028 markings, 59359387 edges, 81952 markings/sec, 190 secs
lola: sara is running 195 secs || 18487558 markings, 60735379 edges, 85906 markings/sec, 195 secs
lola: sara is running 200 secs || 18918124 markings, 62068291 edges, 86113 markings/sec, 200 secs
lola: sara is running 205 secs || 19336592 markings, 63468107 edges, 83694 markings/sec, 205 secs
lola: sara is running 210 secs || 19744991 markings, 64873350 edges, 81680 markings/sec, 210 secs
lola: sara is running 215 secs || 20160055 markings, 66249492 edges, 83013 markings/sec, 215 secs
lola: sara is running 220 secs || 20575555 markings, 67546828 edges, 83100 markings/sec, 220 secs
lola: sara is running 225 secs || 20977177 markings, 68650038 edges, 80324 markings/sec, 225 secs
lola: sara is running 230 secs || 21355510 markings, 70205078 edges, 75667 markings/sec, 230 secs
lola: sara is running 235 secs || 21754184 markings, 71886183 edges, 79735 markings/sec, 235 secs
lola: sara is running 240 secs || 22143730 markings, 73627864 edges, 77909 markings/sec, 240 secs
lola: sara is running 245 secs || 22527579 markings, 75385799 edges, 76770 markings/sec, 245 secs
lola: sara is running 250 secs || 22910949 markings, 77124342 edges, 76674 markings/sec, 250 secs
lola: sara is running 255 secs || 23288806 markings, 78885873 edges, 75571 markings/sec, 255 secs
lola: sara is running 260 secs || 23677936 markings, 80697630 edges, 77826 markings/sec, 260 secs
lola: sara is running 265 secs || 24056458 markings, 82449836 edges, 75704 markings/sec, 265 secs
lola: sara is running 270 secs || 24432089 markings, 84094590 edges, 75126 markings/sec, 270 secs
lola: sara is running 275 secs || 24849485 markings, 85744023 edges, 83479 markings/sec, 275 secs
lola: sara is running 280 secs || 25247660 markings, 87415851 edges, 79635 markings/sec, 280 secs
lola: sara is running 285 secs || 25640604 markings, 89119087 edges, 78589 markings/sec, 285 secs
lola: sara is running 290 secs || 26030715 markings, 90802425 edges, 78022 markings/sec, 290 secs
lola: sara is running 295 secs || 26404672 markings, 92507115 edges, 74791 markings/sec, 295 secs
lola: sara is running 300 secs || 26768457 markings, 94207292 edges, 72757 markings/sec, 300 secs
lola: sara is running 305 secs || 27177786 markings, 95870321 edges, 81866 markings/sec, 305 secs
lola: sara is running 310 secs || 27538093 markings, 97705430 edges, 72061 markings/sec, 310 secs
lola: sara is running 315 secs || 27912734 markings, 99475473 edges, 74928 markings/sec, 315 secs
lola: sara is running 320 secs || 28270746 markings, 101189504 edges, 71602 markings/sec, 320 secs
lola: sara is running 325 secs || 28658146 markings, 102965379 edges, 77480 markings/sec, 325 secs
lola: sara is running 330 secs || 29008727 markings, 104527983 edges, 70116 markings/sec, 330 secs
lola: sara is running 335 secs || 29360785 markings, 106558224 edges, 70412 markings/sec, 335 secs
lola: sara is running 340 secs || 29700527 markings, 108597343 edges, 67948 markings/sec, 340 secs
lola: sara is running 345 secs || 30046915 markings, 110705879 edges, 69278 markings/sec, 345 secs
lola: sara is running 350 secs || 30438172 markings, 112630528 edges, 78251 markings/sec, 350 secs
lola: sara is running 355 secs || 30995411 markings, 114516809 edges, 111448 markings/sec, 355 secs
lola: sara is running 360 secs || 31439703 markings, 116340719 edges, 88858 markings/sec, 360 secs
lola: sara is running 365 secs || 31812886 markings, 118155368 edges, 74637 markings/sec, 365 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown yes unknown unknown no no yes yes unknown
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown yes unknown unknown no no yes yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown yes unknown unknown no no yes yes unknown
lola: memory consumption: 1147220 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown yes unknown unknown no no yes yes unknown
lola: memory consumption: 1147416 KB
lola: time consumption: 3570 seconds
BK_STOP 1526779345582
--------------------
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="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-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 ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400264"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;