About the Execution of LoLA for DNAwalker-PT-13ringRLLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1089.250 | 3600000.00 | 7195028.00 | 7353.70 | ?TT??T?????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-13ringRLLarge, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500315
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-00
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-01
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-02
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-03
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-04
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-05
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-06
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-07
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-08
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-09
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-10
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-11
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-12
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-13
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-14
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526836547791
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-13ringRLLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-13ringRLLarge formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ DNAwalker-PT-13ringRLLarge @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-13ringRLLarge-ReachabilityFireability.task
lola: E (F ((FIREABLE(t3_26) AND FIREABLE(t16_15)))) : E (F ((((NOT FIREABLE(tloop22) AND FIREABLE(t13_12)) OR (NOT FIREABLE(t20_18) AND NOT FIREABLE(t7_9))) AND FIREABLE(t17_18)))) : E (F ((FIREABLE(t14_15) AND NOT FIREABLE(tAb5) AND NOT FIREABLE(t6_9)))) : E (F ((((FIREABLE(t17_12) AND FIREABLE(t24_27)) OR FIREABLE(t16_17)) AND FIREABLE(t21_25) AND ((NOT FIREABLE(t11_10) AND NOT FIREABLE(t3_24)) OR (NOT FIREABLE(t16_10) AND NOT FIREABLE(t25_4)))))) : E (F ((FIREABLE(t26_1) AND ((FIREABLE(t3_25) AND FIREABLE(t1_12) AND (FIREABLE(t5_4) OR FIREABLE(t2_8))) OR (FIREABLE(t3_7) AND FIREABLE(t12_10) AND (FIREABLE(t1_19) OR FIREABLE(t1_27))))))) : A (G ((NOT FIREABLE(t11_14) OR NOT FIREABLE(t1_3) OR (NOT FIREABLE(t16_4) AND NOT FIREABLE(t13_11)) OR FIREABLE(t24_3)))) : E (F (FIREABLE(t23_1))) : E (F (((FIREABLE(t5_4) OR FIREABLE(t1_9)) AND NOT FIREABLE(t23_22) AND FIREABLE(t4_9) AND (NOT FIREABLE(t2_24) OR (NOT FIREABLE(t4_5) AND NOT FIREABLE(tb16)))))) : E (F ((FIREABLE(t15_17) AND FIREABLE(t10_8) AND NOT FIREABLE(tb16) AND NOT FIREABLE(t7_1) AND (FIREABLE(tb4) OR FIREABLE(t18_22))))) : E (F (FIREABLE(t8_1))) : E (F ((NOT FIREABLE(t12_1) AND (FIREABLE(t2_24) OR FIREABLE(t2_4)) AND (FIREABLE(t2_4) OR FIREABLE(t26_3) OR FIREABLE(t21_16)) AND NOT FIREABLE(t3_1) AND FIREABLE(t20_15)))) : A (G ((NOT FIREABLE(t19_15) OR NOT FIREABLE(t25_3) OR FIREABLE(t2_26)))) : A (G ((NOT FIREABLE(t5_26) OR NOT FIREABLE(t4_1) OR FIREABLE(t7_10) OR NOT FIREABLE(tloop22)))) : A (G ((FIREABLE(t13_1) OR NOT FIREABLE(t4_9) OR (FIREABLE(t20_17) AND FIREABLE(t18_22) AND FIREABLE(t21_17)) OR NOT FIREABLE(t14_15)))) : E (F (((FIREABLE(t20_18) OR FIREABLE(t21_23) OR NOT FIREABLE(t20_19)) AND (FIREABLE(t25_23) OR FIREABLE(t24_2)) AND FIREABLE(t11_14) AND NOT FIREABLE(t25_2)))) : E (F ((FIREABLE(t24_22) AND FIREABLE(t2_1) AND FIREABLE(t25_3) AND NOT FIREABLE(t21_23) AND (NOT FIREABLE(tAb4) OR NOT FIREABLE(t16_20) OR NOT FIREABLE(t7_2)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t23_1)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t23_1)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: FIREABLE(t23_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 343935 markings, 1092442 edges, 68787 markings/sec, 0 secs
lola: sara is running 5 secs || 679106 markings, 2324347 edges, 67034 markings/sec, 5 secs
lola: sara is running 10 secs || 1020298 markings, 3481505 edges, 68238 markings/sec, 10 secs
lola: sara is running 15 secs || 1359492 markings, 4886755 edges, 67839 markings/sec, 15 secs
lola: sara is running 20 secs || 1732601 markings, 6495949 edges, 74622 markings/sec, 20 secs
lola: sara is running 25 secs || 2092737 markings, 8164006 edges, 72027 markings/sec, 25 secs
lola: sara is running 30 secs || 2469223 markings, 9593948 edges, 75297 markings/sec, 30 secs
lola: sara is running 35 secs || 2839647 markings, 10860061 edges, 74085 markings/sec, 35 secs
lola: sara is running 40 secs || 3207672 markings, 11973509 edges, 73605 markings/sec, 40 secs
lola: sara is running 45 secs || 3560243 markings, 13398370 edges, 70514 markings/sec, 45 secs
lola: sara is running 50 secs || 3900544 markings, 15077763 edges, 68060 markings/sec, 50 secs
lola: sara is running 55 secs || 4248394 markings, 16622477 edges, 69570 markings/sec, 55 secs
lola: sara is running 60 secs || 4581356 markings, 18376012 edges, 66592 markings/sec, 60 secs
lola: sara is running 65 secs || 4926985 markings, 20033732 edges, 69126 markings/sec, 65 secs
lola: sara is running 70 secs || 5280276 markings, 21838595 edges, 70658 markings/sec, 70 secs
lola: sara is running 75 secs || 5631419 markings, 23392558 edges, 70229 markings/sec, 75 secs
lola: sara is running 80 secs || 5954064 markings, 25309099 edges, 64529 markings/sec, 80 secs
lola: sara is running 85 secs || 6282168 markings, 27246854 edges, 65621 markings/sec, 85 secs
lola: sara is running 90 secs || 6616137 markings, 29260605 edges, 66794 markings/sec, 90 secs
lola: sara is running 95 secs || 6984522 markings, 30848672 edges, 73677 markings/sec, 95 secs
lola: sara is running 100 secs || 7389815 markings, 32334764 edges, 81059 markings/sec, 100 secs
lola: sara is running 105 secs || 7788160 markings, 33801738 edges, 79669 markings/sec, 105 secs
lola: sara is running 110 secs || 8183411 markings, 35287538 edges, 79050 markings/sec, 110 secs
lola: sara is running 115 secs || 8557778 markings, 36709064 edges, 74873 markings/sec, 115 secs
lola: sara is running 120 secs || 8955035 markings, 37850383 edges, 79451 markings/sec, 120 secs
lola: sara is running 125 secs || 9321621 markings, 39267447 edges, 73317 markings/sec, 125 secs
lola: sara is running 130 secs || 9701019 markings, 40819851 edges, 75880 markings/sec, 130 secs
lola: sara is running 135 secs || 10078855 markings, 42477596 edges, 75567 markings/sec, 135 secs
lola: sara is running 140 secs || 10461334 markings, 43977975 edges, 76496 markings/sec, 140 secs
lola: sara is running 145 secs || 10826188 markings, 45723464 edges, 72971 markings/sec, 145 secs
lola: sara is running 150 secs || 11192583 markings, 47579707 edges, 73279 markings/sec, 150 secs
lola: sara is running 155 secs || 11496716 markings, 48952512 edges, 60827 markings/sec, 155 secs
lola: sara is running 160 secs || 11806651 markings, 50449969 edges, 61987 markings/sec, 160 secs
lola: sara is running 165 secs || 12151150 markings, 52009069 edges, 68900 markings/sec, 165 secs
lola: sara is running 170 secs || 12492947 markings, 53561184 edges, 68359 markings/sec, 170 secs
lola: sara is running 175 secs || 12832378 markings, 55120924 edges, 67886 markings/sec, 175 secs
lola: sara is running 180 secs || 13162702 markings, 56434361 edges, 66065 markings/sec, 180 secs
lola: sara is running 185 secs || 13479451 markings, 57787311 edges, 63350 markings/sec, 185 secs
lola: sara is running 190 secs || 13788219 markings, 59368351 edges, 61754 markings/sec, 190 secs
lola: sara is running 195 secs || 14100583 markings, 61000623 edges, 62473 markings/sec, 195 secs
lola: sara is running 200 secs || 14409527 markings, 62641728 edges, 61789 markings/sec, 200 secs
lola: sara is running 205 secs || 14714456 markings, 64490113 edges, 60986 markings/sec, 205 secs
lola: sara is running 210 secs || 15073416 markings, 65997872 edges, 71792 markings/sec, 210 secs
lola: sara is running 215 secs || 15422168 markings, 67707599 edges, 69750 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 562792 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t8_1)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t8_1)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: FIREABLE(t8_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 395458 markings, 1308911 edges, 79092 markings/sec, 0 secs
lola: sara is running 5 secs || 768703 markings, 3071825 edges, 74649 markings/sec, 5 secs
lola: sara is running 10 secs || 1163430 markings, 4678876 edges, 78945 markings/sec, 10 secs
lola: sara is running 15 secs || 1556789 markings, 6162095 edges, 78672 markings/sec, 15 secs
lola: sara is running 20 secs || 1914723 markings, 7673053 edges, 71587 markings/sec, 20 secs
lola: sara is running 25 secs || 2242732 markings, 9465207 edges, 65602 markings/sec, 25 secs
lola: sara is running 30 secs || 2585662 markings, 11075898 edges, 68586 markings/sec, 30 secs
lola: sara is running 35 secs || 2916240 markings, 12758091 edges, 66116 markings/sec, 35 secs
lola: sara is running 40 secs || 3289685 markings, 14178549 edges, 74689 markings/sec, 40 secs
lola: sara is running 45 secs || 3629439 markings, 15892499 edges, 67951 markings/sec, 45 secs
lola: sara is running 50 secs || 3967221 markings, 17548197 edges, 67556 markings/sec, 50 secs
lola: sara is running 55 secs || 4293409 markings, 19273315 edges, 65238 markings/sec, 55 secs
lola: sara is running 60 secs || 4632264 markings, 20822675 edges, 67771 markings/sec, 60 secs
lola: sara is running 65 secs || 4981762 markings, 22327337 edges, 69900 markings/sec, 65 secs
lola: sara is running 70 secs || 5301979 markings, 24097932 edges, 64043 markings/sec, 70 secs
lola: sara is running 75 secs || 5635720 markings, 25692542 edges, 66748 markings/sec, 75 secs
lola: sara is running 80 secs || 5958639 markings, 27363772 edges, 64584 markings/sec, 80 secs
lola: sara is running 85 secs || 6274075 markings, 29110195 edges, 63087 markings/sec, 85 secs
lola: sara is running 90 secs || 6588893 markings, 30791779 edges, 62964 markings/sec, 90 secs
lola: sara is running 95 secs || 6895501 markings, 32441260 edges, 61322 markings/sec, 95 secs
lola: sara is running 100 secs || 7182509 markings, 34110436 edges, 57402 markings/sec, 100 secs
lola: sara is running 105 secs || 7466940 markings, 35711479 edges, 56886 markings/sec, 105 secs
lola: sara is running 110 secs || 7777861 markings, 37175916 edges, 62184 markings/sec, 110 secs
lola: sara is running 115 secs || 8057307 markings, 38858721 edges, 55889 markings/sec, 115 secs
lola: sara is running 120 secs || 8342215 markings, 40438868 edges, 56982 markings/sec, 120 secs
lola: sara is running 125 secs || 8620608 markings, 42082075 edges, 55679 markings/sec, 125 secs
lola: sara is running 130 secs || 8895180 markings, 43664184 edges, 54914 markings/sec, 130 secs
lola: sara is running 135 secs || 9244486 markings, 45215893 edges, 69861 markings/sec, 135 secs
lola: sara is running 140 secs || 9553182 markings, 47006507 edges, 61739 markings/sec, 140 secs
lola: sara is running 145 secs || 9891194 markings, 48654988 edges, 67602 markings/sec, 145 secs
lola: sara is running 150 secs || 10198264 markings, 50430823 edges, 61414 markings/sec, 150 secs
lola: sara is running 155 secs || 10515173 markings, 52110279 edges, 63382 markings/sec, 155 secs
lola: sara is running 160 secs || 10816283 markings, 53850795 edges, 60222 markings/sec, 160 secs
lola: sara is running 165 secs || 11098096 markings, 55741161 edges, 56363 markings/sec, 165 secs
lola: sara is running 170 secs || 11402850 markings, 57453464 edges, 60951 markings/sec, 170 secs
lola: sara is running 175 secs || 11730183 markings, 59079650 edges, 65467 markings/sec, 175 secs
lola: sara is running 180 secs || 12027291 markings, 60888529 edges, 59422 markings/sec, 180 secs
lola: sara is running 185 secs || 12321480 markings, 62713699 edges, 58838 markings/sec, 185 secs
lola: sara is running 190 secs || 12625849 markings, 64404689 edges, 60874 markings/sec, 190 secs
lola: sara is running 195 secs || 12911560 markings, 66204310 edges, 57142 markings/sec, 195 secs
lola: sara is running 200 secs || 13239690 markings, 67645900 edges, 65626 markings/sec, 200 secs
lola: sara is running 205 secs || 13537655 markings, 69294122 edges, 59593 markings/sec, 205 secs
lola: sara is running 210 secs || 13815717 markings, 71086634 edges, 55612 markings/sec, 210 secs
lola: sara is running 215 secs || 14102466 markings, 72865923 edges, 57350 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 491852 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t3_26) AND FIREABLE(t16_15))))
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 ((FIREABLE(t3_26) AND FIREABLE(t16_15))))
lola: processed formula length: 46
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (FIREABLE(t3_26) AND FIREABLE(t16_15))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-2-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 556021 markings, 1434879 edges, 111204 markings/sec, 0 secs
lola: sara is running 5 secs || 1109418 markings, 2883371 edges, 110679 markings/sec, 5 secs
lola: sara is running 10 secs || 1685798 markings, 4250130 edges, 115276 markings/sec, 10 secs
lola: sara is running 15 secs || 2247193 markings, 5662762 edges, 112279 markings/sec, 15 secs
lola: sara is running 20 secs || 2766646 markings, 7235914 edges, 103891 markings/sec, 20 secs
lola: sara is running 25 secs || 3216826 markings, 8998243 edges, 90036 markings/sec, 25 secs
lola: sara is running 30 secs || 3710579 markings, 10812545 edges, 98751 markings/sec, 30 secs
lola: sara is running 35 secs || 4202695 markings, 12528315 edges, 98423 markings/sec, 35 secs
lola: sara is running 40 secs || 4765971 markings, 13924281 edges, 112655 markings/sec, 40 secs
lola: sara is running 45 secs || 5293868 markings, 15448760 edges, 105579 markings/sec, 45 secs
lola: sara is running 50 secs || 5753479 markings, 17235454 edges, 91922 markings/sec, 50 secs
lola: sara is running 55 secs || 6282089 markings, 18725805 edges, 105722 markings/sec, 55 secs
lola: sara is running 60 secs || 6776033 markings, 20374185 edges, 98789 markings/sec, 60 secs
lola: sara is running 65 secs || 7189844 markings, 21942543 edges, 82762 markings/sec, 65 secs
lola: sara is running 70 secs || 7489562 markings, 23451589 edges, 59944 markings/sec, 70 secs
lola: sara is running 75 secs || 7796959 markings, 24912103 edges, 61479 markings/sec, 75 secs
lola: sara is running 80 secs || 8140438 markings, 26399810 edges, 68696 markings/sec, 80 secs
lola: sara is running 85 secs || 8446804 markings, 27926956 edges, 61273 markings/sec, 85 secs
lola: sara is running 90 secs || 8802992 markings, 29423392 edges, 71238 markings/sec, 90 secs
lola: sara is running 95 secs || 9125576 markings, 30878619 edges, 64517 markings/sec, 95 secs
lola: sara is running 100 secs || 9454890 markings, 32259640 edges, 65863 markings/sec, 100 secs
lola: sara is running 105 secs || 9787547 markings, 33707279 edges, 66531 markings/sec, 105 secs
lola: sara is running 110 secs || 10091391 markings, 35210275 edges, 60769 markings/sec, 110 secs
lola: sara is running 115 secs || 10472309 markings, 36589653 edges, 76184 markings/sec, 115 secs
lola: sara is running 120 secs || 10797447 markings, 38314951 edges, 65028 markings/sec, 120 secs
lola: sara is running 125 secs || 11094203 markings, 40001706 edges, 59351 markings/sec, 125 secs
lola: sara is running 130 secs || 11374736 markings, 41558952 edges, 56107 markings/sec, 130 secs
lola: sara is running 135 secs || 11636513 markings, 43352889 edges, 52355 markings/sec, 135 secs
lola: sara is running 140 secs || 11950290 markings, 44835764 edges, 62755 markings/sec, 140 secs
lola: sara is running 145 secs || 12235342 markings, 46341069 edges, 57010 markings/sec, 145 secs
lola: sara is running 150 secs || 12613032 markings, 47777252 edges, 75538 markings/sec, 150 secs
lola: sara is running 155 secs || 13104229 markings, 49139401 edges, 98239 markings/sec, 155 secs
lola: sara is running 160 secs || 13627058 markings, 50539270 edges, 104566 markings/sec, 160 secs
lola: sara is running 165 secs || 14147181 markings, 52017258 edges, 104025 markings/sec, 165 secs
lola: sara is running 170 secs || 14615344 markings, 53590469 edges, 93633 markings/sec, 170 secs
lola: sara is running 175 secs || 15089867 markings, 55169307 edges, 94905 markings/sec, 175 secs
lola: sara is running 180 secs || 15510663 markings, 56835088 edges, 84159 markings/sec, 180 secs
lola: sara is running 185 secs || 15888346 markings, 58557676 edges, 75537 markings/sec, 185 secs
lola: sara is running 190 secs || 16164717 markings, 60236543 edges, 55274 markings/sec, 190 secs
lola: sara is running 195 secs || 16480066 markings, 61883144 edges, 63070 markings/sec, 195 secs
lola: sara is running 200 secs || 16961226 markings, 63625962 edges, 96232 markings/sec, 200 secs
lola: sara is running 205 secs || 17301165 markings, 65479065 edges, 67988 markings/sec, 205 secs
lola: sara is running 210 secs || 17610435 markings, 67432697 edges, 61854 markings/sec, 210 secs
lola: sara is running 215 secs || 17991736 markings, 69066761 edges, 76260 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 636704 KB
lola: time consumption: 670 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t14_15) AND NOT FIREABLE(tAb5) AND NOT FIREABLE(t6_9))))
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 ((FIREABLE(t14_15) AND NOT FIREABLE(tAb5) AND NOT FIREABLE(t6_9))))
lola: processed formula length: 72
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (FIREABLE(t14_15) AND NOT FIREABLE(tAb5) AND NOT FIREABLE(t6_9))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-3-0.sara
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t19_15) OR NOT FIREABLE(t25_3) OR FIREABLE(t2_26))))
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 ((NOT FIREABLE(t19_15) OR NOT FIREABLE(t25_3) OR FIREABLE(t2_26))))
lola: processed formula length: 74
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (FIREABLE(t19_15) AND FIREABLE(t25_3) AND NOT FIREABLE(t2_26))
lola: state equation: Generated DNF with 10 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 447999 markings, 1234964 edges, 89600 markings/sec, 0 secs
lola: sara is running 5 secs || 840602 markings, 2473658 edges, 78521 markings/sec, 5 secs
lola: sara is running 10 secs || 1213386 markings, 3712655 edges, 74557 markings/sec, 10 secs
lola: sara is running 15 secs || 1599890 markings, 4920265 edges, 77301 markings/sec, 15 secs
lola: sara is running 20 secs || 1981245 markings, 6171915 edges, 76271 markings/sec, 20 secs
lola: sara is running 25 secs || 2344524 markings, 7416022 edges, 72656 markings/sec, 25 secs
lola: sara is running 30 secs || 2714257 markings, 8642829 edges, 73947 markings/sec, 30 secs
lola: sara is running 35 secs || 3082872 markings, 9915374 edges, 73723 markings/sec, 35 secs
lola: sara is running 40 secs || 3447468 markings, 11247896 edges, 72919 markings/sec, 40 secs
lola: sara is running 45 secs || 3814480 markings, 12500150 edges, 73402 markings/sec, 45 secs
lola: sara is running 50 secs || 4190791 markings, 13680652 edges, 75262 markings/sec, 50 secs
lola: sara is running 55 secs || 4534945 markings, 15039062 edges, 68831 markings/sec, 55 secs
lola: sara is running 60 secs || 4880609 markings, 16373462 edges, 69133 markings/sec, 60 secs
lola: sara is running 65 secs || 5224432 markings, 17696028 edges, 68765 markings/sec, 65 secs
lola: sara is running 70 secs || 5561672 markings, 19066876 edges, 67448 markings/sec, 70 secs
lola: sara is running 75 secs || 5870864 markings, 20319583 edges, 61838 markings/sec, 75 secs
lola: sara is running 80 secs || 6201618 markings, 21662612 edges, 66151 markings/sec, 80 secs
lola: sara is running 85 secs || 6489249 markings, 22938595 edges, 57526 markings/sec, 85 secs
lola: sara is running 90 secs || 6808916 markings, 24070220 edges, 63933 markings/sec, 90 secs
lola: sara is running 95 secs || 7138436 markings, 25320616 edges, 65904 markings/sec, 95 secs
lola: sara is running 100 secs || 7498136 markings, 26613956 edges, 71940 markings/sec, 100 secs
lola: sara is running 105 secs || 7857719 markings, 28101506 edges, 71917 markings/sec, 105 secs
lola: sara is running 110 secs || 8232790 markings, 29534754 edges, 75014 markings/sec, 110 secs
lola: sara is running 115 secs || 8589301 markings, 31107446 edges, 71302 markings/sec, 115 secs
lola: sara is running 120 secs || 8971933 markings, 32370893 edges, 76526 markings/sec, 120 secs
lola: sara is running 125 secs || 9329519 markings, 33900745 edges, 71517 markings/sec, 125 secs
lola: sara is running 130 secs || 9681196 markings, 35477360 edges, 70335 markings/sec, 130 secs
lola: sara is running 135 secs || 10045532 markings, 36944390 edges, 72867 markings/sec, 135 secs
lola: sara is running 140 secs || 10413144 markings, 38402442 edges, 73522 markings/sec, 140 secs
lola: sara is running 145 secs || 10763208 markings, 39936204 edges, 70013 markings/sec, 145 secs
lola: sara is running 150 secs || 11135192 markings, 41375828 edges, 74397 markings/sec, 150 secs
lola: sara is running 155 secs || 11494820 markings, 42711673 edges, 71926 markings/sec, 155 secs
lola: sara is running 160 secs || 11834824 markings, 44195567 edges, 68001 markings/sec, 160 secs
lola: sara is running 165 secs || 12172639 markings, 45609551 edges, 67563 markings/sec, 165 secs
lola: sara is running 170 secs || 12528409 markings, 46839340 edges, 71154 markings/sec, 170 secs
lola: sara is running 175 secs || 12884583 markings, 48025076 edges, 71235 markings/sec, 175 secs
lola: sara is running 180 secs || 13186435 markings, 49212268 edges, 60370 markings/sec, 180 secs
lola: sara is running 185 secs || 13510004 markings, 50397341 edges, 64714 markings/sec, 185 secs
lola: sara is running 190 secs || 13857327 markings, 51690805 edges, 69465 markings/sec, 190 secs
lola: sara is running 195 secs || 14194076 markings, 53043669 edges, 67350 markings/sec, 195 secs
lola: sara is running 200 secs || 14533430 markings, 54392081 edges, 67871 markings/sec, 200 secs
lola: sara is running 205 secs || 14857706 markings, 55724306 edges, 64855 markings/sec, 205 secs
lola: sara is running 210 secs || 15190230 markings, 57014905 edges, 66505 markings/sec, 210 secs
lola: sara is running 215 secs || 15531558 markings, 58310874 edges, 68266 markings/sec, 215 secs
lola: sara is running 220 secs || 15900069 markings, 59418129 edges, 73702 markings/sec, 220 secs
lola: sara is running 225 secs || 16278500 markings, 60545563 edges, 75686 markings/sec, 225 secs
lola: sara is running 230 secs || 16626908 markings, 61905607 edges, 69682 markings/sec, 230 secs
lola: sara is running 235 secs || 16972691 markings, 63172427 edges, 69157 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 587724 KB
lola: time consumption: 911 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t5_26) OR NOT FIREABLE(t4_1) OR FIREABLE(t7_10) OR NOT FIREABLE(tloop22))))
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 ((NOT FIREABLE(t5_26) OR NOT FIREABLE(t4_1) OR FIREABLE(t7_10) OR NOT FIREABLE(tloop22))))
lola: processed formula length: 98
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (FIREABLE(t5_26) AND FIREABLE(t4_1) AND NOT FIREABLE(t7_10) AND FIREABLE(tloop22))
lola: state equation: Generated DNF with 12 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 368676 markings, 1274035 edges, 73735 markings/sec, 0 secs
lola: sara is running 5 secs || 776099 markings, 2525245 edges, 81485 markings/sec, 5 secs
lola: sara is running 10 secs || 1141476 markings, 4067695 edges, 73075 markings/sec, 10 secs
lola: sara is running 15 secs || 1503231 markings, 5534936 edges, 72351 markings/sec, 15 secs
lola: sara is running 20 secs || 1830432 markings, 6986091 edges, 65440 markings/sec, 20 secs
lola: sara is running 25 secs || 2195658 markings, 8345247 edges, 73045 markings/sec, 25 secs
lola: sara is running 30 secs || 2519970 markings, 9769633 edges, 64862 markings/sec, 30 secs
lola: sara is running 35 secs || 2845041 markings, 11151421 edges, 65014 markings/sec, 35 secs
lola: sara is running 40 secs || 3196934 markings, 12553936 edges, 70379 markings/sec, 40 secs
lola: sara is running 45 secs || 3510162 markings, 14131059 edges, 62646 markings/sec, 45 secs
lola: sara is running 50 secs || 3803683 markings, 15677137 edges, 58704 markings/sec, 50 secs
lola: sara is running 55 secs || 4084415 markings, 17278981 edges, 56146 markings/sec, 55 secs
lola: sara is running 60 secs || 4358979 markings, 19033887 edges, 54913 markings/sec, 60 secs
lola: sara is running 65 secs || 4720203 markings, 20666184 edges, 72245 markings/sec, 65 secs
lola: sara is running 70 secs || 5037732 markings, 22364032 edges, 63506 markings/sec, 70 secs
lola: sara is running 75 secs || 5307828 markings, 24162797 edges, 54019 markings/sec, 75 secs
lola: sara is running 80 secs || 5612994 markings, 25959289 edges, 61033 markings/sec, 80 secs
lola: sara is running 85 secs || 5995377 markings, 27351735 edges, 76477 markings/sec, 85 secs
lola: sara is running 90 secs || 6365555 markings, 28868043 edges, 74036 markings/sec, 90 secs
lola: sara is running 95 secs || 6689064 markings, 30416443 edges, 64702 markings/sec, 95 secs
lola: sara is running 100 secs || 7007957 markings, 31830139 edges, 63779 markings/sec, 100 secs
lola: sara is running 105 secs || 7303029 markings, 33414891 edges, 59014 markings/sec, 105 secs
lola: sara is running 110 secs || 7585773 markings, 35070327 edges, 56549 markings/sec, 110 secs
lola: sara is running 115 secs || 7857088 markings, 36700531 edges, 54263 markings/sec, 115 secs
lola: sara is running 120 secs || 8166646 markings, 38185523 edges, 61912 markings/sec, 120 secs
lola: sara is running 125 secs || 8471030 markings, 39723249 edges, 60877 markings/sec, 125 secs
lola: sara is running 130 secs || 8797060 markings, 41158045 edges, 65206 markings/sec, 130 secs
lola: sara is running 135 secs || 9149486 markings, 42531095 edges, 70485 markings/sec, 135 secs
lola: sara is running 140 secs || 9424588 markings, 43990182 edges, 55020 markings/sec, 140 secs
lola: sara is running 145 secs || 9679980 markings, 45529339 edges, 51078 markings/sec, 145 secs
lola: sara is running 150 secs || 9990964 markings, 47080488 edges, 62197 markings/sec, 150 secs
lola: sara is running 155 secs || 10291215 markings, 48730373 edges, 60050 markings/sec, 155 secs
lola: sara is running 160 secs || 10581899 markings, 50306336 edges, 58137 markings/sec, 160 secs
lola: sara is running 165 secs || 10860612 markings, 51987321 edges, 55743 markings/sec, 165 secs
lola: sara is running 170 secs || 11145859 markings, 53499487 edges, 57049 markings/sec, 170 secs
lola: sara is running 175 secs || 11443812 markings, 55144091 edges, 59591 markings/sec, 175 secs
lola: sara is running 180 secs || 11726942 markings, 56885440 edges, 56626 markings/sec, 180 secs
lola: sara is running 185 secs || 11987827 markings, 58523528 edges, 52177 markings/sec, 185 secs
lola: sara is running 190 secs || 12278276 markings, 60103667 edges, 58090 markings/sec, 190 secs
lola: sara is running 195 secs || 12546012 markings, 61727984 edges, 53547 markings/sec, 195 secs
lola: sara is running 200 secs || 12812072 markings, 63350960 edges, 53212 markings/sec, 200 secs
lola: sara is running 205 secs || 13097427 markings, 64807120 edges, 57071 markings/sec, 205 secs
lola: sara is running 210 secs || 13377996 markings, 66439908 edges, 56114 markings/sec, 210 secs
lola: sara is running 215 secs || 13666302 markings, 68030591 edges, 57661 markings/sec, 215 secs
lola: sara is running 220 secs || 13911810 markings, 69474329 edges, 49102 markings/sec, 220 secs
lola: sara is running 225 secs || 14187424 markings, 71119276 edges, 55123 markings/sec, 225 secs
lola: sara is running 230 secs || 14451936 markings, 72791231 edges, 52902 markings/sec, 230 secs
lola: sara is running 235 secs || 14718689 markings, 74617107 edges, 53351 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 513272 KB
lola: time consumption: 1152 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((NOT FIREABLE(tloop22) AND FIREABLE(t13_12)) OR (NOT FIREABLE(t20_18) AND NOT FIREABLE(t7_9))) AND FIREABLE(t17_18))))
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 ((((NOT FIREABLE(tloop22) AND FIREABLE(t13_12)) OR (NOT FIREABLE(t20_18) AND NOT FIREABLE(t7_9))) AND FIREABLE(t17_18))))
lola: processed formula length: 127
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (((NOT FIREABLE(tloop22) AND FIREABLE(t13_12)) OR (NOT FIREABLE(t20_18) AND NOT FIREABLE(t7_9))) AND FIREABLE(t17_18))
lola: state equation: Generated DNF with 13 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-6-0.sara
lola:
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 7 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t11_14) OR NOT FIREABLE(t1_3) OR (NOT FIREABLE(t16_4) AND NOT FIREABLE(t13_11)) OR FIREABLE(t24_3))))
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 ((NOT FIREABLE(t11_14) OR NOT FIREABLE(t1_3) OR (NOT FIREABLE(t16_4) AND NOT FIREABLE(t13_11)) OR FIREABLE(t24_3))))
lola: processed formula length: 124
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (FIREABLE(t11_14) AND FIREABLE(t1_3) AND (FIREABLE(t16_4) OR FIREABLE(t13_11)) AND NOT FIREABLE(t24_3))
lola: state equation: Generated DNF with 14 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 15309 markings, 17496 edges
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t15_17) AND FIREABLE(t10_8) AND NOT FIREABLE(tb16) AND NOT FIREABLE(t7_1) AND (FIREABLE(tb4) OR FIREABLE(t18_22)))))
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 ((FIREABLE(t15_17) AND FIREABLE(t10_8) AND NOT FIREABLE(tb16) AND NOT FIREABLE(t7_1) AND (FIREABLE(tb4) OR FIREABLE(t18_22)))))
lola: processed formula length: 133
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (FIREABLE(t15_17) AND FIREABLE(t10_8) AND NOT FIREABLE(tb16) AND NOT FIREABLE(t7_1) AND (FIREABLE(tb4) OR FIREABLE(t18_22)))
lola: state equation: Generated DNF with 30 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 503448 markings, 1397734 edges, 100690 markings/sec, 0 secs
lola: sara is running 5 secs || 993278 markings, 2844814 edges, 97966 markings/sec, 5 secs
lola: sara is running 10 secs || 1493832 markings, 4431963 edges, 100111 markings/sec, 10 secs
lola: sara is running 15 secs || 1959395 markings, 5856513 edges, 93113 markings/sec, 15 secs
lola: sara is running 20 secs || 2485056 markings, 7480774 edges, 105132 markings/sec, 20 secs
lola: sara is running 25 secs || 3161900 markings, 9179683 edges, 135369 markings/sec, 25 secs
lola: sara is running 30 secs || 3519726 markings, 10588889 edges, 71565 markings/sec, 30 secs
lola: sara is running 35 secs || 3978787 markings, 12258289 edges, 91812 markings/sec, 35 secs
lola: sara is running 40 secs || 4459594 markings, 14131175 edges, 96161 markings/sec, 40 secs
lola: sara is running 45 secs || 4989367 markings, 15687990 edges, 105955 markings/sec, 45 secs
lola: sara is running 50 secs || 5446817 markings, 17131180 edges, 91490 markings/sec, 50 secs
lola: sara is running 55 secs || 5905957 markings, 18564095 edges, 91828 markings/sec, 55 secs
lola: sara is running 60 secs || 6361113 markings, 20030993 edges, 91031 markings/sec, 60 secs
lola: sara is running 65 secs || 6779920 markings, 21440751 edges, 83761 markings/sec, 65 secs
lola: sara is running 70 secs || 7217573 markings, 22964394 edges, 87531 markings/sec, 70 secs
lola: sara is running 75 secs || 7661379 markings, 24512040 edges, 88761 markings/sec, 75 secs
lola: sara is running 80 secs || 8082338 markings, 26073275 edges, 84192 markings/sec, 80 secs
lola: sara is running 85 secs || 8492006 markings, 27559264 edges, 81934 markings/sec, 85 secs
lola: sara is running 90 secs || 8860260 markings, 28921116 edges, 73651 markings/sec, 90 secs
lola: sara is running 95 secs || 9317225 markings, 30518155 edges, 91393 markings/sec, 95 secs
lola: sara is running 100 secs || 9678661 markings, 32130588 edges, 72287 markings/sec, 100 secs
lola: sara is running 105 secs || 10302687 markings, 33944861 edges, 124805 markings/sec, 105 secs
lola: sara is running 110 secs || 10835464 markings, 35426106 edges, 106555 markings/sec, 110 secs
lola: sara is running 115 secs || 11213750 markings, 36999736 edges, 75657 markings/sec, 115 secs
lola: sara is running 120 secs || 11696600 markings, 38593840 edges, 96570 markings/sec, 120 secs
lola: sara is running 125 secs || 12219486 markings, 40285797 edges, 104577 markings/sec, 125 secs
lola: sara is running 130 secs || 12714183 markings, 41723102 edges, 98939 markings/sec, 130 secs
lola: sara is running 135 secs || 13167354 markings, 43208832 edges, 90634 markings/sec, 135 secs
lola: sara is running 140 secs || 13672444 markings, 44867983 edges, 101018 markings/sec, 140 secs
lola: sara is running 145 secs || 14064729 markings, 46553406 edges, 78457 markings/sec, 145 secs
lola: sara is running 150 secs || 14407225 markings, 47951766 edges, 68499 markings/sec, 150 secs
lola: sara is running 155 secs || 14899670 markings, 49630483 edges, 98489 markings/sec, 155 secs
lola: sara is running 160 secs || 15398013 markings, 51613863 edges, 99669 markings/sec, 160 secs
lola: sara is running 165 secs || 15937962 markings, 53242016 edges, 107990 markings/sec, 165 secs
lola: sara is running 170 secs || 16320774 markings, 54876755 edges, 76562 markings/sec, 170 secs
lola: sara is running 175 secs || 16711404 markings, 56612070 edges, 78126 markings/sec, 175 secs
lola: sara is running 180 secs || 17176743 markings, 58183712 edges, 93068 markings/sec, 180 secs
lola: sara is running 185 secs || 17911997 markings, 59753236 edges, 147051 markings/sec, 185 secs
lola: sara is running 190 secs || 18399958 markings, 61147027 edges, 97592 markings/sec, 190 secs
lola: sara is running 195 secs || 18750416 markings, 62424358 edges, 70092 markings/sec, 195 secs
lola: sara is running 200 secs || 19268894 markings, 64282910 edges, 103696 markings/sec, 200 secs
lola: sara is running 205 secs || 19707806 markings, 65744921 edges, 87782 markings/sec, 205 secs
lola: sara is running 210 secs || 20151576 markings, 67315209 edges, 88754 markings/sec, 210 secs
lola: sara is running 215 secs || 20623263 markings, 68921787 edges, 94337 markings/sec, 215 secs
lola: sara is running 220 secs || 21039735 markings, 70570222 edges, 83294 markings/sec, 220 secs
lola: sara is running 225 secs || 21395339 markings, 72076706 edges, 71121 markings/sec, 225 secs
lola: sara is running 230 secs || 21730566 markings, 73493261 edges, 67045 markings/sec, 230 secs
lola: sara is running 235 secs || 22219613 markings, 75225062 edges, 97809 markings/sec, 235 secs
lola: sara is running 240 secs || 22667332 markings, 77069763 edges, 89544 markings/sec, 240 secs
lola: sara is running 245 secs || 23199873 markings, 78681976 edges, 106508 markings/sec, 245 secs
lola: sara is running 250 secs || 23620940 markings, 80242725 edges, 84213 markings/sec, 250 secs
lola: sara is running 255 secs || 24028173 markings, 81703231 edges, 81447 markings/sec, 255 secs
lola: sara is running 260 secs || 24436362 markings, 83138207 edges, 81638 markings/sec, 260 secs
lola: sara is running 265 secs || 24824737 markings, 84616774 edges, 77675 markings/sec, 265 secs
lola: sara is running 270 secs || 25238364 markings, 86213030 edges, 82725 markings/sec, 270 secs
lola: sara is running 275 secs || 25638753 markings, 87808698 edges, 80078 markings/sec, 275 secs
lola: sara is running 280 secs || 26050369 markings, 89500363 edges, 82323 markings/sec, 280 secs
lola: sara is running 285 secs || 26450144 markings, 91109794 edges, 79955 markings/sec, 285 secs
lola: sara is running 290 secs || 26802801 markings, 92314829 edges, 70531 markings/sec, 290 secs
lola: sara is running 295 secs || 27222848 markings, 93706139 edges, 84009 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 932080 KB
lola: time consumption: 1454 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t13_1) OR NOT FIREABLE(t4_9) OR (FIREABLE(t20_17) AND FIREABLE(t18_22) AND FIREABLE(t21_17)) OR NOT FIREABLE(t14_15))))
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 ((FIREABLE(t13_1) OR NOT FIREABLE(t4_9) OR (FIREABLE(t20_17) AND FIREABLE(t18_22) AND FIREABLE(t21_17)) OR NOT FIREABLE(t14_15))))
lola: processed formula length: 138
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (NOT FIREABLE(t13_1) AND FIREABLE(t4_9) AND (NOT FIREABLE(t20_17) OR NOT FIREABLE(t18_22) OR NOT FIREABLE(t21_17)) AND FIREABLE(t14_15))
lola: state equation: Generated DNF with 72 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 469185 markings, 1126488 edges, 93837 markings/sec, 0 secs
lola: sara is running 5 secs || 915838 markings, 2368582 edges, 89331 markings/sec, 5 secs
lola: sara is running 10 secs || 1282199 markings, 3666376 edges, 73272 markings/sec, 10 secs
lola: sara is running 15 secs || 1661231 markings, 5144546 edges, 75806 markings/sec, 15 secs
lola: sara is running 20 secs || 2033231 markings, 6575985 edges, 74400 markings/sec, 20 secs
lola: sara is running 25 secs || 2374635 markings, 8137616 edges, 68281 markings/sec, 25 secs
lola: sara is running 30 secs || 2779923 markings, 9581589 edges, 81058 markings/sec, 30 secs
lola: sara is running 35 secs || 3162792 markings, 10948143 edges, 76574 markings/sec, 35 secs
lola: sara is running 40 secs || 3511010 markings, 12396621 edges, 69644 markings/sec, 40 secs
lola: sara is running 45 secs || 3904051 markings, 13842810 edges, 78608 markings/sec, 45 secs
lola: sara is running 50 secs || 4262255 markings, 15255479 edges, 71641 markings/sec, 50 secs
lola: sara is running 55 secs || 4665554 markings, 16536282 edges, 80660 markings/sec, 55 secs
lola: sara is running 60 secs || 5069037 markings, 17941849 edges, 80697 markings/sec, 60 secs
lola: sara is running 65 secs || 5478120 markings, 19031045 edges, 81817 markings/sec, 65 secs
lola: sara is running 70 secs || 5867548 markings, 20157042 edges, 77886 markings/sec, 70 secs
lola: sara is running 75 secs || 6225669 markings, 21524414 edges, 71624 markings/sec, 75 secs
lola: sara is running 80 secs || 6583725 markings, 22932047 edges, 71611 markings/sec, 80 secs
lola: sara is running 85 secs || 6941824 markings, 24370078 edges, 71620 markings/sec, 85 secs
lola: sara is running 90 secs || 7305234 markings, 25820409 edges, 72682 markings/sec, 90 secs
lola: sara is running 95 secs || 7645953 markings, 27261278 edges, 68144 markings/sec, 95 secs
lola: sara is running 100 secs || 8026810 markings, 28590406 edges, 76171 markings/sec, 100 secs
lola: sara is running 105 secs || 8387602 markings, 29951363 edges, 72158 markings/sec, 105 secs
lola: sara is running 110 secs || 8767153 markings, 31165513 edges, 75910 markings/sec, 110 secs
lola: sara is running 115 secs || 9206912 markings, 32431589 edges, 87952 markings/sec, 115 secs
lola: sara is running 120 secs || 9593417 markings, 33849143 edges, 77301 markings/sec, 120 secs
lola: sara is running 125 secs || 9951838 markings, 35359340 edges, 71684 markings/sec, 125 secs
lola: sara is running 130 secs || 10255019 markings, 36919826 edges, 60636 markings/sec, 130 secs
lola: sara is running 135 secs || 10551747 markings, 38454340 edges, 59346 markings/sec, 135 secs
lola: sara is running 140 secs || 10826962 markings, 40080995 edges, 55043 markings/sec, 140 secs
lola: sara is running 145 secs || 11114477 markings, 41589109 edges, 57503 markings/sec, 145 secs
lola: sara is running 150 secs || 11417740 markings, 43109839 edges, 60653 markings/sec, 150 secs
lola: sara is running 155 secs || 11708976 markings, 44708255 edges, 58247 markings/sec, 155 secs
lola: sara is running 160 secs || 12073899 markings, 46278394 edges, 72985 markings/sec, 160 secs
lola: sara is running 165 secs || 12431600 markings, 47750835 edges, 71540 markings/sec, 165 secs
lola: sara is running 170 secs || 12797015 markings, 49258101 edges, 73083 markings/sec, 170 secs
lola: sara is running 175 secs || 13223620 markings, 50634854 edges, 85321 markings/sec, 175 secs
lola: sara is running 180 secs || 13565249 markings, 52156825 edges, 68326 markings/sec, 180 secs
lola: sara is running 185 secs || 13928578 markings, 53669414 edges, 72666 markings/sec, 185 secs
lola: sara is running 190 secs || 14331220 markings, 54853120 edges, 80528 markings/sec, 190 secs
lola: sara is running 195 secs || 14723652 markings, 56037984 edges, 78486 markings/sec, 195 secs
lola: sara is running 200 secs || 15091032 markings, 57216613 edges, 73476 markings/sec, 200 secs
lola: sara is running 205 secs || 15469653 markings, 58521290 edges, 75724 markings/sec, 205 secs
lola: sara is running 210 secs || 15822815 markings, 59923245 edges, 70632 markings/sec, 210 secs
lola: sara is running 215 secs || 16172565 markings, 61371541 edges, 69950 markings/sec, 215 secs
lola: sara is running 220 secs || 16506426 markings, 62904280 edges, 66772 markings/sec, 220 secs
lola: sara is running 225 secs || 16832079 markings, 64522280 edges, 65131 markings/sec, 225 secs
lola: sara is running 230 secs || 17156500 markings, 66220437 edges, 64884 markings/sec, 230 secs
lola: sara is running 235 secs || 17563567 markings, 67745289 edges, 81413 markings/sec, 235 secs
lola: sara is running 240 secs || 17960300 markings, 69166420 edges, 79347 markings/sec, 240 secs
lola: sara is running 245 secs || 18302450 markings, 70581436 edges, 68430 markings/sec, 245 secs
lola: sara is running 250 secs || 18641205 markings, 71970657 edges, 67751 markings/sec, 250 secs
lola: sara is running 255 secs || 18978973 markings, 73537862 edges, 67554 markings/sec, 255 secs
lola: sara is running 260 secs || 19243899 markings, 74915565 edges, 52985 markings/sec, 260 secs
lola: sara is running 265 secs || 19558464 markings, 76412260 edges, 62913 markings/sec, 265 secs
lola: sara is running 270 secs || 19893034 markings, 77805978 edges, 66914 markings/sec, 270 secs
lola: sara is running 275 secs || 20284970 markings, 79182001 edges, 78387 markings/sec, 275 secs
lola: sara is running 280 secs || 20604765 markings, 80726277 edges, 63959 markings/sec, 280 secs
lola: sara is running 285 secs || 20927650 markings, 82148127 edges, 64577 markings/sec, 285 secs
lola: sara is running 290 secs || 21303484 markings, 83602426 edges, 75167 markings/sec, 290 secs
lola: sara is running 295 secs || 21617347 markings, 85285409 edges, 62773 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 748424 KB
lola: time consumption: 1756 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t12_1) AND (FIREABLE(t2_24) OR FIREABLE(t2_4)) AND (FIREABLE(t2_4) OR FIREABLE(t26_3) OR FIREABLE(t21_16)) AND NOT FIREABLE(t3_1) AND FIREABLE(t20_15))))
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 ((NOT FIREABLE(t12_1) AND (FIREABLE(t2_24) OR FIREABLE(t2_4)) AND (FIREABLE(t2_4) OR FIREABLE(t26_3) OR FIREABLE(t21_16)) AND NOT FIREABLE(t3_1) AND FIREABLE(t20_15))))
lola: processed formula length: 176
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (NOT FIREABLE(t12_1) AND (FIREABLE(t2_24) OR FIREABLE(t2_4)) AND (FIREABLE(t2_4) OR FIREABLE(t26_3) OR FIREABLE(t21_16)) AND NOT FIREABLE(t3_1) AND FIREABLE(t20_15))
lola: state equation: Generated DNF with 192 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 384629 markings, 1249382 edges, 76926 markings/sec, 0 secs
lola: sara is running 5 secs || 770477 markings, 2496348 edges, 77170 markings/sec, 5 secs
lola: sara is running 10 secs || 1162245 markings, 3847066 edges, 78354 markings/sec, 10 secs
lola: sara is running 15 secs || 1548074 markings, 5142416 edges, 77166 markings/sec, 15 secs
lola: sara is running 20 secs || 1878435 markings, 6340810 edges, 66072 markings/sec, 20 secs
lola: sara is running 25 secs || 2258818 markings, 7637418 edges, 76077 markings/sec, 25 secs
lola: sara is running 30 secs || 2638585 markings, 8946742 edges, 75953 markings/sec, 30 secs
lola: sara is running 35 secs || 3028064 markings, 10280582 edges, 77896 markings/sec, 35 secs
lola: sara is running 40 secs || 3425072 markings, 11511235 edges, 79402 markings/sec, 40 secs
lola: sara is running 45 secs || 3775968 markings, 12863231 edges, 70179 markings/sec, 45 secs
lola: sara is running 50 secs || 4150517 markings, 14056801 edges, 74910 markings/sec, 50 secs
lola: sara is running 55 secs || 4514807 markings, 15304841 edges, 72858 markings/sec, 55 secs
lola: sara is running 60 secs || 4892789 markings, 16395777 edges, 75596 markings/sec, 60 secs
lola: sara is running 65 secs || 5263311 markings, 17657404 edges, 74104 markings/sec, 65 secs
lola: sara is running 70 secs || 5637746 markings, 18953151 edges, 74887 markings/sec, 70 secs
lola: sara is running 75 secs || 5990336 markings, 20581642 edges, 70518 markings/sec, 75 secs
lola: sara is running 80 secs || 6355761 markings, 21986611 edges, 73085 markings/sec, 80 secs
lola: sara is running 85 secs || 6699759 markings, 23647736 edges, 68800 markings/sec, 85 secs
lola: sara is running 90 secs || 7033516 markings, 25217445 edges, 66751 markings/sec, 90 secs
lola: sara is running 95 secs || 7364187 markings, 26746489 edges, 66134 markings/sec, 95 secs
lola: sara is running 100 secs || 7707209 markings, 28223504 edges, 68604 markings/sec, 100 secs
lola: sara is running 105 secs || 8046977 markings, 29750914 edges, 67954 markings/sec, 105 secs
lola: sara is running 110 secs || 8376045 markings, 31378989 edges, 65814 markings/sec, 110 secs
lola: sara is running 115 secs || 8699928 markings, 32929563 edges, 64777 markings/sec, 115 secs
lola: sara is running 120 secs || 9039262 markings, 34537506 edges, 67867 markings/sec, 120 secs
lola: sara is running 125 secs || 9346800 markings, 36080979 edges, 61508 markings/sec, 125 secs
lola: sara is running 130 secs || 9672936 markings, 37479290 edges, 65227 markings/sec, 130 secs
lola: sara is running 135 secs || 9983312 markings, 39037924 edges, 62075 markings/sec, 135 secs
lola: sara is running 140 secs || 10301340 markings, 40633097 edges, 63606 markings/sec, 140 secs
lola: sara is running 145 secs || 10617295 markings, 42146610 edges, 63191 markings/sec, 145 secs
lola: sara is running 150 secs || 10945582 markings, 43462272 edges, 65657 markings/sec, 150 secs
lola: sara is running 155 secs || 11245418 markings, 45005945 edges, 59967 markings/sec, 155 secs
lola: sara is running 160 secs || 11551088 markings, 46340570 edges, 61134 markings/sec, 160 secs
lola: sara is running 165 secs || 11857686 markings, 47678326 edges, 61320 markings/sec, 165 secs
lola: sara is running 170 secs || 12157170 markings, 49281056 edges, 59897 markings/sec, 170 secs
lola: sara is running 175 secs || 12470887 markings, 50916052 edges, 62743 markings/sec, 175 secs
lola: sara is running 180 secs || 12802982 markings, 52505216 edges, 66419 markings/sec, 180 secs
lola: sara is running 185 secs || 13127569 markings, 53903324 edges, 64917 markings/sec, 185 secs
lola: sara is running 190 secs || 13448567 markings, 55379651 edges, 64200 markings/sec, 190 secs
lola: sara is running 195 secs || 13767932 markings, 56954368 edges, 63873 markings/sec, 195 secs
lola: sara is running 200 secs || 14087716 markings, 58450133 edges, 63957 markings/sec, 200 secs
lola: sara is running 205 secs || 14379210 markings, 59803638 edges, 58299 markings/sec, 205 secs
lola: sara is running 210 secs || 14699640 markings, 61314084 edges, 64086 markings/sec, 210 secs
lola: sara is running 215 secs || 15010779 markings, 62851724 edges, 62228 markings/sec, 215 secs
lola: sara is running 220 secs || 15323563 markings, 64277705 edges, 62557 markings/sec, 220 secs
lola: sara is running 225 secs || 15628845 markings, 65823542 edges, 61056 markings/sec, 225 secs
lola: sara is running 230 secs || 15920031 markings, 67230240 edges, 58237 markings/sec, 230 secs
lola: sara is running 235 secs || 16243709 markings, 68608191 edges, 64736 markings/sec, 235 secs
lola: sara is running 240 secs || 16583971 markings, 69973652 edges, 68052 markings/sec, 240 secs
lola: sara is running 245 secs || 16934360 markings, 71442661 edges, 70078 markings/sec, 245 secs
lola: sara is running 250 secs || 17273928 markings, 72779893 edges, 67914 markings/sec, 250 secs
lola: sara is running 255 secs || 17630675 markings, 74169098 edges, 71349 markings/sec, 255 secs
lola: sara is running 260 secs || 17974245 markings, 75449805 edges, 68714 markings/sec, 260 secs
lola: sara is running 265 secs || 18296606 markings, 76856343 edges, 64472 markings/sec, 265 secs
lola: sara is running 270 secs || 18627598 markings, 78338749 edges, 66198 markings/sec, 270 secs
lola: sara is running 275 secs || 18963330 markings, 79922390 edges, 67146 markings/sec, 275 secs
lola: sara is running 280 secs || 19313937 markings, 81330718 edges, 70121 markings/sec, 280 secs
lola: sara is running 285 secs || 19666160 markings, 82752407 edges, 70445 markings/sec, 285 secs
lola: sara is running 290 secs || 19995396 markings, 84132822 edges, 65847 markings/sec, 290 secs
lola: sara is running 295 secs || 20318722 markings, 85748483 edges, 64665 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 704032 KB
lola: time consumption: 2058 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t5_4) OR FIREABLE(t1_9)) AND NOT FIREABLE(t23_22) AND FIREABLE(t4_9) AND (NOT FIREABLE(t2_24) OR (NOT FIREABLE(t4_5) AND NOT FIREABLE(tb16))))))
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 (((FIREABLE(t5_4) OR FIREABLE(t1_9)) AND NOT FIREABLE(t23_22) AND FIREABLE(t4_9) AND (NOT FIREABLE(t2_24) OR (NOT FIREABLE(t4_5) AND NOT FIREABLE(tb16))))))
lola: processed formula length: 163
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: ((FIREABLE(t5_4) OR FIREABLE(t1_9)) AND NOT FIREABLE(t23_22) AND FIREABLE(t4_9) AND (NOT FIREABLE(t2_24) OR (NOT FIREABLE(t4_5) AND NOT FIREABLE(tb16))))
lola: state equation: Generated DNF with 104 literals and 16 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 412409 markings, 1232757 edges, 82482 markings/sec, 0 secs
lola: sara is running 5 secs || 762928 markings, 2513797 edges, 70104 markings/sec, 5 secs
lola: sara is running 10 secs || 1093375 markings, 3859342 edges, 66089 markings/sec, 10 secs
lola: sara is running 15 secs || 1423790 markings, 5205394 edges, 66083 markings/sec, 15 secs
lola: sara is running 20 secs || 1743751 markings, 6552592 edges, 63992 markings/sec, 20 secs
lola: sara is running 25 secs || 2046472 markings, 8008461 edges, 60544 markings/sec, 25 secs
lola: sara is running 30 secs || 2377251 markings, 9347993 edges, 66156 markings/sec, 30 secs
lola: sara is running 35 secs || 2738353 markings, 10777735 edges, 72220 markings/sec, 35 secs
lola: sara is running 40 secs || 3090125 markings, 12254774 edges, 70354 markings/sec, 40 secs
lola: sara is running 45 secs || 3444348 markings, 13707203 edges, 70845 markings/sec, 45 secs
lola: sara is running 50 secs || 3794025 markings, 15244249 edges, 69935 markings/sec, 50 secs
lola: sara is running 55 secs || 4139008 markings, 16861595 edges, 68997 markings/sec, 55 secs
lola: sara is running 60 secs || 4488719 markings, 18478118 edges, 69942 markings/sec, 60 secs
lola: sara is running 65 secs || 4843126 markings, 19961377 edges, 70881 markings/sec, 65 secs
lola: sara is running 70 secs || 5196609 markings, 21492469 edges, 70697 markings/sec, 70 secs
lola: sara is running 75 secs || 5547784 markings, 23052341 edges, 70235 markings/sec, 75 secs
lola: sara is running 80 secs || 5890581 markings, 24619352 edges, 68559 markings/sec, 80 secs
lola: sara is running 85 secs || 6216515 markings, 26163755 edges, 65187 markings/sec, 85 secs
lola: sara is running 90 secs || 6528632 markings, 27603791 edges, 62423 markings/sec, 90 secs
lola: sara is running 95 secs || 6832343 markings, 29100883 edges, 60742 markings/sec, 95 secs
lola: sara is running 100 secs || 7138450 markings, 30647085 edges, 61221 markings/sec, 100 secs
lola: sara is running 105 secs || 7445520 markings, 32081247 edges, 61414 markings/sec, 105 secs
lola: sara is running 110 secs || 7736511 markings, 33559306 edges, 58198 markings/sec, 110 secs
lola: sara is running 115 secs || 8017330 markings, 35102760 edges, 56164 markings/sec, 115 secs
lola: sara is running 120 secs || 8319376 markings, 36561702 edges, 60409 markings/sec, 120 secs
lola: sara is running 125 secs || 8603525 markings, 38078702 edges, 56830 markings/sec, 125 secs
lola: sara is running 130 secs || 8882169 markings, 39604651 edges, 55729 markings/sec, 130 secs
lola: sara is running 135 secs || 9166868 markings, 41122389 edges, 56940 markings/sec, 135 secs
lola: sara is running 140 secs || 9452949 markings, 42643285 edges, 57216 markings/sec, 140 secs
lola: sara is running 145 secs || 9737542 markings, 44134195 edges, 56919 markings/sec, 145 secs
lola: sara is running 150 secs || 10011595 markings, 45664034 edges, 54811 markings/sec, 150 secs
lola: sara is running 155 secs || 10308849 markings, 47126824 edges, 59451 markings/sec, 155 secs
lola: sara is running 160 secs || 10602270 markings, 48552335 edges, 58684 markings/sec, 160 secs
lola: sara is running 165 secs || 10896107 markings, 50009548 edges, 58767 markings/sec, 165 secs
lola: sara is running 170 secs || 11185540 markings, 51511230 edges, 57887 markings/sec, 170 secs
lola: sara is running 175 secs || 11495438 markings, 53030639 edges, 61980 markings/sec, 175 secs
lola: sara is running 180 secs || 11828592 markings, 54593945 edges, 66631 markings/sec, 180 secs
lola: sara is running 185 secs || 12153238 markings, 56201136 edges, 64929 markings/sec, 185 secs
lola: sara is running 190 secs || 12479457 markings, 57780132 edges, 65244 markings/sec, 190 secs
lola: sara is running 195 secs || 12778916 markings, 59379958 edges, 59892 markings/sec, 195 secs
lola: sara is running 200 secs || 13055060 markings, 60957636 edges, 55229 markings/sec, 200 secs
lola: sara is running 205 secs || 13373061 markings, 62708758 edges, 63600 markings/sec, 205 secs
lola: sara is running 210 secs || 13683996 markings, 64473465 edges, 62187 markings/sec, 210 secs
lola: sara is running 215 secs || 14038397 markings, 65795027 edges, 70880 markings/sec, 215 secs
lola: sara is running 220 secs || 14379458 markings, 67210598 edges, 68212 markings/sec, 220 secs
lola: sara is running 225 secs || 14694183 markings, 68619469 edges, 62945 markings/sec, 225 secs
lola: sara is running 230 secs || 14993343 markings, 70070226 edges, 59832 markings/sec, 230 secs
lola: sara is running 235 secs || 15305751 markings, 71458215 edges, 62482 markings/sec, 235 secs
lola: sara is running 240 secs || 15606897 markings, 72869517 edges, 60229 markings/sec, 240 secs
lola: sara is running 245 secs || 15894049 markings, 74301915 edges, 57430 markings/sec, 245 secs
lola: sara is running 250 secs || 16189115 markings, 75703648 edges, 59013 markings/sec, 250 secs
lola: sara is running 255 secs || 16480516 markings, 77119687 edges, 58280 markings/sec, 255 secs
lola: sara is running 260 secs || 16762454 markings, 78708555 edges, 56388 markings/sec, 260 secs
lola: sara is running 265 secs || 17097977 markings, 80059243 edges, 67105 markings/sec, 265 secs
lola: sara is running 270 secs || 17438920 markings, 81534359 edges, 68189 markings/sec, 270 secs
lola: sara is running 275 secs || 17771658 markings, 83047872 edges, 66548 markings/sec, 275 secs
lola: sara is running 280 secs || 18108673 markings, 84524991 edges, 67403 markings/sec, 280 secs
lola: sara is running 285 secs || 18444921 markings, 86050560 edges, 67250 markings/sec, 285 secs
lola: sara is running 290 secs || 18766207 markings, 87741219 edges, 64257 markings/sec, 290 secs
lola: sara is running 295 secs || 19083327 markings, 89287669 edges, 63424 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 660228 KB
lola: time consumption: 2360 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t20_18) OR FIREABLE(t21_23) OR NOT FIREABLE(t20_19)) AND (FIREABLE(t25_23) OR FIREABLE(t24_2)) AND FIREABLE(t11_14) AND NOT FIREABLE(t25_2))))
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 (((FIREABLE(t20_18) OR FIREABLE(t21_23) OR NOT FIREABLE(t20_19)) AND (FIREABLE(t25_23) OR FIREABLE(t24_2)) AND FIREABLE(t11_14) AND NOT FIREABLE(t25_2))))
lola: processed formula length: 162
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: ((FIREABLE(t20_18) OR FIREABLE(t21_23) OR NOT FIREABLE(t20_19)) AND (FIREABLE(t25_23) OR FIREABLE(t24_2)) AND FIREABLE(t11_14) AND NOT FIREABLE(t25_2))
lola: state equation: Generated DNF with 78 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 397174 markings, 1337463 edges, 79435 markings/sec, 0 secs
lola: sara is running 5 secs || 812032 markings, 2689265 edges, 82972 markings/sec, 5 secs
lola: sara is running 10 secs || 1205968 markings, 3721470 edges, 78787 markings/sec, 10 secs
lola: sara is running 15 secs || 1572903 markings, 5145488 edges, 73387 markings/sec, 15 secs
lola: sara is running 20 secs || 1929930 markings, 6701219 edges, 71405 markings/sec, 20 secs
lola: sara is running 25 secs || 2362785 markings, 8337976 edges, 86571 markings/sec, 25 secs
lola: sara is running 30 secs || 2897314 markings, 9813112 edges, 106906 markings/sec, 30 secs
lola: sara is running 35 secs || 3419430 markings, 11217305 edges, 104423 markings/sec, 35 secs
lola: sara is running 40 secs || 3943185 markings, 12657961 edges, 104751 markings/sec, 40 secs
lola: sara is running 45 secs || 4475619 markings, 14017074 edges, 106487 markings/sec, 45 secs
lola: sara is running 50 secs || 4907562 markings, 15510327 edges, 86389 markings/sec, 50 secs
lola: sara is running 55 secs || 5390088 markings, 16985956 edges, 96505 markings/sec, 55 secs
lola: sara is running 60 secs || 5864827 markings, 18480289 edges, 94948 markings/sec, 60 secs
lola: sara is running 65 secs || 6307657 markings, 19736943 edges, 88566 markings/sec, 65 secs
lola: sara is running 70 secs || 6760422 markings, 21042778 edges, 90553 markings/sec, 70 secs
lola: sara is running 75 secs || 7155267 markings, 22647005 edges, 78969 markings/sec, 75 secs
lola: sara is running 80 secs || 7535848 markings, 24136236 edges, 76116 markings/sec, 80 secs
lola: sara is running 85 secs || 7953447 markings, 25526217 edges, 83520 markings/sec, 85 secs
lola: sara is running 90 secs || 8341835 markings, 27045433 edges, 77678 markings/sec, 90 secs
lola: sara is running 95 secs || 8787855 markings, 28540608 edges, 89204 markings/sec, 95 secs
lola: sara is running 100 secs || 9187542 markings, 29982156 edges, 79937 markings/sec, 100 secs
lola: sara is running 105 secs || 9603737 markings, 31490607 edges, 83239 markings/sec, 105 secs
lola: sara is running 110 secs || 10024965 markings, 32842118 edges, 84246 markings/sec, 110 secs
lola: sara is running 115 secs || 10404213 markings, 34226135 edges, 75850 markings/sec, 115 secs
lola: sara is running 120 secs || 10732358 markings, 35662757 edges, 65629 markings/sec, 120 secs
lola: sara is running 125 secs || 11065560 markings, 36830115 edges, 66640 markings/sec, 125 secs
lola: sara is running 130 secs || 11390774 markings, 38164318 edges, 65043 markings/sec, 130 secs
lola: sara is running 135 secs || 11696450 markings, 39731406 edges, 61135 markings/sec, 135 secs
lola: sara is running 140 secs || 12009894 markings, 41361533 edges, 62689 markings/sec, 140 secs
lola: sara is running 145 secs || 12308119 markings, 43005288 edges, 59645 markings/sec, 145 secs
lola: sara is running 150 secs || 12613007 markings, 44706373 edges, 60978 markings/sec, 150 secs
lola: sara is running 155 secs || 12912240 markings, 46274346 edges, 59847 markings/sec, 155 secs
lola: sara is running 160 secs || 13201758 markings, 48133239 edges, 57904 markings/sec, 160 secs
lola: sara is running 165 secs || 13551654 markings, 49814341 edges, 69979 markings/sec, 165 secs
lola: sara is running 170 secs || 13959354 markings, 51150176 edges, 81540 markings/sec, 170 secs
lola: sara is running 175 secs || 14314281 markings, 52564751 edges, 70985 markings/sec, 175 secs
lola: sara is running 180 secs || 14659477 markings, 53924309 edges, 69039 markings/sec, 180 secs
lola: sara is running 185 secs || 15030889 markings, 55383863 edges, 74282 markings/sec, 185 secs
lola: sara is running 190 secs || 15380825 markings, 56725180 edges, 69987 markings/sec, 190 secs
lola: sara is running 195 secs || 15737210 markings, 57811552 edges, 71277 markings/sec, 195 secs
lola: sara is running 200 secs || 16084078 markings, 58983648 edges, 69374 markings/sec, 200 secs
lola: sara is running 205 secs || 16415739 markings, 60414660 edges, 66332 markings/sec, 205 secs
lola: sara is running 210 secs || 16740016 markings, 61987355 edges, 64855 markings/sec, 210 secs
lola: sara is running 215 secs || 17062113 markings, 63466875 edges, 64419 markings/sec, 215 secs
lola: sara is running 220 secs || 17377447 markings, 65154342 edges, 63067 markings/sec, 220 secs
lola: sara is running 225 secs || 17738381 markings, 66736731 edges, 72187 markings/sec, 225 secs
lola: sara is running 230 secs || 18209666 markings, 68167401 edges, 94257 markings/sec, 230 secs
lola: sara is running 235 secs || 18688548 markings, 69673526 edges, 95776 markings/sec, 235 secs
lola: sara is running 240 secs || 19163170 markings, 71191638 edges, 94924 markings/sec, 240 secs
lola: sara is running 245 secs || 19650795 markings, 72625194 edges, 97525 markings/sec, 245 secs
lola: sara is running 250 secs || 20135455 markings, 74066982 edges, 96932 markings/sec, 250 secs
lola: sara is running 255 secs || 20629544 markings, 75445524 edges, 98818 markings/sec, 255 secs
lola: sara is running 260 secs || 21086313 markings, 76950890 edges, 91354 markings/sec, 260 secs
lola: sara is running 265 secs || 21441418 markings, 78475874 edges, 71021 markings/sec, 265 secs
lola: sara is running 270 secs || 21767593 markings, 79925082 edges, 65235 markings/sec, 270 secs
lola: sara is running 275 secs || 22104533 markings, 81239718 edges, 67388 markings/sec, 275 secs
lola: sara is running 280 secs || 22526568 markings, 82612719 edges, 84407 markings/sec, 280 secs
lola: sara is running 285 secs || 22953000 markings, 83878170 edges, 85286 markings/sec, 285 secs
lola: sara is running 290 secs || 23368888 markings, 85161589 edges, 83178 markings/sec, 290 secs
lola: sara is running 295 secs || 23770188 markings, 86430953 edges, 80260 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 813164 KB
lola: time consumption: 2662 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t24_22) AND FIREABLE(t2_1) AND FIREABLE(t25_3) AND NOT FIREABLE(t21_23) AND (NOT FIREABLE(tAb4) OR NOT FIREABLE(t16_20) OR NOT FIREABLE(t7_2)))))
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 ((FIREABLE(t24_22) AND FIREABLE(t2_1) AND FIREABLE(t25_3) AND NOT FIREABLE(t21_23) AND (NOT FIREABLE(tAb4) OR NOT FIREABLE(t16_20) OR NOT FIREABLE(t7_2)))))
lola: processed formula length: 163
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (FIREABLE(t24_22) AND FIREABLE(t2_1) AND FIREABLE(t25_3) AND NOT FIREABLE(t21_23) AND (NOT FIREABLE(tAb4) OR NOT FIREABLE(t16_20) OR NOT FIREABLE(t7_2)))
lola: state equation: Generated DNF with 80 literals and 10 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 398643 markings, 1309408 edges, 79729 markings/sec, 0 secs
lola: sara is running 5 secs || 767644 markings, 2988314 edges, 73800 markings/sec, 5 secs
lola: sara is running 10 secs || 1163832 markings, 4396947 edges, 79238 markings/sec, 10 secs
lola: sara is running 15 secs || 1536139 markings, 5953641 edges, 74461 markings/sec, 15 secs
lola: sara is running 20 secs || 1895596 markings, 7332050 edges, 71891 markings/sec, 20 secs
lola: sara is running 25 secs || 2223923 markings, 8835101 edges, 65665 markings/sec, 25 secs
lola: sara is running 30 secs || 2549332 markings, 10244868 edges, 65082 markings/sec, 30 secs
lola: sara is running 35 secs || 2868769 markings, 11904915 edges, 63887 markings/sec, 35 secs
lola: sara is running 40 secs || 3249466 markings, 13343638 edges, 76139 markings/sec, 40 secs
lola: sara is running 45 secs || 3634769 markings, 14666658 edges, 77061 markings/sec, 45 secs
lola: sara is running 50 secs || 3990890 markings, 16324151 edges, 71224 markings/sec, 50 secs
lola: sara is running 55 secs || 4355072 markings, 18005346 edges, 72836 markings/sec, 55 secs
lola: sara is running 60 secs || 4691698 markings, 19642531 edges, 67325 markings/sec, 60 secs
lola: sara is running 65 secs || 5065543 markings, 21148542 edges, 74769 markings/sec, 65 secs
lola: sara is running 70 secs || 5391996 markings, 22881513 edges, 65291 markings/sec, 70 secs
lola: sara is running 75 secs || 5739316 markings, 24570756 edges, 69464 markings/sec, 75 secs
lola: sara is running 80 secs || 6065492 markings, 26279142 edges, 65235 markings/sec, 80 secs
lola: sara is running 85 secs || 6361692 markings, 27991280 edges, 59240 markings/sec, 85 secs
lola: sara is running 90 secs || 6709894 markings, 29435092 edges, 69640 markings/sec, 90 secs
lola: sara is running 95 secs || 7094846 markings, 30949811 edges, 76990 markings/sec, 95 secs
lola: sara is running 100 secs || 7464568 markings, 32518505 edges, 73944 markings/sec, 100 secs
lola: sara is running 105 secs || 7819989 markings, 33943840 edges, 71084 markings/sec, 105 secs
lola: sara is running 110 secs || 8199928 markings, 35333550 edges, 75988 markings/sec, 110 secs
lola: sara is running 115 secs || 8567171 markings, 36671027 edges, 73449 markings/sec, 115 secs
lola: sara is running 120 secs || 8938499 markings, 38028740 edges, 74266 markings/sec, 120 secs
lola: sara is running 125 secs || 9296042 markings, 39366393 edges, 71509 markings/sec, 125 secs
lola: sara is running 130 secs || 9641879 markings, 41012385 edges, 69167 markings/sec, 130 secs
lola: sara is running 135 secs || 9972123 markings, 42597239 edges, 66049 markings/sec, 135 secs
lola: sara is running 140 secs || 10326488 markings, 44227610 edges, 70873 markings/sec, 140 secs
lola: sara is running 145 secs || 10665078 markings, 45919332 edges, 67718 markings/sec, 145 secs
lola: sara is running 150 secs || 11013918 markings, 47661705 edges, 69768 markings/sec, 150 secs
lola: sara is running 155 secs || 11379979 markings, 49245198 edges, 73212 markings/sec, 155 secs
lola: sara is running 160 secs || 11731805 markings, 50977066 edges, 70365 markings/sec, 160 secs
lola: sara is running 165 secs || 12074390 markings, 52801412 edges, 68517 markings/sec, 165 secs
lola: sara is running 170 secs || 12409294 markings, 54681527 edges, 66981 markings/sec, 170 secs
lola: sara is running 175 secs || 12755177 markings, 56435400 edges, 69177 markings/sec, 175 secs
lola: sara is running 180 secs || 13088718 markings, 58100961 edges, 66708 markings/sec, 180 secs
lola: sara is running 185 secs || 13431186 markings, 59734194 edges, 68494 markings/sec, 185 secs
lola: sara is running 190 secs || 13757572 markings, 61479111 edges, 65277 markings/sec, 190 secs
lola: sara is running 195 secs || 14075998 markings, 63304602 edges, 63685 markings/sec, 195 secs
lola: sara is running 200 secs || 14406856 markings, 65201271 edges, 66172 markings/sec, 200 secs
lola: sara is running 205 secs || 14735939 markings, 67173721 edges, 65817 markings/sec, 205 secs
lola: sara is running 210 secs || 15085893 markings, 68818873 edges, 69991 markings/sec, 210 secs
lola: sara is running 215 secs || 15459180 markings, 70304243 edges, 74657 markings/sec, 215 secs
lola: sara is running 220 secs || 15829424 markings, 71884590 edges, 74049 markings/sec, 220 secs
lola: sara is running 225 secs || 16196407 markings, 73292656 edges, 73397 markings/sec, 225 secs
lola: sara is running 230 secs || 16562106 markings, 74625723 edges, 73140 markings/sec, 230 secs
lola: sara is running 235 secs || 16891436 markings, 76196462 edges, 65866 markings/sec, 235 secs
lola: sara is running 240 secs || 17233767 markings, 77844635 edges, 68466 markings/sec, 240 secs
lola: sara is running 245 secs || 17585520 markings, 79539264 edges, 70351 markings/sec, 245 secs
lola: sara is running 250 secs || 17926792 markings, 81202976 edges, 68254 markings/sec, 250 secs
lola: sara is running 255 secs || 18259600 markings, 83067204 edges, 66562 markings/sec, 255 secs
lola: sara is running 260 secs || 18603193 markings, 84838891 edges, 68719 markings/sec, 260 secs
lola: sara is running 265 secs || 18942700 markings, 86498336 edges, 67901 markings/sec, 265 secs
lola: sara is running 270 secs || 19254559 markings, 88351110 edges, 62372 markings/sec, 270 secs
lola: sara is running 275 secs || 19585500 markings, 90301463 edges, 66188 markings/sec, 275 secs
lola: sara is running 280 secs || 19905525 markings, 91965728 edges, 64005 markings/sec, 280 secs
lola: sara is running 285 secs || 20201937 markings, 93724588 edges, 59282 markings/sec, 285 secs
lola: sara is running 290 secs || 20484619 markings, 95543489 edges, 56536 markings/sec, 290 secs
lola: sara is running 295 secs || 20781832 markings, 97198119 edges, 59443 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 722932 KB
lola: time consumption: 2964 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t17_12) AND FIREABLE(t24_27)) OR FIREABLE(t16_17)) AND FIREABLE(t21_25) AND ((NOT FIREABLE(t11_10) AND NOT FIREABLE(t3_24)) OR (NOT FIREABLE(t16_10) AND NOT FIREABLE(t25_4))))))
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 ((((FIREABLE(t17_12) AND FIREABLE(t24_27)) OR FIREABLE(t16_17)) AND FIREABLE(t21_25) AND ((NOT FIREABLE(t11_10) AND NOT FIREABLE(t3_24)) OR (NOT FIREABLE(t16_10) AND NOT FIREABLE(t25_4))))))
lola: processed formula length: 197
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (((FIREABLE(t17_12) AND FIREABLE(t24_27)) OR FIREABLE(t16_17)) AND FIREABLE(t21_25) AND ((NOT FIREABLE(t11_10) AND NOT FIREABLE(t3_24)) OR (NOT FIREABLE(t16_10) AND NOT FIREABLE(t25_4))))
lola: state equation: Generated DNF with 112 literals and 16 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 495772 markings, 1322743 edges, 99154 markings/sec, 0 secs
lola: sara is running 5 secs || 990287 markings, 2768942 edges, 98903 markings/sec, 5 secs
lola: sara is running 10 secs || 1474364 markings, 4133305 edges, 96815 markings/sec, 10 secs
lola: sara is running 15 secs || 1951895 markings, 5396995 edges, 95506 markings/sec, 15 secs
lola: sara is running 20 secs || 2438355 markings, 6757082 edges, 97292 markings/sec, 20 secs
lola: sara is running 25 secs || 2879585 markings, 8327662 edges, 88246 markings/sec, 25 secs
lola: sara is running 30 secs || 3318922 markings, 10010091 edges, 87867 markings/sec, 30 secs
lola: sara is running 35 secs || 3796179 markings, 11581943 edges, 95451 markings/sec, 35 secs
lola: sara is running 40 secs || 4235843 markings, 13388939 edges, 87933 markings/sec, 40 secs
lola: sara is running 45 secs || 4653903 markings, 15273099 edges, 83612 markings/sec, 45 secs
lola: sara is running 50 secs || 5151734 markings, 16702721 edges, 99566 markings/sec, 50 secs
lola: sara is running 55 secs || 5632592 markings, 18174032 edges, 96172 markings/sec, 55 secs
lola: sara is running 60 secs || 6122813 markings, 19549047 edges, 98044 markings/sec, 60 secs
lola: sara is running 65 secs || 6555942 markings, 20882471 edges, 86626 markings/sec, 65 secs
lola: sara is running 70 secs || 6993500 markings, 22441251 edges, 87512 markings/sec, 70 secs
lola: sara is running 75 secs || 7395228 markings, 24184445 edges, 80346 markings/sec, 75 secs
lola: sara is running 80 secs || 7851724 markings, 25684177 edges, 91299 markings/sec, 80 secs
lola: sara is running 85 secs || 8302747 markings, 27234912 edges, 90205 markings/sec, 85 secs
lola: sara is running 90 secs || 8769640 markings, 28800853 edges, 93379 markings/sec, 90 secs
lola: sara is running 95 secs || 9254157 markings, 30242434 edges, 96903 markings/sec, 95 secs
lola: sara is running 100 secs || 9739856 markings, 31545070 edges, 97140 markings/sec, 100 secs
lola: sara is running 105 secs || 10191276 markings, 33185637 edges, 90284 markings/sec, 105 secs
lola: sara is running 110 secs || 10625900 markings, 34947277 edges, 86925 markings/sec, 110 secs
lola: sara is running 115 secs || 11101793 markings, 36407867 edges, 95179 markings/sec, 115 secs
lola: sara is running 120 secs || 11555859 markings, 38016712 edges, 90813 markings/sec, 120 secs
lola: sara is running 125 secs || 12018021 markings, 39532569 edges, 92432 markings/sec, 125 secs
lola: sara is running 130 secs || 12482090 markings, 40986796 edges, 92814 markings/sec, 130 secs
lola: sara is running 135 secs || 12934520 markings, 42570051 edges, 90486 markings/sec, 135 secs
lola: sara is running 140 secs || 13394700 markings, 44051054 edges, 92036 markings/sec, 140 secs
lola: sara is running 145 secs || 13869931 markings, 45401860 edges, 95046 markings/sec, 145 secs
lola: sara is running 150 secs || 14297096 markings, 47075182 edges, 85433 markings/sec, 150 secs
lola: sara is running 155 secs || 14718019 markings, 48929299 edges, 84185 markings/sec, 155 secs
lola: sara is running 160 secs || 15152489 markings, 50606651 edges, 86894 markings/sec, 160 secs
lola: sara is running 165 secs || 15595560 markings, 52191891 edges, 88614 markings/sec, 165 secs
lola: sara is running 170 secs || 16051304 markings, 53717028 edges, 91149 markings/sec, 170 secs
lola: sara is running 175 secs || 16500128 markings, 55261642 edges, 89765 markings/sec, 175 secs
lola: sara is running 180 secs || 16958517 markings, 56731494 edges, 91678 markings/sec, 180 secs
lola: sara is running 185 secs || 17413153 markings, 58189989 edges, 90927 markings/sec, 185 secs
lola: sara is running 190 secs || 17822010 markings, 60071822 edges, 81771 markings/sec, 190 secs
lola: sara is running 195 secs || 18252272 markings, 61737113 edges, 86052 markings/sec, 195 secs
lola: sara is running 200 secs || 18575142 markings, 63359009 edges, 64574 markings/sec, 200 secs
lola: sara is running 205 secs || 18853380 markings, 64963471 edges, 55648 markings/sec, 205 secs
lola: sara is running 210 secs || 19307955 markings, 66294541 edges, 90915 markings/sec, 210 secs
lola: sara is running 215 secs || 19714190 markings, 67794144 edges, 81247 markings/sec, 215 secs
lola: sara is running 220 secs || 20012789 markings, 69539279 edges, 59720 markings/sec, 220 secs
lola: sara is running 225 secs || 20318614 markings, 71125980 edges, 61165 markings/sec, 225 secs
lola: sara is running 230 secs || 20648771 markings, 72887320 edges, 66031 markings/sec, 230 secs
lola: sara is running 235 secs || 20995661 markings, 74561721 edges, 69378 markings/sec, 235 secs
lola: sara is running 240 secs || 21311527 markings, 76420141 edges, 63173 markings/sec, 240 secs
lola: sara is running 245 secs || 21690463 markings, 77915987 edges, 75787 markings/sec, 245 secs
lola: sara is running 250 secs || 22121334 markings, 79486711 edges, 86174 markings/sec, 250 secs
lola: sara is running 255 secs || 22524856 markings, 81131392 edges, 80704 markings/sec, 255 secs
lola: sara is running 260 secs || 22955332 markings, 82721694 edges, 86095 markings/sec, 260 secs
lola: sara is running 265 secs || 23406740 markings, 83749740 edges, 90282 markings/sec, 265 secs
lola: sara is running 270 secs || 23809611 markings, 85074494 edges, 80574 markings/sec, 270 secs
lola: sara is running 275 secs || 24269250 markings, 86397073 edges, 91928 markings/sec, 275 secs
lola: sara is running 280 secs || 24703591 markings, 87662209 edges, 86868 markings/sec, 280 secs
lola: sara is running 285 secs || 25137210 markings, 88906087 edges, 86724 markings/sec, 285 secs
lola: sara is running 290 secs || 25565606 markings, 90157853 edges, 85679 markings/sec, 290 secs
lola: sara is running 295 secs || 25996286 markings, 91545654 edges, 86136 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 902360 KB
lola: time consumption: 3267 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t26_1) AND ((FIREABLE(t3_25) AND FIREABLE(t1_12) AND (FIREABLE(t5_4) OR FIREABLE(t2_8))) OR (FIREABLE(t3_7) AND FIREABLE(t12_10) AND (FIREABLE(t1_19) OR FIREABLE(t1_27)))))))
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 ((FIREABLE(t26_1) AND ((FIREABLE(t3_25) AND FIREABLE(t1_12) AND (FIREABLE(t5_4) OR FIREABLE(t2_8))) OR (FIREABLE(t3_7) AND FIREABLE(t12_10) AND (FIREABLE(t1_19) OR FIREABLE(t1_27)))))))
lola: processed formula length: 193
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: (FIREABLE(t26_1) AND ((FIREABLE(t3_25) AND FIREABLE(t1_12) AND (FIREABLE(t5_4) OR FIREABLE(t2_8))) OR (FIREABLE(t3_7) AND FIREABLE(t12_10) AND (FIREABLE(t1_19) OR FIREABLE(t1_27)))))
lola: state equation: Generated DNF with 32 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 424579 markings, 1321509 edges, 84916 markings/sec, 0 secs
lola: sara is running 5 secs || 841539 markings, 2643553 edges, 83392 markings/sec, 5 secs
lola: sara is running 10 secs || 1229056 markings, 3942788 edges, 77503 markings/sec, 10 secs
lola: sara is running 15 secs || 1608937 markings, 5287543 edges, 75976 markings/sec, 15 secs
lola: sara is running 20 secs || 1996437 markings, 6727930 edges, 77500 markings/sec, 20 secs
lola: sara is running 25 secs || 2404440 markings, 8084470 edges, 81601 markings/sec, 25 secs
lola: sara is running 30 secs || 2798324 markings, 9480380 edges, 78777 markings/sec, 30 secs
lola: sara is running 35 secs || 3199087 markings, 10873418 edges, 80153 markings/sec, 35 secs
lola: sara is running 40 secs || 3582348 markings, 12236144 edges, 76652 markings/sec, 40 secs
lola: sara is running 45 secs || 3944033 markings, 13579419 edges, 72337 markings/sec, 45 secs
lola: sara is running 50 secs || 4290683 markings, 14951594 edges, 69330 markings/sec, 50 secs
lola: sara is running 55 secs || 4637265 markings, 16281738 edges, 69316 markings/sec, 55 secs
lola: sara is running 60 secs || 5014979 markings, 17687111 edges, 75543 markings/sec, 60 secs
lola: sara is running 65 secs || 5372149 markings, 19126184 edges, 71434 markings/sec, 65 secs
lola: sara is running 70 secs || 5725147 markings, 20572070 edges, 70600 markings/sec, 70 secs
lola: sara is running 75 secs || 6022779 markings, 22172840 edges, 59526 markings/sec, 75 secs
lola: sara is running 80 secs || 6335454 markings, 23715345 edges, 62535 markings/sec, 80 secs
lola: sara is running 85 secs || 6682503 markings, 25179409 edges, 69410 markings/sec, 85 secs
lola: sara is running 90 secs || 7039251 markings, 26693946 edges, 71350 markings/sec, 90 secs
lola: sara is running 95 secs || 7381975 markings, 28205162 edges, 68545 markings/sec, 95 secs
lola: sara is running 100 secs || 7721008 markings, 29713477 edges, 67807 markings/sec, 100 secs
lola: sara is running 105 secs || 8039032 markings, 31211844 edges, 63605 markings/sec, 105 secs
lola: sara is running 110 secs || 8325949 markings, 32783276 edges, 57383 markings/sec, 110 secs
lola: sara is running 115 secs || 8636582 markings, 34267072 edges, 62127 markings/sec, 115 secs
lola: sara is running 120 secs || 8957260 markings, 35723578 edges, 64136 markings/sec, 120 secs
lola: sara is running 125 secs || 9272323 markings, 37136770 edges, 63013 markings/sec, 125 secs
lola: sara is running 130 secs || 9577091 markings, 38670653 edges, 60954 markings/sec, 130 secs
lola: sara is running 135 secs || 9871267 markings, 40068809 edges, 58835 markings/sec, 135 secs
lola: sara is running 140 secs || 10153547 markings, 41657021 edges, 56456 markings/sec, 140 secs
lola: sara is running 145 secs || 10440989 markings, 43196494 edges, 57488 markings/sec, 145 secs
lola: sara is running 150 secs || 10726225 markings, 44770557 edges, 57047 markings/sec, 150 secs
lola: sara is running 155 secs || 11022215 markings, 46223504 edges, 59198 markings/sec, 155 secs
lola: sara is running 160 secs || 11374453 markings, 47711742 edges, 70448 markings/sec, 160 secs
lola: sara is running 165 secs || 11766780 markings, 49442561 edges, 78465 markings/sec, 165 secs
lola: sara is running 170 secs || 12153623 markings, 51270113 edges, 77369 markings/sec, 170 secs
lola: sara is running 175 secs || 12528141 markings, 53050674 edges, 74904 markings/sec, 175 secs
lola: sara is running 180 secs || 12885060 markings, 54825703 edges, 71384 markings/sec, 180 secs
lola: sara is running 185 secs || 13235116 markings, 56610289 edges, 70011 markings/sec, 185 secs
lola: sara is running 190 secs || 13525292 markings, 58433057 edges, 58035 markings/sec, 190 secs
lola: sara is running 195 secs || 13831631 markings, 60182311 edges, 61268 markings/sec, 195 secs
lola: sara is running 200 secs || 14124561 markings, 61906620 edges, 58586 markings/sec, 200 secs
lola: sara is running 205 secs || 14405011 markings, 63613743 edges, 56090 markings/sec, 205 secs
lola: sara is running 210 secs || 14688654 markings, 65450709 edges, 56729 markings/sec, 210 secs
lola: sara is running 215 secs || 14983358 markings, 67148163 edges, 58941 markings/sec, 215 secs
lola: sara is running 220 secs || 15317035 markings, 68818281 edges, 66735 markings/sec, 220 secs
lola: sara is running 225 secs || 15655701 markings, 70070281 edges, 67733 markings/sec, 225 secs
lola: sara is running 230 secs || 16011065 markings, 71409498 edges, 71073 markings/sec, 230 secs
lola: sara is running 235 secs || 16389417 markings, 72839350 edges, 75670 markings/sec, 235 secs
lola: sara is running 240 secs || 16727484 markings, 74291438 edges, 67613 markings/sec, 240 secs
lola: sara is running 245 secs || 17075848 markings, 75665391 edges, 69673 markings/sec, 245 secs
lola: sara is running 250 secs || 17397439 markings, 77028492 edges, 64318 markings/sec, 250 secs
lola: sara is running 255 secs || 17691942 markings, 78451208 edges, 58901 markings/sec, 255 secs
lola: sara is running 260 secs || 18013223 markings, 79717833 edges, 64256 markings/sec, 260 secs
lola: sara is running 265 secs || 18317290 markings, 81139485 edges, 60813 markings/sec, 265 secs
lola: sara is running 270 secs || 18608888 markings, 82677619 edges, 58320 markings/sec, 270 secs
lola: sara is running 275 secs || 18907085 markings, 84032260 edges, 59639 markings/sec, 275 secs
lola: sara is running 280 secs || 19251887 markings, 85469795 edges, 68960 markings/sec, 280 secs
lola: sara is running 285 secs || 19611418 markings, 86922074 edges, 71906 markings/sec, 285 secs
lola: sara is running 290 secs || 19941768 markings, 88450176 edges, 66070 markings/sec, 290 secs
lola: sara is running 295 secs || 20273398 markings, 90001694 edges, 66326 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 717792 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t23_1)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t23_1)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-ReachabilityFireability.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: FIREABLE(t23_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 14740 KB
lola: time consumption: 3571 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes yes unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 14740 KB
lola: time consumption: 3571 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-13ringRLLarge"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-13ringRLLarge.tgz
mv DNAwalker-PT-13ringRLLarge execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-13ringRLLarge, examination is ReachabilityFireability"
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-152649735500315"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 ;